某系统中有一个缓冲区，进程P1不断地生产产品送入缓冲区，进程P2不断地从缓冲区中取产品消费。假设该缓存区只能容纳一个产品。进程P1与P2的同步模型如下图所示： 

为此，应设信号量S1的初值为（），信号量S2的初值为（）。

信号量S2的初值为（）

A．-2

B．-1

C．0

D．1