From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <18681.48931.493345.839251@cargo.ozlabs.ibm.com> Date: Sat, 18 Oct 2008 21:49:07 +1100 From: Paul Mackerras Subject: Re: [patch] mm: fix anon_vma races In-Reply-To: <20081018054916.GB26472@wotan.suse.de> References: <20081016041033.GB10371@wotan.suse.de> <20081018015323.GA11149@wotan.suse.de> <18681.20241.347889.843669@cargo.ozlabs.ibm.com> <20081018054916.GB26472@wotan.suse.de> Sender: owner-linux-mm@kvack.org Return-Path: To: Nick Piggin Cc: Hugh Dickins , Linus Torvalds , linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-arch@vger.kernel.org List-ID: Nick Piggin writes: > > Not sure what you mean by causal consistency, but I assume it's the > > I think it can be called transitive. Basically (assumememory starts off zeroed) > CPU0 > x := 1 > > CPU1 > if (x == 1) { > fence > y := 1 > } > > CPU2 > if (y == 1) { > fence > assert(x == 1) > } That's essentially the same as example 1 on page 415, so yes we are talking about the same thing. Paul. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: email@kvack.org