Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
File servers for network-based distributed systems
ACM Computing Surveys (CSUR)
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Optimistic concurrency control for abstract data types
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Optimistic concurrency control for abstract data types
ACM SIGOPS Operating Systems Review
Concurrency versus availability: atomicity mechanisms for replicated data
ACM Transactions on Computer Systems (TOCS)
A probe-based monitoring scheme for an object-oriented distributed operating system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Concepts for transaction recovery in nested transactions
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Semantic lock models in object-oriented distributed systems and deadlock resolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Parallelism in processing queries on complex objects
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Overview of the Nexus Distributed Operating System Design
IEEE Transactions on Software Engineering
Timestamp-Based Orphan Elimination
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Concurrency control of nested transactions accessing B-trees
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Resolution of Deadlocks in Object-Oriented Distributed Systems
IEEE Transactions on Computers
Concurrency and availability as dual properties of replicated atomic data
Journal of the ACM (JACM)
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
ARIES/NT: a recovery method based on write-ahead logging for nested transactions
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Using Larch to Specify Avalon/C++ Objects
IEEE Transactions on Software Engineering
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Extending the scope of database services
ACM SIGMOD Record
Functionality and architecture of a cooperative database system: a vision
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Detection and resolution of deadlocks in distributed database systems
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Genesis: a distributed database operating system
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
Transactions and synchronization in a distributed operating system
Proceedings of the tenth ACM symposium on Operating systems principles
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
Synchronizing group transaction with rendezvous in a distributed Ada environment
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
DLFM: a transactional resource manager
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computation and communication in R*: a distributed database manager
ACM Transactions on Computer Systems (TOCS)
A Transaction Model to Improve Data Availability in Mobile Computing
Distributed and Parallel Databases
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
IEEE Transactions on Software Engineering
A Transaction Mechanism for Engineering Design Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Log-Based Recovery for Nested Transactions
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Fault Tolerance by Transparent Replication for Distributed Ada 95
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
PRIMA - a DBMS Prototype Supporting Engineering Applications
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
A nested transaction mechanism for LOCUS
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Language constructs and support systems for distributed computing
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Adding database management to Ada
ACM SIGMOD Record
Web service composition transaction management
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
Composable memory transactions
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
KALA: Kernel Aspect language for advanced transactions
Proceedings of the 2006 ACM symposium on Applied computing
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Nested transactional memory: model and architecture sketches
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Modular Checkpointing for Atomicity
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey on the history of transaction management: from flat to grid transactions
Distributed and Parallel Databases
Composable memory transactions
Communications of the ACM - Designing games with a purpose
When does a workflow complete?
Computer Standards & Interfaces
Reliable scheduling of advanced transactions
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
Dependable Systems
Model checking and code generation for transaction processing software
Concurrency and Computation: Practice & Experience
Efficient detection and resolution of deadlocks in distributed databases
Computer Communications
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.01 |
This report addresses the issue of providing software for reliable distributed systems. In particular, we examine how to program a system so that the software continues to work in the face of a variety of failures of parts of the system. The design presented uses the concept of transactions: collections of primitive actions that are indivisible. The indivisibility of transactions insures that consistent results are obtained even when requests are processed concurrently or failures occur during a request. Our design permits transactions to be nested. Nested transactions provide nested universes of synchronization and recovery from failures. The advantages of nested transactions over single-level transactions are that they provide concurrency control within transactions by serializing subtransactions appropriately, and that they permit parts of a transaction to fail without necessarily aborting the entire transaction. The method for implementing nested transactions described in this report is novel in that it uses locking for concurrency control. We present the necessary algorithms for locking, recovery, distributed commitment, and distributed deadlock detection for a nested transaction system. While the design has not been implemented, it has been simulated.