[lkml]   [2017]   [Nov]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [RFC PATCH 0/2] x86: Fix missing core serialization on migration
On Fri, Nov 10, 2017 at 1:12 PM, Mathieu Desnoyers
<> 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?


 \ /
  Last update: 2017-11-10 22:37    [W:0.080 / U:36.924 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site