A pv operation problem

支持者

There are n + 1 processes A1, A2, .... An and B, A1 ..... An each continuously sends messages to B through the same buffer, and B keeps fetching messages, it must fetch every message sent. The buffer was empty at the beginning, and the trial PV operation was implemented correctly.

aensosny

The semaphore of a1 ~ An is sa = 1
The semaphore of b is sb = 0
Process a1 ~ An
while (1) {p (sa); v (sb)}
Process b
while (1) {p (sb); v (sa)}