From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1760534AbcAKWWq (ORCPT ); Mon, 11 Jan 2016 17:22:46 -0500 Received: from bombadil.infradead.org ([198.137.202.9]:45911 "EHLO bombadil.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751678AbcAKWWo (ORCPT ); Mon, 11 Jan 2016 17:22:44 -0500 Date: Mon, 11 Jan 2016 23:22:35 +0100 From: Peter Zijlstra To: Andy Lutomirski Cc: "linux-kernel@vger.kernel.org" , Dave Hansen , Rik van Riel , Brian Gerst , Andrew Morton , Ingo Molnar , Denys Vlasenko , "H. Peter Anvin" , Thomas Gleixner , Borislav Petkov , Andrew Lutomirski , Linus Torvalds , "linux-tip-commits@vger.kernel.org" Subject: Re: [tip:x86/urgent] x86/mm: Add barriers and document switch_mm() -vs-flush synchronization Message-ID: <20160111222235.GM6344@twins.programming.kicks-ass.net> References: <20160111182548.GF6344@twins.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2012-12-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Jan 11, 2016 at 01:50:24PM -0800, Andy Lutomirski wrote: > On Mon, Jan 11, 2016 at 10:25 AM, Peter Zijlstra wrote: > > On Mon, Jan 11, 2016 at 03:42:40AM -0800, tip-bot for Andy Lutomirski wrote: > >> + * The bad outcome can occur if either CPU's load is > >> + * reordered before that CPU's store, so both CPUs much > > > > s/much/must/ ? > > Indeed. Is this worth a follow-up patch? Dunno, I didn't even spot the typo the first time I read it.. :-)