推荐一个开源的炼丹神器MegPeak!算法工程师的仪表盘

9941576afb86cc67f932b5fea3c503e4.jpeg

在算力需求爆炸的大背景下,如何发挥出已有硬件的最大算力变得非常重要,直观一点是:我们需要对现有算法针对特定的处理器进行极致的性能优化,尽量满足目前AI算法对算力的高要求。

为了能够做到极致的性能优化,我们可能的方向有:

  • 优化算法,使得算法能够在满足准确度前提下,访存和计算量尽量小

  • 优化程序,使得实现这些算法的程序最大限度发挥处理器性能

在优化程序的过程中,首先要解决的问题是:如何评估程序发挥了处理器几成的算力,以及进一步优化空间和优化方向。

为了更懂我们的处理器,旷视MegEngine 团队开发了一个工具 MegPeak,可以帮助开发人员进行性能评估,开发指导等,目前已经开源。

GitHub项目地址:
https://github.com/MegEngine/MegPeak

点击文末的阅读原文,可了解更多MegPeak的使用方法、原理等

MegPeak功能

通过 MegPeak ,用户可以测试目标处理器:

  • 指令的峰值带宽

  • 指令延迟

  • 内存峰值带宽

  • 任意指令组合峰值带宽

虽然上面的部分信息可以通过芯片的数据手册查询相关数据,然后结合理论计算得到,但是很多情况下无法获取目标处理器详尽的性能文档,另外通过 MegPeak 进行测量更直接和准确,并且可以测试特定指令组合的峰值带宽。MegEngine团队使用MegPeak在几种常用ARM架构CPU上进行测试,根据对指令fmla的测试结果整理出下表。

2af886905e9dafcceedd41e39917114e.png

其中,GFLOPS指标可以衡量设备的算力,而 FLOPS/Cycle指标可以帮助推测CPU的硬件特征。下面以A55/A77/Apple M1分别举例说明。

  • A55:由于每条指令fmla可执行两次浮点运算(包括一次乘法和一次加法),且测试得到的FLOPS/Cycle指标接近8,故可以推测A55的后端执行单元有一个128位浮点向量乘加单元或有两个64位浮点向量乘加单元。

  • A77:其FLOPS/Cycle指标约为16,所以每个周期A77可以执行2条SIMD的fmla指令,所以其后端有两个SIMD fmla执行单元,且后端至少是双发射的。

  • Apple M1:Apple M1的FLOPS/Cycle指标达到了32,说明其拥有4个SIMD执行单元。

用 MegPeak 测到的数据,可以用来干什么

MegPeak可以测试出处理器的内存带宽,指令的理论计算峰值,指令的延迟等信息,因此可以帮助我们:

  • 绘制 Roofline Model 指导我们优化模型性能

  • 评估程序的优化空间

  • 探索指令组合的理论计算峰值

另外MegPeak还可以提供对理论的验证,如我们通过处理器频率单核单周期指令发射数量每条指令执行的计算量可以计算出理论计算峰值,然后我们可以通过MegPeak进行实际测量进行验证。

绘制指令相关的 Roofline Model

2250ac782b230cff77b23f771f9aeab0.png

Roofline 模型被大量的使用在高性能计算中,是评估算法的可优化程度和优化方向的重要工具。使用 MegPeak 可以绘制出更加具体的关于指令对应的Roofline模型,如:在CPU中,不同的数据类型,虽然访存带宽不会改变,但是计算峰值差距比较大,比如在arm上 float 的计算峰值和 int8 的计算峰值差距很大。

评估代码优化空间

在优化具体算法的时候,可以通过MegPeak测试出kernel里面的主要指令的最大峰值,如在Arm上优化 fp32 Matmul 的时候,主要用到的指令是 fmla 指令,这时候可以测试程序实际运行的峰值,指令的峰值和程序的峰值差距越小,说明代码优化的越好。

另外,可以根据算法实现计算出计算量和访存量,并使用MegPeak绘制出上面的Roofline,通过计算实际的计算密度,然后再对应到Roofline中,如果计算密度落在上图中的绿色区域,说明程序需要更多考虑优化访存,提供更优的访存模型,如分块,提前pack数据等。如果计算强度的点落在灰色区域说明,代码已经最优了,如果还想进一步提速,只能考虑从算法角度进行优化了,如:在卷积中使用FFT,Winograd等算法进行优化。

探索最优指令组合

很多Kernel的优化不是单纯的某一条指令就可以衡量,可能需要多条指令的组合才能代表整个Kernel的计算,因此我们需要探索如何组织这些指令使其达到处理器最优的性能。下面列举在A53小核优化fp32 Matmul的过程中,由于Matmul是计算密集型算子, 考虑通过多发射隐藏访存指令的开销,使用 MegPeak 配合进行分析,探索如何组合指令实现尽可能多的多发射。

