On Tue, 2010-04-06 at 08:37 -0500, James Bottomley wrote: > > (5) Child process B is waken up and sees old value at <x> in > <oldpage>, > > through different cache line. B sleeps. > > This isn't possible. at this point, A and B have the same virtual > address and mapping for <oldpage> this means they are the same cache > colour, so they both see the cached value.
Perhaps to add more detail to this. In spite of what the arch manual says (it says the congruence stride is 16MB), the congruence stride on all manufactured parisc processors is 4MB. This means that any virtual addresses, regardless of space id, that are equal modulo 4MB have the same cache colour. James -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1270561481.4493.40.ca...@mulgrave.site
