Deadlock checking by data race detection

DOI10.1016/J.JLAMP.2014.07.003zbMATH Open1371.68199OpenAlexW2065314458MaRDI QIDQ465488FDOQ465488

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

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

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)

Cites Work

• A Deadlock-Free Semantics for Shared Memory Concurrency
• Dynamic inference of polymorphic lock types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deadlock checking by a behavioral effect system for lock handling
• Polymorphic type, region and effect inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deadlock Checking by Data Race Detection
• Region Analysis for Race Detection
• Static Analysis

Cited In (3)

• Deadlock analysis of unbounded process networks
• Generation of Initial Contexts for Effective Deadlock Detection
• Automated Technology for Verification and Analysis

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)