From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail.efficios.com (mail.efficios.com [167.114.142.141]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by lists.ozlabs.org (Postfix) with ESMTPS id 3y7HNk3L3yzDrD6 for ; Fri, 6 Oct 2017 02:53:09 +1100 (AEDT) Date: Thu, 5 Oct 2017 15:54:38 +0000 (UTC) From: Mathieu Desnoyers To: Avi Kivity Cc: Nicholas Piggin , "Paul E. McKenney" , linux-kernel , Ingo Molnar , Lai Jiangshan , dipankar , Andrew Morton , Josh Triplett , Thomas Gleixner , Peter Zijlstra , rostedt , David Howells , Eric Dumazet , fweisbec , Oleg Nesterov , Boqun Feng , Andrew Hunter , maged michael , gromer , Benjamin Herrenschmidt , Paul Mackerras , Michael Ellerman , Dave Watson , Alan Stern , Will Deacon , Andy Lutomirski , Ingo Molnar , Alexander Viro , linuxppc-dev , linux-arch Message-ID: <1765353553.31703.1507218878562.JavaMail.zimbra@efficios.com> In-Reply-To: <64c8984c-7140-ccce-513f-6b3f601257a7@scylladb.com> References: <20171004213734.GA11463@linux.vnet.ibm.com> <1507153075-12345-1-git-send-email-paulmck@linux.vnet.ibm.com> <20171005142325.5a407f18@roar.ozlabs.ibm.com> <64c8984c-7140-ccce-513f-6b3f601257a7@scylladb.com> Subject: Re: [PATCH tip/core/rcu 1/3] membarrier: Provide register expedited private command MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 List-Id: Linux on PowerPC Developers Mail List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , ----- On Oct 5, 2017, at 8:22 AM, Avi Kivity avi@scylladb.com wrote: > On 10/05/2017 07:23 AM, Nicholas Piggin wrote: >> On Wed, 4 Oct 2017 14:37:53 -0700 >> "Paul E. McKenney" wrote: >> >>> From: Mathieu Desnoyers >>> >>> Provide a new command allowing processes to register their intent to use >>> the private expedited command. >>> >>> This allows PowerPC to skip the full memory barrier in switch_mm(), and >>> only issue the barrier when scheduling into a task belonging to a >>> process that has registered to use expedited private. >>> >>> Processes are now required to register before using >>> MEMBARRIER_CMD_PRIVATE_EXPEDITED, otherwise that command returns EPERM. >>> >>> Changes since v1: >>> - Use test_ti_thread_flag(next, ...) instead of test_thread_flag() in >>> powerpc membarrier_arch_sched_in(), given that we want to specifically >>> check the next thread state. >>> - Add missing ARCH_HAS_MEMBARRIER_HOOKS in Kconfig. >>> - Use task_thread_info() to pass thread_info from task to >>> *_ti_thread_flag(). >>> >>> Changes since v2: >>> - Move membarrier_arch_sched_in() call to finish_task_switch(). >>> - Check for NULL t->mm in membarrier_arch_fork(). >>> - Use membarrier_sched_in() in generic code, which invokes the >>> arch-specific membarrier_arch_sched_in(). This fixes allnoconfig >>> build on PowerPC. >>> - Move asm/membarrier.h include under CONFIG_MEMBARRIER, fixing >>> allnoconfig build on PowerPC. >>> - Build and runtime tested on PowerPC. >>> >>> Changes since v3: >>> - Simply rely on copy_mm() to copy the membarrier_private_expedited mm >>> field on fork. >>> - powerpc: test thread flag instead of reading >>> membarrier_private_expedited in membarrier_arch_fork(). >>> - powerpc: skip memory barrier in membarrier_arch_sched_in() if coming >>> from kernel thread, since mmdrop() implies a full barrier. >>> - Set membarrier_private_expedited to 1 only after arch registration >>> code, thus eliminating a race where concurrent commands could succeed >>> when they should fail if issued concurrently with process >>> registration. >>> - Use READ_ONCE() for membarrier_private_expedited field access in >>> membarrier_private_expedited. Matches WRITE_ONCE() performed in >>> process registration. >>> >>> Changes since v4: >>> - Move powerpc hook from sched_in() to switch_mm(), based on feedback >>> from Nicholas Piggin. >> For now, the powerpc approach is okay by me. I plan to test >> others (e.g., taking runqueue locks) on larger systems, but that can >> be sent as an incremental patch at a later time. >> >> The main thing I would like is for people to review the userspace API. >> > > As a future satisfied user of the expedited private membarrier syscall, > I am happy with the change. Thanks Avi for your input on the userspace API. Mathieu -- Mathieu Desnoyers EfficiOS Inc. http://www.efficios.com