Thanks Bart,

On Sun, Aug 28, 2011 at 12:26 PM, Bart Van Assche <bvanass...@acm.org> wrote:
> On Sun, Aug 28, 2011 at 6:13 PM, Jeffrey Walton <noloa...@gmail.com> wrote:
>> (1) Never trust wikipedia.
>
> Reading your message makes me wonder whether you are familiar with the
> reason why memory barriers exist,
I'm not aware that GCC will change the semantics of the program under
these conditions. I could be wrong, though.

> something the Wikipedia authors of
> the page about double-checked locking clearly are aware of ?
It does not change the fact that I do not trust wikipedia. I've found
too many mistakes of the years.

> the paper "x86-TSO: a rigorous and usable programmer's model for x86
> multiprocessors" might help. It does not only discuss memory models in
> general but also explains why effects like inter-processor store
> reordering are observed with certain processor families but not with
> x86 CPUs.
I've read a few papers (and try to follow relevant online
discussions), but I will fetch and read this one.

Thanks again,
Jeff

------------------------------------------------------------------------------
EMC VNX: the world's simplest storage, starting under $10K
The only unified storage solution that offers unified management 
Up to 160% more powerful than alternatives and 25% more efficient. 
Guaranteed. http://p.sf.net/sfu/emc-vnx-dev2dev
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to