Concurrency Control in Distributed Database Systems
Reads0
Chats0
TLDR
A survey of concurrency control methods for distributed database concurrency can be found in this paper, where the authors decompose the problem into two major subproblems, read-write and write-write synchronization, and describe a series of synchromzation techniques for solving each subproblem.Abstract:
In this paper we survey, consolidate, and present the state of the art in distributed database concurrency control. The heart of our analysts is a decomposition of the concurrency control problem into two major subproblems: read-write and write-write synchronization. We describe a series of synchromzation techniques for solving each subproblem and show how to combine these techniques into algorithms for solving the entire concurrency control problem. Such algorithms are called "concurrency control methods." We describe 48 principal methods, including all practical algorithms that have appeared m the literature plus several new ones. We concentrate on the structure and correctness of concurrency control algorithms. Issues of performance are given only secondary treatment.read more
Citations
More filters
Journal ArticleDOI
Keep CALM and CRDT On
TL;DR: This work extends conflict-free replicated datatypes with a query model that reasons about which queries are safe without coordination by ap-plying monotonicity results from the CALM Theorem, and lays out a larger agenda for developing CRDT data stores that let developers safely and efficiently interact with replicated application state.
Canonical queries as a query answering device (Information Science)
TL;DR: The complexity of testing consistency and the logics that can axiomatize consistency, relative to a fixed set E of dependencies, are investigated.
Book ChapterDOI
A Hybrid Protocol for Multi-Level Transactions
TL;DR: It has been shown that multi-level transactions may lead to an increase in concurrency, and optimistic or hybrid approaches to concurrency control try to achieve the same results by changing the protocol.
Journal ArticleDOI
Ada and the control of intrusion
TL;DR: This paper discusses two classes of anomalies that are shown to have similar characteristics and compares this category of anomalies to intrusion, a security anomaly, and suggests that mechanisms for the control of the first should be considered for the second.
Journal ArticleDOI
Toward Low-Latency and Accurate State Synchronization for Programmable Networks
TL;DR: In this paper , the authors proposed a framework that offers approximate state synchronization with low latency and high accuracy, which directly transfers states between switch ASICs and the control plane by bypassing switch operating systems.
References
More filters
Book
The Design and Analysis of Computer Algorithms
Alfred V. Aho,John E. Hopcroft +1 more
TL;DR: This text introduces the basic data structures and programming techniques often used in efficient algorithms, and covers use of lists, push-down stacks, queues, trees, and graphs.
Book ChapterDOI
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Journal ArticleDOI
The notions of consistency and predicate locks in a database system
TL;DR: It is argued that a transaction needs to lock a logical rather than a physical subset of the database, and an implementation of predicate locks which satisfies the consistency condition is suggested.
Journal ArticleDOI
Monitors: an operating system structuring concept
TL;DR: In this paper, the authors develop Brinch-Hansen's concept of a monitor as a method of structuring an operating system and describe a possible method of implementation in terms of semaphores and give a suitable proof rule.
Book ChapterDOI
Notes on Data Base Operating Systems
TL;DR: This paper is a compendium of data base management operating systems folklore and focuses on particular issues unique to the transaction management component especially locking and recovery.