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