[m-rev.] For review: Workaround Linux NTPL TSX bug (Mercury Bug: 334)

[Peter Wang]

On Thu, 26 Jun 2014 18:25:28 +1000, Paul Bone <paul at bone.id.au> wrote:
> Branches: master, version-14_01-branch
> 
> Workaround Linux NTPL TSX bug (Mercury Bug: 334)
> 
> New versions of glibc on x86_64 attempt to use the TSX extension of newer
> Intel processors.  This converts mutex-protected critical sections into
> transactional memory critical sections.  However the implementation appears
> to be buggy and the marker lock in Boehm GC causes an assertion to be
> triggered.

Hi Paul,

Wouldn't this problem potentially affect every other mutex as well?
If so, continuing to work on top of this workaround seems risky.

Peter