Changes between Version 38 and Version 39 of Language


Ignore:
Timestamp:
05/21/23 10:45:17 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language

    v38 v39  
    625625These primitives constrain the interleaving semantics of a program, similar to [#atomic the atomic statement].
    626626As with `$atomic`, `$local_start` obtains the atomic lock and/or increments the multiplicity;
    627 $local_end` decrements the multiplicity and/or releases the atomic lock.
     627`$local_end` decrements the multiplicity and/or releases the atomic lock.
    628628At any state, if there is a process ''t'' that owns the atomic lock, only ''t'' is enabled.
    629629