程序的装入与链接

JAZJD

于 2024-06-07 11:59:04 发布

阅读量1.2k

点赞数 36

分类专栏：计算机组成原理文章标签：硬件架构

本文链接：https://blog.csdn.net/JAZJD/article/details/139523222

版权

计算机组成原理专栏收录该内容

55 篇文章 1 订阅

订阅专栏

动态链接（Dynamic Linking）

在操作系统中，程序的装入与链接是确保程序能够正确执行的重要步骤。装入是指将程序从外部存储器加载到主存中，以便处理器可以执行该程序。链接是指将程序的各个部分连接起来，并解决符号引用，以形成一个完整的、可执行的程序。这篇博客将探讨程序的装入与链接，包括地址绑定与内存保护、程序的装入过程，以及程序的链接方法。

地址绑定与内存保护

在操作系统中，地址绑定和内存保护是确保程序安全、高效运行的关键机制。这些机制为内存管理和进程间的隔离提供了基础。

地址绑定

地址绑定是指将程序中的符号地址转换为实际的内存地址的过程。地址绑定可以在程序的不同生命周期阶段发生：编译时、装入时和执行时。

编译时的地址绑定（Compile-Time Binding）
- 过程：编译器在编译程序时，将符号地址转换为实际的内存地址。
- 优点：效率高，因为地址在编译时已确定。
- 缺点：缺乏灵活性，程序被绑定到特定的内存地址，难以重定位。
装入时的地址绑定（Load-Time Binding）
- 过程：装入程序在装入内存时，将符号地址转换为实际的内存地址。
- 优点：允许程序被装入到内存中的不同位置，提高了灵活性。
- 缺点：程序装入后，地址不能改变。
执行时的地址绑定（Execution-Time Binding）
- 过程：在执行时，动态链接器负责将符号地址转换为实际的内存地址。
- 优点：允许程序在执行过程中动态地改变地址绑定，进一步提高了灵活性。
- 例子：动态内存分配、共享库、动态链接。

内存保护

内存保护确保程序只能访问分配给它的内存区域，以防止程序之间相互干扰或损坏内存数据。内存保护可以通过硬件或软件实现，常见的技术包括基址和界限保护、分页保护和段保护等。

基址和界限保护（Base and Limit Registers）
- 基址寄存器：存储分配给进程的内存段的起始地址。
- 界限寄存器：存储分配给进程的内存段的大小（界限）。
- 操作：在每次内存访问时，硬件会检查访问地址是否在基址和界限范围内，超出范围会导致异常。
分页保护（Paging Protection）
- 分页（Paging）：将内存划分为固定大小的页和页框，通过页表将虚拟地址映射到物理地址。
- 保护机制：页表项包含访问权限信息（如读、写、执行），操作系统通过这些信息控制每一页的访问权限，违例访问将引发异常。
段保护（Segmentation Protection）
- 段（Segment）：将内存划分为不同大小的段，每段表示一个逻辑的内存区域（如代码段、数据段、堆栈段）。
- 段表：段表项包含段的起始地址、长度和访问权限。
- 保护机制：每次内存访问时，根据段表信息检查是否在合法范围内，并根据段的访问权限信息控制访问。
硬件支持
- MMU（Memory Management Unit）：内存管理单元是处理器中的硬件组件，通过基址、界限寄存器和页表控制内存访问权限。
- 保护异常：如segmentation fault（段错误），page fault（页错误）等，通过硬件异常机制通知操作系统处理非法内存访问。

程序的装入

程序的装入是计算机系统中至关重要的过程，它将程序从外部存储器（如磁盘）加载到主存（内存）中，以便执行。装入过程涉及多个步骤和技术细节，确保程序能够正确运行。以下是对程序装入过程的详细解释和补充：

1. 分配内存

操作系统为程序分配连续的内存空间，包括代码段、数据段和栈段等。

细节

代码段（Text Segment）：存储程序的可执行代码。
数据段（Data Segment）：存储静态数据，包括已初始化和未初始化的数据。
栈段（Stack Segment）：用于函数调用时的栈操作，包括局部变量和函数调用信息。
堆段（Heap Segment）：用于动态内存分配。

