Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This position paper is a follow-up paper of [1], 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. Possible interfaces for the Ada programmer are discussed.
Author(s): Kienzle J, Romanovsky A
Publication type: Article
Publication status: Published
Journal: Ada Letters
Year: 2001
Volume: 21
Issue: 1
Pages: 67-74
ISSN (print): 1094-3641
ISSN (electronic): 1557-9476
Publisher: ACM Press
URL: http://dx.doi.org/10.1145/374369.374384
DOI: 10.1145/374369.374384
Altmetrics provided by Altmetric
