Data-race and concurrent-write freedom are undecidable.

DOI10.1016/S1477-8424(03)00014-9zbMATH Open1056.68058OpenAlexW2045808495MaRDI QIDQ1399005FDOQ1399005

Alvaro E. Campos, Dionel A. Suazo

Publication date: 7 August 2003

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1477-8424(03)00014-9

Recommendations

• Dataflow analysis for datarace-free programs
• Local Data Race Freedom with Non-multi-copy Atomicity
• Non-preemptive semantics for data-race-free programs
• On the verification problem for weak memory models
• Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

zbMATH Keywords

UndecidabilityStatic analysisConcurrent programmingDistributed shared memoryConcurrent-write-free programsData-race-free programs

Mathematics Subject Classification ID

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

Cites Work

• Causal memory: definitions, implementation, and programming
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Title not available (Why is that?)
• A Shared Memory Computer Display System
• Title not available (Why is that?)
• Axioms for memory access in asynchronous hardware systems
• Mixed consistency

Cited In (1)

• Local Data Race Freedom with Non-multi-copy Atomicity

This page was built for publication: Data-race and concurrent-write freedom are undecidable.

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