competition-race-condition-state-drift

競合状態による状態ドリフト

このスキルは、$ctf-sandbox-orchestrator がすでに有効であり、サンドボックスの前提、ノードの所有権、証拠の優先順位を確立した後の、下流の専門分野としてのみ使用してください。まだそれが行われていない場合は、まず $ctf-sandbox-orchestrator に戻ってください。

決定的な動作がリクエストのタイミング、非同期の順序、ロックの隙間、または古い状態に依存する場合に、このスキルを使用します。

ユーザーが明示的に英語を要求しない限り、簡体字中国語で回答してください。

クイックスタート

1. まず可変状態を特定します: 行、キャッシュキー、キューペイロード、セッションフィールド、カウンター、またはファイル。
2. 最小の並行シーケンスと固定されたタイミング前提で再現します。
3. ベースライン実行と、1 つの変数のみを変更した競合実行を 1 回ずつキャプチャします。
4. 読み取り、チェック、書き込み、エンキュー、コミットの境界を個別に追跡します。
5. クリーンなリセットからの最終的な状態ドリフトを証明します。

ワークフロー

1. 可変境界をマッピングする

• トランザクションスコープ、ロックの動作、リトライロジック、冪等性キー、キャッシュ無効化、キューハンドオフを記録します。
• 読み取り-チェック-書き込みがリクエスト、ワーカー、またはサービスをまたいで分割されている箇所に注目します。
• 各境界を正確なタイムスタンプまたはシーケンス番号に結び付けます。

2. タイミングウィンドウを再現する

• 制御された遅延、重複リクエスト、またはワーカー実行の並べ替えを用いて、決定論的な並行入力を構築します。
• 同一のペイロードの下で、受け入れられた経路と拒否された経路を比較します。
• 順序が変わったときに、どの条件が反転するかを記録します。

3. 決定的な競合チェーンに還元する

• 次のように圧縮します: リクエスト A と B の順序 -> 古いチェックまたはロックの隙間 -> 競合する書き込み -> 結果として生じるケイパビリティまたは成果物。
• 根本原因が、ロックの欠如、弱い冪等性、古いキャッシュ読み取り、遅延した非同期コミット、またはリトライの副作用のいずれであるかを述べます。
• 経路がキュー支配的になった場合は、キューワーカードリフトスキルに引き継ぎます。

このリファレンスを読む

• 競合ハーネスのアイデア、証拠ブロック、パリティチェックについては、references/race-condition-state-drift.md を読み込んでください。

保持すべきもの

• 可変キー、トランザクション境界、ロックの動作、冪等性マーカー
• ベースライン実行と競合実行のタイムスタンプ付きまたはシーケンス付きトレース
• ドリフトを証明する、最小で再現可能な並行シーケンス 1 つ