AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Guardian Model and Primitives for Exception Handling in Distributed Systems
IEEE Transactions on Software Engineering
AO challenge - implementing the ACID properties for transactional objects
Proceedings of the 5th international conference on Aspect-oriented software development
Stasis: flexible transactional storage
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development V
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
Hi-index | 0.00 |
Although transactional models have proved to be very useful for numerous applications,the development of new models to reflect the ever-increasing complexity and diversity of modern applications is a very active area of research.Analysis of the existing models of multithreaded transactions shows that they either give too much freedom to threads and do not control their participation in transactions,or unnecessarily restrict the computational model by assuming that only one thread can enter a transaction.Another important issue,which many models do not address properly,is providing adequate exception handling features.In this paper a new model of multithreaded transactions is proposed.Its detailed description is given,including rules of thread behaviour when transactions start,commit and abort,and rules of exception raising,propagation and handling.This model is supported by enhanced error detection techniques to allow for earlier error detection and for localised recovery.General approaches to implementing transaction support are discussed and a detailed description of a Ada implementation is given.Special attention is paid to outlining typical applications for which this model is suitable and to comparing it with several known approaches (Coordinated Atomic actions,CORBA,and Argus).