concurrency - 为什么比较和交换操作受阿姆达尔定律的限制？

Question

Martin Thompson 断言，依赖于 CAS 的 ref 的 STM 最终将受到 Amdahl 定律的限制。阿姆达尔定律是并行程序的最大性能受到程序的顺序（非并行）部分的限制。Martin Thompson 是否说 CAS 本质上是非平行的？

Answer 1

我想这正是他的观点。交换必须在比较结果已知之后进行，因此最终你不能比“比较，然后交换，然后下一个比较，然后下一个交换，下一个比较，......”运行得更快。

当然，在最现实的情况下，你不会接近达到这个极限——如果你做到了，你会对性能感到难以置信的激动。这有点像说汽车的速度永远不会超过光速。这几乎毫无疑问是真的，但汽车制造商不必担心。