示例：

// 操作系统为每个段分配内存
void allocate_memory(Process *process) {
    process->text_segment = malloc(process->text_size);
    process->data_segment = malloc(process->data_size);
    process->stack_segment = malloc(process->stack_size);
    process->heap_segment = malloc(process->heap_size);
}

2. 加载程序

将程序从外部存储器加载到分配的内存空间中。

细节

读取可执行文件：操作系统读取程序的可执行文件（如ELF文件）。
加载到内存：将可执行文件的内容加载到对应的内存段。

示例：

void load_program(Process *process, const char *file_path) {
    FILE *file = fopen(file_path, "rb");
    fread(process->text_segment, 1, process->text_size, file);
    fread(process->data_segment, 1, process->data_size, file);
    fclose(file);
}

3. 重定位

如果程序是装入时或执行时地址绑定，则需要进行重定位，即调整程序中的符号地址，以匹配实际的内存地址。

细节

装入时重定位：在程序装入内存时进行地址调整。
执行时重定位：在程序执行时进行地址调整，通常由动态链接器完成。

示例：

void relocate_program(Process *process, int base_address) {
    for (int i = 0; i < process->relocation_entries; i++) {
        RelocationEntry *entry = &process->relocation_table[i];
        int *address = (int *)(process->text_segment + entry->offset);
        *address += base_address;
    }
}

程序的链接

程序的链接是将程序的各个部分连接起来，并解决符号引用，形成一个完整可执行的程序的过程。链接可以分为静态链接和动态链接，各自有不同的优点和缺点。

静态链接（Static Linking）

静态链接在程序装入内存之前完成，由链接器将多个目标模块（.obj 或 .o 文件）和需要的库文件连接起来，形成一个完整的可执行文件（.exe 或 .out 文件）。

过程：
- 编译：源代码被编译器翻译成目标代码（机器代码），生成目标文件。
- 链接：链接器将目标文件和库文件连接起来，解决所有的符号引用，生成一个独立的可执行文件。
优点：
- 执行效率高：所有需要的代码在可执行文件中已经解决，运行时无需额外的解析和加载。
- 独立性强：可执行文件包含所有所需的代码和库，不依赖外部库文件，容易分发和部署。
缺点：
- 灵活性差：程序被绑定到特定的库和地址，难以更新或替换库文件。
- 文件体积大：所有库代码都嵌入到可执行文件中，导致生成的文件较大。

动态链接（Dynamic Linking）

动态链接在程序执行时完成，由动态链接器负责从共享库文件（.dll 或 .so 文件）中加载所需的代码，并解决符号引用。

过程：
- 编译：源代码被编译成目标代码，生成目标文件。
- 运行时链接：程序执行时，动态链接器加载必要的共享库和模块，解决符号引用，将库代码链接到进程地址空间中。
- 符号解析：动态链接器负责在运行时解析符号依赖，确保正确的函数和变量地址。
优点：
- 灵活性高：允许库的更新和替换，无需重新编译整个程序。程序可以共享库的不同版本，减少了存储和内存浪费。
- 文件体积小：可执行文件不包含实际的库代码，只包含符号引用，因此文件较小。
缺点：
- 运行时开销：在程序运行时进行符号解析和动态加载，可能会增加启动时间和内存使用。
- 依赖性：可执行文件依赖于外部库文件，如果库文件丢失或版本不兼容，可能会导致运行时错误。

实现静态链接和动态链接的示例

静态链接示例

# 编译源文件
gcc -c main.c -o main.o
gcc -c module.c -o module.o

# 静态链接生成可执行文件
gcc main.o module.o -o program_static

动态链接示例

# 编译源文件成目标文件
gcc -c main.c -o main.o
gcc -c module.c -o module.o

# 编译共享库
gcc -shared -o libmodule.so module.o

# 动态链接生成可执行文件，链接时仅引用共享库
gcc main.o -L. -lmodule -o program_dynamic

# 执行时需要确保共享库在可搜索的路径中
export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH
./program_dynamic