Leslie Lamport's writings: Distribution
Leslie Lamport 最終確認
未知の遠隔計算機の故障が自分の仕事を止める、という分散システムの特徴付けを支えます。
Chapter Sources
第8章 脚注・出典
失敗のセマンティクス——再送は重複を生む
紙面の脚注番号と安定した出典IDを対応させています。URLが移転した場合も、出典IDを維持したまま参照先と状態を更新します。
-
脚注 1
# -
脚注 2
#Retry behavior
Amazon Web Services 最終確認
AWS SDKの再試行モード、最大試行回数、バックオフ設定の契約を支えます。
https://docs.aws.amazon.com/sdkref/latest/guide/feature-retry-behavior.html
-
脚注 3
#Metastable Failures in Distributed Systems
ACM SIGOPS 最終確認
負荷と再試行の正のフィードバックで障害が自己維持されるmetastable failureを支えます。
https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s11-bronson.pdf
-
脚注 4
#Exponential Backoff And Jitter
Amazon Web Services 最終確認
指数バックオフへジッターを加えて再試行の同期を崩す手法を支えます。
https://aws.amazon.com/blogs/architecture/exponential-backoff-and-jitter
-
脚注 5
#HTTP Semantics
IETF 最終確認
HTTPにおける冪等メソッドの標準定義を支えます。
-
脚注 6
#Stripe Idempotent Requests
Stripe 最終確認
StripeがIdempotency-Keyで同じ操作の再送結果を再利用する契約を支えます。
-
脚注 7
#Idempotency - Powertools for AWS Lambda
Amazon Web Services 最終確認
冪等性キー、処理中・完了状態、結果保存、期限を組み合わせる実装パターンを支えます。
https://docs.aws.amazon.com/powertools/python/latest/utilities/idempotency
-
脚注 8
#Making retries safe with idempotent APIs
AWS 最終確認
冪等性の記録と作用を不可分にする必要と、結果が分からないときの突き合わせの重さを支えます。
https://aws.amazon.com/builders-library/making-retries-safe-with-idempotent-APIs/
-
脚注 9
#Choosing workflow type in Step Functions
Amazon Web Services 最終確認
Step Functionsの実行方式ごとに配信と実行の保証範囲が異なることを支えます。
https://docs.aws.amazon.com/step-functions/latest/dg/choosing-workflow-type.html
-
脚注 10
#Pattern: Transactional outbox
Chris Richardson 最終確認
Transactional Outboxがデータ更新と送信予定の記録を同じトランザクションへ置き、運び役の重複送信に備えて消費側を冪等にする必要があることを支えます。
-
脚注 11
#Sagas
ACM 最終確認
Sagaによる長いトランザクションの分割と補償、および取り消せない作用での限界を支えます。
-
脚注 12
#Sagas
ACM 最終確認
Sagaによる長いトランザクションの分割と補償、および取り消せない作用での限界を支えます。
-
脚注 13
#cloudflare/cloudflare-os
Cloudflare 最終確認 確認対象 commit 8b08672050e6957987a87b5f9cab2801ba89b42c
Cloudflare OSのGatekeeperが、承認が要る操作の結果をシミュレートしてエージェントを先へ進ませ、結果の読み返しにも仮の値を返し、利用者が後から一括または個別に承認・却下する非同期承認を提案していることを支えます。