排查清楚后LeanAPI吞吐提升33%,瓶颈竟在Lean运行时

hargup13 · x · 2026-09-28

LeanAPI 项目在社区贡献者 keithadler 的协助下，通过上游修复使请求处理速度提升约 33%。

排查发现约 2,000 req/s 的吞吐上限并非 LeanAPI 自身代码或 macOS 的问题，而是 Lean 4.33 的 Std.Http 实现：TCP.Socket.Client.recvSelector 在 selector 竞争中阻塞式调用 recv?，导致每个 socket 读都占住一个 task-pool worker，50 个连接时产生 60+ 线程争抢任务管理器的单一 mutex（约 95% 时间耗在锁上）。
该问题已在 Lean master 分支修复：裸 Std.Http 从 1,624 req/s 升至 5,383 req/s（M2 Pro、50 条 keep-alive 连接、ab -k 测试），叠加 LeanAPI 后约 4,575 req/s。
还发现一个独立的 macOS 连接突发重置问题待处理；作为参照，裸 Std.Async TCP 循环可达约 45,900 req/s。

「编程与Agent」频道最新