luminal
Luminal 是一款用 Rust 编写的高性能通用深度学习推理编译器,旨在以极致速度运行各类 AI 模型。它主要解决了传统深度学习框架因“即时执行”模式导致的性能瓶颈问题:大多数库为了开发便利牺牲了机器执行效率,而 Luminal 通过独特的编译时搜索策略,自动探索最优计算路径,无需依赖大量手写内核即可实现如 Flash Attention 等复杂优化,在 H100 显卡上运行量化后的 Llama 3 8B 模型时,能达到理论峰值性能的约 80%。
该工具采用极简的 RISC 风格架构,仅依靠 14 种基础算子即可支撑 Transformer、卷积网络等主流模型,核心代码库小巧易懂。与依赖厚重抽象层或虚拟环境的方案不同,Luminal 直接调用 CUDA 或 Metal API,以静态链接库形式提供原生体验,大幅降低了系统碎片化带来的负担。此外,项目高度重视正确性,所有算子均经过与 PyTorch 的严格对比测试。
Luminal 特别适合追求极致推理性能的 AI 工程师、系统研究人员以及希望深入理解底层编译优化的开发者使用。如果你厌倦了繁琐的环境配置,渴望在一个轻量、透明且强大的工具链中挖掘硬件潜力,Luminal 提供了一个回归本质的高效选择。
使用场景
某边缘计算团队需要在资源受限的本地服务器上实时运行 Llama 3 8B 模型,以处理高频客户咨询,但受限于推理延迟和部署复杂度。
没有 luminal 时
- 推理速度瓶颈:传统框架在消费级显卡上运行量化模型时,无法充分挖掘硬件算力,导致响应延迟高达数秒,无法满足实时交互需求。
- 部署环境臃肿:必须依赖庞大的 Docker 容器、复杂的 Python 虚拟环境及特定版本的 CUDA 驱动,运维排查问题如同“大海捞针”。
- 优化手段有限:缺乏自动化的算子融合能力,开发者需手动编写繁琐的 CUDA 内核才能实现类似 Flash Attention 的加速,开发周期极长。
- 资源占用过高:层层抽象带来巨大的内存开销和间接调用损耗,使得小显存设备根本无法加载大模型。
使用 luminal 后
- 极致推理性能:luminal 通过搜索式编译自动推导最优执行路径,在单卡上即可让 Q8 量化的 Llama 3 8B 跑满理论性能的 80%,实现毫秒级响应。
- 原生极简部署:基于 Rust 静态链接特性,luminal 直接交互底层 API,无需 Docker 或虚拟环境,单个二进制文件即可在任何目标机器上“开箱即用”。
- 自动复杂优化:仅需定义基础计算图,luminal 能自动发现并应用复杂的算子重写策略(如自动衍生 Flash Attention),彻底解放人力。
- 高效资源利用:去除所有中间抽象层,显著降低内存占用与调用开销,让边缘设备也能流畅运行大型语言模型。
luminal 通过将编译器搜索技术与原生系统级性能相结合,让大模型推理真正实现了“光速”落地。
运行环境要求
- Linux
- macOS
- NVIDIA GPU (支持 CUDA) 或 Apple Silicon (支持 Metal)
- 具体型号未说明,但示例提到在 H100 上运行 Llama 3 8B
未说明

