生产者／消费者共享一个单缓冲区，生产者数据送人单缓冲区；消费者从该缓冲区中取出数据，写出利用信号量机制实现两者共享单缓冲区的进程同步算法如下，请填空，并简单解释：
Begin
S1，S2：semaphore；
S1：=0；S2：=1；
Cobegin
Processshengchanzhe
Begin
L1：生产一个数据；
①
将生产的数据存人缓冲区；
②
GotoL1；
End；
Processxiaofeizhe
Begin
L2：③
从缓冲区取出数据；
④
进行数据计算；
GotoL2；
End；
Coend；End；