Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 12 of 12 for “"Deadlock Detection"”.
-
Deadlock detection in computer networks.
Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
-
Formal verification of distributed deadlock detection algorithms
The problem of distributed deadlock detection has undergone extensive study. Formal verification of deadlock detection algorithms in distributed systems is an area of research that has largely been ignored. Instead, most proposed distributed deadlock detection algorithms have used informal or …
-
Distributed Deadlock Detection in Distributed Database Systems
Deadlock detection in distributed database systems is very complicated and difficult to handle because of the distributed nature of the system and the communication delay of the network. Many detection algorithms have been proposed in the past, but most of them have been shown to be incorrect and …
-
Design of deadlock detection and prevention algorithms in distributed systems
… in distributed systems is the possibility of deadlock. Processes are said to be deadlocked when some processes are blocked on resource requests that can never be satisfied unless drastic systems action is taken. Two distributed deadlock detection algorithms handling multiple outstanding …
-
Parallel acceleration of deadlock detection and avoidance algorithms on GPUs
… contention comes the risk of encountering a deadlock status in the system. Various software and hardware approaches exist that implement deadlock detection/avoidance techniques; however, they lack either the speed or problem size capability needed for real-time systems. The research conducted …
-
Dynamic Control Structures for Cooperating Processes (Elections, Deadlock Detection, Decentralized, Agreement)
In this thesis, we consider the problem of how to select a control structure for a set of processes cooperatively providing a service. The control structure dictates how the processes cooperate in providing the service, and therefore determines the performance they achieve in carrying out the …
-
Performance study of distributed deadlock detection algorithms for distributed database systems
Distributed deadlock in a distributed database system is a system state in which a set of concurrently running transactions are circularly waiting for each other to release resources. Over the past decade a number of algorithms have been proposed in the literature to detect such a deadlock, but not …
-
The impact of network characteristics on the selection of a deadlock detection algorithm for distributed databases
Much attention has been focused on the problem of deadlock detection in distributed databases, resulting in the publication of numerous algorithms to accomplish this function. The algorithms published to date differ greatly in many respects: timing, location, information collection, and basic …
-
Self-stabilizing deadlock algorithms in distributed systems
… time self-stabilization is used in the areas of deadlock detection and prevention. Traditional deadlock detection algorithms have a process initiate a probe. If that probe travels around the system and is received by the initiator, there is a cycle in the system, and deadlock is detected. In …
-
Collaborative Scheduling and Synchronization of Distributable Real-Time Threads
… control (e.g., lock management, distributed deadlock detection/resolution) can significantly reduce the problem space for which collaborative scheduling is beneficial. To mitigate this, we consider the use of software transactional memory (or STM), an optimistic, non-blocking synchronization …
-
Safe Concurrent Programming and Execution
… eliminate several concurrency bugs, including deadlocks, asymmetric write-write data races, priority inversion, live-locks, order violations, and bugs that stem from the presence of asynchronous signaling and locks. A second major contribution of this dissertation is a programming framework …