An automatic technique for static deadlock prevention

DOI10.1007/978-3-662-46823-4_4MaRDI QIDQ3455052zbMATH OpenOpenAlexFDO

Authors Bertrand Meyer

Publication date 3 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46823-4_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A Transformation to Provide Deadlock-Free Programs
• Resource-Oriented Deadlock Analysis
• Verification, Model Checking, and Abstract Interpretation
• The theory of deadlock avoidance via discrete control
• Prevention of deadlocks in parallel programs of multiprocessor machines

Cited in

(14)

• Deadlock detection of Java bytecode
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Two logical methods of deadlock analysis
• Deadlock checking by data race detection
• Static trace-based deadlock analysis for synchronous Mini-Go
• Monitoring for Deadlock and Blocking in Ada Tasking
• Effect-polymorphic behaviour inference for deadlock checking
• Static Analysis of Concurrent Programs Using Ordinary Differential Equations
• Automated deadlock detection in synchronized reentrant multithreaded call-graphs
• A Transformation to Provide Deadlock-Free Programs
• Resource-Oriented Deadlock Analysis
• Deadlock checking by data race detection
• The theory of deadlock avoidance via discrete control
• Generation of Initial Contexts for Effective Deadlock Detection

This page was built for publication: An automatic technique for static deadlock prevention

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455052)