DistOptimize:分布式协议的自动优化
arXiv:2610.39017v1 发布类型:新 摘要:分布式共识与一致性协议难以分析,却又是云系统的基础;因此,在部署之前通常需要经过严格的证明与形式化验证。然而,同样的严格标准却很少应用于协议的修改——而这些修改在生产环境中频繁发生,极易危及系统的安全性。本文通过提出一种面向分布式协议的自动优化器——DistOptimize,消除了人为修改带来的安全风险。DistOptimize 将学术界提出的吞吐量优化方法移植到生产环境中使用的框架,并在 Rocq 语言中验证重写后的正确性,同时结合校准与基于 ILP 的搜索实现其自动化应用。


