An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

Shucai Yao, Emil Sekerinski

In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the con…