Re: [patch] mm: fix anon_vma races

Paul Mackerras
2008-10-18T10:49:07Z

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.