有两个生产者a、b不断向仓库存放产品，由销售者c取走仓库中的产品(仓库初态产品数为0，仓库容量为无限大)。请写出通过semWait、semSignal操作实现三个进程间的同步和互斥的框图或伪程序，并写出信号量的初值和意义。