单项选择题

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


为此,应设信号量S1的初值为 (47) ,信号量S2的初值为 (48)
(47)

A.-2
B.-1
C.0
D.1