Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
Distributed programming in Argus
Communications of the ACM
An exception handling model for parallel programming and its verification
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Composing first-class transactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
An Overview of the Arjuna Distributed Programming System
IEEE Software
On Programming Atomic Actions in Ada 95
Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
ARGUS REFERENCE MANUAL
Revisiting transactions in Ada
ACM SIGAda Ada Letters
Hi-index | 0.00 |
Transactional Drago programming language is an Ada extension that provides transaction processing capabilities. Exceptions have been integrated with transactions in Transactional Drago; exceptions are used to notify transaction aborts and any unhandled exception aborts a transaction. Transactions can be multithreaded in Transactional Drago, and therefore, concurrent exceptions can be raised. In that case a single exception must be chosen to notify the transaction abort. Transactional Drago provides exception resolution within transactions to tackle such a situation. In this paper we describe the transaction model of Transactional Drago focusing on how the Ada exception model can be used to implement Transactional Drago semantics. In the paper we identify which features of Ada were useful, as well as some weaknesses we have found in the language. We point out some missing basic mechanisms for the Ada standard that can be of great help for developing applications with strong exception handling requirements like transactional frameworks and many other applications.