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 from this list: send the line "unsubscribe linux-parisc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