因为小核上面资源有限,指令多发射有很多限制,

  • 首先使用MegPeak测试出 A53 上 fp32 的 fmla 指令的计算峰值,将其定义为100%峰值计算性能

  • 测试哪些指令组合可以支持双发射

    • 在MegPeak中添加 vector load 和 fmla 1:1组合的代码,然后测试其峰值仅仅为float峰值的36%,表明Vector load和 fmla不能双发射

    • 同样可以测得通用寄存器load指令ldr+fmla的组合可以达到float峰值的93%,说明 ldr 可以和 fmla 双发射

    • 同上可以测得 ins + fmla 能双发射,ins + vector load 64位 可以双发射

  • 根据Matmul最内层Kernel的计算原理,如最内层Kernel的分块大小是8x12,那最内层需要读取:20个float数据,计算24次fmla计算

  • 结合上面的 MegPeak 测试的信息,我们需要找到用最少时钟完成这20个float数据load,和24次fmla数据计算的指令组合,因此需要将尽可能多的数据load和fmla进行双发射,隐藏数据load的耗时

  • 最后的指令组合是:

    • 使用vector load 64指令 + ldr + ins组合成为一个neon寄存器数据,因为ldr和ins都可以和fmla双发射,把他们和fmla放在一起可以隐藏他们的耗时

    • 在这3条指令中穿插fmla指令,并尽可能解决数据依赖

根据上面的指令组合可以使得Matmul在小核上达到计算峰值的70%左右。

总结

MegPeak 作为一个进行高性能计算的辅助工具,能够使得开发人员轻松获得目标处理器的内在的详细信息,辅助进行对代码的性能评估,以及优化方法设计。但是MegPeak也有一些需要丰富的方向:

  • 支持获取更多的处理器性能数据,如:L1,L2 cache的大小,自动探索各种指令组合的双发射情况,并大概绘制出一个处理器后端的缩略图。如:https://en.wikichip.org/w/images/5/57/cortex-a76_block_diagram.svg

  • 支持测量移动端OpenCL的更多细节信息,如:warp size,local memory 大小等。

如果有同学对上面的功能感兴趣,欢迎大家提交代码。最后欢迎大家使用 MegPeak。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/477090.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

LintCode 390. 找峰值 II

1. 题目 给定一个整数矩阵 A, 它有如下特性: 相邻的整数不同矩阵有 n 行 m 列。对于所有的 i < n, 都有 A[i][0] < A[i][1] && A[i][m - 2] > A[i][m - 1]对于所有的 j < m, 都有 A[0][j] < A[1][j] && A[n - 2][j] > A[n - 1][j] 我们定…

Node.js Stream - 实战篇

前面两篇&#xff08;基础篇和进阶篇&#xff09;主要介绍流的基本用法和原理&#xff0c;本篇从应用的角度&#xff0c;介绍如何使用管道进行程序设计&#xff0c;主要内容包括&#xff1a; 管道的概念Browserify的管道设计Gulp的管道设计两种管道设计模式比较实例所谓“管道”…

我们的Web3创业项目,黄了

文 | 邬宇琛源 | 投资界PEdaily这是今年VC圈最具争议的赛道&#xff0c;如今也可能是熄灭最快的赛道。三个月&#xff0c;换了三个方向。今年春天&#xff0c;北京某出海互联网公司在内部筹划起一个新的项目&#xff0c;项目直指风口——Web3。毫无Web3经验的互联网运营经理吴欣…

决策树(Decision Tree,DT)

文章目录1. 决策树模型与学习2. 特征选择2.1 特征选择Python代码3. 决策树的生成3.1 Python代码4. 决策树的剪枝5. CART 算法6. sklearn 例子6.1 书上贷款例子6.2 鸢尾花 及 决策树可视化附. 本文完整代码决策树&#xff08;decision tree&#xff09;是一种基本的分类与回归方…

使用模板快速编写测试用例

在高速发展的互联网公司&#xff0c;由于产品的开发迭代太快&#xff0c;产品测试经常遇到以下几个问题&#xff1a; 1. 如何在快速的产品开发迭代中迅速地完成对产品功能的测试&#xff1f; 2. 面对用户众多、环境多样&#xff0c;如何尽可能地测试全面&#xff1f; 3. 公司扩…

最新!Kaggle所有竞赛开源方案和Top思路汇总,共477场竞赛!

数据竞赛能帮助我们快速提升数据分析和建模能力&#xff0c;非常多的朋友也非常希望学习Top比赛的方案。之前也有非常多的朋友问我某某竞赛的方案有没有&#xff0c;有时我不是很忙的时候就会把对应的竞赛中把Top的链接找出来一起整理发过去&#xff0c;但也有的时候可能会比较…

LeetCode 65. 有效数字(逻辑题,难)

1. 题目 验证给定的字符串是否可以解释为十进制数字。 例如: "0" > true " 0.1 " > true "abc" > false "1 a" > false "2e10" > true " -90e3 " > true " 1e" > false "…

Mock Server实践

背景 在美团服务端测试中&#xff0c;被测服务通常依赖于一系列的外部模块&#xff0c;被测服务与外部模块间通过REST API或是Thrift调用来进行通信。要对被测服务进行系统测试&#xff0c;一般做法是&#xff0c;部署好所有外部依赖模块&#xff0c;由被测服务直接调用。然而有…

