Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Comparing how atomicity mechanisms support replication
ACM SIGOPS Operating Systems Review
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Dynamic quorum adjustment for partitioned data
ACM Transactions on Database Systems (TODS)
Concurrency versus availability: atomicity mechanisms for replicated data
ACM Transactions on Computer Systems (TOCS)
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Quorum consensus in nested transaction systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Specifying graceful degradation in distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Timestamp-Based Orphan Elimination
IEEE Transactions on Software Engineering
The impact of recovery on concurrency control
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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)
Linguistic support for atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logically distributed approach for structuring office systems
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
Wait-free data structures in the asynchronous PRAM model
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Adaptable concurrency control for atomic data types
ACM Transactions on Computer Systems (TOCS)
A new conflict relation for concurrency control and recovery in object-based databases
CIKM '96 Proceedings of the fifth 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
Hybrid concurrency control for abstract data types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Comparing how atomicity mechanisms support replication
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Distributed version management for read-only actions (extended abstract)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
Atomic data abstractions in a distributed collaborative editing system
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
Simulation Data Structures for Parallel Resource Management
IEEE Transactions on Software Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Compact and localized distributed data structures
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
| Hi-index | 0.00 |
Maintaining the consistency of long-lived, on-line data is a difficult task, particularly in a distributed system. This dissertation focuses on atomicity as a fundamental organizational concept for such systems. It explores an approach in which atomicity is ensured by the data objects shared by concurrent activities; such objects are called atomic objects, and data types whose objects are atomic are called atomic types. By using information about the behavior of the shared objects, greater concurrency among activities can be permitted. In addition, by encapsulating the synchronization and recovery needed to support atomicity in the implementation of shared objects, modularity can be enhanced. This dissertation addresses three fundamental questions: (1) What is an atomic type? (2) How can an atomic type be specified? and (3) How can an atomic type be implemented?