This is the mail archive of the
mailing list for the glibc project.
Re: [PATCHv3] Protect _dl_profile_fixup data-dependency order [BZ #23690]
* Carlos O'Donell:
> The use of the guard+fence-to-fence sync is, from a C11 perspective,
I really don't think this is true:
| Two expression evaluations conflict if one of them modifies a memory
| location and the other one reads or modifies the same memory location.
| The execution of a program contains a data race if it contains two
| conflicting actions in different threads, at least one of which is not
| atomic, and neither happens before the other. Any such data race
| results in undefined behavior.
We still have unordered conflicting non-atomic writes after Tulio's
patch. I don't think they matter to us. But this is *not* correct for