美团上交开源PromptDet:无需标注,开放世界的目标检测器

文 | 冯承健源 | 极市平台本文提出了一个开放世界的目标检测器PromptDet&#xff0c;它能够在没有任何手动标注的情况下检测新类别&#xff08;如下图绿色检测框&#xff09;&#xff0c;其中提出区域prompt学习方法和针对网络图像的自训练方法&#xff0c;性能表现SOTA。主页&…

Docker系列之二:基于容器的自动构建

自动构建系统是从美团的自动部署系统发展出来的一个新功能。每当开发人员提交代码到仓库后&#xff0c;系统会自动根据开发人员定制的构建配置&#xff0c;启动新的Docker容器&#xff0c;在其中对源代码进行构建&#xff08;build&#xff09;&#xff0c;包括编译&#xff08…

剑指Offer - 面试题56 - I. 数组中数字出现的次数(异或,分组)

1. 题目 一个整型数组 nums 里除两个数字之外&#xff0c;其他数字都出现了两次。请写程序找出这两个只出现一次的数字。 要求时间复杂度是O(n)&#xff0c;空间复杂度是O(1)。 示例 1&#xff1a; 输入&#xff1a;nums [4,1,4,6] 输出&#xff1a;[1,6] 或 [6,1]示例 2&a…

自动驾驶技术简史

文 | Bernard_Han自动驾驶是一个最近在产业界炙手可热的关键词。无论是与人工智能相关的顶级会议还是各大造车厂商甚至各大投资商都为这个成长初期的蓝海产业下注了美好的未来。但是“汽车自动化”的理论与自动驾驶不同&#xff0c;提出至今已有近百年的历史。从最初的遥控到如…

你是什么时候对深度学习失去信心的?

文 | 霍华德源 | 知乎最近几天在知乎上有个问题火了&#xff1a;你是什么时候对深度学习失去信心的&#xff1f;在此推荐一下知乎大V霍华德的回答&#xff0c;以下为原回答。对于深度学习的现状&#xff0c;工业界还是很清楚的。如果没有变革性的突破&#xff0c;弱人工智能时代…

OpenTSDB 造成 Hbase 整点压力过大问题的排查和解决

业务背景 OpenTSDB 是一款非常适合存储海量时间序列数据的开源软件&#xff0c;使用 HBase 作为存储让它变的非常容易扩展。我们在建设美团性能监控平台的过程中&#xff0c;每天需要处理数以亿计的数据&#xff0c;经过几番探索和调研&#xff0c;最终选取了 OpenTSDB 作为数据…

LintCode 183. 木材加工(二分查找)

1. 题目 有一些原木&#xff0c;现在想把这些木头切割成一些长度相同的小段木头&#xff0c;需要得到的小段的数目至少为 k。当然&#xff0c;我们希望得到的小段越长越好&#xff0c;你需要计算能够得到的小段木头的最大长度。 样例 1 输入: L [232, 124, 456] k 7 输出: …

AC算法在美团上单系统的应用

1.背景 在美团&#xff0c;为了保证单子质量&#xff0c;需要对上单系统创建的每一个产品进行审核。为了提高效率&#xff0c;审核人员积累提炼出了一套关键词库&#xff0c;先基于该词库进行自动审核过滤&#xff0c;对于不包括这些关键词的产品信息不再需要进行人工审核。因此…

LintCode 600. 包裹黑色像素点的最小矩形(BFS)

1. 题目 一个由二进制矩阵表示的图&#xff0c;0 表示白色像素点&#xff0c;1 表示黑色像素点。 黑色像素点是联通的&#xff0c;即只有一块黑色区域。 像素是水平和竖直连接的&#xff0c;给一个黑色像素点的坐标 (x, y) &#xff0c;返回囊括所有黑色像素点的矩阵的最小面积…

浙大、阿里提出DictBERT,字典描述知识增强的预训练语言模型

文 | 刘聪NLP源 | NLP工作站写在前面大家好&#xff0c;我是刘聪NLP。今天给大家带来一篇IJCAI2022浙大和阿里联合出品的采用对比学习的字典描述知识增强的预训练语言模型-DictBERT&#xff0c;全名为《Dictionary Description Knowledge Enhanced Language Model Pre-training…

LintCode 207. 区间求和 II(线段树)

1. 题目 在类的构造函数中给一个整数数组, 实现两个方法 query(start, end) 和 modify(index, value): 对于 query(start, end), 返回数组中下标 start 到 end 的 和。对于 modify(index, value), 修改数组中下标为 index 上的数为 value. 样例1 输入: [1,2,7,8,5] [query(0…

深入解析String#intern

在 JAVA 语言中有8中基本类型和一种比较特殊的类型String。这些类型为了使他们在运行过程中速度更快&#xff0c;更节省内存&#xff0c;都提供了一种常量池的概念。常量池就类似一个JAVA系统级别提供的缓存。 8种基本类型的常量池都是系统协调的&#xff0c;String类型的常量池…