[RFC PATCH 0/4] Membarrier fixes/cleanups

From: Mathieu Desnoyers
Date: Thu Sep 05 2019 - 23:13:35 EST


This series of fixes/cleanups is submitted for feedback. It takes care
of membarrier issues recently discussed.

Thanks,

Mathieu

Mathieu Desnoyers (4):
Fix: sched/membarrier: private expedited registration check
Cleanup: sched/membarrier: remove redundant check
Cleanup: sched/membarrier: only sync_core before usermode for same mm
Fix: sched/membarrier: p->mm->membarrier_state racy load

include/linux/mm_types.h | 7 +-
include/linux/sched/mm.h | 8 +--
kernel/sched/core.c | 1 +
kernel/sched/membarrier.c | 141 +++++++++++++++++++++++++++-----------
kernel/sched/sched.h | 33 +++++++++
5 files changed, 143 insertions(+), 47 deletions(-)

--
2.17.1