survey

The Deadlock Problem: An Overview

Authors:

S. S. Isloor,

T. A. MarslandAuthors Info & Claims

Computer, Volume 13, Issue 9

Pages 58 - 78

https://doi.org/10.1109/MC.1980.1653786

Published: 01 September 1980 Publication History

Publisher Site

Abstract

Deadlock is a constant threat in terminal-oriented systems. This comprehensive study of deadlock-handling techniques introduces a method for on-line detection in distributed data bases.

Cited By

View all

Voss CCogumbreiro TSarkar VHollingsworth JKeidar I(2019)Transitive joinsProceedings of the 24th Symposium on Principles and Practice of Parallel Programming10.1145/3293883.3295724(378-390)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3293883.3295724
Cogumbreiro TSurendran RMartins FSarkar VVasconcelos VGrossman M(2017)Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangersProceedings of the ACM on Programming Languages10.1145/31433591:OOPSLA(1-26)Online publication date: 12-Oct-2017
https://dl.acm.org/doi/10.1145/3143359
Fernández-Salgado JParra PHauck MHellín ASánchez-Prieto SKrogmann KPolo Ó(2016)Integration of a preemptive priority based scheduler in the Palladio WorkbenchJournal of Systems and Software10.1016/j.jss.2015.12.029114:C(20-37)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.1016/j.jss.2015.12.029
Show More Cited By

The Deadlock Problem: An Overview
1. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management

Recommendations

Static lock capabilities for deadlock freedom
TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

We present a technique --- lock capabilities --- for statically verifying that multithreaded programs with locks will not deadlock. Most previous work on deadlock prevention requires a strict total order on all locks held simultaneously by a thread, but ...
False Deadlock Detection in Distributed Systems
Annals of discrete mathematics, 24

Detecting a nonexistent deadlock in distributed systems has been referred to as false deadlock detection. This correspondence shows that false deadlock wi1l never occur in a system of two-phase locking transactions. We also describe an algorithm to ...
Multithreaded test synthesis for deadlock detection
OOPSLA '14

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Computer Volume 13, Issue 9

September 1980

122 pages

ISSN:0018-9162

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 September 1980

Qualifiers

Survey

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Voss CCogumbreiro TSarkar VHollingsworth JKeidar I(2019)Transitive joinsProceedings of the 24th Symposium on Principles and Practice of Parallel Programming10.1145/3293883.3295724(378-390)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.1145/3293883.3295724
Cogumbreiro TSurendran RMartins FSarkar VVasconcelos VGrossman M(2017)Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangersProceedings of the ACM on Programming Languages10.1145/31433591:OOPSLA(1-26)Online publication date: 12-Oct-2017
https://dl.acm.org/doi/10.1145/3143359
Fernández-Salgado JParra PHauck MHellín ASánchez-Prieto SKrogmann KPolo Ó(2016)Integration of a preemptive priority based scheduler in the Palladio WorkbenchJournal of Systems and Software10.1016/j.jss.2015.12.029114:C(20-37)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.1016/j.jss.2015.12.029
Sofy NSarne D(2014)Effective deadlock resolution with self-interested partially-rational agentsAnnals of Mathematics and Artificial Intelligence10.1007/s10472-014-9422-x72:3-4(225-266)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/s10472-014-9422-x
Kim J(2004)High performance cycle detection scheme for multiprocessing systemsProceedings of the 11th international conference on High Performance Computing10.1007/978-3-540-30474-6_51(484-493)Online publication date: 19-Dec-2004
https://dl.acm.org/doi/10.1007/978-3-540-30474-6_51
Dandamudi S(1999)Reducing Hot-Spot Contention in Shared-Memory Multiprocessor SystemsIEEE Concurrency10.1109/4434.7491357:1(48-59)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.1109/4434.749135
Kim J(1997)An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing SystemsProceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis10.5555/523978.826121Online publication date: 17-Mar-1997
https://dl.acm.org/doi/10.5555/523978.826121
Samadzadeh MKoshy B(1996)A display and analysis tool for process-resource graphsACM SIGOPS Operating Systems Review10.1145/218646.21864930:1(39-62)Online publication date: 1-Jan-1996
https://dl.acm.org/doi/10.1145/218646.218649
Krishnamurthi MBasavatia AThallikar SSadowski DSeila A(1994)Deadlock detection and resolution in simulation modelsProceedings of the 26th conference on Winter simulation10.5555/193201.194334(708-715)Online publication date: 11-Dec-1994
https://dl.acm.org/doi/10.5555/193201.194334
Birk Y(1993)On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor RasterizerIEEE Transactions on Parallel and Distributed Systems10.1109/71.2075914:2(155-163)Online publication date: 1-Feb-1993
https://dl.acm.org/doi/10.1109/71.207591
Show More Cited By

Abstract

Cited By

Recommendations

Static lock capabilities for deadlock freedom

False Deadlock Detection in Distributed Systems

Multithreaded test synthesis for deadlock detection

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations