Messages in this thread | | | Date | Sat, 18 Oct 2008 21:49:07 +1100 | From | Paul Mackerras <> | Subject | Re: [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.
| |