Chia-Shiang Shih, John A. Stankovic  Home/Search
Context Related
| umass.edu/pub/techr...UMCS1990069.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deadlock is one of the most serious problems in multitasking concurrent programming systems. The deadlock problem becomes further complicated when the underlying system is distributed and when tasks have timing constraints. Distributed deadlock detection has been studied to some extent in distributed database systems and distributed timesharing operating systems but has not been widely used in real-time systems. In this paper, we investigate deadlock detection algorithms in distributed... (Update)
Context of citations to this paper: More
.... Many deadlock detection and resolution algorithms are used either in solving resource deadlocks [3, 8, 10, 13, 15, 22, 21, 25, 27, 28, 31, 38, 42, 44, 45, 48, 51, 53, 55, 58, 60], or used in communication based systems [8, 29, 47, 50] or both [6, 30] However, the distinction...
Cited by: More
Query Evaluation in Peer-to-Peer Networks of Taxonomy-based.. - Tzitzikas, Meghini (2003) (Correct)
Survey of Deadlock Detection in Distributed Concurrent.. - Shih, Stankovic (1990) (Correct)
Similar documents (at the sentence level):
48.6%: Deadlock Detection in Distributed Real-Time Systems and Its.. - Shih, Stankovic (1991) (Correct)
22.5%: Distributed Deadlock Detection in Ada Runtime Environments - Shih, Stankovic (1990) (Correct)
Active bibliography (related documents): More All
0.8: Deadlock detection in distributed database systems: A.. - Krivokapic, Kemper.. (Correct)
0.7: Static Detection Of Deadlocks In Polynomial Time - Masticola (1993) (Correct)
0.7: Formal Verification of Distributed Deadlock Detection.. - Li, McMillin (Correct)
Similar documents based on text: More All
0.5: Time Efficient Deadlock Resolution Algorithms - Terekhov, Camp (Correct)
0.3: Deadlock Detection Without Wait-For Graphs - Feitelson (1991) (Correct)
0.3: Global Aspects of System Protocols - Strijbos (Correct)
Related documents from co-citation: More All
2: Chord: A scalable peer-to-peer lookup service for Internet applications - Stoica, Morris et al. - 2001
2: Deadlock detection in distributed databases (context) - Knapp - 1987
2: Mediators in the architecture of future information systems - Wiederhold - 1992
BibTeX entry: (Update)
C. Shih and J. A. Stankovic, Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-time Systems, COINS Technical Report 90-69, University of Massachusetts at Amherst, August 1990. http://citeseer.ist.psu.edu/shih90survey.html More
@techreport{ shih90survey,
author = "Chia-Shiang Shih and John A. Stankovic",
title = "Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-Time Systems",
number = "UM-CS-1990-069",
month = ",",
year = "1990",
url = "citeseer.ist.psu.edu/shih90survey.html" }
Citations (may not include all citations):352 Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
293 Hierarchical Correctness Proofs for Distributed Algorithms - Lynch, Tuttle - 1987 ACM DBLP
200 Programming Languages for Distributed Computing Systems (context) - Bal, Steiner et al. - 1989 ACM DBLP
185 Principles of Database Systems (context) - Ullman - 1982
157 How to Write Parallel Programs: A Guide to the Perplexed (context) - Carriero, Gelernter - 1989 ACM DBLP
141 Asynchronous Distributed Simulation via a Sequence of Parall.. (context) - Chandy, Misra - 1981 ACM DBLP
138 Concepts and Notations for Concurrent Programming (context) - Andrews, Schneider - 1983 ACM DBLP
104 Proving Liveness Properties of Concurrent Programs (context) - Owicki, Lamport - 1982 ACM DBLP
90 Distributed Databases: Principles and Systems (context) - Ceri, Pelagatti - 1984
76 How Processes Learn (context) - Chandy, Misra - 1986 ACM DBLP
67 Algorithms for Distributed Termination Detection (context) - Mattern - 1987 DBLP
51 Locking Primitives in a Database System (context) - Korth - 1983 ACM DBLP
49 Locking Performance in Centralized Databases (context) - Tay - 1987
42 Rationale for the Design of the Ada Programming Language (context) - Ichbiah, Barnes et al. - 1986 ACM
41 Echo Algorithms: Depth Parallel Operations on General Graphs (context) - Chang - 1982 DBLP
39 The Drinking Philosophers Problem (context) - Chandy, Misra - 1984 ACM
26 The Performance of Alternative Strategies for Dealing with D.. (context) - Agrawal, Carey et al. - 1987
25 Detecting Termination of Distributed Computations Using Mark.. (context) - Misra - 1983 ACM DBLP
22 Detection of Ada Static Deadlocks Using Petri Net Invariants (context) - Murata, Shenker et al. - 1989 ACM DBLP
16 Ada: Concurrent Programming (context) - Gehani - 1984 ACM
11 Proving Safety and Liveness of Communicating Processes with .. (context) - Misra, Chandy et al. - 1982
10 The Notions of Consistency and Predicate Locks in a Database.. (context) - Eswaren, Gray et al. - 1976 ACM DBLP
10 Real-Time Synchronization of Interprocess Communications (context) - Reif, Spirakis - 1984 ACM DBLP
7 The Deadlock Problem: An Overview (context) - Isloor, Marsland - 1980
7 A Distributed Solution of the Distributed Termination Proble.. (context) - Rana - 1983 DBLP
5 Axiomatic Semantics of Communicating Sequential Processes (context) - Soundararajan - 1984
5 Local Distributed Deadlock Detection by Cycle Detection and .. (context) - Cidon, Jaffe et al. - 1987 ACM DBLP
5 Why Control of Concurrency Level in Distributed Systems is M.. (context) - Balter, Berard et al. - 1982
5 Deadlock Resolution and Semantic Lock Models in Object Orien.. (context) - Roesler, Burkhard - 1988
4 A Classification of Tasking Deadlocks (context) - Cheng - 1990 ACM
4 Monitoring for Deadlock and Blocking in Ada Tasking (context) - German - 1984 DBLP
4 Efficient Deadlock Resolution for Lock-Based Concurrency Con.. (context) - Roesler, Burkhard et al. - 1988 DBLP
3 Volume 262 of Lecture Notes in Computer Science (context) - Burns, Lister et al. - 1987
3 Dynamic Deadlock Resolution Protocols (context) - Awerbuch, Micali - 1986
3 False Deadlock Detection in Distributed Systems (context) - Wuu, Bernstein - 1985 DBLP
3 Survey of Deadlock Detection in Distributed Concurrent Progr.. - Shih, Stankovic - 1990 ACM
3 Concurrent Programming in Ada (context) - Burns - 1985 ACM
3 Monitoring for Deadlocks in Ada Tasking (context) - German, Helmbold et al. - 1982
3 A Note on the Drinking Philosophers Problem (context) - Murphy, Shankar - 1988 DBLP
2 Distributed Deadlock Detection in Ada Runtime Environments - Shih, Stankovic - 1990 ACM
2 A Distributed Algorithm for Deadlock Detection and Resolutio.. (context) - Sugihara, Kikuno et al. - 1984
2 fly Deadlock Prevention (context) - Andrews, Levin - 1982
2 Runtime Detection and Description of Deadness Errors in Ada .. (context) - Helmbold, Luckham - 1983 ACM
2 The Deadlock Problem: A Classifying Bibliography (context) - Zobel - 1983 DBLP
2 Detecting Global Termination Conditions in the Face of Uncer.. (context) - Afek, Saks - 1987 ACM DBLP
2 Cooperative Distributed Algorithms for Dynamic Cycle Prevent.. (context) - Katz, Shmueli - 1987 ACM DBLP
2 A Deadlock-Free, Variable Granularity Locking Protocol (context) - Korth - 1981 DBLP
2 Timing Issues in the Distributed Execution of Ada Programs (context) - Volz, Mudge - 1987 ACM DBLP
1 Design and Verification of Distributed Tasking Supervisors f.. (context) - Rosenblum - 1988 ACM
1 A Distributed Scheme for Detecting Communication Deadlocks (context) - Liu, on - 1989 ACM DBLP
1 Program Analysis and Verification Group Report No (context) - Helmbold, Luckham et al. - 1984
1 Deadlock Detection Techniques in Distributed Databases (context) - Rajagopalan - 1985
1 Detecting Deadlock in a Distributed System (context) - Tsai, Belford - 1982
1 A Distributed Deadlock Detection Algorithm Based on Timestam.. (context) - Sinha, Natarajan - 1984 DBLP
1 Strategies for the Prevention of Communication Deadlocks in .. (context) - Barbosa - 1990 ACM DBLP
1 Some Problems in Distributed Realtime Ada Programs Across Ma.. (context) - Volz, Mudge et al. - 1985
1 Task-Wait-For Graphs and Their Application to Handling Taski.. (context) - Cheng - 1990 ACM
1 A Runtime Supervisor to Support Ada Tasking: Rendezvous and .. (context) - Riccardi, Baker - 1985
1 Sufficient Condition for a Communication Deadlock and Distri.. (context) - W'ojcik, W'ojcik - 1989 ACM DBLP
1 An Algebraic System for Deadlock Detection and Its Applicati.. (context) - Zhou, Yeh et al. - 1984
1 Two Distributed Deadlock Detection Algorithms and Their Perf.. (context) - Choudhary - 1986
1 Deadlock Detection Algorithms in Distributed Database System.. (context) - Elmagarmid, Sheth et al. - 1986 ACM DBLP
1 A Distributed Deadlock Detection and Resolution Scheme: Perf.. (context) - Jagannathan, Vasudevan - 1982
1 A Priority Based Probe Algorithm for Distributed Deadlock De.. (context) - Choudhary, Kohler et al. - 1987 DBLP
1 Corrigendum: Distributed Termination (context) - Francez - 1980
1 Edge Locks and Deadlock Avoidance in Distributed Systems (context) - Korth - 1982 ACM DBLP
1 Communication Delay and Two Phase Locking (context) - Lin, Nolte - 1982
1 A Framework for Understanding Distributed (Deadlock Detectio.. (context) - Korth, Krishnamurthy et al. - 1983 ACM DBLP
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC