读书-程序员的自我修养-链接、封装与库（19:第七章:动态链接（3）动态链接相关结构

最新推荐文章于 2023-05-31 22:51:45 发布
最新推荐文章于 2023-05-31 22:51:45 发布
阅读量262 收藏
点赞数
分类专栏： 程序员的自我修养-链接、封装与库（读书笔记） 文章标签： 动态链接相关结构 symtab dynsym dynamic interp
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lqy971966/article/details/107494530
版权

读书-程序员的自我修养-链接、封装与库（19:第七章:动态链接（3）动态链接相关结构）

动态链接在不同的系统上有不同的实现方式，ELF比PE简单些。这里只介绍ELF。

1. 静态链接和动态链接的可执行文件执行过程对比

1.1 静态链接的可执行文件执行过程回顾

第一，操作系统读取可执行文件的头部，检查文件的合法性，
第二，从头部中的program header 中读取每个 segment的虚拟地址，文件地址和属性
并将它们映射到进程虚拟空间相应位置
第三，操作系统把控制权交给可执行文件的入口，然后执行。

1.2 动态链接的可执行文件执行过程

动态链接情况下，操作系统还不能在装载完可执行文件后，就把控制权交给
可执行文件。

原因：可执行文件依赖很多共享对象。
即可执行文件里对于很多外部符号的引用还处于无效地址的状态，
就是还没有跟相应的共享对象中的实际位置连接起来。
所以，在影射完可执行文件之后，操作系统会先启动一个动态连接器。

1.2.1 ld.so 也是一个共享对象

操作系统加载完动态连接器之后，就将控制权交给动态连接器的入口地址
（与可执行文件一样，共享对象也有入口地址）

2. .interp 字段

系统中哪个是动态链接库？
它的位置谁决定？

ELF中有个专门的段.interp （interpreter解释器）段。
它指向连接器。

2.1 objdump -s a.out 查看 interp 段

root@ubuntu-admin-a1:/home/6Chapter# objdump -s a.out 

a.out:     file format elf64-x86-64

Contents of section .interp:
400238 2f6c6962 36342f6c 642d6c69 6e75782d  /lib64/ld-linux-
400248 7838362d 36342e73 6f2e3200           x86-64.so.2.

这里 interp 指向的连接器是： ld-linux-x86-64.so.2.
这里是ubuntu的宿主机查看的结果。
linux下，动态连接器的路径几乎都是 /lib/ld-linux.so.2

3. .dynamic 段

dynamic 段是最重要的段。
它保持了动态连接器需要的基本信息。
比如依赖哪些共享对象，共享对象初始化代码的地址，动态链接符号表的位置，重定位表的位置

3.1 readelf -d a.out // -d dynamic 显示动态段的信息

root@ubuntu-admin-a1:/home/6Chapter# readelf -d a.out 

Dynamic section at offset 0xe28 contains 24 entries:
Tag        Type                         Name/Value
0x0000000000000001 (NEEDED)             Shared library: [libc.so.6]
0x000000000000000c (INIT)               0x400498
0x000000000000000d (FINI)               0x400774
0x0000000000000019 (INIT_ARRAY)         0x600e10
0x000000000000001b (INIT_ARRAYSZ)       8 (bytes)
0x000000000000001a (FINI_ARRAY)         0x600e18
0x000000000000001c (FINI_ARRAYSZ)       8 (bytes)
0x000000006ffffef5 (GNU_HASH)           0x400298
0x0000000000000005 (STRTAB)             0x400360
0x0000000000000006 (SYMTAB)             0x4002b8
0x000000000000000a (STRSZ)              102 (bytes)
0x000000000000000b (SYMENT)             24 (bytes)
0x0000000000000015 (DEBUG)              0x0
0x0000000000000003 (PLTGOT)             0x601000
0x0000000000000002 (PLTRELSZ)           120 (bytes)
0x0000000000000014 (PLTREL)             RELA
0x0000000000000017 (JMPREL)             0x400420
0x0000000000000007 (RELA)               0x400408
0x0000000000000008 (RELASZ)             24 (bytes)
0x0000000000000009 (RELAENT)            24 (bytes)
0x000000006ffffffe (VERNEED)            0x4003d8
0x000000006fffffff (VERNEEDNUM)         1
0x000000006ffffff0 (VERSYM)             0x4003c6
0x0000000000000000 (NULL)               0x0
root@ubuntu-admin-a1:/home/6Chapter#

