关于链接的较为全面的介绍
链接就是将不同部分的代码和数据合成一个单一文件的过程，这个文件可以被加载器加载到存储器执行。链接可以执行于编译时，加载时，甚至运行时。链接器就是起到这样一个作用。
那么链接到底有什么作用呢？
首先，它可以避免构造大型程序时写一个超级大的源文件，我们可以分成更小的模块进行编写，修改某一个模块只需要这个模块重新链接到应用上，其他模块不用重新编译。
其次，它可以帮助我们理解一些编程中的链接错误，全局变量局部变量意义，其他系统概念，开发共享库等。
1.编译器驱动程序
我们看这个实例程序，
首先预处理器将会把main.c翻译成ASCII码中间文件main.i,
然后编译器将把这个main.i转换成汇编语言文件main.s。
接着汇编器把Main.s转换成可重定位目标文件main.o
最后，链接器会把这两个main.o swap.o以及一些必要的文件结合起来形成可执行的目标文件exe
这就是一个程序写出来到运行经过的过程。
我们需要知道目标文件o有三种形式：
1、可重定位目标文件。包括二进制代码和数据，代码，初始化的数据，未初始化的数据不在一个数据节中；
2、可执行目标文件。包括代码和数据，可以直接拷贝到存储器执行。
3、共享目标文件。特殊的可重定位目标文件，可以在加载或运行时动态加载到存储器并链接。
最后一步链接器必须要完成两个任务：
1、符号解析。将每个符号引用和符号定义联系起来；
2、重定位。链接器通过把每个符号定义和一个存储器位置联系起来，然后修改对这些符号的引用，使他们指向这个存储器位置，从而重定位这些节。
2、符号表
符号表是一个结构数组，包含符号偏移量，长度，类型等信息；每个可重定位模块中都有符号表，符号表主要有三种不同的符号：
1、由该模块定义的全局符号，也就是对应于函数和全局变量。
2、由其他模块定义的全局符号，对应于extern关键字，代表着本模块只是声明，定义是其他模块定义的、
3、局部符号，带static属性的函数和变量。
这里要注意，局部符号不是局部变量（非static）。因为局部变量在运行时被栈管理，符号表不关心这些。
其实我们可以发现，static的功能和c++中的private一样，声明了static后其他模块是不能访问的。
3、符号解析
符号为函数名时，指代码所在区，为变量名时，为所占的静态数据区。
对于本地符号的解析十分简单，编译器只允许每个本地符号只有一个定义。而全局变量的解析却复杂得多。
为了解决全局符号多处定义的问题。编译器分成了强符号和弱符号
函数和已经初始化的全局变量是强符号，未初始化的全局变量是弱符号。
规则1：不允许有多个强符号；
规则2：如果有一个强符号和多个弱符号，选择强符号；
规则3：如果有多个弱符号，随便选择一个；
4、静态库链接
所有编译系统都提供一种机制，把所有的相关目标模块打包成一个单独的文件，这就是静态库。标准I/O,串操作，算术函数等存放在libc.a,libm.a库文件中。
如果不使用静态库的话，可以使用标准函数，编译器可以辨认对这些标准函数的调用生成相应代码。比如pascal就是用这种方式，但是C不可行，因为标准函数太多了，每次增删改函数都要一个新的编译器版本。
另一种办法是把所有的标准C函数放在一个单独的可重定位文件中，这样可以使编译器实现和标准函数实现分离开来。这样的话意味着每个可执行文件都将包含一份标准函数完全集合的拷贝，浪费存储器空间。更糟的是，对于任何标准函数的改变，库的开发人员都要重新编译整个源文件，维护变得困难。
而静态库可以解决这些缺点，链接器只会拷贝相关的模块，减少空间浪费。
5、重定位
在这个步骤中，将合并输入模块，并为每个符号分配运行时地址。有两步：
1.重定位节和符号定义。将相同类型的节合并成一个新的聚合节，然后将运行时存储器地址赋给聚合节。这一步完成后，程序的每个指令和全局变量都有唯一的运行时地址了。
2、重定位节中的符号引用。修改代码节和数据节的符号引用，使他们指向正确的运行时地址。这一步依赖于重定位表目的数据结构。
5.加载可执行目标文件
加载器可以将可执行目标文件中的数据和代码从磁盘拷贝到存储器中，然后跳转到程序的第一条指令（入口点），来运行该程序
6、动态链接共享库
静态库的缺点是仍然需要定期维护更新，更新后程序员要显式地将程序和最新的库链接，且对于输入输出这种每个程序都有的函数，如果有100个进程同时进行，这将是对存储器资源的浪费。而动态库就是解决这个缺陷的。
共享库是在加载或运行时加载到任意的存储器地址，并和一个程序链接起来。这个过程叫做动态链接，是由一个动态链接器的程序执行的。
在微软中，共享库称为DLL,动态链接库。
在现实中有一些例子：
1、分发软件，微软经常用共享库来分发软件更新。生成一个共享库的新版本，用户可以下载，代替旧版本。下一次运行程序时就会自动链接新的共享库。
2、构建高性能web服务器 。早期的网站创建子进程，在该上下文中运行CGI程序，生成动态内容。而高性能服务器将生成动态内容的函数打包在一个共享库中，当浏览器请求到达时动态加载链接，直接调用该函数，一个简单的函数调用开销就足够了。
关于链接的较为全面的介绍相关推荐
- php 在函数里打开链接,JavaScript中打开链接的几种方法介绍
如何使用JavaScript打开链接?本篇文章我们就来看看使用JavaScript打开链接的几种方法介绍. 我们先来看一段代码 使用Javascript实现打开链接,需要在location.href中 ...
- 网站链接自动化测试原理及工具介绍
摘要:在软件测试中,链接测试是网站所特有的测试.链接测试测试包括测试所有链接是否都是链接到正确的目标.链接的目标是否存在和是否存在孤立的页面.链接测试需要多整个网站的所有链接进行,而一般的网站内的链接 ...
- 关于聚类算法Kmeans/K-mediods/层次聚类/OPTICS较为详细的介绍
K-means算法 将一群物理对象或者抽象对象的划分成相似的对象类的过程.其中类簇是数据对象的集合,在类簇中所有的对象都彼此相似,而类簇与类簇之间的对象是彼此相异. 聚类除了可以用于数据分割(data ...
- 各种手机测试卡，sim卡，藕合测试白卡，链接仪器的测试卡的介绍
深圳市华海智能卡有限公司是专业从事各种PVC卡.IC卡.ID卡.SIM卡.智能电子标签卡等产品的生产.IC卡系统集成.RFID卡读卡机具制造.考勤系统的生产与销售等.通过全体员工的不懈努力,年生产能力 ...
- 2022年哈工大秋季学期程序人生
计算机系统 大作业 题 目 程序人生-Hello's P2P 专 业 计算机科学与技术 学 号 2021110794 班 级 21w0312 学 生 彭梓 ...
- qq打不开微信连接到服务器错误怎么回事,微信QQ打不开视频链接是怎么回事？附原因介绍...
在使用微信和QQ的时候,常常遇到比较有感触的自己感兴趣的就想和好友分享,就会把视频的链接直接分享给好友,但是最近有细心的小伙伴们发现微信QQ停止短视频链接分享不了了,这个是怎么回事呢?现在我们就一起去 ...
- pytorch学习笔记（九）：PyTorch结构介绍
PyTorch结构介绍 对PyTorch架构的粗浅理解,不能保证完全正确,但是希望可以从更高层次上对PyTorch上有个整体把握.水平有限,如有错误,欢迎指错,谢谢! 几个重要的类型 和数值相关的 T ...
- 从0开始html前端页面开发_HTML各标签介绍
<BODY> body 元素是定义文档的主体.body 元素包含文档的所有内容(比如文本.超链接.图像.表格和列表等等.)body是用在网页中的一种HTML标签,标签是用在网页中的一种HT ...
- 关于ERP系统提前期运算逻辑的三点介绍(转)
摘要:提前期(lead time),是一个从作业开始到作业结束所需要的阶段性时间的概念,它是设计生产装配件工艺路线和制定生产计划的重要基础数据之一.在ERP系统内,提前期也是MRP(物料需求计划)需求 ...
最新文章
- 基于相交线的立体平面SLAM
- 修复Debian grub
- 集美大学教务处验证码识别（一）
- 25个提高网站可用性和转化率的工具
- python超简单小游戏代码-Python实现简单的猜单词小游戏
- Spring中使用@ModelAttribute注解
- burpsuite 简单介绍
- python机器学习库_Python机器学习库 Top 10，你值得拥有！
- boost::mpi模块对 all_gather() 集体的测试
- There was an error running 'go version' command: exec: go: executable file not found in %PATH
- js实现表格的行删除和增加_vue小demo之实现表格的增加和删除
- vscode regex previewer插件怎么用_分享五款开挂神器！助你效率倍增！做PPT怎么能不会用插件？...
- 复制字符串 _strdup _wcsdup _mbsdup
- linux grub命令启动u盘启动,u盘启动出现grub应该怎么处理
- 通过periodic_task.periodic_task 实现周期性任务的原理
- 时间类及数组，集合 7-14
- CentOS 7安装ElasticSearch 7.8 (rpm包安装)
- python import turtle as t_Python编程小记：turtle库
- oracle读取数字时添加小数或者加上分隔符
- Yac - PHP扩展