Combining Tasking and Transactions, Part II: Open Multithreaded Transactions

This position paper is a follow-up paper of the one presented at the last IRTAW workshop. The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95. In order to achieve smooth integration, the use of the concurrency features provided by the Ada language should not be restricted inside a transaction. A transaction model that meets this requirement is presented. Tasks inside such a transaction may spawn new tasks, but also external tasks are allowed to join an ongoing transaction. A blocking commit protocol ensures that no task leaves the transaction before its outcome has been determined. Exceptions are used to inform all participants in case a transaction aborts. The design of a library that provides support for the transaction model is presented, and possible interfaces for the Ada programmer are discussed.

Published in:
10th International Real-Time Ada Workshop, Castillo de Magalia, Las Navas del Marques, Avila, Spain, September 18 - 22, 2000, XXI(1), March 2001, 67-74
ACM Press
Also available as Technical Report EPFL-DI No 00/347

 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
Rate this document:

Rate this document:
(Not yet reviewed)