某生产者 - 消费者模型中，有 2 个生产者（P1、P2）、3 个消费者（C1、C2、C3），共享大小为 4 的缓冲区，缓冲区满时生产者阻塞，空时消费者阻塞。若用信号量实现同步互斥，定义信号量 S（同步，标识空缓冲区数）、S'（同步，标识满缓冲区数）、mutex（互斥，保护缓冲区操作），则下列信号量初值与 P/V 操作顺序正确的是（）
A.S 初值 = 4，S' 初值 = 0，mutex 初值 = 1；生产者先 P (S)，再 P (mutex)，后 V (mutex)、V (S')
B.S 初值 = 0，S' 初值 = 4，mutex 初值 = 1；生产者先 P (S')，再 P (mutex)，后 V (mutex)、V (S)
C.S 初值 = 4，S' 初值 = 0，mutex 初值 = 2；生产者先 P (mutex)，再 P (S)，后 V (S')、V (mutex)
D.S 初值 = 0，S' 初值 = 4，mutex 初值 = 3；消费者先 P (S)，再 P (mutex)，后 V (mutex)、V (S')