链接器主要完成符号解析和重定位两个任务。 目标文件有三种形式:可重定位目标文件(.so);可执行目标文件(.exe),共享目标文件(.so)。...弱全局符号分配在 COMMON section 中,强全局符号分配在 .bss 中。 静态库用于共享重复的代码,链接器仅会拷贝需要的函数。也可以通过参数拷贝所有函数。...gcc 的静态库链接是按顺序进行的。...遇到目标文件 .o 时会把未定义和已定义的符号保存起来,遇到存档文件 .a 时,除了前面的操作,还会把 .a 的成员符号与未定义的符号比较,把匹配的成员符号对应的 .o 链接起来。...这样的话因为是顺序的,如果把静态库放在前面,则会错过后面目标文件的匹配,从而在链接完所有文件,却还是有未定义符号,结果编译报错。 所以一般做法是静态库文件放在最后。
4.1 精简动态符号表 使用 visibility 和 attribute 控制符号可见性 可以通过给编译器传递 -fvisibility=VALUE 控制全局的符号可见性,VALUE 常取值为 default...使用 exclude libs 移除静态库中的符号 上述 visibility 方式、attribute 方式和 static 关键字,都是控制项目源码中符号的可见性,而无法控制依赖的静态库中的符号在最终...exclude libs 就是用来控制依赖的静态库中的符号是否可见,它是传递给链接器的参数,可以使依赖的静态库的符号在动态符号表中不存在。...script 方式可以控制编译进 so 的静态库的符号是否导出,visibility 和 attribute 方式都无法做到这一点。...具体来讲,就是可以删除 liba.so 和 libb.so 的动态符号表中的所有导出符号,以及 libx.so 的动态符号表中从 liba.so 和 libb.so 中导入的符号。
:sub.o ,add.o无论是静态库文件还是动态库文件,都是由 .o 文件创建的。...2.3、由 .o 文件创建.a静态库ar crlibmymath.a sub.o add.oar:静态函数库创建的命令-c :create的意思-r :replace的意思,表示当前插入的模块名已经在库中存在...例如:我们将创建的动态库名为mymath,则动态库文件名就是libmamath.so。用gcc来创建动态库。在系统提示符下键入以下命令得到动态库文件libmamath.so。...shared :生成共享库3.2、隐式方式使用动态库在程序中隐式使用动态库和使用静态库完全一样,也是在使用到这些公用函数的源程序中包含这些公用函数的原型声明,然后在用gcc命令生成目标文件时指明动态库名进行编译...使用G++对其进行编译:g++ -fPIC -shared b1.c -o libb.so编译成功!可见GCC和G++对于这种全局变量初始化的方法,支持力度是不一样的。
CSAPP---第七章-链接 什么是链接 目标文件 目标文件格式 可重定位目标文件格式 符号和符号表 符号解析 多重定义全局符号处理 静态库 静态库解析过程 重定位 重定位条目 可执行文件...在链接器上下文中,符号又分为以下三类: 由模块m定义并能被其他模块引用的全局符号,全局符号对应于 非静态的c函数和全局变量 由其他模块定义并被模块m引用的全局符号,这些符号被称为外部符号,对应于在其他模块中定义的非静态...在Linux系统中,静态库以一种称为存档的特殊文件格式存放在磁盘中,存档文件是一组连续的可重定位目标文件的集合,有一个头部用来描述每个成员目标文件的大小和位置,存档文件名由后缀.a标识。...所有引用该库的可执行目标文件共享这个 .so 文件中的代码和数据,而不是像静态库的内容那样被复制和嵌入到引用它们的可执行的文件中。...这里涉及到CSAPP第九章要讲的虚拟内存机制,该章节中会探讨如何实现库的共享 静态库和共享库构造对比如下: 动态链接基本的思路是当创建可执行文件时,静态执行一些链接,然后在程序加载时,动态完成链接过程
小心两个共享库共用同一个静态库.pdf 注:以下内容仅针对Linux/GCC环境,不涵盖Windows,包括Cygwin环境。....html(Linux上制作可执行的共享库示例) 问1:如果测试中的全局变量global_var是个带构造和析构的类对象,会如何?...原因是在使用dlopen动态加载共享库时,如果静态库中包含有全局变量,可能会出现名同地址不同的全局变量。 解决办法:总是使用RTLD_GLOBAL加载共享库,而不是RTLD_LOCAL。...如果被依赖的不是静态库,而是共享库,则无论何种方式都不存在问题 为何即使RTLD_GLOBAL加载,也会执行两次构造和析构?...--retain-symbols-file表示不丢弃未定义的符号和需要重定位的符号 --export-dynamic 创建一个动态连接的可执行程序时, 把所有的符号加到动态符号表中
然而,一些客户也希望在安装时提供一个静态库。其他客户注意到,共享库中的所有符号都是可见的。最佳实践规定,共享库只应公开最小数量的符号,从而限制代码中定义的对象和函数对外界的可见性。...因此,我们希望做以下事情: 从同一组源文件构建共享和静态库。 确保只有共享库中的符号可见性得到适当界定。...第三部分,构建和链接静态和共享库,在第一章,从简单的可执行文件到库,已经展示了 CMake 提供了实现第一点的平台无关功能。然而,我们没有解决符号可见性的问题。我们将使用当前的节重新审视这两点。...静态库只是对象文件的存档。因此,首先将源代码编译成对象文件,然后存档器将它们捆绑成一个存档。这里没有 ABI 的概念:所有符号默认都是可见的,编译器的可见性标志不影响静态存档。...关于动态共享对象、静态存档和符号可见性的更多详细信息,我们建议阅读这篇文章:people.redhat.com/drepper/dsohowto.pdf。
从使用方法上分库大体上可以分为两类:静态库和共享库。在windows中静态库是以 .lib 为后缀的文件,共享库是以 .dll 为后缀的文件。...b.o 共享库: 同静态库一样编译成目标文件:gcc –c a.c b.c 生成共享库:gcc –fPIC –shared –o libshared.so a.o b.o 由此可见静态库和动态库都是对目标文件的处理...(四) 静态库 在linux环境中, 使用ar命令创建静态库文件.如下是命令的选项: d —–从指定的静态库文件中删除文件 m —–把文件移动到指定的静态库文件中...创建库文件之后,可以创建这个静态库文件的索引来帮助提高和库连接的其他程序的编译速度: 使用ranlib程序创建库的索引,索引存放在库文件内部....ranlib libapue.a 用nm程序显示存档文件的索引,它可以显示目标文件的符号 nm libapue.a | more 如果是显示目标文件的符号: nm error.o | more 如何使用呢
库一般分为两种:静态库(.a 、.lib)动态库(.so 、.dll )所谓静态、动态是指链接过程。 3、静态库与动态库 区别: (1)lib是编译时用到的,dll是运行时用到的。...在使用静态库的情况下,在编译链接可执行文件时,链接器从库中复制这些函数和数据并把它们和应用程序的其它模块组合起来创建最终的可执行文件(.EXE文件)。...(1)导出与导入 在ELF(Linux下动态库的格式),共享库中所有的全局函数和变量在默认情况下都可以被其他模块使用,即ELF默认导出所有的全局符号。...对于从其他DLL导入的符号,需要使用“__declspec(dllimport)”显式声明某个符号为导入符号。在ELF中,使用外部符号时,不需要额外声明该符号是从其他共享对象导入的。...// 下列 ifdef 块是创建使从 DLL 导出更简单的 // 宏的标准方法。此 DLL 中的所有文件都是用命令行上定义的 MYDLL_EXPORTS // 符号编译的。
问题分析 首先是第一个静态库和动态库混用的问题,这个问题早在去年就有人提了issue(“example_otlp_grpc_log” sample not running. libopentelemetry_exporter_otlp_grpc_log.so...这种情况如果我们把 gRPC 编译成静态库,并链接进多个动态库里,那么每个动态库里都有一份 gRPC 的全局变量和函数符号。...而在ELF ABI(Linux)下,情况变得有点不一样了,因为在ELF ABI下整个堆和符号表是整个可执行程序共享的,ld.so 保证了当多个动态库包含相同的符号(通常是链接了相同的库)的时候,默认选中最早链接进的那一个...目前推荐的跨平台兼容性比较好的做法是对输出呃接口使用符号导出(Windows)或声明为可见(Linux/macOS等),然后把默认可见性改成 -fvisibility=hidden 。...这样能尽可能保证平台一致性,减少不必要的符号导出以降低链接器负担。但是即便这样,对于head only的C++库而言,可能会导致可见性切换而导致一些其他告警(比如macOS上的STL)。
-b :指定目标代码输入文件的格式 -Bstatic:只使用静态库 -Bdynamic:只使用动态库 -Bsymbolic:把引用捆绑到共享库中的全局符号 -c <MRI-commandfile...脚本命令“FORCE_COMMON_ALLOCATION”具有相同的效果 -defsym:在输出文件中创建指定的全局符号 -demangle:在错误消息中还原符号名称 -e :使用指定的符号作为程序的初始执行点...这告诉动态链接器,正在创建的共享对象的符号表应该用作共享对象名称的符号表的筛选器。 -g:被忽略。...=:从指定的文件读取符号名称和地址 -r,--relocatable:生成可重定位的输出(称为部分连接) -rpath=:把指定的目录添加到运行时库搜索路径 -rpath-link...:创建共享库 -split-by-file[=size]:为每个目标文件在输出文件中创建额外的段大小达到size。
,它创建两个object文件(a.o和b.o),然后创建一个包含a.o和b.o的共享函数库。...首先,你需要创建这些共享函数库;然后,设置一些必须得符号链接,特别是从soname到真正的函数库文件的符号链接,简单的方法就是运行ldconfig: ldconfig -n directory_with_shared_libraries...,它创建两个对象文件(ao和bo),然后创建一个包含它们的共享库。...使用-fpic选项通常会生成更小更快的代码,但会有平台相关的限制,例如全局可见符号的数量或代码的大小。链接器将告诉您,创建共享库时是否适合。如果有疑问,我选择-fPIC,因为它总是有效。...在某些情况下,调用gcc来创建对象文件也需要包含“-Wl,-export-dynamic”选项。通常,动态符号表仅包含动态对象使用的符号。
也就是说:动态链接器知道每个动态库中的代码段、数据段被加载的内存地址,因此动态链接器也会维护一个全局符号表,其中存放着每一个动态库中导出的符号以及它们的内存地址信息。...可以看到:在全局符号表中,没有找到liba.so中的变量a1和函数func_a2这两个符号,因为它俩都是static类型的,在编译成动态库的时候,没有导出到符号表中。...既然提到了符号表,就来看看这 3 个ELF文件中的动态符号表信息: 动态链接库中保护两个符号表:.dynsym(动态符号表: 表示模块中符号的导出、导入关系) 和 .symtab(符号表: 表示模块中的所有符号...而且,在liba.so中,定义了静态、动态的全局变量和函数,可以很好的概况很多种情况,因此这部分内容就主要来分析liba.so这个动态库。...通过指令 readelf -r liba.so来查看重定位信息: 从黄色和绿色的矩形框中可以看出: liba.so 引用了外部符号 b,类型是 R_386_GLOB_DAT,这个符号的重定位描述信息在
为了表示动态链接这些模块之间的符号导入导出关系,ELF有一个叫做动态符号表(Dynamic Symbol Table)的段用来保存这些信息 .rel.dyn:实际上是对数据引用的修正,它所修正的位置位于...,以机器码的形式存储 .dynamic:描述了模块动态链接相关的信息 .got:全局偏移表(Global Offset Table),用于记录外部调用的入口地址 .data: 数据段,保存的那些已经初始化了的全局静态变量和局部静态变量...使用~ 当so动态库被装载的时候,动态链接器linker会将动态库装载到进程的地址空间,并且将程序中所有没确定的符号绑定到相应的动态链接库中,并进行重定位的工作~ 3、重定位 共享库进行重定位的主要原因是在于导入符号原因...,在动态链接下,可执行文件如果依赖于其他共享对象,也就是说有导入的符号时(比如easy_curl_getopt函数),那么它的代码或数据中就会有对于导入符号的引用,在编译时这些导入符号的地址未知,在运行时才确定...来,跑起来~ 使用命令获取: cat /proc/对应进程的pid/maps 上图已经列举出了我们的应用加载的一些so库,左边标记红色的地址就是各个so库的基址 addr = base_addr
,GLOBAL代表全局可见,27和64指的是 可以看到最上面的就是符号结构体里面的属性可以一一对应上 windows-PE Windows和PE的兼容 windows因为当时早起并不能独立运行只能依托于...根本原因是链接其他外部文件的符号是在链接阶段进行的,如果能够推迟到运行的时候的话 其他文件可以随意更新 (前提需要保存和原来的动态库导出的符号保存兼容)而不需要重新连接一遍,因为是运行时链接的。...SO里面会存储完整的动态库符号信息:也就是导出符号表 就是通过编译共享库的时候可以指定编译器参数 打出共享库目标文件(.o)和 共享库链接信息(.so) ,这个so里面会记录共享库中完整的符号信息,这样连接器在查找符号的时候如果发现可以在...GOT实现地址无关(ELF格式采用) 因为数据段是可以修改的,因此got存放在数据段中,那么自然got的偏移是知道的,然后*把这些外部链接的符号 统一放到got表里面(so记录的是共享库的导出符号表,而程序使用的是导入符号表并不是所有共享库的符号陈序都药使用...,所以需要记录程序使用了哪些动态符号,so导出符号只是为了让连接器对于未定义的动态符号不报错;程序使用的导入符号会放在rel.got和rel.plt段中,后面会介绍) *,用的地方怎么知道在got表里的偏移呢
DLL内的函数分为两种 (1)DLL导出函数,可供应用程序调用; (2)DLL内部函数,只能在DLL程序使用,应用程序无法调用它们 创建静态链接库和创建动态链接库 (1)VC6中创建[Win32 Dynamic-Link...Library]工程便可以创建出一个空的DLL工程. (2)VC6中创建[Win32 Static Library]工程便可以创建出一个空的LIB工程(静态链接库工程,仅生成一个lib文件)....在Linux下,共享库的加载是由/lib/ld.so完成的,ld.so加载共享库时,会从ld.so.cache查找。 创建函数库示例 我们通常把一些公用函数制作成函数库,供其它程序使用。...file or directory 从程序hello运行的结果中很容易知道,当静态库和动态库同名时,gcc命令将优先使用动态库,默认去链接/usr/lib和/lib等目录中的动态库,将文件libmyhello.so...Note:编译参数解析 最主要的是GCC命令行的选项: -shared 该选项指定生成动态链接库(让链接器生成T类型的导出符号表,有时候也生成弱链接W类型的导出符号),不用该标志外部程序无法链接。
动态库(共享库)的代码在可执行程序运行时才载入内存,在编译过程中仅简单的引用,因此代码体积比较小。 不同的应用程序如果调用相同的库,那么在内存中只需要有一份该动态库(共享库)的实例。...静态库和动态库的最大区别,静态情况下,把库直接加载到程序中,而动态库链接的时候,它只是保留接口,将动态库与程序代码独立,这样就可以提高代码的可复用度,和降低程序的耦合度。...无论静态库,还是动态库,都是由.o文件创建的。...最主要的是GCC命令行的一个选项: -shared 该选项指定生成动态连接库(让连接器生成T类型的导出符号表,有时候也生成弱连接W类型的导出符号),不用该标志外部程序无法连接。...隐式调用动态库和静态库使用方法一致,使用静态库和使用动态库编译成目标程序使用的gcc命令完全一样,那当静态库和动态库同名时,gcc命令会使用哪个库文件呢?
在仓库的发展史上经历了“无库-静态链接库-动态链接库”的时代。 静态链接库与动态链接库都是共享代码的方式,如果采用静态链接库,则无论你愿不愿意,lib中的指令都被直接包含在最终生成的EXE文件中了。...静态链接库和动态链接库的另外一个区别在于静态链接库中不能再包含其他的动态链接库或者静态库,而在动态链接库中还可以再包含其他的动态或静态链接库。...的动态链接版本创建,它只能被用MFC类库所编写的应用程序所调用。...静态调用:这个方式要与静态库的调用方式区别开,是由编译系统完成对DLL的加载和应用程序结束时DLL 的卸载。...这是因为,当程序员通过静态链接方式编译生成应用程序时,应用程序中调用的与.lib文件中导出符号相匹配的函数符号将进入到生成的EXE 文件中,.lib文件中所包含的与之对应的DLL文件的文件名也被编译器存储在
2.6.1,那么相应的动态链接库就是/lib/ld-2.6.1.so。...另外linux还提供了一个命令用来查看一个程序主模块或一个共享库依赖于哪些共享库: ? 动态符号表 为了完成动态链接,最关键的还是所依赖的符号和相关文件的信息。...我们知道在静态链接中,有一个专门的段叫做符号表“.symtab”( Symbol Table),里面保存了所有关于该目标文件的符号的定义和引用。...把这种导入导出关系放到静态链接的情形下,我们可以把它们看作普通的函数定义和引用。...动态链接符号表的结构与静态链接的符号表几乎一样,我们可以简单的将导入韩式看作是对其他目标文件中函数的引用:把导出函数看作是在本目标文件定义的函数就可以了; 3.
还有,大多数Web服共享库的动牡动太内 静态链接 像 Linux LD程序这样的静态链接器以一组可重定位目标文件和命令行参数作为输入,生成一个完全链接的、可以加载和运行的可执行目标文件作为输出。...全局链接器符号对应于非静态的C函数和全局变量。 由其他模块定义并被模块m引用的全局符号。这些符号称为外部符号,对应于在其他模块中定义的非静态C函数和全局变量。 只被模块m定义和引用的局部符号。...它们对应于带 static属性的C函数和全局变量。这些符号在模块m中任何位置都可见,但是不能被其他模块引用。 如何解析多重定义的全局符号 链接器的输入是一组可重定位目标模块。...每个模块定义一组符号,有些是局部的(只对定义该符号的模块可见),有些是全局的(对其他模块也可见)。如果多个模块定义同名的全局符号,会发生什么呢?下面是 Linux编译系统采用的方法。 ...在 Linux x86-64系统中,代码段总是从地址0x400000处开始,后面是数据段。运行时堆在数据段之后,通过调用malloc库往上增长。堆后面的区域是为共享模块保留的。
——让大家学会创建与使用静态库、动态库,知道静态库与动态库的区别,知道使用的时候如何选择。...库有两种:静态库(.a、.lib)和动态库(.so、.dll)。 所谓静态、动态是指链接。...l 空间浪费是静态库的一个问题。 l 另一个问题是静态库对程序的更新、部署和发布页会带来麻烦。...Linux下创建与使用动态库 linux动态库的命名规则 动态链接库的名字形式为 libxxx.so,前缀是lib,后缀名为“.so”。...实际上静态库本身就包含了实际执行代码、符号表等等,而对于导入库而言,其实际的执行代码位于动态库中,导入库只包含了地址符号表等,确保程序找到对应函数的一些基本地址信息。
领取专属 10元无门槛券
手把手带您无忧上云