Polynomial-time fence insertion for structured programs

DOI10.4230/LIPICS.DISC.2019.34MaRDI QIDQ6487551zbMATH OpenFDO

Authors Mohammad Reza Taheri, Arash Pourdamghani, Mohsen Lesani

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.DISC.2019.34

zbMATH Keywords

concurrent programmingfence insertionsynchronization

Mathematics Subject Classification ID

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

Recommendations

• Counter-Example Guided Fence Insertion under TSO
• A verification-based approach to memory fence insertion in PSO memory systems
• Mending fences with self-invalidation and self-downgrade
• Languages and Compilers for Parallel Computing

Cited in

(3)

• Counter-Example Guided Fence Insertion under TSO
• Mending fences with self-invalidation and self-downgrade
• Brief announcement: Fence insertion for straight-line programs is in P

This page was built for publication: Polynomial-time fence insertion for structured programs

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