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
Concurrency control in database systems
TL;DR: Several useful ideas for increasing concurrency have been summarized and include flexible transactions, adaptability, prewrites, multidimensional time stamps, and relaxation of two-phase locking.
Journal ArticleDOI
A modified priority based probe algorithm for distributed deadlock detection and resolution
TL;DR: A modified, priority-based probe algorithm for deadlock detection and resolution in distributed database system is presented and appears to be errorfree.
ReportDOI
21ST Century Manufacturing Enterprise Strategy Report
TL;DR: The 21st Century Manufacturing Enterprise Strategy is a vision and the beginning of an implementation plan, which a core group of industry leaders have developed This group of 15 executives from 13 companies had the advice and counsel of over 150 people from 77 companies and 1 1 professional organizations in developing their strategic enterprise plan as mentioned in this paper.
Patent
System for distributed computation processing includes dynamic assignment of predicates to define interdependencies
Johannes Klein,Alberto Lutgardo,Edward Y. Chang,Edward Chi-Man Cheng,Dora Lai-Wan Lee,Edward Sze Lu +5 more
TL;DR: In this article, the authors propose a distributed processing management system for managing transaction processing and for synchronizing events in other types of distributed computations, where each agent progresses through a predefined set of state transitions which define the status of the agent at any point in time.
Book ChapterDOI
Monitoring Atomicity in Concurrent Programs
Azadeh Farzan,P. Madhusudan +1 more
TL;DR: This work builds space-efficient monitoring algorithms for checking atomicity that use space polynomial in the number of active threads and entities, and independent of the length of the run monitored, and solves the model checking problem for atomicity of finite-state concurrent models.
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.