Chapter 7
hello.o -> hello (链接)
一、静态链接
- 主要是将符号对应起来
- 两个主要任务:符号解析(符号引用与符号定义的对应)、重定位(符号定义与内存位置的对应)
1. 符号解析
- 解析多重定义的全局符号:规则:强符号(函数和已初始化的全局变量)、弱符号(未初始化的全局变量),1.强强× 2.强弱 强√ 3.弱弱 随机
2. 重定位
- 重定位节和符号定义:将所有相同类型的节合并为同一类型的新个聚合节
- 重定位节中的符号引用:修改代码节中对每个符号的引用,使得它们指向正确的运行时地址,依赖于重定位条目
(1)重定位条目
其中的重定义类型(主要的两个)
- R_X86_64_PC32:重定义一个使用32位PC相对地址的引用,指令中编码的32位值加上PC的当前运行值;PC值通常是下一条指令在内存中的地址。
- R_X86_64_32:重定义一个使用32位绝对地址的引用,指令中编码的32位值
二、动态链接
三、可重定位目标文件(.o)
- 图7-3
- 包含内容:ELF头、已编译程序的机器代码(.text)、对应辅助表:符号集合及符号表(.rodata、.data、.bss、.symtab、.rel.data、【】、.debug、【】、【】)、.text节中位置表(.rel.text)、原C行号与.text节中机器指令间映射表(.line)、字符串表(.strtab)、节头部表
- 节:ELF头~.strtab都是节,节头部表是描述目标文件的节
1. 符号表
- 每个可重定位目标模块m都有一个符号表
- 在链接器的上下文中,有三种符号:定义且能被引用、被引用、定义不能被引用(static 函数 全局变量)
- 符号表格式(.symtab中的ELF符号表)P469:name、binding、section、value、size等
四、可执行目标文件
- 图7-13
- 执行文件的连续的片(chunk)被映射到连续的内存段。程序头部表(program header table)描述了这种映射关系
加载可执行目标文件
- 怎么加载:Linux程序通过调用execve函数来调用加载器(loader)(操作系统代码),加载器来运行该可执行目标文件
- 什么叫加载:将程序复制到内存并运行的过程叫做加载
- (内核:操作系统驻留在内存的部分)
- 图7-15
五、静态库
- 相关的函数可以被编译为独立的目标模块,然后封装成一个单独的静态库文件(.a)
- 在链接时,链接器将只复制被程序引用的目标模块
创建一个静态库
- AR工具
ar rcs libvector.a addvec.o multvec.o
- replace create 索引
链接静态库
gcc main2.o libvector.a -static -o prog2c
- -static参数告诉编译器驱动程序,链接器应该构建一个完全链接的可执行目标文件
用 静态库来符号解析
- 存档文件(.a):一组连接起来的可重定位目标文件的集合,有一个头部来描述每个成员目标文件的大小和位置。
- 目标文件
- E U D
- 命令行上库、目标文件的顺序
六、动态库(动态链接共享库)
- 共享库(.so)(shared library)(DLL 动态链接库(微软)):目标模块,可以加载到任意的内存地址,并和一个在内存中的程序链接起来,这个过程叫动态链接(dynamic linking),由动态链接器(dynamic linker)程序执行。
创建动态库
gcc addvec.c multvec.c -shared -fpic -o libvector.so
链接动态库
gcc main2.c libvector.so -o prog2l
第一部分:程序结构和执行
chapter2
序言
浮点数
- 编码:表示实数的科学记数法的以2为基数的版本 (???)
- 溢出:值为+∞
- 计算:不可结合的(因精度有限)
值:近似的
- 大量计算机的安全漏洞都是由于计算机算术运算的微妙细节引发的
计算机用几种不同的二进制表示形式来编码数值(如不同长度的整数和浮点数)
信息存储
- 最小可寻址的内存单位:字节
- 虚拟内存:内存,一个非常大的字节数组
- 虚拟地址空间:一个概念性映像,实际的实现是将各种硬件软件结合起来,为程序提供一个看上去统一的字节数组
- 每个程序对象可以简单视为一个字节块,而程序本身就是一个字节序列
- 程序对象:程序数据、指令、控制信息
- gcc -m32 prog.c
十六进制(hex)
- 转换技巧:
- A(10) C(12) F(15)
- 2^n (100000...000)2 (n个0)转换成hex要点:4* +
大端 小端
- 三种需要注意大端 小端的情况
- typedef 可以来命名数据类型
Chapter 10 : 系统级I/O
Unix I/O
- 描述符:应用程序向内核申请打开某文件时,内核返回该文件的描述符,应用程序可用它来标识文件,而对于这个打开文件的所有信息则有内核来记录。
文件
- 文件类型:普通文件、目录、套接字(socket)等
基本操作过程
打卡和关闭文件
- open
- close
读和写文件
- read
- write
用RIO包健壮地读写
- 自动为你处理不足值
- 分类:无缓冲的输入输出函数、带缓冲的输入函数
无缓冲的输入输出函数
- rio_readn 不带缓冲
- rio_readnb 带缓冲
- rio_readlineb 从内部缓冲区复制一个文本行,当缓冲区变空,自动调用read重新填满
- rio_readinitb 创建一个空的读缓冲区,并将一个打开的文件描述符和这个缓冲区联系起来
- rio_writen
读取文件元数据
- stat
- fstat