某系统中有一个缓冲区，进程 P1 不断地生产产品送入缓冲区，进程 P2 不断地从缓冲区中取出产品消费，用P、V 操作实现进程间的同步模型如下图所示。假设信号量S1的初值为1，信号量S2的初值为0，那么a、 b处应分别填（） ， c、d处分别填 （） 。