• Corpus ID: 59788778

A Distributed Lock Manager Using Paxos : Design and Implementation of Warlock, a Consensus Based Lock Manager

  title={A Distributed Lock Manager Using Paxos : Design and Implementation of Warlock, a Consensus Based Lock Manager},
  author={Sukumar Yethadka},
Locking primitives are one of the mechanisms used by distributed systems to synchronize access to shared data or to serialize their actions. Depending on the design, the locking service may constit ... 
1 Citations
Design of security risk assessment framework under oVirt cluster based on REST
  • Hongyang Guo, Dan Liu
  • Computer Science
    2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS)
  • 2016
Experimental results show that the oVirt virtualization cluster security risk detection and assessment framework is flexible and reliable, easy to expand, to support different types of clustered security testing in conjunction with the corresponding evaluation system to form a complete evaluation report.


Paxos for System Builders
This paper presents a complete specification of the Paxos replication protocol such that system builders can understand it and implement it and detail the safety and liveness properties guaranteed by the specification.
Fast Paxos
  • L. Lamport
  • Computer Science
    Distributed Computing
  • 2006
Fast Paxos is an extension of the classic Paxos algorithm that allows the value to be learned in two message delays, and a TLA+ specification of the algorithm appears as an appendix.
How to Build a Highly Available System Using Consensus
The general scheme for efficient highly available computing is explained, a general method for understanding concurrent and fault-tolerant programs is given, and the Paxos algorithm is derived as an example of the method.
The Chubby Lock Service for Loosely-Coupled Distributed Systems
The paper describes the initial design and expected use, compares it with actual use, and explains how the design had to be modified to accommodate the differences.
Paxos made live: an engineering perspective
The experience in building a fault-tolerant data-base using the Paxos consensus algorithm is described, and the measurements indicate that the team has built a competitive system.
Ring Paxos: A high-throughput atomic broadcast protocol
Ring Paxos is a protocol derived from Paxos that inherits the reliability of Paxos and can be implemented very efficiently, and is compared to other atomic broadcast protocols.
Impossibility of distributed consensus with one faulty process
It is shown that every protocol for this problem has the possibility of nontermination, even with only one faulty process, in the asynchronous consensus problem.
The Performance of Paxos and Fast Paxos
It is found that Paxos outperforms Fast Paxos for small number of replicas and that collisions are not the cause of this performance difference.
Automated Testing of Distributed Systems
A technique to test servers that interact with clients using the Sun RPC protocol by generating random sequences of RPC calls and checking that the invariants holds over the traces.
Classic Paxos vs. fast Paxos: caveat emptor
There are realistic scenarios in which Classic Paxos has a significant probability of having a lower latency, and this paper discusses one such scenario with an analytical comparison of the protocols and simulation results.