多彩编程 多彩编程MZPH · CODE BLOG
ARTICLE DETAIL

文章详情

深耕前端与后端开发技术的一线实战笔记与踩坑复盘。

Modular 平台全面开源:Mojo 语言 + MAX 框架的野心与现实

Modular 平台全面开源:Mojo 语言 + MAX 框架的野心与现实 Modular 平台全面开源Mojo 语言 MAX 框架的野心与现实核心观点Modular 公司的 GitHub 主仓库modular/modular是一个统一 AI 开发与部署的 monorepo囊括了两大核心产品MAX 推理框架面向生产级 AI 模型部署和Mojo 编程语言面向高性能 AI 系统编程。原文 README 本质上是一份组件地图和社区入口信息密度不高但背后有一条完整的技术叙事值得深入拆解。这件事处于什么阶段这不是一次渐进优化而是一次试图重新定义 AI 基础设施编程范式的尝试。理解它的参照系不应该是又一个 Python 加速库而应该是当年 LLVM 出现时对编译器生态的重塑——Mojo 的创始人 Chris Lattner 正是 LLVM 和 Swift 的缔造者。时间线上的关键节点值得关注2024 年 3 月Mojo 标准库核心模块以 Apache 2.0 开源2025 年 5 月Mojo 1.0 进入 Beta2025 年 8 月 11 日Mojo 1.0 正式发布2025 年 8 月 18 日编译器和工具链全面开源最关键的里程碑2025 年 7 月Qualcomm 完成对 Modular 的收购最后这条消息原文 README 里完全没提却是理解 Modular 平台走向最重要的背景信息。最核心的机制一套编译器打通异构硬件Modular 平台真正巧妙的地方不是Python 语法 高性能这个表面卖点而是其底层技术选择基于 MLIRMulti-Level Intermediate Representation构建的编译器栈。MLIR 是 LLVM 项目的衍生物允许在不同抽象层级之间表达和优化计算。这意味着 Mojo 写出的代码可以被编译器感知到底层 CPU 的 SIMD 指令、GPU 的并行模型、以及 AI 加速器的特定计算图——用一套语言和工具链同时覆盖异构硬件。这是 PyTorch/TensorFlow 的 Python-C 双层架构天然做不到的事。仓库结构体现了这个野心目录内容/KGENMojo 编译器已开源/mojo/stdlibMojo 标准库/max/kernelsMAX 加速器核心算子库/max/python/max/serveOpenAI 兼容推理服务端/max/python/max/pipelinesPython-based 模型图放进历史脉络比较比 Python 快 9 万倍的真相早期宣传中比 Python 快 68000 倍乃至9 万倍的数字严重损害了 Mojo 的公信力。搜狐/腾讯云等多篇独立技术文章均已澄清该基准测试对比的是纯 Python 手写矩阵乘法无 NumPyvs Mojo 优化实现属于刻意构造的不公平对比。现实情况是日常 AI 开发中 Python 本身就调用 NumPy/PyTorch 的 C/CUDA 后端性能差距根本不存在几万倍。Mojo 真实的优势场景是编写底层 kernel——也就是那些 NumPy 和 PyTorch 背后 C 代码原本在做的事。这既是 Mojo 的价值所在也暗示了它的天花板并非要取代 Python而是要取代 CUDA C 和部分 Rust。与同类选手相比vs JuliaJulia 已在高性能科学计算领域深耕多年生态更成熟Mojo 的优势在于更好的硬件感知能力和与 Python 的互操作性vs RustRust 生产可靠性已验证学习曲线陡峭Mojo 更简洁但尚不成熟vs CUDA C这才是 Mojo 最直接的对手也是 MAX kernels 最想替代的领域代码示例Mojo 的风格Mojo 的语法确实对 Python 开发者极友好# 带类型注解的函数比 Python 更严格比 C 更简洁 fn matmul(a: Matrix, b: Matrix) - Matrix: var result Matrix(a.rows, b.cols) for i in range(a.rows): for j in range(b.cols): for k in range(a.cols): result[i, j] a[i, k] * b[k, j] return result关键字fn严格类型编译期检查vsdef兼容 Python 动态类型这一区分本身就体现了 Mojo 的设计哲学渐进式静态化而非强制迁移。交叉验证搜狐技术文章《曾经号称比Python快9万倍Mojo如今彻底开源了》独立信源一和腾讯云开发者社区《Mojo vs Python vs Rust: 2025年搞AI,该学哪个?》独立信源二的分析与原文立场基本吻合但补充了几个原文 README 完全未提及的重要信息认同两篇文章均认可 Mojo 的技术路线有真实价值不是纯粹噱头重要补充Qualcomm 于 2025 年 7 月完成收购 Modular这对项目长期独立性存在隐患但 Qualcomm 承诺保持品牌独立重要补充腾讯云文章明确将 Mojo 定性为期货而非即时选择——当下不宜 all in但值得长期跟踪局限性补充Windows 支持不完善编译器虽开源但外部代码提交要到 2026 年底才开放生态类似 NumPy 的 NuMojo 等仍处于起步阶段轻微反驳原文 README 把开源作为核心卖点大力宣传但独立评测者指出开源解决了为什么我不敢用但尚未回答为什么我一定要用——这是更犀利的真问题个人启发对 AI 基础设施开发者最相关人群现在就可以去看/max/kernels的源码。这 45 万行生产级 Mojo kernel 代码是真正的学习资料——比官方文档更能说明Mojo 适合写什么、怎么写。如果你现在在写 CUDA kernel 或 Triton 算子这是最值得投入时间的新方向。对 AI 应用开发者Python 工程师/max/python/max/serve提供 OpenAI 兼容的推理服务端这是今天就能用的部分。可以用它替代 vLLM 来评估延迟和吞吐表现不需要学 Mojo。对技术决策者Qualcomm 收购这件事需要持续观察。Modular 从独立创业公司变成大公司子品牌开源策略和产品路线的可持续性有不确定性。在大规模押注 MAX 作为推理基础设施之前建议等待收购整合期预计 2026 年后再做评估。对学习者学 Mojo 的最佳姿态不是替代 Python而是把它当作理解现代 AI 编译器和异构计算的窗口。通读/KGEN编译器代码比读十篇论文更有感知。延伸思考Qualcomm 收购的动机是硬件生态锁定——Mojo 对 AI 加速器的强感知能力完美契合 Qualcomm 自家 NPU 的推广诉求。这会让 Mojo 的厂商中立承诺在未来面临真实压力值得持续关注编译器对非 Qualcomm 硬件的支持力度是否发生变化。编译器开源但贡献通道要到 2026 年底才开放这个安排揭示了一个深层矛盾Modular 想要社区信任所以开源又想保持对核心技术路线的控制权所以暂不接受外部 PR。这和 Redis 当年与云厂商的博弈属于同一个困境——开源不等于开放治理生态能否真正繁荣取决于这个矛盾如何解决。MAX inference server 的 OpenAI 兼容接口是最被低估的部分。随着推理服务市场竞争加剧vLLM、TGI、SGLangMAX 如果能凭借 Mojo kernel 的性能优势在特定硬件上实现明显更低的延迟将是比语言本身更快获得商业验证的切入口——而商业成功反过来会加速语言生态的建设。 参考来源GitHub - modular/modular: The Modular Platform (includes MAX Mojo) · GitHub
返回列表