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

假设信号量S1的初值为1，信号量S2的初值为0，那么a、b处应分别填（）

A．V(S2)、P(S1)

B．P(S1)、V(S2)

C．P(S2)、V(S1)

D．V(S1)、P(S2)