• 20135239 益西拉姆 深入理解计算机系统 之复习第七章


    chapter7 链接

    概述

    • 定义:链接是将各种数据和代码收集起来成并组合成为一个单一文件的过程(这个文件可以被拷贝到存储器并且执行)
    • 场合:

      编译时:即源代码被翻译成机器代码
      加载时:程序被加载器加载到存储器并执行
      运行时
      
    • 作用:

      使得分离编译成为可能(将大型应用程序分解为若干个小模块)
      

    7.1 编译器驱动程序--7.5 符号和符号表

    编译驱动程序代表用户调用语言预处理器、编译器、汇编器和链接器 1. 预处理器将.c文件翻译成ASCII码中间文件.i 2. 编译器将.i文件翻译成ASCII码汇编语言文件.s 3. 汇编器将.s文件翻译成可重定位目标文件.o 4. 链接器程序将.o文件以及一些必要的文件组合起来创建一个可执行目标文件 5. 加载器拷贝可执行文件代码和数据到存储器然后将控制转移到程序头

    1. 目标文件的三种格式:

      1. 可重定位目标文件

        • 包括:
          • ELF头:描述文件系统的字的大小和字节顺序,ELF头的大小,目标文件类型,机器类型等
          • 节:.text已编译程序的机器代码,.data&.bss分别是已初始化和未初始化的变量,.symtab一个符号表存放在程序中定义和引用的全局变量信息
          • 符号表中三种不同的符号: 由本模块定义并被其他模块引用的全局符号(即不带static的全局变量) 由其他模块定义并被本模块引用的全局符号(即定义在其他模块中的C函数变量) 只被本模块定义和引用的本地符号 另外,本地程序非静态变量不在符号表中,它们在运行时在栈中被管理;编译器把初始化为0的变量放在.bss而非.data中
        • 节头部表:描述目标文件的节

        2.可执行目标文件

         - ELF头部:描述总体格式,包括程序的入口点也就是程序运行的时候要执行的第一条指令
        -  段头部表:描述可执行文件连续片和存储器段的映射关系
        - 其他

      3.共享目标文件(特殊的可重定位目标文件)

    静态链接

    • 链接器的两个主要任务

       -符号解析:将每个符号引用刚好和一个符号定义联系起来
      - 重定位:链接器通过把每个符号定义与一个存储器位置联系起来
      

    7.6符号解析

    • 对于那些和引用定义在相同模块的本地符号;编译器只允许每个模块中每个本地符号有一个定义
    • 对于全局符号的解析

      • 当编译器遇到一个不是在当前模块中定义的符号时,它会假设该符号是在某个模块中定义的,生成一个链接器符号表条目然后交给链接器处理
      • 如果在链接器的任何模块中都找不到这个被引用的符号,它就输出一条错误信息然后终止
      • 对于多重定义的全局符号:

        函数和已经初始化的全局变量是强符号,未初始化的全局变量是弱符号
            规则:
                  不允许有多个强符号
                  如果有一个强符号和多个弱符号,那么选择强符号
                  如果有多个弱符号,那么从其中任选一个
        

    7.7 重定位

    • 重定位由两个步骤组成

      • 重定位节和符号定义:链接器将所有相同类型的节合并为同一类型的新的聚合节
      • 重定位节中的符号引用:链接器修改代码节和数据节中对每个符号的引用,使得它们指向正确的运行时的地址

    与静态库连接

    • 概述:编译系统提供一种机制,将所有相关的目标模块打包为一个单独的文件,称为静态库,它可以用做链接器的输入
    • 优点:

      • 相关的函数可以被编译为独立的目标模块,然后封装成一个单独的静态库文件
      • 链接器只拷贝被引用程序引用的目标模块,这就减少了可执行文件在磁盘和存储器中的大小

    加载可执行文件

    1. 加载器将可执行目标文件中的代码和数据从磁盘拷贝到存储器中,然后通过跳转到程序的第一条指令来运行程序
    2. 存储器映像
    3. 每个Unix程序都要加一个运行时存储器映像

    总结

    这一章是上学期学过的链接,还是比较熟悉的,但是因为某些原因,书已经不在身边了,所以借鉴的刘蔚然学霸的博客。虽然借鉴的有点多,但我至少复习透了。

  • 相关阅读:
    json数据解析转文本方法
    百度HttpV3版本图片识别
    项目用Socket网络框架+Protobuf
    各类数据类型的转换类
    异形按钮点击触发
    通过名字找物体工具
    任意图形工具
    Debug日志可视化
    fread不能读完整个文件
    生产者消费者问题——C++ windows版 多生产者多消费者的队列实现
  • 原文地址:https://www.cnblogs.com/20135239-yxlm/p/5360952.html
Copyright © 2020-2023  润新知