Memory Models

Here we describe why weak memory is a problem for binary translation