# 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`.

    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