4 / 10

某企业有生产部和销售部,生产部负责生产产品并送入仓库,销售部从仓库取出产品销售。假设仓库可存放n件产品。用PV操作实现他们之间的同步过程如下图所示。

 

图中信号量S1S2为同步信号量,初值分别为n0s是一个互斥信号量,初值为(  )