试写出利用信号量机制实现两任务共享单缓冲区的同步算法。