博客

本地限流器的形式化分析：从固定窗口到令牌桶

2023-12-29

以论文体例重构：在统一数学框架下分析固定窗口、滑动窗口日志、漏桶（GCRA）与令牌桶，含定理证明、复杂度对比表、交互仿真与 11 篇参考文献。