3.2 ldd a.out //查看程序依赖哪些共享库

root@ubuntu-admin-a1:/home/6Chapter# ldd a.out 
	linux-vdso.so.1 =>  (0x00007ffc379b8000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fa425b86000)
	/lib64/ld-linux-x86-64.so.2 (0x000055910f911000)
root@ubuntu-admin-a1:/home/6Chapter#

4. 动态符号表

为了完成动态链接，最关键的还是所依赖的符号和相关文件的信息。

4.1 静态链接和 .symtab

静态链接中，有个专门的段叫做 .symtab(symbol table)，里面保存了所有关于该
目标文件的符号的定义和引用。

4.2 导出函数(Export function)和导入函数(Import function)

如程序pro1使用了hello.so 里面的 printHello 函数
我们就称 printHello 是 pro1 的导入函数；
printHello 是 hello.so 的导出函数；

4.3 动态链接和 .dynsym

为了表示动态链接这些模块之间的符号导入导出关系，ELF专门有个段来保存这些信息。
这个段就是：动态符号表(Dynamic Symbol Table)， .dynsym。

4.3.1 辅助表

与 symtab 类似，动态符号表也需要一些辅助的表。
如保存符号名的字符串表 symtab 中叫做：.strtab (String Table)
dynsym 中叫做 .dynstr (Dynamic String Table) 动态符号字符串表。

还有符号哈希表 .hash

4.3.2 readelf -sD libtest.so 查看动态链接库的动态符号

