Messages in this thread | | | From | Linus Torvalds <> | Date | Fri, 10 Nov 2017 13:36:57 -0800 | Subject | Re: [RFC PATCH 0/2] x86: Fix missing core serialization on migration |
| |
On Fri, Nov 10, 2017 at 1:12 PM, Mathieu Desnoyers <mathieu.desnoyers@efficios.com> 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
| |