Re: Uses for memory barriers

From: Nick Piggin
Date: Tue Sep 19 2006 - 13:51:51 EST


Alan Stern wrote:
On Wed, 20 Sep 2006, Nick Piggin wrote:

I don't think that need be the case if one of the CPUs that has written
the variable forwards the store to a subsequent load before it reaches
the cache coherency (I could be wrong here). So if that is the case, then
your above example would be correct.


I don't understand your comment. Are you saying it's possible for two CPUs to observe the same two writes and see them occurring in opposite orders?

If store forwarding is able to occur outside cache coherency protocol,
then I don't see why not. I would also be interested to know if this
is the case on real systems.

--
SUSE Labs, Novell Inc.
Send instant messages to your online friends http://au.messenger.yahoo.com -
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/