dyld：动态链接器，加载所有的库和可执行文件
加载App时的函数调用栈
搭建空项目
dyldDemo，在main函数上设置断点
真机运行项目，只有
start和main两个函数调用栈，显然是不合理的
想查看完整的函数调用栈，需要在
main函数调用前，在load函数上设置断点打开
ViewController，写入load函数，设置断点
真机运行项目，使用
bt命令，查看完整的函数调用栈dyldDemo`+[ViewController load](self=ViewController, _cmd="load") at ViewController.m:23:1 libobjc.A.dylib`load_images + 944 dyld`dyld::notifySingle(dyld_image_states, ImageLoader const*, ImageLoader::InitializerTimingList*) + 464 dyld`ImageLoader::recursiveInitialization(ImageLoader::LinkContext const&, unsigned int, char const*, ImageLoader::InitializerTimingList&, ImageLoader::UninitedUpwards&) + 512 dyld`ImageLoader::processInitializers(ImageLoader::LinkContext const&, unsigned int, ImageLoader::InitializerTimingList&, ImageLoader::UninitedUpwards&) + 184 dyld`ImageLoader::runInitializers(ImageLoader::LinkContext const&, ImageLoader::InitializerTimingList&) + 92 dyld`dyld::initializeMainExecutable() + 216 dyld`dyld::_main(macho_header const*, unsigned long, int, char const**, char const**, char const**, unsigned long*) + 5216 dyld`dyldbootstrap::start(dyld3::MachOLoaded const*, int, char const**, >dyld3::MachOLoaded const*, unsigned long*) + 396 dyld`_dyld_start + 56一切的开端，由
dyldbootstrap命名空间下的start函数开始
start函数
打开
dyld源码，搜索dyldbootstrap，找到dyldInitialization.cpp文件打开
dyldInitialization.cpp文件，找到start函数
1：重定位dyld，进程启动，它的虚拟内存地址就要进行重定位2：对于栈溢出的保护3：初始化dyld4：调用dyld的_main函数在
start函数中，最为重要的就是最后一步，调用dyld的_main函数
打开
dyld2.cpp文件，找到_main函数
- 内核检查代码
1：主程序可执行文件2：设置HostCPU等信息
3：设置可执行文件的Header，设置ASLR
- 前面的
100000000是__PAGEZERO中的4G虚拟缓存- 后面的
4140000是ASLR随机地址，每次加载MachO都不一样
setContext：设置上下文
- 全部存储在
gLinkContext对象中
1：配置进程是否受限，苹果进程受AFMI保护（Apple Mobile File Integrity苹果移动文件保护）2：判断是否强制使用dyld33：判断环境变量，如果发生改变，再次调用setContext设置上下文。否则检测环境变量，设置默认值
- 在项目中配置
DYLD_PRINT_OPTS、DYLD_PRINT_ENV环境变量，可以进行打印
1：加载共享缓存，UIKit、Foundation等系统动态库，都存储在共享缓存中。在iOS中，必须有共享缓存2：调用mapSharedCache函数，传递ASLR
加载共享缓存
进入
mapSharedCache函数
- 调用
loadDyldCache函数
进入
loadDyldCache函数
1：满足条件，依赖库只加载到当前进程2：如果已经加载共享缓存，不做任何处理3：首次加载，调用mapCacheSystemWide函数
加载
App之前，首先加载的就是共享缓存。每个App都需要UIKit、Foundation等系统动态库，但程序之前的进程不互通，所以系统动态库存放在共享缓存中加载逻辑，根据上述三种情况进行判断
自己写的动态库和其他三方库，不会存储在共享缓存中
dyld3闭包模式
在
iOS11后，引入dyld3的闭包模式，以回调的方式加载，加载更快，效率更高在
iOS13后，动态库和三方库，也使用闭包模式加载回到
_main函数
1：判断sClosureMode，如果是闭包模式，执行else代码分支2：配置如何加载MachO3：闭包也是实例对象，优先从共享缓存中获取实例对象
1：如果对象不为空，但对象已失效，重新将对象设置为nullptr2：再次判断对象是否为空，如果为空，在缓存中获取对象3：如果缓存中未找到对象，调用buildLaunchClosure函数创建
1：判断对象不为空，调用launchWithClosure函数启动，传入闭包对象，返回是否成功的结果2：如果启动失败并且过期，再创建一次3：判断再次创建的对象不为空，再次启动4：如果启动成功，拿到主程序main的函数，直接返回结果
dyld2流程
如果不是
dyld3的闭包模式，进入dyld2流程
1：不使用dyld3的闭包模式，将变量设置为0，表示使用旧模式加载2：把两个回调地址放到stateToHandlers数组中3：分配初始化空间，尽量分配足够大的空间，以供后续使用4：把dyld加入到UUID的列表中
实例化主程序
不论执行
dyld2还是dyld3的流程，后面都会执行实例化主程序的代码实例化主程序，第一个靠
dyld加载的就是主程序
- 调用
instantiateFromLoadedImage函数，传入主程序的Header，ASLR，路径
进入
instantiateFromLoadedImage函数
- 调用
instantiateMainExecutable函数，返回image对象
进入
instantiateMainExecutable函数
- 调用
sniffLoadCommands函数，读取Load Commands数据
进入
sniffLoadCommands函数
compressed：分析MachO文件获取的值segCount：Segment总数libCount：依赖库总数codeSigCmd：签名encryptCmd：加密来到
sniffLoadCommands函数结尾处
1：程序的Segment总数，不能超过2552：程序的依赖库总数，不能超过4095
回到
instantiateMainExecutable函数
- 根据
compressed判断，使用相应的子类实例化主程序，返回实例对象
回到
instantiateFromLoadedImage函数
- 拿到实例化后的
image对象- 将
image对象添加到image列表中- 返回
image对象所以
image列表中，第一个image一定是主程序
回到
_main函数
- 检测代码，检查设备、系统版本等
- 设置加载动态库的版本
加载动态库
1：判断环境变量，是否有插入的动态库2：如果有，遍历插入的动态库，依次调用loadInsertedDylib函数3：调用link函数，链接主程序
进入
link函数
1：记录起始时间2：递归加载主程序依赖的库，完成之后发通知3：重定向，修正ASLR4：绑定非懒加载符号5：绑定弱引用符号
1：递归应用插入的动态库2：注册3：记录结束时间4：计算时间差，当项目配置环境变量，用于显示各步骤耗时
回到
_main函数
- 读取动态库使用
i + 1，因为起始位置是主程序- 链接动态库
- 判断条件不满足，使用
goto语句，跳回到reloadAllImages代码处，重新加载镜像
- 循环绑定插入的动态库
- 绑定弱引用符号
- 初始化
main方法
初始化主程序
进入
initializeMainExecutable函数
1：先遍历初始化动态库2：调用runInitializers函数，初始化主程序
进入
runInitializers函数
- 调用
processInitializers函数
进入
processInitializers函数
- 调用
recursiveInitialization函数
进入
recursiveInitialization函数
- 调用
notifySingle函数
函数调用栈顺序，
notifySingle函数中，应该会调用load_images函数
但是在
notifySingle函数中，并没有发现load_images函数的调用，因为load_images是objc中的函数libobjc.A.dylib`load_images + 944
在
dyld中，是如何调用objc的函数?进入
notifySingle函数
- 如果
sNotifyObjCInit不为空，使用回调指针，执行一个回调函数
搜索
sNotifyObjCInit的赋值
- 由
registerObjCNotifiers函数，将init入参赋值给sNotifyObjCInit
搜索
registerObjCNotifiers函数的调用
- 在
dyldAPIs.cpp文件中，被_dyld_objc_notify_register函数调用，init为函数的入参
搜索
_dyld_objc_notify_register函数，找不到任何调用的代码使用另一种方式寻找
在
dyldDemo项目中，设置_dyld_objc_notify_register符号断点
- 通过符号断点看出，回调函数是
_objc_init初始化时赋值的
来到
objc源码，搜索_objc_init函数
- 调用
_dyld_objc_notify_register函数，传入load_images
objc中，调用dyld中的_dyld_objc_notify_register函数，传入load_images函数
dyld使用回调指针，调用objc中的load_images函数
进入
load_images函数
- 调用
call_load_methods函数
进入
call_load_methods函数
- 调用
call_class_loads函数，循环调用每个类中的load方法
回到
dyld源码回到
recursiveInitialization函数，调用doInitialization函数
- 调用
doInitialization函数
进入
doInitialization函数
- 调用
doModInitFunctions函数
doInitialization函数的作用？在
dyldDemo项目中，打开main.m文件，加入C++构造函数：__attribute__((constructor)) void func1(){ printf("fun1 来了!"); } __attribute__((constructor)) void func2(){ printf("fun2 来了!"); }编译项目，打开
MachO文件
MachO中多出_mod_init_func
doInitialization函数的作用，调用全局C++对象的构造函数
回到
_main函数
1：读取MachO的LC_MAIN，找到主程序的main函数地址2：经过一系列判断，返回main函数加载顺序：
load方法（objc调用），C++构造函数（dyld调用)，main函数（dyld调用）
总结
dyld：动态链接器，加载所有的库和可执行文件
start函数
- 重定位
dyld- 调用
_main函数
_main函数
- 内核检查，然后一系列设置，
HostCPU、可执行文件的Header、ASLR、设置上下文、配置进程是否受限（AFMI）- 加载共享缓存
- 选择
dyld3或dyld2- 实例化主程序
◦ 根据compressed判断，使用相应的子类实例化主程序，返回实例对象
◦ 拿到实例化后的image对象，将image对象添加到image列表中，返回image对象
◦ 所以image列表中，第一个image一定是主程序- 加载动态库，优先插入的动态库，依次将
image对象添加到image列表中，使用环境变量DYLD_INSERT_LIBRARIES- 链接主程序
◦ 递归加载主程序依赖的库，完成之后发通知
◦ 重定向，修正ASLR
◦ 绑定非懒加载符号
◦ 绑定弱引用符号
◦ 递归应用插入的动态库
◦ 注册- 初始化主程序，
initializeMainExecutable函数
◦ 调用runInitializers函数
◦ 调用processInitializers函数
◦ 调用recursiveInitialization函数- 返回主程序的入口函数，开始进入主程序的
main函数
dyld3闭包模式
- 优先从共享缓存中获取实例对象，不存在创建一个
- 调用
launchWithClosure函数启动，传入闭包对象- 如果启动成功，拿到主程序
main的函数，直接返回结果
dyld2流程
- 把两个回调地址放到
stateToHandlers数组中- 分配初始化空间，尽量分配足够大的空间，以供后续使用
- 把
dyld加入到UUID的列表中
recursiveInitialization函数
- 调用
notifySingle函数- 调用
doInitialization函数
notifySingle函数
- 如果
sNotifyObjCInit不为空，使用回调指针，执行一个回调函数- 通过符号断点看出，回调是
_objc_init函数初始化时赋值的
◦_objc_init函数在objc源码中
◦ 调用dyld中的_dyld_objc_notify_register函数，传入load_images函数
◦ 调用call_class_loads函数，循环调用每个类中的load方法，动态库优先于主程序的load方法执行
doInitialization函数
- 调用
doModInitFunctions函数，内部调用全局C++对象的构造函数__attribute__((constructor))的C函数加载顺序：
load方法（objc调用），C++构造函数（dyld调用)，main函数（dyld调用）
