BOLT: 一个实用的二进制优化器 - 笔记

最新推荐文章于 2024-04-27 09:14:20 发布
最新推荐文章于 2024-04-27 09:14:20 发布
阅读量932 收藏
点赞数
分类专栏： 编译器 文章标签： 编辑器
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_36337149/article/details/128699142
版权

BOLT: 一个实用的二进制优化器

一、导言

虽然在早期注入配置文件可以通过更多的优化使用，但稍后注入可以更准确的使用信息，以获得更好的代码布局。

提供的例子 BOLT 对大型程序在 FDO/PGO 基础上性能提供 20.4%，来源主要是代码布局的改进。

总结来讲，论文做了下面几点贡献：

  • 1、描述了基于LLVM架构的链路优化
  • 2、证明 后链接优化可更好的利用分析数据
  • 3、表明 编译时、链接时、后链接 FDO 之间互补而非互相替代。

二、MOTIVATION

A、为什么基于采样

FDO 被证明有用，插桩有两个缺点：

  • 1、构建过程复杂
  • 2、通常有CPU和内存开销

利用现代 CPU 的最后分支记录硬件 LBR 收集开销几乎可忽略

B、为什么是二进制优化器

FDO 都面临两个权衡：更早注入配置数据允许沿管道进行更多优化，映射级别越接近记录级别，结果越准确。链接后二进制优化允许perf采样以最高精度使用配置文件。

IR 级别的数据映射常见问题是 函数在两个 caller 都内联

C、为啥是静态二进制优化器

什么是动静态没看懂?

三、 ARCHITECTURE

A、初步设计

最开始通过增量增加二进制代码覆盖率来开发 BOLT, 完全依赖 ELF 符号表。

代码大小可能增加，原因可能是冷路径上分支数增加，其次是X86条件分支指令的一些特点(没懂)。

B、重定位模式

这能允许我们改变二进制文件中所以函数的位置。BFD 和 Gold 等都提供了 --emit-relocs, 不过还是有一些缺失如连接器删除 PIC 跳转表的相对偏移和其他一些连接器也不可见的重定位(如单编译单元的 local func 的 func 引用由编译器内部处理)

选择其他连接器变化太多，所以编写了一个独立的后链接优化器。

C、Rewriting Pipeline

分析任意二进制文件并定位代码和数据绝非易事。分析时 bolt 会同时使用符号表和帧信息。

重写流程图略

LLVM 架构非常棒

重写的下个流程是为每个函数构建控制流图CFG, 使用 MCInst 结构构建…

D. C++异常和调试信息

支持

四、优化

15个非常有效果的优化项：

PassName Description
strip-rep-retStrip repz from repz retq instructions used for legacy AMD processors
icfIdentical code folding
icpIndirect call promotion
peepholesSimple peephole optimizations
simplify-ro-loadsFetch constant data in .rodata whose address is known statically and mutate a load into a mov
icfIdentical code folding (second run)
pltRemove indirection from PLT calls
reorder-bbsReorder basic blocks and split hot/cold blocks into separate sections (layout optimization)
peepholesSimple peephole optimizations (second run)
uceEliminate unreachable basic blocks
fixup-branchesFix basic block terminator instructions to match the CFG and the current layout (redone by reorder-bbs)
reorder-functionsApply HFSort [3] to reorder functions (layout optimization)
sctcSimplify conditional tail calls
frame-optsRemoves unnecessary caller-saved register spilling
shrink-wrappingMoves callee-saved register spills closer to where they are needed, if profiling data shows it is better to do so

五、采样技术

LBR 不仅为关键边提供了准确计数(完美使用BB计数也没法做到)，还使块布局算法对不良采样率更有弹性。

总之多方面说明 LBR 最好。

六、 EVALUATION

测量几款应用，性能有提升，原因主要从下面几项指标找：

    1. CPU Time
    1. Branch
    1. I-Cache
    1. I-TLB
    1. D-Cache
    1. D-TLB
    1. LLC