root@ubuntu-admin-a1:/home/6Chapter# readelf -sD libtest.so 
Symbol table of `.gnu.hash' for image:
Num Buc:    Value          Size   Type   Bind Vis      Ndx Name
8    0: 0000000000201028     0 NOTYPE  GLOBAL DEFAULT  23 _edata
9    0: 00000000000006f3    19 FUNC    GLOBAL DEFAULT  12 test_b
10   0: 0000000000201030     0 NOTYPE  GLOBAL DEFAULT  24 _end
11   1: 0000000000000706    19 FUNC    GLOBAL DEFAULT  12 test_c
12   1: 0000000000201028     0 NOTYPE  GLOBAL DEFAULT  24 __bss_start
13   1: 0000000000000590     0 FUNC    GLOBAL DEFAULT   9 _init
14   2: 00000000000006e0    19 FUNC    GLOBAL DEFAULT  12 test_a
15   2: 000000000000071c     0 FUNC    GLOBAL DEFAULT  13 _fini
root@ubuntu-admin-a1:/home/6Chapter#

参考：
https://www.cnblogs.com/Burgess-Fan/p/6138687.html

4.4 symtab 和 dynsym 关系

dynsym 它只保持了与动态链接相关的符号。
symtab 保存了所有的符号，包括 dynsym 中的符号。

5. 动态链接重定位表

共享对象需要重定位的原因是：导入符号的存在。

5.1 静态链接和动态链接对导入符号的处理时机

在编译时，这些导入符号的地址是未知的，静态连接中，
这些未知的地址引用在最终链接时被修正。

动态连接中，导入符号的地址在运行时才确定，所以需要在运行时将这些
导入符号的引用修正，即需要重定位。

5.2 动态链接重定位相关结构

5.2.1 静态链接的 .rel.text .rel.data

静态连接中，目标文件里包含有专门用于表示重定位信息的重定位表，
如： .rel.text 表示代码段的重定位表
.rel.data 是数据段的重定位表。

5.2.2 动态连接的 .rel.dyn rel.plt

动态连接的目标文件中，也有类似的重定位表叫做： .rel.dyn 和 rel.plt。

  1. .rel.dyn 类似于 静态链接的 .rel.text。
    它实际上是对数据引用的修正。修正的位置位于 .got以及数据段。

  2. rel.plt 类似于 静态链接的 .rel.data
    它是对函数引用的修正。

5.2.3 readelf -r libtest.so // -r relocs显示可重定位段的信息

root@ubuntu-admin-a1:/home/6Chapter# readelf -r libtest.so 

Relocation section '.rela.dyn' at offset 0x4b8 contains 8 entries:
Offset          Info           Type           Sym. Value    Sym. Name + Addend
000000200e00  000000000008 R_X86_64_RELATIVE                    6b0
000000200e08  000000000008 R_X86_64_RELATIVE                    670
000000201020  000000000008 R_X86_64_RELATIVE                    201020
000000200fd8  000200000006 R_X86_64_GLOB_DAT 0000000000000000 _ITM_deregisterTMClone + 0
000000200fe0  000400000006 R_X86_64_GLOB_DAT 0000000000000000 __gmon_start__ + 0
000000200fe8  000500000006 R_X86_64_GLOB_DAT 0000000000000000 _Jv_RegisterClasses + 0
000000200ff0  000600000006 R_X86_64_GLOB_DAT 0000000000000000 _ITM_registerTMCloneTa + 0
000000200ff8  000700000006 R_X86_64_GLOB_DAT 0000000000000000 __cxa_finalize@GLIBC_2.2.5 + 0

Relocation section '.rela.plt' at offset 0x578 contains 1 entries:
Offset          Info           Type           Sym. Value    Sym. Name + Addend
000000201018  000300000007 R_X86_64_JUMP_SLO 0000000000000000 puts@GLIBC_2.2.5 + 0
root@ubuntu-admin-a1:/home/6Chapter#

5.2.4 readelf -S libtest.so 显示头结点信息

root@ubuntu-admin-a1:/home/6Chapter# readelf -S libtest.so 
There are 29 section headers, starting at offset 0x18f8:
Section Headers:
[Nr] Name              Type             Address           Offset
	Size              EntSize          Flags  Link  Info  Align
……
[21] .got              PROGBITS         0000000000200fd8  00000fd8
	0000000000000028  0000000000000008  WA       0     0     8
[22] .got.plt          PROGBITS         0000000000201000  00001000
	0000000000000020  0000000000000008  WA       0     0     8
[23] .data             PROGBITS         0000000000201020  00001020
	0000000000000008  0000000000000000  WA       0     0     8
……

6. 动态链接时进程堆栈初始化信息

打印堆栈中的初始化信息
参考： https://blog.csdn.net/hs794502825/article/details/16940105
auxiliary_vestor.c

#include<stdio.h>
#include<elf.h>

int main(int argc, char * argv[])
{
	int *p = (int *)argv;
	int i;
	Elf32_auxv_t *aux;

	printf("Argument count:%d\n", *(p-1) );
	for(i=0; i<*(p-1); i++)
	{
			printf("Argument %d : %s\n", i, *(p+i) );
	}
	p += i;
	p++;

	printf("Environment:\n");
	while(*p)
	{
			printf("%s\n", *p);
			p++;
	}

	p++;

	printf("Auxiliary Vectors:\n");
	aux = (Elf32_auxv_t *)p;
	while(aux->a_type != AT_NULL)
	{
			printf("Type: %02d Value: %x\n", aux->a_type, aux->a_un.a_val);
			aux++;
	}

	return 0;
}
Hani_97
关注
专栏目录
C/C++的编译和链接过程
u012138730的专栏
06-03 8273
cl.exe和link.exe分别是visual studio 中的编译器和链接器 配置属性中的【c/c++】（设置编译的一些选项） 和 【链接器】选项页中，最后的那个命令行汇总了所有生效的设置，就是最终执行的命令行 配置属性中的VC++ 目录用于设置各个路径，相当于设置环境变量PATH（搜可执行文件的路径）： INCLUDE（搜include中文件的路径） LIBPATH（搜使用usin...
08-Ajax
人俗话不多
03-12 534
服务器相关概念 1. 客户端与服务器 服务器 : 上网过程中，负责 存放或对外提供资源 的电脑，叫做服务器 客户端 : 在上网过程中，负责 获取和消费资源 的电脑，叫做客户端 2. URL地址的概念&组成⭐️ 1.URL的概念 URL（全称是 UniformResourceLocator） 中文叫 统一资源定位符，用于标识互联网上每个资源的唯一存放位置。浏览器只有通过URL地址，才能正确定位资源的存放位置，从而成功访问到对应的资源 2. URL的组成 URL地址一般由三部分组成: 协议 , 主机名
《程序员的自我修养——链接、装载与库》读书笔记—— 7.5 动态链接相关结构
weixin_43512663的博客
10-15 629
7.5.x 这几小节看的有点懵，只能多看几遍，慢慢理解。定几个小目标： 搞清楚.dynamic, .dynsym, .rel.dyn, .rel.plt 这几个段都保存了哪些信息？ 这些段能在什么阶段起到什么作用？
【2023】哈工大计算机系统大作业——程序人生Hello’s P2P
最新发布
2301_77710139的博客
05-31 263
图1 hello的编译运行过程》​​​​。
对在64位Linux下编译动态链接库参数的探究
wonghifong0223的博客
06-23 3500
有在Linux开发程序的经验的朋友都应该知道，在64位Linux下编译动态链接库时，一般在编译时要加上参数-fPIC或者-mcmodel=large，不然在链接时会报错。但是却很少有人真正理解这些参数对于动态链接库的意义，所以今天我们就来探究以下这两个参数的真正含义。
不是动态可执行文件_动态链接
weixin_39907220的博客
11-23 1263
动态链接为什么需要动态链接静态链接使得不同的程序开发者和部门能够相对独立的开发和测试自己的程序模块，从某种意义上来讲大大促进了程序开发的效率，原先现在程序规模也随之扩大。但静态链接的缺点也暴露出来：浪费内存、磁盘空间、模块更新困难。内存与磁盘空间静态链接在计算机早期还是比较流行的，但是到了后面，其缺点也非常明显。比如浪费内存和磁盘空间，更新模块困难等。举个例子，每个程序内部除了都保留了printf...
动态链接中数据的重定向例子
whoami_I的博客
09-13 350
程序的大致框架： 主程序： #include &lt;stdio.h&gt; extern void hello(void); extern int a; int main(void) { printf("in main.c a=%d\n", a); printf("in main.c &amp;a=%p\n", &amp;a); hello(); retu...
程序员的自我修养阅读笔记
Snowzhao的博客
08-05 465
编译和链接 将编译和链接合并到一起的过程称为构建(Build)。 从源文件生成最终可执行目标文件共有4个步骤： 预处理(Prepressing) 编译(Compilation) 汇编(Assembly) 链接(Linking) 预处理 命令行指令： gcc -E hello.c -o hello.i 预处理实际上使用的是cpp程序： cpp hello.c > hello.i 预编译过程主要处理那些源代码文件中的以#开始的预编译指令。处理规则如下： 将所有的#define删除，并且展开所有的
静态库与动态库及交叉编译总结及学习较底层编程：动手写一个C语言编译器
benpaobagzb的博客
03-06 7836
C++静态库与动态库 这次分享的宗旨是——让大家学会创建与使用静态库、动态库，知道静态库与动态库的区别，知道使用的时候如何选择。这里不深入介绍静态库、动态库的底层格式，内存布局等，有兴趣的同学，推荐一本书《程序员的自我修养——链接、装载与库》。   什么是库 库是写好的现有的，成熟的，可以复用的代码。现实中每个程序都要依赖很多基础的底层库，不可能每个人的代码都从零开始，
C语言编程习惯和修养.doc
07-01
《C语言编程习惯和修养》一文深入探讨了优秀程序员应具备的核心素养，尤其是将注意力集中在编程修养上，这是衡量一个程序员是否优秀的决定性因素之一。文章不仅提出了五项基本素质，更着重分析了其中第五点——代码...
《Redis读书笔记》 服务器 客户端 设计
wuhulala的休息室
04-09 280
文章目录服务器服务器初始化初始化服务器状态结构载入配置项初始化服务器事后检查加载持久化数据执行事件循环服务器处理客户端请求定时处理数据结构客户端数据结构 服务器 Redis 服务器是典型的一对多服务器程序：一个服务器可以与多个客户端建立网络连接，每个客户端可以向服务器发送命令请求,而服务器接收并处理客户端发送的命令请求，并向客户端命令回复。 那么问题来了，每个服务端可以维护多少个客户端连接？ 服...
linux x86_64要注意的问题
weixin_34005042的博客
07-19 336
各种数据类型的长度 主要区别在long。long在32bit上是4bytes，在64bit上是8bytes。 2 指针类型 如果要强制转换，用long，不要用int。 3 x86_64上的汇编，参考这个，堆栈和参数传递与32bit上不同。http://www.x86-64.org/documentation/abi.pdf 还有要注意的是movl等，...
可执行文件如何被执行
Max_Cong的博客
07-07 1749
可执行文件如何被执行？ 1.sys_execve 处理execvc系统调用,调用do_execve 2.do_execve 打开该可执行文件,做些准备工作,然后调用search_binary_handler 3.search_binary_handler 确定可执行文件的类型(比如elf, 脚本), 调用相应的处理函数,这里是load_elf_binary 4.load_elf_binary将该执
动态链接1 程序员的自我修养第七章笔记
passenger12234的博客
03-12 640
0. 序 预计这篇文章会很长，折腾了挺长时间才差不多捋清楚，主要书上一些地方和现在的实现有一点出入。 1. 概览 与动态链接有关系的节大概有这样一些，.interp, .dynamic, .gnu.hash, .rela.dyn, .rela.plt, .plt, .plt.got, .got, .got.plt。其中.rela.dyn和.rela.plt也可能替换为.rel.dyn, .rel.plt，取决于具体重定位类型的选择。 其中.interp, .dynamic提供动态链接的一些初始信息。 .gn
线上性能问题初步排查方法
黄晓明(Java)
10-19 1323
引言 有时候有很多问题只有在线上或者预发环境才能发现，而线上又不能Debug，所以线上问题定位就只能看日志，系统状态和Dump线程，本文只是简单的介绍一些常用的工具，帮助定位线上问题。 问题定位 1: 首先使用TOP命令查看每个进程的情况，显示如下： top - 22:27:25 up 463 days, 12:46, 1 user, load average: 11.
linux动态链接库导出函数控制
lionzl的专栏
09-14 1226
linux动态链接库导出函数控制 2009-12-11 20:24   阅读3   评论0 windows 环境的vc的话，可以方便的指定__declspec(dllexport) 关键字来控制是否把dll中的函数导出。 我也来测试一下linux下面是如何做的： 先看gcc 和ld的相关选项 ======================================
《Spring Cloud微服务：入门、实战与进阶》 读书笔记
CarloPan的博客
05-27 927
SpringCloud官网：https://spring.io/projects/spring-cloud 《Spring Cloud微服务：入门、实战与进阶》 微服务架构是一种架构风格，而Spring Cloud是实现微服务架构的一系列框架的有序集合。 书涉及的源码均可在https://github.com/yinjihuan/spring-cloud中下载。如果下载失败，也可以发邮件给笔者jihuan900@126.com，或者关注微信公众号“猿天地”，直接与笔者交流。 Spring Cloud
编译动态库时遇到relocation R_X86_64_32 against `a local symbol'的错误
热门推荐
USBdrivers的专栏
04-26 4万+
有三个文件【hello.c  main.c  hello.h】在执行下面的第三条命令时出现标题的错误（程序清单见文章末尾）： $gcc -c hello.c $gcc -c main.c $gcc -shared -fPIC -o hello hello.o main.o .. relocation R_X86_64_32 against `a loca
Linux 动态库同名函数处理原则
cpucooler2011的专栏
08-04 3715
万事皆有缘由，还是先从我遇到的这个问题说起～～～  问：有一个主执行程序main，其中实现了函数foo()，同时调用动态库liba.so中的函数bar()，而动态库liba.so中也实现了foo()函数，那么在执行的时候如果在bar()中调用foo()会调用到哪一个？在main()中调用呢？  直接给答案：如果是在Linux上，liba.so中的foo()函数是一个导出的(exte
程序员自我修养：链接、装载与库读书笔记
资源摘要信息: "《程序员的自我修养——链接、装载与库》读书笔记" 1. 程序编译过程简介： 程序员在编写代码之后，需要经历预处理、编译、汇编、链接这几个主要步骤，才能生成最终可执行的程序。预处理主要处理源...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值