快速开始
Luminal 是一款高性能的通用推理编译器。
使用方法
use luminal::prelude::*;
// 创建计算图
let mut cx = Graph::new();
let a = cx.tensor((3, 1));
let b = cx.tensor((1, 4));
let c = a.matmul(b).output();
// 编译
cx.build_search_space::<NativeRuntime>();
let mut rt = cx.search(NativeRuntime::default(), 1);
// 设置输入张量
rt.set_data(a, vec![1.0, 2.0, 3.0]);
rt.set_data(b, vec![1.0, 2.0, 3.0, 3.0]);
// 运行
rt.execute(&cx.dyn_map);
// 获取输出张量
println!("结果: {:?}", rt.get_f32(c));
快速入门
Llama 3 8B
以下是一个使用 Luminal 在 CUDA 上本地运行 Llama 3 8B 的快速示例:
cd ./examples/llama
cargo run --release
特性
速度
Luminal 可以在 H100 上以接近理论最大性能的 80% 运行 Q8 版本的 Llama 3 8B。我们的目标是成为在任何设备上运行任何模型时最快的机器学习框架。
简洁性
Luminal 的核心始终是极简的。你可以在一个下午内理解整个核心库。
RISC 风格架构
Luminal 中的所有操作都可以归结为 14 种基本算子:
- 一元算子:
Log2, Exp2, Sin, Sqrt, Recip - 二元算子:
Add, Mul, Mod, LessThan - 其他算子:
SumReduce, MaxReduce, Iota, Gather, Cast
这些算子足以支持 Transformer、卷积神经网络以及几乎所有流行的模型。
搜索
最好的启发式就是没有启发式。我们尝试搜索所有可能的决策,以赋予编译器最大的灵活性来发现复杂的优化。这使我们能够自动推导出 Flash Attention 等复杂重写规则。同时,这也让我们能够在未来的很长一段时间内保持代码体积非常小,并且在性能上超越那些拥有大量手写内核的大型框架。
原生实现
当前的机器学习生态系统过于碎片化,而解决方案并不是再增加一层抽象。Luminal 使用 Rust 编写,直接与 CUDA / Metal API 交互。没有任何间接层或抽象、Docker 容器或虚拟环境,只是一份静态链接的 Rust crate。
与 PyTorch 对比验证
正确性至关重要。我们编写了尽可能多的测试用例,以覆盖所有算子,并验证它们的行为与 PyTorch 的等效实现一致。(仍需改进!)
理念
为什么它看起来与其他深度学习库如此不同?
大多数深度学习库都是“急切执行”模式,即每次调用算子都会直接对数据进行操作。在 PyTorch 中,当你看到 x + y 时,加法运算实际上就在那里立即发生。这种方式非常适合调试,因为它完全符合大多数开发者的预期。
然而,这种模式并不利于性能。对开发者来说合理的方式并不一定适合机器,就像没有人会手写汇编代码一样。大多数库试图通过添加算子融合或 JIT 编译来改变编译流程,使其更适合机器。但事实证明,即使对于 PyTorch 来说,这也是 极其 困难 的事情 甚至 难以实现!
编译一切
Luminal 的核心原则之一是提前编译。只要可能,就将所有内容推到编译时,不留给运行时处理。Luminal 的方法更类似于 XLA 和 tinygrad。这里一切都是静态的。当你写下表达式 x + y 时,实际上并不会进行任何计算。该操作会被记录到一个有向无环计算图中,供后续执行。只有当调用 graph.execute() 时,计算才会真正发生。但这不就是惰性执行吗? 是的!但在 Luminal 中,一切都以这种方式进行。所有的神经网络都被构建为一个或几个静态计算图,经过编译后稍后再执行。
那么为什么呢?
这样做的一个后果是,实际运行的计算可能会与编写的代码截然不同。由于我们有一个完整的神经网络被表示在计算图中,编译器拥有全局视角。这意味着我们可以将大部分机器学习的复杂性交给编译器来处理。例如,设备、数据类型和执行调度都由编译器负责。甚至自动微分也是由编译器完成的!
现在我们可以做到:
- 大规模的内核融合
- 根据形状在运行时编译特定的内核
- 设备和数据类型的处理由编译器完成(只需运行 CUDA 编译器将图转换为使用 CUDA 内核,再运行 fp16 编译器将其转换为半精度内核)
- 网络可以用通用代码编写,但却能在高度定制化的架构上快速编译和运行(试着写一个既能支持 TF32 数据类型又能运行在 TPU 上的 PyTorch 网络吧;准备好迎接 if 语句地狱……)
当前进展
- 搜索功能已部分合并。我们正处于 1.0 和 2.0(搜索)之间,预计将在未来一个月左右完成。
- 支持 Metal 和 CUDA,分别用于在 Mac 和 Nvidia GPU 上以全精度和半精度运行模型。
- 提供基于计算图的完整训练支持,包含自动微分。
- Llama 3、Phi 3、Whisper 和 Yolo v8 已在
examples/目录中实现。请参阅上方说明以了解如何运行。 - 我们在
luminal_nn中提供了一个小型的神经网络模块库,其中包括 Transformer 模块。 - 在
hl_ops中实现了大量的高级算子。我们正努力匹配 PyTorch API 中最常用的约 80% 的功能。
路线图上的其他事项:
- 扩展搜索空间,以更灵活地利用 Tensor Core
- 使 CUDA 功能与 Metal 功能对齐
- 添加 Blackwell 的内置函数,如 TMEM 和 TMA
- 构建 ROCm 后端
- 构建基准测试套件,用于与其他库进行比较
- 实现分布式数据、流水线和张量并行
- 在 LLM 推理和训练方面超越 PyTorch 2.0 的性能
- 编写量子光子回退编码器的编译器
- 构建戴森球群
许可证
根据您的选择,本文件依据 Apache 证书版本 2.0(http://www.apache.org/licenses/LICENSE-2.0)或 MIT 证书(http://opensource.org/licenses/MIT)授权。除遵循这些条款外,不得复制、修改或分发本文件。
版本历史
0.22024/03/010.12023/08/11常见问题
相似工具推荐
stable-diffusion-webui
stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。
everything-claude-code
everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上
ComfyUI
ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。
NextChat
NextChat 是一款轻量且极速的 AI 助手,旨在为用户提供流畅、跨平台的大模型交互体验。它完美解决了用户在多设备间切换时难以保持对话连续性,以及面对众多 AI 模型不知如何统一管理的痛点。无论是日常办公、学习辅助还是创意激发,NextChat 都能让用户随时随地通过网页、iOS、Android、Windows、MacOS 或 Linux 端无缝接入智能服务。 这款工具非常适合普通用户、学生、职场人士以及需要私有化部署的企业团队使用。对于开发者而言,它也提供了便捷的自托管方案,支持一键部署到 Vercel 或 Zeabur 等平台。 NextChat 的核心亮点在于其广泛的模型兼容性,原生支持 Claude、DeepSeek、GPT-4 及 Gemini Pro 等主流大模型,让用户在一个界面即可自由切换不同 AI 能力。此外,它还率先支持 MCP(Model Context Protocol)协议,增强了上下文处理能力。针对企业用户,NextChat 提供专业版解决方案,具备品牌定制、细粒度权限控制、内部知识库整合及安全审计等功能,满足公司对数据隐私和个性化管理的高标准要求。
ML-For-Beginners
ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。
ragflow
RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。