To do: document _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE/AFTER in the DRD manual. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12284