lkml.org 
[lkml]   [2008]   [Oct]   [18]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [patch] mm: fix anon_vma races
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.


\
 
 \ /
  Last update: 2008-10-18 12:51    [W:0.543 / U:0.264 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site