Go backward to Semaphores Go up to Top

Barriers

barrier b = INIT(n)
WAIT(barrier)

• Synchronization of n processes.
• WAIT() blocks until all n processes have reached barrier.

See Convex SPP documentation.