concurrency - コンペア アンド スワップ操作がアムダールの法則によって制限されるのはなぜですか?

Question

Martin Thompsonは、CAS に依存する参照に依存する STM は、最終的にアムダールの法則によって制限されると主張しています。アムダールの法則は、並列プログラムの最大パフォーマンスは、プログラムの順次 (非並列) 部分によって制限されるというものです。Martin Thompson は、CAS は本質的に非並列であると言っていますか?

Answer 1

それがまさに彼のポイントだと思います。スワップは、比較の結果が判明した後に行う必要があるため、最終的には、「比較してからスワップし、次の比較を行い、次のスワップを行い、次の比較を行う...」よりも速く実行することはできません。

もちろん、ほとんどの現実的なケースでは、その限界に近づくことはありません。達成した場合、信じられないほどパフォーマンスに興奮するでしょう。車は決して光速を超えることはできないと言っているようなものです。これはほぼ間違いなく真実ですが、自動車メーカーが心配する必要はありません。