[PATCH][BZ 18743] PowerPC: Fix a race condition when eliding a lock

[Peter Bergner]

On Sun, 2015-08-23 at 14:16 +0200, Torvald Riegel wrote:
> To summarize, I think tbegin needs to have lock acquisition semantics
> and an unknown return value, and tend needs to have lock release
> semantics.
> 
> Does everyone agree with this reasoning?
> 
> Peter (or someone else), could you take care of documenting this
> reasoning (or whatever reasoning we agree on) in the GCC sources for the
> HTM builtins (ie, Power, s390, and Intel)?  I can review such a patch,
> and can also help with the wording if necessary.  Thanks!

Ok, I submitted the POWER patch to fix this along with some verbiage
about the memory consistency sematics.  Torvald, is the documentation
I added in the patch below what you wanted?

    https://gcc.gnu.org/ml/gcc-patches/2015-09/msg00315.html

Peter