Meta AI 开源 Rebalancer：一个 C++ 赋值求解器，每天运行约 4000 万个放置问题

📌 One-Sentence Summary

Meta 已开源 Rebalancer，一个带有 Python 接口的 C++ 库，用于求解赋值问题，过去 9 年来已被用于处理 Meta 范围内的资源分配。

📝 Summary

Rebalancer 是一个用于求解赋值问题的高性能库，例如将服务器放置在机架中或将流量路由到数据中心。它拥有灵活的规范语言，支持本地搜索和混合整数规划求解器，并包括一个名为 Rebalancer Explorer 的调试 UI。该库在 Apache 2.0 许可下可用，并提供 Linux 和 macOS 的预编译包。

💡 Main Points

Rebalancer 解决了在特定约束下将对象（如任务或服务器）分配给 bin（如机架或数据中心）的挑战。它旨在弥合高级策略描述与这些分配的实际执行之间的差距，这些分配通常是 NP-hard 的。

该库使用一种特定领域的语言来定义赋值问题。这种语言允许通过结合建模结构（维度、分区、范围）和强大的表达式 API 来创建复杂的约束和目标。

Rebalancer 将问题规范编译成表达式图。然后，它使用本地搜索算法来快速找到近似解，或使用混合整数规划（MIP）求解器来找到最优解，具体取决于问题的大小和要求。

在 Meta，Rebalancer 被广泛使用，每天求解约 4000 万个问题。它展示了高效率，对于涉及数十万个对象和数千个 bin 的问题，P99 求解时间为 12 秒。

该工具用途广泛，可应用于多种场景，包括将计算分片放置在集群上，平衡跨地区的负载，以及处理会议室调度等运营分配。

💬 Key Quotes

Rebalancer 已经处理 Meta 的资源分配超过 9 年。

📊 Article Meta

AI Screening： 85

Source： MarkTechPost

Author： Asif Razzaq

Category： 人工智能

Language： 英文

Read Time： 5 min

Word Count： 1033

Tags：

AI 与智能应用 , 性能优化 , 模型发布 , AI 工作流 , 开源项目