某系统中有一个缓冲区，进程P1不断地生产产品送入缓冲区，进程P2不断地从缓冲区中取产品消费。假设该缓存区只能容纳一个产品。进程P1与P2的同步模型如下图所示： 为此，应设信号量S1的初值为(18)，信号量S2的初值为(19)。