Can seqlocks get along with programming language memory models?

MSPC (2012), pp. 12-20

Abstract