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, Thanks, Mathieu Mathieu Desnoyers (2): x86: Introduce sync_core_before_usermode Fix: x86: Add missing core serializing instruction on migration arch/x86/Kconfig | 1 + arch/x86/include/asm/processor.h | 10 ++++++++++ include/linux/processor.h | 6 ++++++ kernel/sched/core.c | 7 +++++++ kernel/sched/sched.h | 1 + 5 files changed, 25 insertions(+) -- 2.11.0
