14:41
2026-03-16
muratbuffalo.blogspot.com
developer-tools
Modeling Token Buckets in PlusCal and TLA+
The article explains how token bucket algorithms can prevent retry storms in distributed systems by stopping retries when a downstream service fails. It warns that implementing this algorithm in a seqโฆ