Dataflow analysis for datarace-free programs

DOI10.1007/978-3-642-19718-5_11MaRDI QIDQ3000580zbMATH OpenOpenAlexFDO

Authors

Publication date 19 May 2011

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19718-5_11

zbMATH Keywords

concurrencydataflow analysisdatarace-free program

Mathematics Subject Classification ID

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

Recommendations

• Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
• Data-race and concurrent-write freedom are undecidable.
• Non-preemptive semantics for data-race-free programs
• Local Data Race Freedom with Non-multi-copy Atomicity
• Formalising Java’s Data Race Free Guarantee

Cites work

• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• Dataflow analysis for datarace-free programs
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 1982207 (Why is no real title available?)
• scientific article; zbMATH DE number 2087551 (Why is no real title available?)
• Monotone data flow analysis frameworks
• The Java memory model
• Thread-modular counterexample-guided abstraction refinement

Cited in

(11)

• Data-race and concurrent-write freedom are undecidable.
• Non-preemptive semantics for data-race-free programs
• Improving thread-modular abstract interpretation
• Formalizing and checking thread refinement for data-race-free execution models
• Dataflow analysis for datarace-free programs
• Formalising Java’s Data Race Free Guarantee
• scientific article; zbMATH DE number 1948400 (Why is no real title available?)
• Causal Dataflow Analysis for Concurrent Programs
• Local Data Race Freedom with Non-multi-copy Atomicity
• Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed
• Checking data-race freedom of GPU kernels, compositionally

Describes a project that uses

Uses Software

• Soot

This page was built for publication: Dataflow analysis for datarace-free programs

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