同時実行プログラムの正確性のコンテキストでは、Maurice Herlihy と Nir Shavit による The art of multiprocessor programming (第 3 章) によると、順次整合性は静止整合性よりも強い条件です。静かに一貫しています。方法がわかりません。誰かがライトを投げたり、サンプルの実行を提供してくれませんか?
同時実行プログラムの正確性のコンテキストでは、Maurice Herlihy と Nir Shavit による The art of multiprocessor programming (第 3 章) によると、順次整合性は静止整合性よりも強い条件です。静かに一貫しています。方法がわかりません。誰かがライトを投げたり、サンプルの実行を提供してくれませんか?