Deadlock-freedom (and safety) of transactions in a distributed database
نویسندگان
چکیده
منابع مشابه
Deadlock Detection in Distributed Database
Volume 2, Issue 2 March – April 2013 Page 95 Abstract: In distributed database, data resides in various sites and many transactions can originate at any number of sites randomly. These transactions can execute concurrently. This concurrency leads to deadlock in which transactions may enter into an infinite waiting state so deadlock handling is an important criteria in distributed transaction pr...
متن کاملDeadlock Detection Techniques in Distributed Database System
Distributed database system provides resource sharing environment for optimal performance of various database activities, especially when data is spread over a large number of sites. Distributed nature of transactions occurring at different sites and requiring resources from diverse sites pose various operational problems, such as deadlocks, concurrency and data recovery. A deadlock may occur w...
متن کاملDistributed Explicit State Model Checking of Deadlock Freedom
This paper presents a practical method and associated tool for verifying deadlock freedom properties in guarded command systems. Such properties are expressed in CTL as AGEF q where q is a set of quiescent states. We require the user to provide transitions of the system that are “helpful” in reaching quiescent states. The distributed search constructs a path consisting of helpful transitions fr...
متن کاملA Distributed Architecture for Transactions Synchronization in Distributed Database Systems
Various concurrency control algorithms have been proposed for use in distributed database systems. But, the number of algorithms available for the distributed concurrency control, come into one of three basic classes: locking algorithms, Timestamp algorithms and optimistic (or certification) algorithms. In this paper we are presenting a Distributed Transaction Processing Model and an approach f...
متن کاملDeadlock Detection and Resolution in Distributed Database Environment
A distributed database system is a combination of sub-database separated over many sites communicated through a network. Deadlock is one of the most common problems that occur in distributed database implementation. Deadlock occurs when a multiple transaction locks the same data sources and every transaction waits for other to release. Deadlock detection and resolution is not easy in a distribu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1986
ISSN: 0022-0000
DOI: 10.1016/0022-0000(86)90017-6