✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
semaphore R1 ← (*, ø) semaphore R2 ← (*, ø) | |
p | q |
p1: wait(R1) p2: wait(R2) p3: usa r1 y r2 p4: signal(R2) p5: signal(R1) | q1: * q2: * q3: usa r1 y r2 q4: signal(R1) q5: signal(R2) |