📖 AI 总结

Meta AI 开源了 Rebalancer，一个用于求解分配问题的 C++ 库，并提供 Python 接口，用于在约束和目标条件下决定对象如何分配到容器中。该系统已在 Meta 内部用于资源分配超过 9 年，日均处理约 4000 万个放置问题。此次以 Apache 2.0 协议发布，附带文档、PyPI 包以及名为 Rebalancer Explorer 的调试界面。Rebalancer 旨在解决可用性与可扩展性两大障碍：工程师难以将策略转化为精确公式，而许多问题属于 NP 难且规模超出商业求解器能力。其核心设计是将问题描述与求解过程分离，通过三层规范语言建模，并编译为有向无环表达式图，再交由不同求解器处理。该设计基于 OSDI 2024 论文，适用于机架、服务器、任务和流量等大规模资源分配场景。