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

DOI10.1145/3087801.3087849MaRDI QIDQ5368948zbMATH OpenOpenAlexFDO

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

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)

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

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)