SAMOA: A Framework for a Synchronisation-Augmented Microprotocol Approach

We address programming abstractions for building protocols from smaller, reusable microprotocols. The existing protocol frameworks, such as Appia and Cactus, either restrict the amount of concurrency between microprotocols, or depend on the programmer, who should implement all the necessary synchronisation using standard language facilities. We develop J-SAMOA: a framework for a Synchronisation Augmented Microprotocol Approach in Java. It has been designed to allow concurrent protocols to be expressed without explicit low-level synchronisation, thus making programming easier and less error-prone. In this paper, we describe versioning concurrency control algorithms. They are used by the runtime system of our framework to guarantee that the concurrent execution of a protocol is equivalent to a serial execution of its microprotocols. This guarantee, called the isolation property, ensures consistency of session or message-specific data maintained by microprotocols.

Published in:
Proc. of IPDPS '04 (18th International Parallel and Distributed Processing Symposium)
Presented at:
IPDPS '04: the 18th IEEE Parallel and Distributed Processing Symposium, Santa Fe, New Mexico, USA, April 26 – 30, 2005

 Record created 2005-08-09, last modified 2018-03-17

Download fulltext

Rate this document:

Rate this document:
(Not yet reviewed)