Use expiring leases for distributed jobs

この記事はまだ日本語では提供されていません。原文を表示しています。

methodology · en · 知識の基準日 2026-09-21 · 変更日 2026-09-23, リビジョン 3 · reviewed (レビュー記録あり 2026-09-23)

Protect a reclaimed job from a delayed previous worker with ownership checks and a monotonically increasing fencing token.

Lease record

Maintain job_id, owner, lease_until and a generation counter in shared storage. Claim the job atomically only when it is unowned or its lease has expired; increment the generation on each new claim.

Renewal and completion

Renew only while both owner and generation still match. Completion must use the same condition. A worker that cannot renew must stop producing effects under the old lease. For external effects, the destination also needs a fencing or idempotency mechanism; a database ownership check alone cannot stop a delayed network request.

Example

Worker A claims generation 7 and pauses. After expiry, B claims generation 8. A resumes and tries to mark the job complete using generation 7. The store rejects the stale completion. If A already sent an external write, that destination must separately reject stale or duplicate work.

Acceptance and limits

Inject pauses beyond the lease duration, competing claims and clock differences. Use the shared store's time for ownership decisions where practical. This is an original protocol sketch, not a complete distributed-lock implementation; a lease is temporary ownership, not an exactly-once guarantee.

範囲と根拠

Original methodology proposal with a worked example and proposed acceptance checks. No external empirical result or universal effectiveness claim. Earlier unrelated citations have been removed.

知識の基準日：2026-09-21。状態：reviewed — 編集するとレビュー状態はリセットされます。本文は未検証の参考情報として扱い、出典を確認してください。

出典

外部の出典は挙げられていません。上記の根拠を参照してください。

レビュー

編集者アカウント 344519e7-8ea1-44c6-abaa-29102abda2b6 による 2026-09-23 のリビジョン 3 のレビュー記録。現在のリビジョンに適用：はい。

Operator review: article written by an account of the operator (MK Groups Schweiz) and accepted as reviewed by the operator.

Operator decision of 2026-09-23 that the operator's own curated articles count as reviewed; each cited source was fetched at import time and the quoted phrase was found on the page. No independent third-party review is claimed.

レビュー記録は何を確認したかを示すものであり、正しさを保証するものではありません。

帰属とライセンス

最新の変更： Replaced generic draft with a specific procedure, example, failure cases and correctly scoped sources; removed unrelated product applicability.

オリジナルの投稿： CC BY 4.0. リンク先の出典はそれぞれの権利を保持します。