Deadlock checking by data race detection

DOI10.1016/J.JLAMP.2014.07.003MaRDI QIDQ465488zbMATH OpenOpenAlexFDO

Authors Ka I Pun, Martin Steffen, Volker Stolz

Publication date 23 October 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2014.07.003

zbMATH Keywords

concurrencydeadlock detectionformal methodtype and effect systemrace detection

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deadlock checking by data race detection
• Deadlock checking by a behavioral effect system for lock handling
• Effect-polymorphic behaviour inference for deadlock checking
• An automatic technique for static deadlock prevention
• A Transformation to Provide Deadlock-Free Programs

Cites work

• scientific article; zbMATH DE number 1670563 (Why is no real title available?)
• scientific article; zbMATH DE number 1130261 (Why is no real title available?)
• scientific article; zbMATH DE number 1834570 (Why is no real title available?)
• scientific article; zbMATH DE number 3359777 (Why is no real title available?)
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Deadlock checking by a behavioral effect system for lock handling
• Deadlock checking by data race detection
• Dynamic inference of polymorphic lock types
• Polymorphic type, region and effect inference
• Region Analysis for Race Detection
• Static Analysis

Cited in

(10)

• A lightweight deadlock analysis for programs with threads and reentrant locks
• Deadlock analysis of unbounded process networks
• Generation of Initial Contexts for Effective Deadlock Detection
• Deadlock checking by data race detection
• Effect-polymorphic behaviour inference for deadlock checking
• Deadlock detection of Java bytecode
• Deadlock checking by a behavioral effect system for lock handling
• Searching for deadlocks while debugging Concurrent Haskell programs
• Automated Technology for Verification and Analysis
• The theory of deadlock avoidance via discrete control

Describes a project that uses

Uses Software

• Cyclone

This page was built for publication: Deadlock checking by data race detection

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