在阅读了Anandtech关于'Haswell TSX'（事务性内存屏障）之后，我立即想知道CLR/JVM是否能够在C#/Java/Scala/F#中为高度并行的应用程序（例如C# Rx/TPL/TFD）中使用这些功能。

由于Spectre漏洞的缓解措施，当前所有的CPU都已禁用硬件锁消除（Hardware Lock Elision），因此使用HLE内嵌函数/指令来创建互斥锁将导致使用常规的互斥锁。 未来是否会出现类似HLE互斥锁以避免像Spectre这样的漏洞尚不确定。

我认为C++目前尚未涵盖任何事务内存，但是仍然可以使用“仿佛规则”将TSX某种程度上适用于受C++内存模型管辖的内容。 那么，在HLE操作或RTM事务成功时会发生什么？ 说“存在数据竞争，但没关系”并没有太多帮助，因为它并没有澄清“没关系”的含义。 对于HLE，可能可以看作是“先前的操作...