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
Language-Parametric Incremental and Parallel Name Resolution
TL;DR: The Spoofax Name Binding Language is presented, a declarative meta-language for the specification of name binding and scope rules, which departs from the programmatic encodings ofName binding provided by regular approaches.
Proceedings ArticleDOI
File placement and process assignment due to resource sharing in a distributed system
TL;DR: A simulation model of a file system is introduced and it is shown how the decision about where to place a file or to assign a process can be based on the workload's and the system's characterization.
Proceedings ArticleDOI
Read Consistency in Distributed Database Based on DMVCC
Jie Shao,Boxue Yin,Bujiao Chen,Guangshu Wang,Lin Yang,Jianliang Yan,Jianying Wang,Weidong Liu +7 more
TL;DR: The proposed Distributed Multi-Version Concurrent Control (DMVCC) system can support snapshot reads, which do not block write operations, and ensure distributed read consistency, and the system outperforms the system using 2PL at both medium and high contention levels.
Book ChapterDOI
A Reliable and Efficient Synchronization Protocol for Database Sharing Systems
TL;DR: The described primary copy algorithm seems to be a good candidate to meet requirements since it permits flexible adaption to changing working conditions and is provided with nearly no extra costs during normal operation.
Proceedings ArticleDOI
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
Naoshi Uchihira,Shinichi Honiden +1 more
TL;DR: A programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, is developed that adopts this compositional adjustment, and the target concurrent programming language, MENDEL, is based on a high-level Petri net.
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.