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

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. Front Matter....Pages i-xxv Front Matter....Pages 1-1 Fundamental Concepts....Pages 3-26 Transaction Models....Pages 27-49 Open Multithreaded Transactions....Pages 51-67 Front Matter....Pages 69-69 Overall Design....Pages 71-79 Transaction Support....Pages 81-84 Concurrency Control....Pages 85-95 Recovery....Pages 97-118 Interfacing with Programming Languages....Pages 119-140 Front Matter....Pages 141-141 Ada 95....Pages 143-164 Implementation for Ada 95....Pages 165-194 Related Work....Pages 195-213 Front Matter....Pages 215-215 Online Auction System....Pages 217-240 Back Matter....Pages 241-279