SplitFunctions (BOLT) - 优化阅读笔记

2024-03-12 11:12

本文主要是介绍SplitFunctions (BOLT) - 优化阅读笔记,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

将函数拆分成更小的代码片段,从而执行更激进的代码段重排的优化

在文件 bolt/lib/Passes/SplitFunctions.cpp

相关选项释义默认
-split-all-cold尽可能多的分离冷的基本块false
-split-align-threshold对齐参数2
-split-functions主要功能选项, 分离函数到代码片段false
-split-threshold控制分离的片段的大小0
-split-strategy分离策略:
profile2: 依据采样文件
random2:随机?
randomN:随机分离成N个片段
all: 将函数分离成单独的BB块
profile2

–split-functions --split-strategy=all

1. 分割的逻辑

下面是一个并行执行的一个函数

void SplitFunctions::splitFunction(BinaryFunction &BF, SplitStrategy &S) {if (BF.empty())return;// 在 RunOnFunctios, 已根据 opts::SplitStrategy 对 Strategy 初始化了// 主要判断是否有采样文件等if (!S.canSplit(BF))return;// 先拷贝一份 BB 块FunctionLayout &Layout = BF.getLayout();BinaryFunction::BasicBlockOrderType PreSplitLayout(Layout.block_begin(),Layout.block_end());// ...BinaryFunction::BasicBlockOrderType NewLayout(Layout.block_begin(),Layout.block_end());// 接下来,遍历以检查哪些BB块不能被移动// Never outline the first basic block.NewLayout.front()->setCanOutline(false);for (BinaryBasicBlock *const BB : NewLayout) {if (!BB->canOutline())continue;// 在 aarch64 中不要拆分额外的入口点。它们可以通过使用 ADRs 进行引用,当发生这种情况时,由于 ADR 指令的有限范围,这些块不能被放置得太远if (BC.isAArch64() && BB->isEntryPoint()) {BB->setCanOutline(false);continue;}if (BF.hasEHRanges() && !opts::SplitEH) {// 我们不能移动异常处理块(或者说异常处理块的入口点)if (BB->isLandingPad()) {BB->setCanOutline(false);continue;}// 由于异常处理运行时无法处理拆分的函数,我们不能移动可能引发异常的块。// 但是,如果我们可以保证该块永远不会引发异常,那么将该块移动以减小函数大小是安全的for (MCInst &Instr : *BB) {if (BC.MIB->isInvoke(Instr)) {BB->setCanOutline(false);break;}}}}// 参考 1.1 更新 Layout 的索引BF.getLayout().updateLayoutIndices();// 根据不同的 split 算法设置BB所属的代码片段// profile2: FragmentNum::cold() --> 1// random2: 随机设置某个范围的 BB 为 cold// randomN: 随机分配BB到某个片段// all: 所有BB属于单独的片段S.fragment(NewLayout.begin(), NewLayout.end());// Make sure all non-outlineable blocks are in the main-fragment.for (BinaryBasicBlock *const BB : NewLayout) {if (!BB->canOutline())BB->setFragmentNum(FragmentNum::main());}// 按顺序排一下基本块if (opts::AggressiveSplitting) {// 我们可以移动的所有计数为 0 的区块都将进入函数的末尾。// 即使它们是自然形成的集群,并且出现在热门基本区块之间llvm::stable_sort(NewLayout, [&](const BinaryBasicBlock *const A,const BinaryBasicBlock *const B) {return A->getFragmentNum() < B->getFragmentNum();});} else if (BF.hasEHRanges() && !opts::SplitEH) {// 通常情况下,带有异常处理功能的函数在末尾都有异常处理块。// 我们无法移动起始位置,但可以将包含起始位置的 0 计数值块移动到末尾,从而方便拆分auto FirstLP = NewLayout.begin();while ((*FirstLP)->isLandingPad())++FirstLP;std::stable_sort(FirstLP, NewLayout.end(),[&](BinaryBasicBlock *A, BinaryBasicBlock *B) {return A->getFragmentNum() < B->getFragmentNum();});}// 让 BB 所属的代码片段编号递增FragmentNum CurrentFragment = NewLayout.back()->getFragmentNum();for (BinaryBasicBlock *const BB : reverse(NewLayout)) {if (BB->getFragmentNum() > CurrentFragment)BB->setFragmentNum(CurrentFragment);CurrentFragment = BB->getFragmentNum();}// 让代码片段编号保持连续if (!S.keepEmpty()) {FragmentNum CurrentFragment = FragmentNum::main();FragmentNum NewFragment = FragmentNum::main();for (BinaryBasicBlock *const BB : NewLayout) {if (BB->getFragmentNum() > CurrentFragment) {CurrentFragment = BB->getFragmentNum();NewFragment = FragmentNum(NewFragment.get() + 1);}BB->setFragmentNum(NewFragment);}}// 参考 1.2 BF.getLayout().update(NewLayout);// 对于共享对象,调用指令和相应的异常处理块必须放置在同一片段中。// 当我们拆分它们时,创建跳板异常处理块,它将重定向执行到真正的异常处理块......SplitBytesHot += HotSize;SplitBytesCold += ColdSize;

1.1 更新 Layout 的索引

通常用法,如在 bolt/lib/Passes/SplitFunctions.cpp 中:

BF.getLayout().updateLayoutIndices();
S.fragment(NewLayout.begin(), NewLayout.end());
// 这看起来是按顺序给BB的 LayoutIndex 按顺序赋值一个 index
// 并且初始化所有的BB所属的代码片段为0
void FunctionLayout::updateLayoutIndices() {unsigned BlockIndex = 0;for (FunctionFragment &FF : fragments()) {for (BinaryBasicBlock *const BB : FF) {BB->setLayoutIndex(BlockIndex++);BB->setFragmentNum(FF.getFragmentNum());}}
}

1.2 更新内存布局

通常用法,如在 bolt/lib/Passes/SplitFunctions.cpp 中:

BF.getLayout().update(NewLayout);
bool FunctionLayout::update(const ArrayRef<BinaryBasicBlock *> NewLayout) {// 检查要更新的 Layout 的 BB 块是否一样 以及 他们所属的代码片段是否一样const bool EqualBlockOrder = llvm::equal(Blocks, NewLayout);if (EqualBlockOrder) {const bool EqualPartitioning =llvm::all_of(fragments(), [](const FunctionFragment &FF) {return llvm::all_of(FF, [&](const BinaryBasicBlock *const BB) {return FF.Num == BB->getFragmentNum();});});if (EqualPartitioning)return false;}// 删除除main()代码片段外的其他片段clear();// 根据 NewLayout 里 BB 设置的代码片段编号新增对应的代码片段for (BinaryBasicBlock *const BB : NewLayout) {FragmentNum Num = BB->getFragmentNum();assert(Num >= Fragments.back()->getFragmentNum() &&"Blocks must be arranged such that fragments are monotonically ""increasing.");// Add empty fragments if necessarywhile (Fragments.back()->getFragmentNum() < Num)addFragment();// Set the next fragment to point one past the current BBaddBasicBlock(BB);}return true;
}

这篇关于SplitFunctions (BOLT) - 优化阅读笔记的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/801074

相关文章

SpringBoot3实现Gzip压缩优化的技术指南

《SpringBoot3实现Gzip压缩优化的技术指南》随着Web应用的用户量和数据量增加,网络带宽和页面加载速度逐渐成为瓶颈,为了减少数据传输量,提高用户体验,我们可以使用Gzip压缩HTTP响应,... 目录1、简述2、配置2.1 添加依赖2.2 配置 Gzip 压缩3、服务端应用4、前端应用4.1 N

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis

MyBatis 动态 SQL 优化之标签的实战与技巧(常见用法)

《MyBatis动态SQL优化之标签的实战与技巧(常见用法)》本文通过详细的示例和实际应用场景,介绍了如何有效利用这些标签来优化MyBatis配置,提升开发效率,确保SQL的高效执行和安全性,感... 目录动态SQL详解一、动态SQL的核心概念1.1 什么是动态SQL?1.2 动态SQL的优点1.3 动态S

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

一文详解SpringBoot响应压缩功能的配置与优化

《一文详解SpringBoot响应压缩功能的配置与优化》SpringBoot的响应压缩功能基于智能协商机制,需同时满足很多条件,本文主要为大家详细介绍了SpringBoot响应压缩功能的配置与优化,需... 目录一、核心工作机制1.1 自动协商触发条件1.2 压缩处理流程二、配置方案详解2.1 基础YAML

MySQL中慢SQL优化的不同方式介绍

《MySQL中慢SQL优化的不同方式介绍》慢SQL的优化,主要从两个方面考虑,SQL语句本身的优化,以及数据库设计的优化,下面小编就来给大家介绍一下有哪些方式可以优化慢SQL吧... 目录避免不必要的列分页优化索引优化JOIN 的优化排序优化UNION 优化慢 SQL 的优化,主要从两个方面考虑,SQL 语

MySQL中慢SQL优化方法的完整指南

《MySQL中慢SQL优化方法的完整指南》当数据库响应时间超过500ms时,系统将面临三大灾难链式反应,所以本文将为大家介绍一下MySQL中慢SQL优化的常用方法,有需要的小伙伴可以了解下... 目录一、慢SQL的致命影响二、精准定位问题SQL1. 启用慢查询日志2. 诊断黄金三件套三、六大核心优化方案方案

Redis中高并发读写性能的深度解析与优化

《Redis中高并发读写性能的深度解析与优化》Redis作为一款高性能的内存数据库,广泛应用于缓存、消息队列、实时统计等场景,本文将深入探讨Redis的读写并发能力,感兴趣的小伙伴可以了解下... 目录引言一、Redis 并发能力概述1.1 Redis 的读写性能1.2 影响 Redis 并发能力的因素二、

使用国内镜像源优化pip install下载的方法步骤

《使用国内镜像源优化pipinstall下载的方法步骤》在Python开发中,pip是一个不可或缺的工具,用于安装和管理Python包,然而,由于默认的PyPI服务器位于国外,国内用户在安装依赖时可... 目录引言1. 为什么需要国内镜像源?2. 常用的国内镜像源3. 临时使用国内镜像源4. 永久配置国内镜

C#原型模式之如何通过克隆对象来优化创建过程

《C#原型模式之如何通过克隆对象来优化创建过程》原型模式是一种创建型设计模式,通过克隆现有对象来创建新对象,避免重复的创建成本和复杂的初始化过程,它适用于对象创建过程复杂、需要大量相似对象或避免重复初... 目录什么是原型模式?原型模式的工作原理C#中如何实现原型模式?1. 定义原型接口2. 实现原型接口3