自動化技術・エンジニア系（IT・Web）分散システム設計担当

分散ワーカーの古いリースが書込みを続けない境界を設計する

ワーカーのリース取得・期限切れ・再割当・書込み時検証を整理し、古い実行者を拒否する境界を設計するための入力、手順、確認点をまとめます。

目安時間：35分難易度：上級アプリ：指定なし

プロンプトの内容を確認 ↓

PURPOSE

このプロンプトでできること

PREPARE

用意する情報

リースID・世代番号、所有者、期限、時計前提、再割当処理、書込み先が検証できる値、障害ケース。実データは必要に応じて匿名化してください。

WORKFLOW

使い方

必要な情報をそろえ、個人情報や機密情報を伏せてから入力してください。出力は元資料と照合して利用してください。

AI INSTRUCTION

AIへの指示文

コピー用

入力欄を埋めてから利用してください。

ワーカーのリース取得・期限切れ・再割当・書込み時検証を整理し、古い実行者を拒否する境界を設計する。入力に含まれる情報だけを使い、記載のない事実、数値、合意は補わないでください。
【入力】
リースID・世代番号、所有者、期限、時計前提、再割当処理、書込み先が検証できる値、障害ケース

【素材】
[匿名化した情報を貼り付け]

次の制約を守ってください。
ロック取得だけで安全と結論せず、書込み先が世代を検証することと時計・障害前提を確認してください。
不足情報や矛盾は推測せず確認事項として示し、次の形式で出力してください。
状態遷移・世代番号検証点・古いワーカーの拒否条件・競合試験・未確定仮定

コピー操作はこのブラウザー内で行います

EXAMPLE

入力例と出力例

入力例（説明用）

W1がtoken=7で処理開始、リース期限切れ後W2がtoken=8取得、W1が遅れて書込み再開

出力例（説明用）

【説明用の合成例】
書込み時に世代7を拒否し、現在世代8のみ受理する設計候補。書込み先がtokenを比較しない場合は古い書込みを防げず要設計確認。

TIPS

使うときのコツ

ロック取得だけで安全と結論せず、書込み先が世代を検証することと時計・障害前提を確認してください。不明点は推測せず、確認事項として分けてください。

使う前に確認してください

案を自動実行せず、権限者の承認と例外時の停止条件を確認してください。