假设记录型信号量A和B的value值分别初始化为1，则下面的

P1

P2

A

wait(A)

Signal(A)

wait(A)

Signal(B)

B

wait(A)

Signal(B)

wait(B)

Signal(A)

C

wait(A)

wait(A)

Signal(B)

Signal(B)

D

wait(A)

wait(B)

Signal(A)

Signal(B)