可执行的动态库

动态库像可执行程序一样可以直接运行。例如ld-linux.so运行时会打印一些版本信息。

编译参数：

-Wl,-e,my_main

编译动态库时，添加链接参数，my_main是要运行的函数名字。

链接静态库全部符号，包括未被使用的

默认情况下，对于未使用到的符号，链接器不会将它们链接进共享库或可执行程序。

-Wl,--whole-archive -ladd -lsub -Wl,--no-whole-archive

链接静态库时符号循环依赖

默认情况下，链接时静态库只会按它们出现在命令行的顺序搜索一遍，如果库里有未定义的符号引用，而且该静态库还被放在命令行的后面,这样链接器就无法找到该符号。通过给静态库分组，这些库可以被循环搜索直到所有符号引用都可以被找到为止。使用该选项将降低性能。只有在无法避免多个包之间互相引用的情况下才使用。

-Wl,--start-group -ladd -lsub -Wl,--end-group

可执行程序导出符号

当主程序通过dlopen来打开动态库，并且动态库用到了主程序里的符号（函数），这种情况叫做反向依赖，用来做框架或插件机制。

-rdynamic

指定运行时加载动态库时的搜索路径

Linux下可执行程序运行时加载动态库，不会搜索可执行程序的当前路径

-Wl,-rpath,'$ORIGIN'

指定程序依赖库一部分为静态库，一部分为动态库

当某些库同时存在静态库和动态库时，需要明确使用动态库还是静态库

-Wl,-dn -Wl,--whole-archive -ladd -lsub -Wl,--no-whole-archive -Wl,-dy -lmul -ldiv

强制动态库函数使用内部符号，而非全局符号

• 方 法1： 更改dlopen内部符号查找的起点， dlopen(“/libtest.so”,RTLD_LAZY|RTLD_DEEPBIND);RTLD_DEEPBIND的含义就是首先搜索本地符号定义，然后再搜索主程序的.dynsym。
• 方法2： 在编译动态库时，加入-Wl,-Bsymbolic。它含义是动态库的符号在链接时绑定到本地定 义，而不依赖运行时的符号查找。显而易见，这种效率比 RTLD_DEEPBIND效率高。

-Wl,-Bsymbolic

库里一个接口存在多个实现

GNU IFUNC，间接函数GNU标准库glibc使用这个特性实现了一些内存和字符串函数的多个版本，包括 memmove、memset、memcpy、strcmp、strstr等。

使用属性：
__attribute__ ((ifunc ("resolve_my_mul")))

使用包装函数替换动态库里的函数

对 symbol 使用包装函数(wrapper function). 任何对 symbol 未定义的引用 (undefined reference) 将解 析为 __wrap_symbol. 任何对 __real_symbol 未定义的引用将解析为 symbol.

-Wl,--wrap,malloc

链接动态库接口的特定版本

memcpy最低版本是("@GLIBC_2.2.5")2.2.5,而默认使用版本是2.14("@@GLIBC_2.14")，强制使用GLIBC_2.2.5

编译选项：
-fno-builtin
-fno-builtin-memcpy
代码里：
asm(".symver memcpy, memcpy@GLIBC_2.2.5")

链接特定版本动态库

• so name是一组具有兼容API的SO库所共有的名字，其命名特征是lib+<库名>+.so.+<数字>这种形 式的(libop.so.1)
• real name 是真实具有SO库可执行代码的那个文件，其命名特征是lib+<库名>+.so.+<数字>.+<数 字>.+<数字>这种形式的(libop.so.1.1.1)
• linker name 这个名字只是给编译工具链中的连接器使用的名字，其命名特征是lib+<库名 >+.so(libop.so )

编译选项：
-Wl,-soname,libop.so.101

链接指定名字动态库

库的名字不是按照标准的libxxx.so的形式时，需要指定具体名字。

-l:filename

控制动态库符号强弱

对于全局变量，可以分为三种情况：

1. 初始化非零值
2. 初始化零值
3. 未初始化

在GCC中，前两种情况的全局变量成为强符号，并分别存在 .DATA 和 .BSS 段中，第三种情况成为弱符 号，它保存在 .COMMON 段中。

这些变量必须遵循如下三条规则：

1. 同名强符号最多只能存在一个
2. 如果存在一个强符号和多个若符号，则弱符号会被强符号覆盖
3. 如果存在多个弱符号，GCC会选择其中内存最大的一个
4. 强弱符号规则是针对静态链接

搜索动态库符号规则：

1. 当前规则是使用第一个被搜索到的符号
2. 在glibc2.2之前规则是，搜索到第一个符号如果是弱符号，会继续搜索，遇到强符号替换，否则使用第一个

使用属性：
__attribute__((weak))

控制动态库符号版本

ELF Version Section：

• .gnu.version(version symbol section)。dynamic table中的DT_VERSYM tag指向该section。假 设.dynsym有N个entries，那么.gnu.version包含N个uint16_t。第i个entry描述第i个dynamic symbol table所属的version
• .gnu.version_r(version requirement section)。dynamic table中的DT_VERNEED/DT_VERNEEDNUM tags标记该section。描述该模块的未定义的versioned符号用到的version信息
• .gnu.version_d(version definition section)。dynamic table中的DT_VERDEF/DT_VERDEFNUM tags 标记该section。记录该模块定义的versioned符号用到的version信息 定义的版本符号有两种形式： foo@@v2，称为默认版本 foo@v2，称为非默认版本,或者叫隐藏版本 未定义版本符号只有一种形式 foo@v2

有定义的符号，版本有两种形式：

• foo@@v2，称为默认版本
• foo@v2，称为非默认版本,或者叫隐藏版本

未定义的符号，版本只有一种形式：

• foo@v2

编译选项：
--version-script,vis.map

vis.map

VER_1.0 {
    global:
        my_add;
    local:
        *;
};

VER_1.1 {
  global:
        my_all;
} VER_1.0;

其他