depyf

depyf

深入解析PyTorch编译器工作原理的开源工具

depyf是一个开源工具,专注于解析PyTorch编译器torch.compile的内部工作机制。这个工具支持多个Python版本,提供简洁的API接口,能够生成详细的编译过程文档,并支持代码调试。通过depyf,机器学习研究人员和开发者可以深入理解编译过程,适应编译机制,并优化代码以提升性能。作为PyTorch生态系统的一员,depyf为用户提供了深入了解PyTorch编译器的机会。

depyfPyTorchtorch.compilePython反编译Github开源项目

Logo

文档状态 支持的Python版本 Python反编译测试 PyTorch集成测试 MIT许可证

depyf很荣幸成为PyTorch生态系统项目。查看公告博客https://pytorch.org/blog/introducing-depyf/了解更多详情。

你是否曾经对torch.compile的复杂性感到不知所措?深入了解其工作原理可能感觉像是黑魔法,涉及字节码和Python内部细节,许多用户难以理解,阻碍了他们对torch.compile的理解和适应。

如果你也面临这个问题,那么你可能会对depyf感兴趣。正如logo所示,depyf是一个软件工具,利用高级Python特性(Python蛇符号)来揭示PyTorch编译器torch.compile(PyTorch logo)的内部细节(内部齿轮符号),使用户能够理解它,适应它,并调整他们的代码(调试器符号)以获得最大的性能收益。

:warning: 本项目是与PyTorch团队密切合作开发的。因此,它需要PyTorch的最新特性来支持更好地理解torch.compile请与PyTorch>=2.2.0(推荐使用PyTorch nightly版本)一起使用此项目。访问PyTorch网站了解如何安装不同版本的PyTorch。

:warning: 在开发过程中,我们经常向社区寻求建议。你可能会在一些讨论论坛或社交媒体平台上找到一些早期使用示例。请遵循最新文档来使用此工具。

为什么选择depyf

如果你想理解torch.compile生成的字节码,那么depyf可能是你唯一的选择。我们测试了几个现有的反编译器,它们在跨版本反编译简单的Python字节码时都遇到了困难,并且对PyTorch的支持很差。

反编译器Python 3.8Python 3.9Python 3.10Python 3.11PyTorch
decompyle390.6% (77/85)××××
uncompyle691.8% (78/85)××××
pycdc74.1% (63/85)74.1% (63/85)74.1% (63/85)67.1% (57/85)19.3% (27/140)
depyf100% (85/85)100% (85/85)100% (85/85)100% (85/85)100% (140/140)

安装

稳定版本:pip install depyf

每日构建版本(推荐):pip install git+https://github.com/thuml/depyf.git

使用方法

主要用法非常简单:只需将你的代码包装在一个上下文管理器中:

import torch from torch import _dynamo as torchdynamo from typing import List @torch.compile def toy_example(a, b): x = a / (torch.abs(a) + 1) if b.sum() < 0: b = b * -1 return x * b def main(): for _ in range(100): toy_example(torch.randn(10), torch.randn(10)) if __name__ == "__main__": # main() # 将你想运行的代码包裹在`with depyf.prepare_debug`中 import depyf with depyf.prepare_debug("./dump_src_dir"): main()

然后你可以在./dump_src_dir目录中看到torch.compile的所有细节。这些细节被组织成以下内容:

  • 每个使用torch.compile的函数都有一个full_code_for_xxx.py文件
  • 每个图都有一个__transformed_code_for_xxx.py文件,用于相关的Python代码
  • __transformed_code_for_xxx.py.xxx_bytecode文件用于Python字节码,转储的代码对象,可以通过dill.load(open("/path/to/file", "wb"))加载。注意,load函数可能会导入一些模块,如transformers。请确保你已安装这些模块。
  • 每个计算图及其优化都有一个__compiled_fn_xxx.py文件:
    • Captured Graph:普通前向计算图
    • Joint Graph:来自AOTAutograd的联合前向-反向图
    • Forward Graph:来自AOTAutograd的前向图
    • Backward Graph:来自AOTAutograd的反向图
    • kernel xxx:来自Inductor的编译后的CPU/GPU内核包装器

我们在测试100多个深度学习模型时收集了所有编译产物。你可以查看它们来了解PyTorch编译器的工作原理。

如果你想使用调试器逐步执行上述代码,只需添加另一个上下文管理器(并通过调试器启动脚本):

import torch from torch import _dynamo as torchdynamo from typing import List @torch.compile def toy_example(a, b): x = a / (torch.abs(a) + 1) if b.sum() < 0: b = b * -1 return x * b def main(): for _ in range(100): toy_example(torch.randn(10), torch.randn(10)) if __name__ == "__main__": import depyf with depyf.prepare_debug("./dump_src_dir"): main() # 将你想调试的代码包裹在`with depyf.debug()`中 with depyf.debug(): main()

调用depyf.debug()会暂停程序,让你设置断点,然后你可以使用调试器在上面指定的./dump_src_dir目录下的这些文件中触发断点。

联系方式

如果你对depyf有任何疑问,欢迎开issue联系我们!我们欢迎任何讨论、问题报告或PR。或者如果你有其他问题,可以联系youkaichao@gmail.com

引用depyf

如果你觉得depyf有用,请在你的出版物中引用它。

@article{you2024depyf, title={depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers}, author={Kaichao You and Runsheng Bai and Meng Cao and Jianmin Wang and Ion Stoica and Mingsheng Long}, year={2024}, eprint={2403.13839}, journal={arXiv}, primaryClass={cs.LG}, url={https://github.com/thuml/depyf} }

编辑推荐精选

博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
�潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

Transly

Transly

实时语音翻译/同声传译工具

Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。

讯飞绘文

讯飞绘文

选题、配图、成文,一站式创作,让内容运营更高效

讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。

热门AI辅助写作AI工具讯飞绘文内容运营AI创作个性化文章多平台分发AI助手
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
商汤小浣熊

商汤小浣熊

最强AI数据分析助手

小浣熊家族Raccoon,您的AI智能助手,致力于通过先进的人工智能技术,为用户提供高效、便捷的智能服务。无论是日常咨询还是专业问题解答,小浣熊都能以快速、准确的响应满足您的需求,让您的生活更加智能便捷。

imini AI

imini AI

像人一样思考的AI智能体

imini 是一款超级AI智能体,能根据人类指令,自主思考、自主完成、并且交付结果的AI智能体。

下拉加载更多