Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
ACM Transactions on Information Systems (TOIS)
Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
An Overview of the Nexus Distributed Operating System Design
IEEE Transactions on Software Engineering
Generic virtual memory management for operating system kernels
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
DistEdit: a distributed toolkit for supporting multiple group editors
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Experiences in integrating distributed shared memory with virtual memory management
ACM SIGOPS Operating Systems Review
Database transaction models for advanced applications
Database transaction models for advanced applications
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Transactions and synchronization in a distributed operating system
Proceedings of the tenth ACM symposium on Operating systems principles
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
A Flexible Transaction Model for Software Engineering
Proceedings of the Sixth International Conference on Data Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Practical and Modular Implementation of Extended Transaction Models
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Efficient Commit/Abort Procedures in the RelaX Distributed Transaction Layer
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications; 4. Internationale GI/ITG/GMA-Fachtagung
Using a Class Algebra Ontology To Define Conversions between OWL/SQL/Java Beans
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Hi-index | 0.00 |
Distributed applications that access persistent objects must maintain object state consistency even when failures are encountered during the manipulation of such objects. The basic transaction model, which has been implemented by several systems to ensure consistent executions of distributed applications, is not flexible enough to meet the requirements of many complex distributed applications. This has also been recognized for advanced database applications and, as a result, extended transaction models have been developed. We argue that distributed applications that manipulate long-lived data can benefit from such transaction models. We take an approach which views the various transaction models as policies for building robust applications. Thus, we advocate that the system implement several transaction models. A robust application can be programmed in such a system using a combination of several transaction models to meet its consistency requirements. We use applications from the domain of computer-supported cooperative work to motivate such an approach. We also develop a set of system-level mechanisms which can be used to implement multiple transaction models in a uniform manner. These mechanisms are used to implement nested, split, and cooperating transaction models. A prototype system that has been implemented is described to demonstrate the feasibility of this approach.