Deadlock checking by data race detection

DOI10.1016/j.jlamp.2014.07.003zbMath1371.68199OpenAlexW2065314458MaRDI QIDQ465488

Martin Steffen, Volker Stolz, Ka I. Pun

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)

Related Items

Deadlock analysis of unbounded process networks

Uses Software

• Cyclone

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deadlock checking by a behavioral effect system for lock handling
• Dynamic inference of polymorphic lock types
• Deadlock Checking by Data Race Detection
• Region Analysis for Race Detection
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Polymorphic type, region and effect inference
• Static Analysis