A LOCK statement has the form:
LOCK mu DO S ENDwhere S is a statement and mu is an expression. It is equivalent to:
WITH m = mu DO Thread.Acquire(m); TRY S FINALLY Thread.Release(m) END ENDwhere m stands for a variable that does not occur in S.
m3-request@src.dec.com
Last modified on Wed Apr 3 09:39:03 PST 1996 by heydon modified on Mon Apr 18 14:04:17 PDT 1994 by kalsow