前言

DanceCC (Dance Compiler Collection) 是字节跳动的终端技术团队(Client Infrastructure) 下的编译工具链品牌,编译工具链团队成员由国内和硅谷两地的编译器专家及构建系统专家组成,提供基于开源的 LLVM字符间距加宽2磅/Swift 项目深度定制的 clang/swift 编译器、链接器、lldb 调试器和语言基础库等工具及优化方案,覆盖构建性能优化应用性能稳定性优化等场景,本系列将会围绕这些场景中的优化案例,介绍编译工具链技术在字节的优化方案和变量英语落地情况。

背景

通常来说,大性能优化型Swift项目常含有大量混编(Objc/C/C++甚至是Rust)代码,含有超过100个以上的Swift Mojs性能优化du变量之间的关系le,并可能同时包含二进制部分和源码部分。而这种大型项目在目前的Xcode 13体验下非常不好,经常存在类似“断github中文官网网页点陷入后变量面板卡顿转菊花”、“显示变量失效”等问题。而且一直存在于多个历史汽车性能优化Xcode版本。

图1:Xcode变量区显示卡顿转菊花,测试使用Xcode 13.3和下文提到的复现Demo

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

这部分Apple Team迟迟不优化的原因在于,Apple公司的内部项目和外部项目开发模式的巨大差异。Apple内部产品,如系统应用,系统库,会ios越狱直接内嵌到iOS固件中,并直接受益于dyld shared cach安卓性能优化e(参考WWDC 2017-App Startup Time: Past, Present, and Future[1])来提升加载速度。这意味着他们通常会将一个Aios15pp,拆分为一个薄的主二进制,搭载以相当多的动态链接库(Dynamic Framework),以及插件(PlugIn)的模式变量之间的关系来进行开发。

举个例子,我们以iOS的消息App(MobileSMS.app)为例子,使用iOS 15.4模拟器测试。可以看到其主二进制大小仅有844KB(x86_64架构)github中文官网网页。通过otool -L查询链接,可以看到总计动态链接了22个动态链接库,其中有9个是非公开的,大都是支撑消息App的功能库,这些库占据了大量存储。

图2:消息App的动态链接库列表

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

而iOS平台的第三方开发变量者的工程,为了追求更快的冷启动时长,由于没有了dyld shared cache的优化(dyld 3提出的启动闭包只能优化非冷启动),很多项目会变量之间的关系使用尽量少的动态链接库。加之开源社区的CocoaPods,Carthage,SwiftPM等包管理器的盛行导致的Swift Module爆炸增长变量英语,预二进安卓性能优化制的Framework/XCFramework包装格式的滥用,加之闭源三方公司的SDK的集成,最终字符是什么形成了一个无论是体积还是符号量都非常巨大的主二ios16进制,以及相当长的Seagit教程rch Paths。

以公司内飞书汽车性能优化应用的内测版为例子,在使用Debug,Onone模式编译,不剥离(Strip)任何符号情况下,可以看到其主二进制大小为1.1GB,动态链接库数量为105,但是仅包含Apple的系统库和Swift标准库。业务代码以静态链接库集成。

图3:公司飞书应用的动态链接库列表

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

上述这两种不同的工程结构,带来了非常显著的调试体验的差异,并且Apple公司近年来的Xcode Team和Debugger Team优化,并没有完全考虑部分第三方开发者常使用的,厚主二进制下的工程结构。

PS:理论上可以通过业务的工程结构的改造,在本地开发模式下,使用一个动态链接库包裹基础静态链接库的方式,减少主二进制大小(也会减少后续提到的DWARF搜索的耗时),但是大型项目推进工程结构的改造会是一个非常漫长的过程。

图4:一种减少主二进制大小的工程结构设计

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

解决方案:自定义LLDB工具链

经过调研,我们发现业界常见做法,无外乎这几种思路:

  1. 工程改造:变量之间的关系缩减Swift Module/Search Path数量:可行,但是收益较低,且不可能无限制缩减
  2. 通过LLDB一些开关:可行,但是内部测试下依旧达不到字符常量理想的调试状态

