On Tue, Aug 29, 2017 at 02:33:12 -0400, Pranith Kumar wrote:
> Currently, we cannot use mttcg for running strong memory model guests
> on weak memory model hosts due to missing ordering semantics.
>
> We implicitly generate fence instructions for stronger guests if an
This confused me. By "We imp
On 08/28/2017 11:33 PM, Pranith Kumar wrote:
> Currently, we cannot use mttcg for running strong memory model guests
> on weak memory model hosts due to missing ordering semantics.
>
> We implicitly generate fence instructions for stronger guests if an
> ordering mismatch is detected. We generate
