Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Dynamic voting algorithms for maintaining the consistency of a replicated database
ACM Transactions on Database Systems (TODS)
Cost and availability tradeoffs in replicated data concurrency control
ACM Transactions on Database Systems (TODS)
Applying a Path-Compression technique to Obtain an Efficient Distributed Mutual Exclusion Algorithm
Proceedings of the 3rd International Workshop on Distributed Algorithms
High Availability Support in CORBA Environments
SOFSEM '97 Proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
ROI: An Invocation Mechanism for Replicated Objects
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
HMM: A Cluster Membership Service
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
| Hi-index | 0.00 |
The HIDRA Concurrency Control (HCC) mechanism provides support for concurrency control in environments where the coordinator-cohort replication model is being used. This replication model allows the arrival of multiple invocations to different object replicas which serve locally those invocations and later make the appropriate checkpoints on the rest of replicas. The HCC uses a service serialiser object (SS) and a set of serialiser agents placed in each replica node. As a result, since the HCC components are replicated, this mechanism is also fault tolerant. Each invocation received by an object replica is processed by the SS which knows the invocations that are currently being processed. So, this agent is able to block or allow the execution of arriving invocations according to their conflicts with the currently active ones and the concurrency specification made when the object interface was declared.