《深入理解计算机系统》-链接学习笔记

最新推荐文章于 2024-03-23 12:54:48 发布

原创

最新推荐文章于 2024-03-23 12:54:48 发布 · 247 阅读

CC 4.0 BY-SA版权

本文深入探讨链接器的工作原理，包括符号解析和重定位。通过示例程序阐述全局与局部函数、声明的重要性，以及不同类型的符号。介绍了ELF文件结构，如.text、.data、.bss等节。讨论了多重定义符号的处理规则，并通过实验展示了编译时、链接时和运行时打桩技术的应用。

以前对链接的了解少之又少，只知道在汇编之后经过链接就形成可执行文件，而很多的链接错误又很难看懂，正好借着这一章学习学习

首先看一个示例程序

// main.c
int sum(int* a, int n);

int array[2] = {1, 2};

int main()
{
    int val = sum(array, 2);
    return val;
}

// sum.c
int sum(int *a, int n)
{
    int i, s = 0;
    for (i = 0; i < n; i++)
        s += a[i];
    return s;
}

因为工作中通常都是直接通过引用头文件来调用其他文件定义的函数，所以对示例程序的这种方法还不是很熟，但其实原理是一样的，引用头文件其实也就是进行了声明。我们用gcc生成可执行文件：

gcc -Og -o prog main.c sum.c

这样就会经过编译、汇编和链接后生成一个可执行文件。链接器主要完成两个工作：

可重定位目标文件通常会有.symtab这个符号表来存放在程序中定义和引用的函数和全局变量，由于局部变量是分配在栈上的，所以对链接器是不可见的

这里main.c能正确调用到sum.c的实现的原因是，sum函数是全局函数，并在main.c进行了声明。我们可以分别试试不满足这些条件的话会怎么样，首先去除声明：

// main.c
// int sum(int* a, int n); 不进行