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

Question

Martin Thompson 断言 that a STM that relies on a ref that relies on CAS will ultimately be limited by Amdahl's law . Amdahl's law因为并行程序的最大性能受到程序的顺序(非并行)部分的限制。 Martin Thompson 是在说 CAS 本质上是非并行的吗？

Answer 1

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

当然，在大多数现实情况下，您不会接近达到该限制 - 如果您达到了，您会对性能感到难以置信的兴奋。这有点像说汽车永远不能超过光速。这几乎毫无疑问是正确的，但汽车制造商不必为此担心。