Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming - Tapa dura

Modem computer systems possess two main characteristics: their ever­ growing complexity and the increasing number and range of abnormal situa­ tions they have to cope with successfully in order to deliver the service. Developing such systems is ademanding task requiring discipline and cIear thinking, which are best ensured by the right design mechanisms aiming at both appropriate system structuring and a disciplined provision of fault toler­ ance. The groundlaying research of the 60s and 70s created a solid basis in this area by developing a number of fundamental mechanisms, such as ACID (atomicity, consistency, isolation and durability) transactions, atomic actions (Brain Randell's conversations) and exception handling. Later on, a number of advanced techniques were proposed to overcome some of the limitations and rigidity of these mechanisms and to allow system developers to effec­ tively deal with specific characteristics of a particular application, an applica­ tion domain, design paradigm and execution environment. These incIude a variety of advanced transactional schemes and a number of novel exception handling techniques. In the last years, there has been a surge of interest in developing more advanced mechanisms combining properties of several fundamental mecha­ nisms to make it easier for system developers to cope, in a more flexible and efficient fashion, with complexity, distribution and heterogeneity of emerging applications as weil as with an increasing variety of possible faults.

This book investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level.
The book gives a detailed overview of existing transaction models, and analyzes their suitability for concurrent programming languages. A new transaction model named "Open Multithreaded Transactions" is presented. It provides features for controlling and structuring not only access to objects, as usual in transaction systems, but also threads taking part in transactions. Integration with exception handling makes open multithreaded transactions ideal building blocks for fault-tolerant applications.
The book also describes the design of an object-oriented framework providing the necessary run-time support for open multithreaded transactions. Procedural, object-oriented and aspect-oriented interfaces for the application programmer are presented. Programming examples include code in Ada, Java and AspectJ.