lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
Open Source and information security mailing list archives
| ||
|
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