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

fence insertionmemory fencememory models

Mathematics Subject Classification ID

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

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)

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

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)