OpenAI 的 Pando Git 后端使用 GPT-6 Astra 进行形式化验证
OpenAI 于今年 4 月开始使用 Pando 处理生产流量。Pando 是一种用于 Git 仓库的新后端。Codex 支持更多并行开发,导致现有系统需要处理的分支、推送、合并、获取和克隆操作数量增加。Pando 为 OpenAI 的单体仓库提供支持,同时保留与 Git 协议和客户端的兼容性,使工程师和智能体能够使用现有工作流。 OpenAI 构建 Pando 以应对并发 Git 工作 OpenAI 表示,其单体仓库的规模和需求迅速增长。去年年底前后,支撑该仓库的系统开始难以应对,出现获取和推送缓慢、合并失败等问题,可靠性有时降至 90% 以下。该公司构建 Pando,以并行处理对不同分支的推送,并同时向许多读取者提供相同的历史记录,而不中断工程工作或改变团队使用 Git 的方式。 Pando 独立协调对每个分支的更新,使互不相关分支的更新能够并行进行。它还会在多次获取操作之间复用 Git packfile,而不是为每个客户端单独生成一个 packfile。这可能意味着客户端会下载一些已有的对象,但这样一来,服务器只需进行少量计算,就能向许多客户端提供相同的字节数据。 Pando 运
Gate 全球科技前线·11-03 18:03
