生产者／消费者共享一个单缓冲区，生产者数据送人单缓冲区；消费者从该缓冲区中取出数据，写出利用信号量机制实现两者共享单缓冲区的进程同步算法如下，请填空，并简单解释：
Begin
S1，S2：semaphore；
S1：=0；S2：=1；
Cobegin
Processshengchanzhe
Begin
L1：生产一个数据；
①
将生产的数据存人缓冲区；
②
GotoL1；
End；
Processxiaofeizhe
Begin
L2：③
从缓冲区取出数据；
④
进行数据计算；
GotoL2；
End；
Coend；End；
①P(S2)；／*调用P(S2)，测试能否把数据存入缓冲区*／ ②V(S1)；／*发送缓冲区已经有数据的消息*／ ③P(S1)；／*测试缓冲区内是否有数据*／ ④V(S2)；／*发送缓冲区可以再存数据的消息*／
