-- Test.sak
-- last edited by Suzuki: 1-Oct-81 9:56:19
FIFO: MONITOR
LOCKS LOCK
= BEGIN
guardian: PROC = {{Initialized: BOOLEAN ← FALSE;
}};
p: PROC;
p ← FORK guardian[];
{A: ARRAY INTEGER [1..37] OF CARDINAL; rp, wp: CARDINAL;
DO Connector.GetNew[Init, TRUE]; rp ← wp ← 0
ENDLOOP};
[] ← JOIN p;
NULL
END.