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

图中信号量S1和S2为同步信号量，初值分别为n和0；s是一个互斥信号量，初值为（  ）。