On Fri, Nov 10, 2017 at 1:12 PM, Mathieu Desnoyers
<[email protected]> wrote:
> x86 can return to user-space through sysexit and sysretq, which are not
> core serializing. This breaks expectations from user-space about
> sequential consistency from a single-threaded self-modifying program
> point of view in specific migration patterns.
>
> Feedback is welcome,
We should check with Intel. I would actually be surprised if the I$
can be out of sync with the D$ after a sysretq. It would actually
break things like "read code from disk" too in theory.
Hpa? Can you check?
Linus
