设有无穷多个信息，输入进程把信息逐个写入缓冲区，输出进程逐个

// 信号量及说明
typedef semaphore int; // 整型信号量
semaphore mutex = 1;   // 互斥信号量mutex
semaphore empty = n;   // 空缓冲区初始为n
semaphore full = 0;    // 满缓冲区初始为n
int in = 0;            //输入指针
int out = 0;           //输出指针

// Input
while (true)
{
    P(empty);
    P(mutex);
    向buffer(in) 写入;
    in = (in + 1) % n;
    V(mutex);
    V(full);
}

// Output
while(true)
{
    P(full);
    P(mutex);
    从bufffer(out)读信息;
    out = (out + 1) % n;
    V(mutex);
    V(empty);
}