时间模糊测试 I：内存模型
2024-05-09
本文介绍了并发执行中内存模型的重要性，并解释了为什么即使简单的多线程程序也可能产生违反直觉的结果。作者指出了顺序一致性假设的局限性，并解释了现代处理器如何对指令进行重新排序以优化性能。文章还介绍了名为 Temper 的 Clojure 库，该库可以模拟不同内存模型下的多线程执行，并提供了一种可视化工具来帮助理解指令重排序和线程交织的影响。
36