[top] [prev] [next]

Lock

A LOCK statement has the form:

    LOCK mu DO S END
where 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
    END
where m stands for a variable that does not occur in S.

[top] [prev] [next]


[Modula-3 home page]

m3-request@src.dec.com
Last modified on Tue Oct  3 17:26:48 PDT 1995 by heydon
     modified on Mon Apr 18 14:04:17 PDT 1994 by kalsow