7、相关工作

8、结论

主要为了缓解 缓存、TLB 和分支预测起的压力

llongint
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Bolt是针对GPU优化的C ++模板库。 Bolt为常见算法（如扫描，缩小，变换和排序）提供了高性能的库实现。-C/C++开发
05-26
Bolt是为异构计算优化的C ++模板库。 Bolt旨在为常见算法（例如扫描，缩小，变换和排序）提供高性能的库实现。 Bolt接口是在Bolt上建模的，而Bolt是为异构计算优化的C ++模板库。 Bolt旨在为常见算法（例如扫描，缩小，变换和排序）提供高性能的库实现。 Bolt接口是在C ++标准模板库（STL）上建模的。 熟悉STL的开发人员将认识到许多Bolt API和自定义技术。 Bolt的主要目标是使开发人员更容易利用其固有的性能和能效
Bolt:CSRF扫描仪-源码
05-25
螺栓 笨拙的CSRF扫描仪 重要的 Bolt处于测试的Beta阶段，这意味着可能存在错误。 不鼓励使用此工具。 欢迎提出请求和问题。 如果您对此仓库感兴趣，我也建议您将它放在监视中。 工作流程 爬行 Bolt将目标网站爬网到指定的深度，并将找到的所有HTML表单存储在数据库中以进行进一步处理。 评估 在此阶段，Bolt找出不够强大的令牌和不受保护的形式。 比较中 此阶段专注于重播攻击场景的检测，因此检查令牌是否已发行多次。 它还计算所有令牌之间的平均，以查看它们是否相似。 还将令牌与250多种哈希模式的数据库进行比较。 观察 在此阶段，对单个网页同时发出100个请求，以查看是否为请求生成了相同的令牌。 测验 此阶段专用于CSRF保护机制的主动测试。 它包括但不限于检查moblie浏览器是否存在保护，使用自行生成的令牌提交请求以及测试是否将令牌检查到一定长度。 分析 在此阶段执行各种统计检查
Bolt 1.3.0
06-04
bolt 1.3.0. 仅供研究学习使用,商用请购买原版. bolt 1.3.0. 仅供研究学习使用,商用请购买原版.
homebridge-misfit-bolt：适用于misfit-bolt-http的Homebridge插件
02-03
桥不匹配螺栓 适用于Misfit Bolt插件。 让您通过HomeKit / Siri控制Misfit Bolt。 要求模块作为单独的程序运行。 安装 使用以下命令安装homebridge： npm install -g homebridge 使用以下命令安装此插件： npm install -g homebridge-misfit-bolt 更新您的配置文件。 请参阅下面的示例。 组态 配置样本 " platforms " : [ { " platform " : " MisfitBolt " , " name " : " MisfitBolt " , " accessories " : [{ " id " : " 20338f8afaac " , " name " : " Bolt " , " baseUrl " : " http://localhost:3000/20338f8afaac " }] } ] 附件必填属
bolt-starter:一个Bolt:high_voltage:应用程序模板，具有有用的设置，可简化开发
05-03
Bolt入门 :high_voltage: 这是一个简单的 应用模板。 本自述文件介绍了以下几种方式来构建您的Slack应用程序。 ：步骤1->步骤2A ：步骤1->步骤2B 在本地计算机（Linux / macOS / Windows）上：步骤1->步骤2C （步骤1）Slack App初始设置 创建一个松弛应用 首先从创建一个新的Slack应用 配置机器人作用域 从左侧边栏中访问功能> OAuth和权限，然后进行以下设置。 https://api.slack.com/apps/{APP_ID}/oauth app_mentioned:read chat:write commands 将应用程序安装到您的工作区 从左侧栏中访问设置>安装应用。 您稍后将进行更多配置，但是无论如何，我们还是要安装该应用程序以获得一个机器人令牌（ xoxb-*** ）。 https://api.slack.co
什么是llvm bolt
叶玄青的博客
04-21 521
基于bolt的二进制程序优化
BOLT- A Practical Binary Optimizer for Data Centers and Beyond
青衫客36的博客
08-11 328
ICache不命中会导致高延迟和高能耗，特别是在使用非均匀内存访问(NUMA)架构的数据中心中。BOLT为数据中心提供了一个有效的工具，通过后链接优化提高了应用程序的性能，从而减少了能耗和延迟。BOLT是一个后链接二进制优化工具，可以重新排序代码，从而减少ICache不命中，提高程序性能。通过使用BOLT，Facebook 为其数据中心内的关键应用程序实现了明显的性能提升。注意: 这只是一个简化和概括的版本，如需深入了解BOLT，建议参考原文论文。
bolt 优化
深入浅出讲透复杂深奥的问题
10-31 897
facebook 开源代码地址： https://github.com/facebookincubator/BOLT ninja-build 环境安装 ninja是一个小型构建系统，专注于速度，和常用的make类似，有一些软件就是基于ninja编译构建的，比如clickhouse数据库就需要依赖ninja，因为最近在研究clickhouse，需要依赖于gcc 7，gtest，ninja等一些组件，所以单独拿出来这些组件记录安装过程，这样会更清晰一些. ninja需要依赖于re2c，否则编译是会报错，re2c
编译LLVM RISCV编译器QuickStart
tugouxp的专栏
10-01 1264
下载代码安装cmake,如果系统没有或者版本比较低，可以用如下方法快速安装安装依赖配置编译，在build目录中，执行ninjaninja。
大规模C++编译性能优化系统OMAX介绍
lihui49的博客
05-27 702
本文探索&研究了大规模C/C++服务编译性能优化相关技术，优化服务性能，降低机器成本，同时为了支持规模推广应用，降低业务线接入成本，保障优化效果，进行面向云上微服务，开展平台化优化服务系统OMAX建设，并在百度推荐系统上大规模应用，取得线上服务CPU性能优化10%+和上线速度提升40%+双收益，优化后服务运行稳定，性能收益持续。全文11509字，预计阅读时间29分钟。一、背景随着大型互联网公司的业务不断发展，后端C++模块的逻辑处理越来越复杂，且参与开发人员众多，代码质量参差不齐，服务面临性能
cpp-Bolt针对GPU进行优化的C模板库
08-15
Bolt ：针对GPU进行优化的C 模板库
BOLT:Binary Optimization and Layout Tool-一种用于优化二进制文件性能的linux命令行实用程序
04-28
螺栓 BOLT是为加速大型应用程序而开发的后链接优化器。 它实现了基于由采样分析器，如Linux聚集执行配置文件优化应用程序的代码布局的改进perf工具。 概述了在BOLT中实施的想法，并讨论了其潜力和当前成果。 输入二进制要求 BOLT在X86-64和AArch64 ELF二进制文件上运行。 二进制文件至少应具有未剥离的符号表，并且为了获得最大的性能提升，它们应与重定位链接（ --emit-relocs或-q链接器标志）。 在运行优化之前，BOLT会分解功能并重建控制流程图（CFG）。 由于这是一项艰巨的任务，尤其是在存在间接分支的情况下，我们依靠某些启发式方法来完成此任务。 这些启发式方法已在使用Clang和GCC编译器生成的代码上进行了测试。 C / C ++代码的主要要求是不依赖于代码布局属性，例如函数指针增量。 汇编代码也可以处理。 它的要求包括将代码和数据明确分开，并将数据对
movies-python-bolt:使用 neo4j-python-driver 的带有 Flask 后端的 Neo4j 电影示例应用程序
07-23
这是一个非常简单的 Web 应用程序，它使用我们的电影图形数据集来提供搜索列表、详细信息视图和图形可视化。 堆栈 这些是我们的 Web 应用程序的组件： 应用程序类型：Python-Web 应用程序 Web框架： （Micro-Web...
编辑器，编译器，IDE的区别
2303_79973545的博客
04-27 268
Integrated Development Environment ）是用于提供程序开发环境的应用程序，一般包括代码编辑器、简单说编辑器是用来写代码的，而编译器是对现场高级语言代码翻译成相对低级语言的一段小程序/指令。简单说，就是集成了编辑器、编译器以及链接器等众多功能的一个集成开发环境。
UPS、蓄电池、空开、电缆配置计算方法.pptx
04-27
5G通信行业、网络优化、通信工程建设资料
node-v7.4.0.tar.xz
最新发布
04-27
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
Unity mesh减面工具 Mesh Simplify 1.12
04-27
Unity mesh减面工具 Mesh Simplify 1.12
基于Springboot+Vue酒店客房入住管理系统-毕业源码案例设计.zip
04-27
网络技术和计算机技术发展至今，已经拥有了深厚的理论基础，并在现实中进行了充分运用，尤其是基于计算机运行的软件更是受到各界的关注。加上现在人们已经步入信息时代，所以对于信息的宣传和管理就很关键。系统化是必要的，设计网上系统不仅会节约人力和管理成本，还会安全保存庞大的数据量，对于信息的维护和检索也不需要花费很多时间，非常的便利。 网上系统是在MySQL中建立数据表保存信息，运用SpringBoot框架和Java语言编写。并按照软件设计开发流程进行设计实现。系统具备友好性且功能完善。 网上系统在让售信息规范化的同时，也能及时通过数据输入的有效性规则检测出错误数据，让数据的录入达到准确性的目的，进而提升数据的可靠性，让系统数据的错误率降至最低。 关键词：vue；MySQL；SpringBoot框架 【引流】 Java、Python、Node.js、Spring Boot、Django、Express、MySQL、PostgreSQL、MongoDB、React、Angular、Vue、Bootstrap、Material-UI、Redis、Docker、Kubernetes
JAVA扫雷游戏程序+源码
04-27
扫雷游戏是一款经典的计算机游戏，它的目标是在一个方格矩阵中找出所有隐藏的地雷。玩家需要通过点击方格来揭示其内容，如果方格中有地雷，则游戏结束；如果没有地雷，则会显示周围8个方格中地雷的数量。玩家需要根据这些信息来判断哪些方格是安全的，并继续点击其他方格。 在JAVA扫雷游戏程序中，我们使用了一个二维数组来表示游戏的方格矩阵。每个方格可以包含以下三种状态之一：未被揭示、有地雷或安全。我们还使用了一些辅助变量来跟踪游戏中的状态，例如已揭示的方格数量和剩余的地雷数量。 当玩家点击一个方格时，程序会检查该方格是否已经被揭示。如果是，则不做任何操作；否则，程序会揭示该方格的内容，并根据其是否包含地雷来更新游戏状态。如果方格中有地雷，则游戏结束；否则，程序会递归地揭示周围的方格，直到遇到已经揭示的方格为止。 为了提高游戏的可玩性，我们可以添加一些额外的功能，例如计时器、难度级别选择和自定义方格大小等。此外，我们还可以使用图形用户界面（GUI）来美化游戏界面，使其更加友好和易于操作。
neo4j-bolt
09-12
Neo4j Bolt是Neo4j图数据库的一种网络协议。它是一种高性能、实时的二进制协议，用于在客户端应用程序和Neo4j数据库之间进行通信。通过Bolt协议，应用程序可以执行查询、读取和写入图数据，以及管理数据库的元数据等操作。Bolt协议使用TCP/IP进行通信，并且可以基于TLS加密进行安全通信。它提供了一些高级功能，如事务管理、批处理操作和流式结果处理，使得开发人员可以更方便地构建复杂的图数据库应用程序。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值