Computer Science – Programming Languages
Scientific paper
2008-05-27
Computer Science
Programming Languages
Scientific paper
Concurrent ML's events and event combinators facilitate modular concurrent programming with first-class synchronization abstractions. A standard implementation of these abstractions relies on fairly complex manipulations of first-class continuations in the underlying language. In this paper, we present a lightweight implementation of these abstractions in Concurrent Haskell, a language that already provides first-order message passing. At the heart of our implementation is a new distributed synchronization protocol. In contrast with several previous translations of event abstractions in concurrent languages, we remain faithful to the standard semantics for events and event combinators; for example, we retain the symmetry of $\mathtt{choose}$ for expressing selective communication.
No associations
LandOfFree
Event Synchronization by Lightweight Message Passing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Event Synchronization by Lightweight Message Passing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event Synchronization by Lightweight Message Passing will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-272592