Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion

Alglave, J; Kroening, D; Nimal, V; Poetzl, D

Alglave, J (reprint author), Microsoft Res, 21 Stn Rd, Cambridge CB1 2FB, England.; Alglave, J (reprint author), UCL, Dept Comp Sci, Gower St, London WC1E 6BT, England.

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017; 39 (2):

Abstract

Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences' semantics may be subtle, the automati......

Full Text Link