假设某系统有四个进程。input1和input2进程负责从不同设备读数据，分别表示为 data1和data2，存放在缓冲区buffer中，output1和output2进程负责从buffer中分别获取data1和data2。buffer中每次只能存放一个数据。

var empty, full1,full2: semaphore;

empty.value=1;

①                

②                

input1:             input2:
Begin               Begin
③                    ⑤               
放数据 datal;   放数据 data2;
④                    ⑥               
End                 End
output1:         output2:
Begin             Begin
⑦                  ⑨               
取数据data1; 取数据 data2;
⑧                  ⑩              
End                End