试题四（15 分）阅读下列说明和图，回答问题1 至问题3，将解答填入答题纸的对应栏内。[说明]在并发系统设计中，通过对信号量S 的P、V 操作实现进程的同步与互斥控制。P(S)：S:=S-1，若S≥0，则执行P 操作的进程继续执行；若S<0，则置该进程为阻塞状态，并将其插入阻塞队列。V(S)：S:=S+1，若S>0，则执行V 操作的进程继续执行；若S≤0，则从阻塞队列唤醒一个进程，并将其插入就绪队列，然后执行V 操作的进程继续执行。
[问题2]（5 分）若系统中有多个发送进程和接收进程，进程间的工作流程如图4-2 所示，其中空（1）～（4）的内容与图4-1 相同。发送进程产生消息并顺序地写入环形缓冲区BUFFER，接收者进程顺序地从BUFFER 中取消息，且每条消息只能读取一次。为了保证进程间的正常通讯，增加了信号量SA 和SB。① 请说明信号量SA 和SB 的物理意义，并在图4-2 中的空（5）和空（6）处填入正确的内容。② 请从图4-2 的(a)～(l)中选择四个位置正确地插入P(SA)、V(SA)、P(SB)、V(SB)。[图4-2]
