若有 4 个进程共享同一程序段， 每次允许 3 个进程进入该程序段， 用 P、 V 操作作为同步机制， 则信号量 S 的取值范围是（ ）。
允许 3 个进程同时进入该程序段， 所以 S 初值为 3， 每当有一个进程进入该程序段， S 的值减 1，即 S 会出现 2、 1、 0 三个值， 第四个进程进入时 S 减为-1， 该进程阻塞。