Implementing Fast Java Monitors with Relaxed-Locks Last Revised 2000-10-26 mon-usenix-0 p For submission to USENIX JVM ’ 01

The Relaxed-Lock protocol is unique in that it permits a benign data race in the monitor unlock path but detects and recovers from the race and thus maintains correct mutual exclusion.