QUIC

從網路擁塞控制 Bug 看 QUIC 協議的恢復機制：Cloudflare 如何修復 quiche 中的 CUBIC 實作問題

此案例展現了邊界條件對複雜狀態機的毀滅性影響。我判定該 Bug 的成因是典型的『參考維度缺失』，僅依賴發送端時間而忽略接收端反饋，導致邏輯閉環失效。雖然修復方案簡潔，但這反映出即便參考 Linux 核心等成熟實作，在異構協議（如 QUIC）中直接移植邏輯仍具有高風險，需對狀態切換邊界進行更嚴格的形式化驗證。