Synchronization

Synchronization (locks) use a featherweight locking mechanism similar to the approach described by Onodera and Kawachiya. Locks are expanded upon contention. They are (currently) never contracted.

The implementation is contained in Run_Time/Monitor.java.