我们致力于在字节跳动的移动端提供基础能力支持,因此提出了一套解决方案,不依赖业务工程结构的改造,字符间距在哪里设置而是从LLDB工具链上ios系统入手,提供定向的调试性能优化。

调研期间也确认到,借助自定义LLDB工具链,集成到Xcode IDE是完全可行的,包括iPhogit教程ne模拟器、真机以及Mac应用。

图5:自定义L手机性能优化LGitDB工具链的文件结构,系列后续文章会单独讲解,这里不展开

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

而LLVM/LLDB本身的工具链代码,在Apple的开源范畴之内(仓库地址:github.com/apple/llvm-… 通过严格追踪跟进上游的发布历史,分支模型,能够尽可能地保证工具链的代码和功能的一致性。

实际收益

经过后文提到的一系列优化手段,以公司内大型项目飞书测试,编译器采取Swift 5.6,Xcode选择13.3为例,对比调试性能:

项目 Xcoios越狱de 13.3 自定义页面性能优化LLDB
v耗时 2分钟 40秒
po耗时 1分钟 5秒
p耗时 20秒 5秒

图6:切换自定义LLDB工具链

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

图7:调试优化演示,使用gitlabXcodios下载e 13.3自定义LLDB,运行文中提ios是苹果还是安卓到的耗时Demo(原po耗时约1分钟):

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

简述po/p/v的工作流程

在介绍我们自定义LLDB工具链的优化之前,首先来简述一下LLDB的核心调试场景的工作流程,方便后续理解优化的技术点。

我们一期的目的是主要优化核心的调试场景,包gitlab括最常见的“ios模拟器断点陷入到Xcode左侧变量区展示完毕”(v),“点击Show Description”(po),“勾选Show Types”(p)。这些对应LLDB原生的下面三个交互命令。

图8:LLDB的交互命令

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

Apple在WWDC 2019-LLDB: Beyond “po”[2]中,进行了较为变量泵详细的介绍,这里我们进一步详细解释其部分工作流程,为后文的具体优化技术点提供参考。建议可以搭配视频一并学习。

po [expr]

po是命令expression --object-degiteescription -- [expr]的alias

图9:po的流程

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

  1. 使用Swift编译器字符间距编译result = expr得到IR
// 精简版,实际较为复杂,源代码搜@LLDBDebuggerFunction关键字
func __lldb_expr() {
  __lldb_result = expr
}
  1. 执行IR代码

    a. 在支持JIT的平台上使用字符串逆序输出JIT,不支持则使变量与函数用LLVM的IRInterpreter

  2. 获取执行结果

  3. 使用Swift编译器编译result.descrigithub中文官网网页p手机性能优化tion

    a. 实际上LLDB调用的是Swift标准库的私有方变量英语法:_DebuggerSupport.stringForPrintObject[3]

  4. 执行IR代码

  5. 获取执行结果字符

  6. 对得到的字符串进行格式化输出

p [expr]

p是命令expression -- [expr]的agithub中文官网网页lias

图10:p的流程

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

  1. 使用Swift编译器编译result = expr得到IR

  2. 执行IR代码

  3. 获取执行结果

  4. result进行Dynamic Type Resolveios15

    1. 利用Swift编译器提供的remoteAST,拥有源码的github中文官网网页AST之后,会根据内存布局直接读取对象细节
    2. 也会利用Swift Reflection,即Mirror来进行读取,和remoteAST二选一
  5. 对得到的字符常量对象细节进行格式化输出

对比下来可以看到,po和p的最大不变量泵同点,在于表达式执行的结果,如何获取变量的描述这一点上。po字符间距怎么加宽会直接利用运行时的object descriptios是什么意思ion(支持CustomDebugStringConvert字符ible[4]协议)拿到ios应用商店的字符串直接展示,并不真正了解对象细节。

图11:获取Object Description的实github现细节(ios是苹果还是安卓SwiftLanguageRuntime.cpp)

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

变量与函数p使用了字符间距在哪里设置Swift Runtime(Objc的话就是ISA,Method List那些,资料很多不赘述),拿到了对js性能优化象细节(支持CustomReflectable[5]协议),进行按层遍历打印。不过值得注意的是,Swift Runtime依赖remoteAST(需要源码AST,即swiftmodule)或者Reflection(可能被Strip掉,并不一定有),意味着它强绑定了,编译时的Swift版本和调试时的LLDB的版本(牢记这一点)。并不像Objc那样有一个成熟稳定运行时,不依赖编译器也能动态得知任意的对象细节。

图12:Swift Dynamic Type Resolve的实现(SwiftLanguageRuntimeDynamicTyp品悟性能优化eResolution.cpp)

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

v [expr]

v是命令frame variable [expr]的alias

图13:v的流程

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

  1. 获取程序运行状态(寄存器/内存变量是什么意思等)
  2. 递归开gitlab
  3. 解释expr的每一层访问(->或者.),得知当前变量的内存布局
  4. 对当前变量进行Dynamic Typegiticomfort是什么轮胎 Resolve
  5. 递归结束
  6. 对得到的对象细节格式化输出

v的特点在于全程没有注入任何代码到程序中,也就是它是理论无副作用的。它的expr只支持访问对象的表达式(->/.等),不支持变量泵函数调用,并不是真正的C++/C/OC/Swift语法。

优化v

下述所有说明基于发稿日的Swift 5.6(优化思路也适配Swiftios14.4.1更新了什么 5.5)说明优化方案,后续不排除Apple或者LLVM上游进行其他优化替代,具有一定时效性。

(暂时)关闭swift-typeref-system

  • 关闭方式
settings set symbols.use-swift-typeref-typesystem false
  • 开关说明

Prefer Swift Remote Mirrors over Remotgithube AST

这里的remoteAST和Sios16wift Mirror的概念,上文介绍过,不同方案会影响Swift的Dynamic Type Resolve的性能。

经过实测,关闭之后,内部项目的复杂场景下,断点陷入耗时从原本的2分20秒,缩减为1分钟。这部分开关,目前已经通过Xcode字符间距怎么加宽自定义的LLDBIn变量的定义it[6]文件,在多个项目中设置字符间距加宽2磅

注:和Apple同事沟通后,swift-typeref-typesystem是团队20年提出的新方案,字符是什么目前有一些已知的性能问题,但是对Swift变量和类型展示有更好的兼容性。关闭以后会导致诸如,typealias的变量在p/v时展示会有差异,比如TimeInterval(alias为__C.Double)等。待Apple后续优化之后,建议恢复开启状态。

修复静态链接库错误地使用dlopen(Fixed in Swift 5.7)

简述问题:LLDB在SwiftASTContext::LoadOneMgithub永久回家地址odule时假设所有framework包装格式都是动态链接库,忽略了静态链接库的可能性。

在调试测试工程中,我们追踪日志发现,LLDB会尝试使用dlopen去加载静态链接库(Static Framework),这是很不符合预期品悟性能优化的一点,因为对一个静态链接库进行dlgiticomfort是什么轮胎open是必定失败的,如日志所示(使用下变量之间的关系文提到的复现D汽车性能优化emo):

SwiftASTContextForExpressions::LoadOneModule() -- Couldn't import module AAStub: Failed to load linked library AAStub of module AAStub - errors:
Looking for "@rpath/AAStub.framework/AAStub", error: dlopen failed for unknown reasons.
Failed to find framework for "AAStub" looking along paths:
// ...

查看代码性能优化阅读发现,这里触发的时机是,LLD品悟性能优化B在执行S变量类型有哪些wift变量Dynamic Type Resol字符型变量ve之前,因为需要激活remoteAST,需要加载源码对应的swiftmodule到内存中。

swiftmodule是编译器序列化的包含了ASTGit的LLVM Bitcode[7]。除了AST之外,还有很多Metada变量类型有哪些ta,如编译器版本,编译时刻的参数,Search Paths等(通过编译器参数-serialize-debugging-options记录)。另外,对Swift代码中出现的import语句,也会记录一条字符间距在哪里设置加载模块依赖。而主二进制在编译时会记录所有子模块的递归依赖。

LLDB在进行加载模块依赖时,会根据编译器得到的Searchios应用商店 Pat变量是什么意思hs,拼接上当前的Module Name,然后遍历进行dlopen。涉及较高的时间开销:N个Module字符串是什么意思,M个Search Path,复杂度O(NxM)(内部项目为400×1000数量级)。而在执行前。并未检测当前被字符间距加宽2磅怎么设置加载的路径是否真正是一个动态链接库,最终产生了这个错误的开销。

  • 修复方案

我们的修复方案一期是进行了一次File Signature判定,只对动态链接库进行dlopen,在内部工程测试(约总计1000个Framework Search Path,字符间距加宽2磅400个Module)情况下,一举可以减少大约1分钟的额外开销。

  • 复现Demo

仓库地址:github.com/PRESIDENT81…

这个Demo构造了100个Swift Static Frameworkios模拟器,每个Module有100个编译单元,以此模拟复杂场景。

后文的一些测试数据优化,会反复提及这个Demo对比。

注:字符间距加宽2磅怎么设置和Apple的同事字符串是什么意思沟通后,发现可以在上层进行来源区分:只有通过expressiios15on import UIKit这种用户交互输入的Module会进行dlopen检查,以支持调试期间注入外部动态库;其他情况统一不执行,因为这些模块的符号必然已经在当前被调试进程的内存中性能优化的方法了。

Apple修复的PR:github.com/apple/llvm-… 预计在Swift 5.7上车

优化po/p

(暂时)关闭swift-dwarfimporter

  • 关闭方式
settings set symbols.use-swift-dwarfimporter false
  • 开关说明

Reconstruct Clang module dependencies from DWARF when debugging Swift code

这个开关的作用是,在开启情况下,Swifios是什么意思t编译器遇到clang type(如C/C++/Objc)导入到Swift时,允许通过一个自定义代理实现,来从DWARF中读取类型信息,而不是借助编译器使用clang precomios15piled module[8],即pcm,以及ClangImporter导入桥接类型。

切换以后可能部分clang type的类型解析并不会很精确(比如Apple系统库的那种overlay framework,用原生Swift类型覆盖了同名C类型),但是能稍微加速解析速度,这是因为clang pcm和DWARF的解析实现差异。

禁用之后,对内部项目测试工变量与函数程部分场景有正向提升约10秒字符常量,如果遇到问题建议保持默认的true。

优化External Modu字符le的查找路径逻辑

在混编工程中,Swift Module依赖一个C/OC的clang module是非常常见的事情。在这种情况下,LLDB需要同时使用编译器,加载到对应的clang module到内存中,用于进行C/OgiteeC Type到Swift Type的导入逻辑。

但是实际情况下,我们可能有一些Swift混编产物,是预二进制的产物,在非当前机器中进行的编译。这种情况下,对应编译变量是什么意思器记录的变量之间的关系的External Module的路径很可能是在当前机器找不到的。

LLDB的原始逻辑,会针变量名对每一个可能的路径,分别由它的4种ObjectFile插件(为了支持不同的二进制格式)依次进行判断。每个ObjectFile插件会各自通过文件IO读取和解析Header。这是非常大的开销。

  • 优化方案

我们内部采取的策略比较激进,除了直接利用fstat进行前置的判断(而不是分别交给4个ObjectFile插件总计判断4次)外,还针对Mac机器的路径进行了一些特殊路径匹配规则,字符型变量这里举个例子:

比如说,Mac电脑的编译产物绝对路径,一定是以/Users/${whoami}开头,所以我们可以先尝试获取当前调试器进程的uname(非常快且LLDB进程周期内不会变化),如果不匹配,说明编译产物一定不是在当前设备进行上产ios是什么意思出的,直接跳过。

图14:特殊匹配规则,直接避免文件IO判定存在与否

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

通过这一项优化,在内部项目测试下(1000多个Exteios是苹果还是安卓rnal Moios16dule路径,其中800+无效路径),可以减少首次变量显示v耗时约30秒。

增加共享的symgithub永久回家地址bols缓存

我们使用内部项目进行性能Profile时,发现Module::FindTypesSymbolFilgithube::FindTypesios系统函数耗时调用占了主要的大头。这个函数的功能是通过DWARF(记录于Mach-O结构变量值中),查找一个符号字符串是否包含在内。耗时主要是在需要进行一次性DWARF的解析字符,以及每次查找的section遍历。

LLgithub永久回家地址DB本身是存在一个searched_symbol_files参数用来缓存,但是问题在于,这份缓存并不是存在于一个全局共享池中,而是在每个具体调用处的临时堆栈上。一变量与函数旦调用方结束了调用,这份缓存会被直接丢弃。

图15:symbols缓存参数

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

  • 优化方案

我们在这里引入了一个共享的symbols缓存,保存了这份访问字符常量记录来避免多个不同调用方依然搜索到同一个符号,以空间换时间。实现方案比较简单。

内部工程giticomfort是什么轮胎实测,下来可giti以减少10-20秒的第一次访问开销,而每个symbol缓存占据字节约为8KB,一次调试周期约10万个符号占据800MB,对于Mac设ios应用商店备这种有虚拟内存的github设备来说,内存压力不算很大。另外,也提供了关闭的开关。ios模拟器

优化不必要的同名symbiOSols查找

另一项优化Modulios16e::FindTypesSymbolFile::FindTypes函数开销的方案是,原始的这两个函数会返回所有匹配到的列表,原因在于C++/Rust/Swift等支持重载的语言,会使用iOSnaming mangle来区分同一个函数名的不同类型的变种。这些符号名称会以变量值同样的demangled nios15ame,记录到DWARF中。

但是调用方可能会关心同名类型的具体的变种(甚至包括是const还是非const),甚至有很多地方只取了第一个符号,搜索全部的Symbol File其实是一种浪费(在Swift 5.6版本中找到累积约10处调用只取了第一个)

  • 优化方案

我们对上述Modjs性能优化ule::FindTy性能优化的方法pesios越狱SymbolFile::Find字符是什么Types函数,提供了一个新的参数match_callback,用于提前过滤所需要的具体类型性能优化。类似于很多语言标准库提供sort函数中的stop参数。这样,如果只需要第一个找到的符号就giticomfort是什么轮胎可以提手机性能优化前终止搜索,而需要全部符号列表不受影安卓性能优化响。

图16:symbols查找筛变量类型有哪些选参数

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

内部项目测变量名试这项优化以后,ios下载可以减少C++/C/OC类型导入到SGitwift类型这种场景下,约5-10秒的第一次查找耗时。

其他优化

定向优化Dynamic Type Resolve的一些特例

在实际项目测试中,我们发现,Dynamgitiic Type Reios14.4.1更新了什么solve是有一些特例可以进行针对性的shortcut优化,剔除无用开销的。这部分优化仅对特定代码场景有效,并不通用。这里仅列举部ios14.4.1更新了什么分思路

  • 优化Core Foundati字符是什么on类型的Dynamic Type Resolve性能优化的方法

Core Foundation类型(后文以CF类型指代),是Apple的变量与函数诸多底层系统库的支撑。Obios系统jc的Founa变量是什么意思dtion的NS前缀的很多类型,也会Toll-github永久回家地址Free Bridging[9]到CF类型上。而Swift也针性能优化对部分常用的CF类型支持了Briding。

CF类型的特点是,它内存布局类似Objc的Class ISA,但是又不是字符间距在哪里设置真正的Objc Class或者Swift imported Type,ISA固定是__NSCFType

而目前LLDB遇到在Swift堆栈中字符间距加宽2磅出现的CF类型,依旧把它当作标准的clang type进行C++/C那一套解析,还会递归寻找父类ivar,比较费时。我们可以利用这一特点提前判定而跳过无用的父类查找。

图17:筛选CF类型

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

这一项优化在特定场景(如使用CoreText和CoreVideo库和Swift混编)下,可以优化10-20秒的每次Dgithubynamic Type Resolve耗时。

接下来

我们在之后github永久回家地址会有一系列的相关话giticomfort是什么轮胎题,包字符型变量括:

  • Xcode 13.3导致部分项Git目po提示Couldn’t rea变量lize type of self,有什么解决办法?
  • 如何极速构建,分发自定义LLVM/LLDB工具链,来让用户无缝部署?
  • 如何进行调试性变量英语能指标的监控和建设,包括Xcode原生的LLDB?

另外字符,这篇文章提到的非定制的优化和功能,均会向Apple或LLVM上游提交Patches,以回变量的定义馈社区gitlab

总结

这篇文章讲解了,大型Swift项目如何通过开关,以及自定义LLDB,优化Swift开发同学的调试速度,提高整体的研发效能。其中讲解了LLDB的部分工作流程,以及针ios模拟器对性优化的技术细节,以及实际效果。

我们的优化目标,不仅仅是服务于字节跳动移动端内部,更希望能推动业界的Swift和LLgit命令VM结合领域的相关发展,交流更多工具链方向的优化建设。

鸣谢

感谢飞书基础技术团队提供的一系列技术支持,以及最终业务试点提供的帮助推广。 感谢Apple同事Adrian Prantl在GitHub和邮件上进行的交流反馈,协助电脑性能优化定位问题。

关于字节终端技术团队

字节跳动终端技术团队 (Client Infrastrucgithubture) 是大前端基础技术的全球化研发团队(分别在北京、上海、杭州、深圳、广州、新加坡和美国山景城设有研发团队),负责字符间距加宽2磅怎么设置整个字节跳动的大前端基础设施建设,提升公司全产品线的性能、稳定性和工程效率;支持的产品包括但不限于抖音、今日头条、西瓜视频、飞书、瓜瓜龙等,在移动端、Web、Desktop等各终端都有深入研究。

加入我们

我们是字节的 Client Infrastructure 部门下的编译器工具链团队,团队成员由编译器专家及构建系统专家组成,我们基于开源的 LLVM/Swift 项目提供深度定制的 clang/swift 编译器、链接器、lldb 调试器和语言基础库等工具及优化方案,覆盖构建性能优化应用性能稳定性优化等场景,并在业务研发效率和应用品质提升方面取得了显著的效果,同时,在github中文官网网页实践的过程中我们也看到了很多令人兴奋的新ios15机会,希望有更多对编译工具链技术感兴变量趣的同学加入我们一起探索。

工作地点

深圳、北京

职位描述

  1. 设计与实现高效的编译器/链接器/调试器优化
  2. 自定义 LLVM 工具链的维护和开发
  3. 提升Client Infrastructure编译工具链的性能及稳定性
  4. 协同业务团队推动技术方案的落地

职位要求

  1. 至少熟练掌握 C++/Objective-C/Swift 其中一门语言,熟悉语言特性的实现细节
  2. ios15悉编程语言的实现技术,如解释器、编性能优化的方法译器、内存管理方面的实现
  3. 熟悉某个构建系统 (CMake/Bazel/Gradle/XCBuild 等)
  4. 有编译器、链接器、调试器等工具的开发和优化经验优先,有 LLVM、GCC 等项目项目开发经历优先
  5. 有移动端技术栈开发经验优先

职位链接

字节跳动 DanceCC 工具链系列之Swift 调试性能的优化方案

job.toutiao.com/s/FBS9cLk

引用链页面性能优化

  1. developer.apios15ple.com/videos/play…
  2. developer.ap变量类型有哪些ple.com/videos/p字符串逆序输出lay…
  3. github.com/apple/swift…
  4. developer.apple.com/documentati…
  5. developer.apple.com/documentati…
  6. lld变量之间的关系b.llvm.org/man/lldb.ht…
  7. llvm.org/docs/BitCod…
  8. clang.llvm.org/docs/ModiOSule…
  9. developer.apple.com/library/arc…