Python程序到计算图一键转化,详解清华开源深度学习编译器MagPy
AIxiv专栏是程序机器之心发布学术、技术内容的到计度学栏目。过去数年,算图乐山市某某人力咨询教育中心机器之心AIxiv专栏接收报道了2000多篇内容,键转解清覆盖全球各大高校与企业的化详华开顶级实验室,有效促进了学术交流与传播。源深译器如果您有优秀的习编工作想要分享,欢迎投稿或者联系报道。程序投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com
张晨,到计度学清华大学计算机系高性能所博士生,算图导师为翟季冬老师,键转解清主要研究方向为面向人工智能和量子计算的化详华开高性能异构计算系统。在OSDI、源深译器SC、习编ATC、程序ICS会议上发表一作论文,并获得 ICS21 最佳学生论文。乐山市某某人力咨询教育中心曾获得 SC19, SC20, ISC21 国际超级计算机竞赛冠军。获清华大学本科生特等奖学金、国家奖学金、北京市优秀毕业生、北京市优秀毕业设计等荣誉。
2024 年 7 月,清华大学计算机系 PACMAN 实验室发布开源深度学习编译器 MagPy,可一键编译用户使用 Python 编写的深度学习程序,实现模型的自动加速。
尽管目前存在大量高性能的深度学习编译器,但是这些编译器均以计算图作为输入,需要由用户将编写的 Python 程序手动转化为计算图。为了避免这种不便性,该团队设计了 MagPy,直接面向用户编写的 Python+PyTorch 程序,自动将其转化为适用于深度学习编译器的计算图表示,从而充分发挥深度学习编译器的优化能力,避免用户使用复杂 Python 语法带来的性能下降,为用户带来易用性和效率的双丰收。
该工作同时于系统领域重要国际会议 USENIX ATC’24 发表长文,第一作者清华大学博士生张晨、通讯作者为翟季冬教授。PACMAN 实验室在机器学习系统领域持续深入研究。MagPy 是继 PET、EINNET 等工作后在深度学习编译器上的又一次探索。欲了解更多相关成果可查看翟季冬教授首页:https://pacman.cs.tsinghua.edu.cn/~zjd
- 论文地址:https://www.usenix.org/system/files/atc24-zhang-chen.pdf
- 项目地址:https://github.com/heheda12345/MagPy
研究背景:深度学习计算图提取技术
近年来,深度学习在生物科学、天气预报和推荐系统等多个领域展示了其强大能力。为了简化编程过程,用户倾向于使用 Python 编写深度学习模型,并在需要进行张量操作时调用如 PyTorch 等的张量库。此时,用户程序会在调用张量库时立即执行张量操作,如此不加优化地直接执行程序性能较差。另一方面,为了提升深度学习模型的运行速度,深度学习编译器倾向于使用以算子图的格式表示的深度学习模型作为输入,在计算图上进行图级优化,如图替换和算子融合。当可以获取到模型的计算图时,代表性的深度学习编译器 TorchInductor 和 XLA 可以在 PyTorch 的基础上平均加速模型 1.47 倍和 1.40 倍。
具体结果如图 1 所示,标记为 Fullgraph-Inductor 和 Fullgraph-XLA。然而,实现这种加速的前提是用户手动将程序转换为计算图格式,这对许多模型开发者来说是困难的。尤其是随着深度学习的广泛应用,越来越多的模型是由化学、生物和天文学等领域的非专业程序员开发的。因此,迫切需要一种自动化方法将用户编写的 Python 程序转换为编译器友好的图格式来加速程序,这被称为计算图提取技术。
由于 Python 程序具有极强的动态性,加之用户程序存在行为的不确定性,现有的计算图提取技术在处理较复杂的用户程序时无法取得最优的性能,如图 1 中的 TorchDynamo-Inductor(使用 TorchDynamo 提取计算图,使用 TorchInductor 编译)、 LazyTensor-XLA(使用 LazyTensor 追踪计算图,使用 XLA 编译)所示。
图 1 :深度学习编译器可以显著提升模型运行效率,但现有的图提取技术阻碍了这一点。图中 Eager 表示直接执行 PyTorch 程序,Fullgraph-Inductor 与 Fullgraph-XLA 分别表示 Inductor、XLA 对模型的计算图进行编译后的加速,TorchDynamo-Inductor 与 LazyTensor-XLA 分别表示使用 TorchDynamo 和 LazyTensor 技术从用户 Python 程序中提取计算图再进行编译的性能。
MagPy 的解决方案
MagPy 的核心思想是分析 Python 解释器中的执行状态信息,从而让编译器能够更好的理解用户程序。Python 解释器能够准确支持所有 Python 特性,并在运行时保留了高层次的执行状态信息,如各个变量的类型和值等等。通过有效利用解释器提供的信息,能够更全面地了解程序的行为,从而更好地提取程序计算图。
MagPy 的设计基于以下几点观察:
首先,大多数深度学习程序的动态性是有限的。尽管这些程序是用 Python 编写的,具有数据类型、控制流逻辑和运行时函数调度等潜在的动态特性,但其计算图结构在不同批次间通常保持不变。ParityBench 是一个从 Github 上自动爬取超过 100 颗星的 PyTorch 深度学习程序组成的基准测试集,它的 1421 个程序中,83% 的程序(1191 个)均满足有限动态性的性质。对于这些程序,可以通过在程序执行过程中监控张量操作,较为简便地获取其计算图。根据这个性质,MagPy 将计算图提取问题从分析 “计算图是什么” 简化为分析 “得到的计算图何时会发生变化”。
其次,只有外部值能影响程序行为。利用这一特性,可以更简易地检测出会导致计算图发生变化的因素。这里的 “程序行为” 包括计算图的结构和所有程序副作用(side effect)。只要程序从外部读取的所有值(如输入参数和全局变量)保持不变,且调用的函数的输出结果不具有随机性,程序行为就不会发生变化。因此,MagPy 只需验证所有从外部读取的值都不变,即可保证计算图结构不变。例如,尽管图 2 中的程序使用了许多复杂的 Python 特性,但只要所有从外部读取的值(如 x、dims、self.scale 和 self.dim,标记为粗体)与之前运行一致,计算图就保持不变。MagPy 会首先运行一个 “守卫函数” 对于这些值是否发生变化进行检查(Guards),当检查通过时,MagPy 将会运行一个 “模拟函数”(mock code),用以调用经过深度学习编译器编译的计算图及模拟程序的所有副作用(如示例中的对 x 进行赋值)。
第三,守卫函数和模拟函数都可以通过分析程序执行状态来确定。守卫函数的作用是验证新一次执行的输入状态是否与之前运行匹配,模拟函数的目的是重现之前运行的最终状态。这两个部分仅基于运行时状态,而不是用户程序的逻辑。Python 解释器在解释执行程序的过程中,保留了所有需要的执行状态信息,因此不再需要具体分析 Python 复杂而动态的执行逻辑。守卫函数和模拟函数需要关注的变量包括显式读取或写入外部的值(如 self)以及被它们引用的值(如 self.dim)。因此,MagPy 设计了引用关系图来记录和分析程序行为。
基于上述观察,MagPy 提出了引用关系图(Reference Graph,简写为 RefGraph)来记录程序执行期间的程序状态。MagPy 定义了执行状态接口,用于在程序执行期间收集运行时信息,并使用基于标注的图更新规则来维护 RefGraph。MagPy 还提出了在 RefGraph 上进行遍历生成守卫函数和模拟函数的算法。具体细节可以阅读论文。
实验
MagPy 具有极高的 Python 语言特性覆盖率,其在对 ParityBench 中 1191 个静态的真实用户程序进行测试时,成功将 93.40% 的程序转化为完整的操作符图,大幅高于现有工作 TorchScript(35%)和 TorchDynamo(77.2%)
由于更完整的计算图导出,MagPy 在端到端测试中,也表现出具有竞争力的性能。下图展示了对于图像处理、自然语言处理等典型深度学习模型,MagPy 取得的加速。MagPy 可取得最高 2.88 倍,平均 1.55 倍的提升。实验在单张 A100 上进行,X-Y 表示使用图导出技术 X 和图层编译器 Y。
(责任编辑:热门资讯)
-
“闭眼摇”系列来了!二环低至1.4万/㎡,下半年这7盘引爆西安楼市!
在国庆假期来临之前,楼市的大招如期而至。9月24日,央行宣布降准、降息、降存量房贷利率三个大招。 现在西安的购房政策可谓是前所未有的宽松,首付门槛、利率都已经是历史最低。在这样难得历史窗口期,国庆节点 ...[详细] -
直播吧9月18日讯 亚冠第二级别联赛小组赛,浙江队将客场挑战狮城水手。赛前,浙江队主帅乔迪出席了新闻发布会。——介绍备战情况乔迪:大家早上好,明天我们肯定会面对一个非常强劲的对手,他们有着很优秀的球员 ...[详细]
-
西班牙人即将客场挑战皇家马德里。训练结束后,中场球员格拉赫拉谈到了对这场比赛的看法。格拉赫拉表示:“这将是一场非常精彩的比赛,伯纳乌是一个绝佳的球场,皇马拥有世界级的球员,甚至是世界上最好的球员之一。 ...[详细]
-
9月20日,苹果iPhone 16系列正式开售。澎湃新闻记者抵达上海南京东路苹果零售店时,首批预约到店取货的用户已经在室内排起长队。在苹果环球港门店,大批预约的用户同样在门店门口等待领取新机。多名 ...[详细]
-
科技感十足的中国登月服外观首次公开,不仅收获中国人喜爱,也在国外引发关注。美国企业家马斯克28日转发中国登月服相关画面,并发文吐槽美国联邦航空管理局FAA)正“扼杀国家太空计划”。中国登月服外观首次公 ...[详细]
-
据央视新闻客户端消息,记者从中国科学院国家天文台获悉,9月17日,中国科学院国家天文台李春来、中国探月与航天工程中心胡浩、北京控制工程研究所杨孟飞领导的联合研究团队在《国家科学评论》National ...[详细]
-
《科创板日报》18日讯,知名半导体专栏作家高灿鸣援引消息人士的话称,台积电已开始在亚利桑那州工厂少量生产苹果A16芯片。一旦该工厂Fab 21一期的第二阶段完工并投产,A16产量将大幅增加。目前台积电 ...[详细]
-
据《每日体育报》报道,在巴塞罗那对阵摩纳哥的欧冠比赛中,巴萨体育总监德科将借机观察两名对手的后卫。北京时间本周五凌晨,在新赛季欧冠的第一轮比赛,巴塞罗那将在客场对阵摩纳哥。据《每日体育报》报道,巴塞罗 ...[详细]
-
据央视新闻客户端消息,10月11日,外交部发言人毛宁主持例行记者会。有记者问,外交部网站10月10日公布对3家美国军工企业和10名高级管理人员采取反制措施的决定,请问发言人有何进一步的评论? 毛 ...[详细]
-
小鹏回应MONA M03自动泊车撞上奥迪:不排除光线等因素致弱势场景
IT之家 9 月 18 日消息,近期一起“小鹏 MONA M03 自动泊车撞上奥迪汽车”的事故,引起了IT之家网友的关注。据每日经济新闻今天下午报道,小鹏汽车相关负责人就此事回应称,“公司售后同学已经 ...[详细]