A General Model for the Performance of Disk Systems
Journal of the ACM (JACM)
Computer Communication Networks: Approaches, Objectives, and Performance Considerations
ACM Computing Surveys (CSUR)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
Modeling of two distributed schemes for data synchronization in a computer network
ANSS '78 Proceedings of the 11th annual symposium on Simulation
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Optimal File Allocation in a Multiple Computer System
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Allocation of copies of a file in an information network
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Views, authorization, and locking in a relational data base system
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
A Parity Structure for Large Remotely Located Replicated Data Files
IEEE Transactions on Computers
Hi-index | 14.98 |
Locking is a simple scheme to synchronize multiple updates in a multicopy distributed database system. Various schemes were proposed before to maintain the consistency of the distributed database. But these schemes were compared to each other mostly on heuristic base. In this paper, three analytic queueing models for the Network Semaphore scheme, Hopping Permit scheme, and Adaptive Hopping Permit scheme are developed. Incorporating special waiting stages allows the latter two control schemes to he modeled as M/G/1 queueing systems. Shown in this paper are various performance measures of the models, which can provide much insight into these schemes. The validity of these models is verified by the simulation results.