[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <Pine.LNX.4.44L0.0702032220560.17500-100000@netrider.rowland.org>
Date: Sat, 3 Feb 2007 22:24:04 -0500 (EST)
From: Alan Stern <stern@...land.harvard.edu>
To: "Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
cc: Oleg Nesterov <oleg@...sign.ru>,
Peter Zijlstra <a.p.zijlstra@...llo.nl>,
Ingo Molnar <mingo@...e.hu>,
Christoph Hellwig <hch@...radead.org>,
Andrew Morton <akpm@...l.org>, <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH 3/7] barrier: a scalable synchonisation barrier
On Sat, 3 Feb 2007, Paul E. McKenney wrote:
> > And another note: this all assumes that STORE-MB-LOAD works "correctly", yes?
> > We have other code which relies on that, should not be a problem.
>
> We have been working with Doug Lea of SUNY Oswego, Sebatian Burckhardt of
> University of Pennsylvania, and Vijay Saraswat of IBM Research towards
> a "universal memory model" that accommodates all machines. Currently,
> it does in fact handle store-mb-load the way we all want, thankfully!
We should add that many places in the kernel do depend on proper behavior
for this data access pattern. So whatever "universal memory model" we end
up with, it had better handle the pattern correctly if Linux is to support
it.
It's interesting to note, however, that this does exclude simple MESI.
Alan Stern
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists