Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Journal of the ACM (JACM)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A mean value performance model for locking in databases: the no-waiting case
Journal of the ACM (JACM)
Locking performance in centralized databases
ACM Transactions on Database Systems (TODS)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Concurrency control performance modeling: alternatives and implications
ACM Transactions on Database Systems (TODS)
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Hybrid concurrency control for abstract data types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Locking Primitives in a Database System
Journal of the ACM (JACM)
Reliable object storage to support atomic actions
Proceedings of the tenth ACM symposium on Operating systems principles
The notions of consistency and predicate locks in a database system
Communications of the ACM
Concurrency Control Problem for Database Systems
Concurrency Control Problem for Database Systems
Implementation techniques for main memory database systems
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Semantics-Based Concurrency Control: Beyond Commutativity
Proceedings of the Third International Conference on Data Engineering
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A concurrency control theory for nested transactions (Preliminary Report)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A distributed algorithm for generalized deadlock detection
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Concurrency control in complex information systems: a semantics-based approach
Concurrency control in complex information systems: a semantics-based approach
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Tolerating bounded inconsistency for increasing concurrency in database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Context-based synchronization: an approach beyond semantics for concurrency control
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strict histories in object-based database systems
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Two-phase locking performance and its thrashing behavior
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Relative serializability (extended abstract): an approach for relaxing the atomicity of transactions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Isolation of transaction aborts in object-oriented database systems
CIKM '94 Proceedings of the third international conference on Information and knowledge management
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
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
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
A uniform approach to global concurrency control and recovery in multidatabase environment
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
PRO-MOTION: management of mobile transactions
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Rewriting Histories: Recovering from Malicious Transactions
Distributed and Parallel Databases - Security of data and transaction processing
Revisiting Transaction Management in Multidatabase Systems
Distributed and Parallel Databases
Design and evaluation of a conit-based continuous consistency model for replicated services
ACM Transactions on Computer Systems (TOCS)
Minimal replication cost for availability
Proceedings of the twenty-first annual symposium on Principles of distributed computing
The Performance of Protocols Based on Locks with Ordered Sharing
IEEE Transactions on Knowledge and Data Engineering
Global Scheduling for Flexible Transactions in Heterogeneous Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Risk-Free Multiversion Temporally Correct Algorithm
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Proclamation-Based Model for Cooperating Transactions
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Recovering from Main-Memory Lapses
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Using Metaobject Protocols to Implement Atomic Data Types
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Speculative Lock Management to Increase Concurrency in Mobile Environments
MDA '99 Proceedings of the First International Conference on Mobile Data Access
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
History Merging as a Mechanism for Concurrency Control in Cooperative Environments
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Proof of correctness of Ressel's adOPTed algorithm
Information Processing Letters
Speculative Locking Protocols to Improve Performance for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Evaluating lock-based protocols for cooperation on XML documents
ACM SIGMOD Record
Real-time update of access control policies
Data & Knowledge Engineering
Transaction-centric reconciliation in disconnected client-server databases
Mobile Networks and Applications
Locking Protocols for Materialized Aggregate Join Views
IEEE Transactions on Knowledge and Data Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
A lattice-based approach for updating access control policies in real-time
Information Systems
A New Operational Transformation Framework for Real-Time Group Editors
IEEE Transactions on Parallel and Distributed Systems
Modeling of concurrent web sessions with bounded inconsistency in shared data
Journal of Parallel and Distributed Computing
Locking protocols for materialized aggregate join views
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
ExoSnap: a modular approach to semantic synchronization and snapshots
Proceedings of the 2nd workshop on Dependable distributed data management
Brief announcement: concurrent non-commutative boosted transactions
Proceedings of the 28th ACM symposium on Principles of distributed computing
Replicated abstract data types: Building blocks for collaborative applications
Journal of Parallel and Distributed Computing
High concurrency for continuously evolving OODBMS
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Proceedings of the 4th annual Symposium on Cloud Computing
Hi-index | 0.00 |
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency while avoiding cascading aborts. We have identified a property known as recoverability which can be used to decrease the delay involved in processing noncommuting operations while still avoiding cascading aborts. When an invoked operation is recoverable with respect to an uncommitted operation, the invoked operation can be executed by forcing a commit dependency between the invoked operation and the uncommitted operation; the transaction invoking the operation will not have to wait for the uncommitted operation to abort or commit. Further, this commit dependency only affects the order in which the operations should commit, if both commit; if either operation aborts, the other can still commit thus avoiding cascading aborts. To ensure the serializability of transactions, we force the recoverability relationship between transactions to be acyclic. Simulation studies, based on the model presented by Agrawal et al. [1], indicate that using recoverability, the turnaround time of transactions can be reduced. Further, our studies show enchancement in concurrency even when resource constraints are taken into consideration. The magnitude of enchancement is dependent on the resource contention; the lower the resource contention, the higher the improvement.