スコープノート
この記事の二乗則の結果は、共有された可変作業の下での潜在的なペアの相互作用に関するものです。これは強力な上位レベルの計画シグナルであり、すべての展開について約束するものではありません。実際の競合は、ワークロードの局所性、ロック規律、データまたは権限の境界によってすでに分割されている作業の量によって異なります。
1. 組み合わせのコア
「n」個のエージェントが同じワークスペース内で互いに干渉できる場合、順序付けされていないペアの数は「n(n-1)/2」になります。これだけでも、パーティション化されていない並列システムでは競合圧力がチーム サイズよりもはるかに速く上昇する理由を十分に説明できます。
各ペアが競合確率 p を持つ場合、有用な期待値は E[conflicts] = n(n-1)/2 * p となります。これは、エージェントを倍増させると有用なスループットが 2 倍になるという仮定をやめる正しい第一の理由です。
2. なぜ古い分割式は間違っていたのか
この記事の以前のバージョンでは、ゾーンの数に対する普遍的な最適値 Z* = sqrt(n / p) が主張されていました。その結果は精査に耐えられませんでした。これには、互換性のない目的と、共通のパラメーター設定で実質的にゾーンごとに 1 つのエージェントである暗黙の操作点が混在していました。
二乗法則から得られる正しい教訓はもっと簡単です。フリート全体が増加する一方でゾーン サイズを固定すると、衝突の総数はほぼ直線的に増加します。フリートが成長する間ゾーン数を固定した場合、各ゾーンが混雑するため、衝突は超線形のままになります。
3. ゾーン数だけでなくゾーンサイズに基づいてモデル化する
各ゾーンに平均して「k」個のエージェントを保持するとすると、「Z = n / k」ゾーンになります。衝突のほとんどがゾーン内である場合、予想される衝突負担はおよそ C(k) 近似 Z * k(k-1)/2 * p = n(k-1)p / 2 となります。
これにより、設計の重要なポイントが明確になります。固定 k の場合、競合は O(n) のように増大します。線形に近い動作は、「Z」単独の特別な式からではなく、境界のあるゾーン サイズから得られます。
4. 小さいゾーンは無料ではありません
小規模なゾーンが常に勝つ場合は、ゾーンごとに 1 人のエージェントを使用することになります。ただし、作業を分割すると、ゾーン間のマージ、同期、レビューのオーバーヘッドが発生します。単純な計画プロキシは「M(k) = b * n / k」です。ここで、「b」はゾーン境界ごとの平均マージ コストを取得します。
調整負荷の合計は、「B(k) = a n (k - 1) p / 2 + b n / k」として近似できます。ここで、「a」は 1 つのゾーン内衝突のコスト、「b」は 1 つのゾーン境界のコストを表します。
5. より良い最適化
B(k) を最小化すると、k* およそ sqrt(2b / (a * p)) が得られます。これは、衝突確率が上昇した場合にはゾーン サイズを縮小し、クロスゾーン マージ コストが高くなった場合には拡大する必要があるという直観的なことを述べているため、より防御可能な設計ルールです。
暗黙のゾーン数は「Z = n / k」となり、フリートの合計サイズにほぼ直線的に比例します。これはまさに、組織が成長するにつれてローカルの競合を制御したい場合に期待されることです。
6. パラメータの推定方法
直感ではなく、実際の衝突または上書きログから「p」を推定します。 1 つの競合イベントのコスト (作業の損失、再試行の遅延、レビューの負担、またはロールバックの労力) から「a」を推定します。追加のゾーン境界を維持するためのコスト (マージ作業、調整遅延、およびゾーン間の承認) から「b」を推定します。
パーティショニングが無料であるかのようにチームに 2 つの実際のコストを比較させるため、大まかな見積もりであっても役立ちます。
7. MARIA OS ゾーンの運用ガイダンス
MARIA OS の用語では、ゾーンは、ローカル調整が価値があるほど十分に大きく、競合がローカルに留まり理解できるほど十分に小さい必要があります。決定ごとの衝突率が上昇した場合、ゾーン内のマージ作業が実行時間の大半を占め始めた場合、またはレビュー担当者が所有権の境界を明確に説明できなくなった場合には、ゾーンを分割します。
ゾーン間のハンドオフが優勢で、ローカル衝突圧力がすでに低い場合にのみ、ゾーンをマージします。オペレーターは、すべてのユニバースに共通する 1 つの公式という観点ではなく、ターゲット ゾーンのサイズと測定された競合という観点から考える必要があります。
8. 内部リプレイの要点
内部実行リプレイにより、理論の堅牢な部分が確認されました。分割されていない共有作業では、フリートが成長するにつれて紛争圧力が急速に上昇することが示されましたが、境界ゾーンのサイズにより紛争の増加は直線にかなり近く保たれました。正確な節約量は、ゾーン間のマージ規則に大きく依存します。
それが実際的なポイントです。組織が境界で何が起こっているかにも注意を払っている場合にのみ、パーティショニングは役に立ちます。
結論
潜在的な衝突の二乗法則は現実的で重要ですが、それは出発点にすぎません。設計上の問題は、派手な sqrt(n / p) ルールを暗記することではありません。これは、ゾーン内の衝突コストとゾーン間のマージ コストのバランスをとり、フリートの成長に応じてゾーン サイズの制限を維持するためです。これが、二次対立圧力をオペレーティング システムが実際に管理できるものに変えるものです。