An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
Year: 2025
Type: article
Abstract: 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 condition for entering an atomic region.That is a convenient model for the specification and verification of concurrent programs, but it has eschewed efficient execution so far.This article shows how guarded atomic actions, when attached to objects, can be implemented highly efficiently using a combination of coroutines, operating-system worker threads, and dedicated management of object queues and stacks.The efficiency of an experimental language, Lime, is shown to compare favourably with that of C/Pthreads, Go, Erlang, Java, and Haskell on synthetic benchmarks.
DOI: 10.4204/eptcs.420.5
Authors: Shucai Yao, Emil Sekerinski
Institution: McMaster University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W3045818399