目的
HTM 的目的是能够支持在内存中原子的进行多地址写入,以避免与其他合作线程产生不一致的情况
缓存的四个状态
无效、共享、排他、修改
考虑到硬件事务内存,还有两个额外的状态:
缓存行在操作中被读取
缓存行在操作中被修改
如果发送下列情况,事务必须被终止:其他 CPU 希望写入数据、读取已经被修改的数据和 CPU 希望失效其缓存.
通常锁竞争影响范围会比数据竞争大很多,但是只有数据竞争才会影响 CPU 的并行工作。因此,仅仅终止产生数据竞争的事务,可以彻底降低阿姆达尔定律影响,加速并行运算。
在共享内存环境下,事务内存通过将不同并行执行的线程事务化,既提高了多线程并行程序并发执行的性能,又保证了程序员编程的效率
HTM仅仅允许同一时间内只有一个线程更新数据,但是所有的线程却是可以在同时间执行,当线程更新数据时,会广播自己更新的数据,其它执行的线程会检查执行的修改数据是否与当前更新的数据产生冲突,冲突便重做。