缓冲区容量 n=3。初值 empty=3，full=0，mutex=1。P/V 必须原子。正确次序：生产者 P(empty) 再 P(mutex)；消费者 P(full) 再 P(mutex)。对调成先锁再等空槽，在 empty=0 时会死锁。
EMPTY
3
FULL
0
MUTEX
1
READY
缓冲区容量 n=3。初值 empty=3，full=0，mutex=1。P/V 必须原子。正确次序：生产者 P(empty) 再 P(mutex)；消费者 P(full) 再 P(mutex)。对调成先锁再等空槽，在 empty=0 时会死锁。