Brief announcement: Fence insertion for straight-line programs is in P

DOI10.1145/3087801.3087849zbMATH Open1380.68104OpenAlexW2739340323MaRDI QIDQ5368948FDOQ5368948

Authors: Mohsen Lesani 

Publication date: 11 October 2017

Published in: Proceedings of the ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3087801.3087849

Recommendations

• Polynomial-time fence insertion for structured programs
• Counter-Example Guided Fence Insertion under TSO
• Fences in weak memory models
• Trading fences with RMRs and separating memory models
• A verification-based approach to memory fence insertion in PSO memory systems

zbMATH Keywords

memory modelsfence insertionmemory fence

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (2)

• Mending fences with self-invalidation and self-downgrade
• Trading fences with RMRs and separating memory models

This page was built for publication: Brief announcement: Fence insertion for straight-line programs is in P

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