（第20章）LinuxC本质中多目标文件的链接、静态库、共享库、虚拟内存管理

2024-06-08 07:38
文章标签 目标 共享 管理 静态 链接 20 虚拟内存 linuxc 本质 中多

本文主要是介绍（第20章）LinuxC本质中多目标文件的链接、静态库、共享库、虚拟内存管理，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

文章目录

  • 一、多目标文件的链接
    • 1.将<用堆栈实现倒序打印>的代码拆成两个程序文件
      • （1）编译
      • （2）用 nm 命令查看目标文件的符号表：nm 目标文件
      • （3）查看可执行文件的符号表：readelf -a 可执行文件
      • （3）实际上链接的过程是由一个链接脚本（Linker Script） 控制的：默认链接脚本：ld --verbose
  • 二、定义和申明
    • 1.为什么编译器在处理函数调用代码时需要有函数原型？
    • 前提：只有两个文件：main.c以及stack.c文件
      • （1）gcc的-wall选项可以看到不加函数声明的错误
      • （2）隐式声明靠不住，修改<用堆栈实现倒序打印>
      • （3）外链接extern修饰函数声明的用法及作用
      • （4）内链接static修饰函数声明的用法及作用
      • （5）外链接extern修饰变量声明的用法及作用
          • 函数声明的 extern 可写可不写，而变量声明如果不写 extern 意思就完全变了
      • （6）内链接static修饰变量声明的用法及作用
    • 2.头文件：将上面的main.c中的函数声明写在了stack.h中
      • （1）头文件的作用
      • （2）include角括号和引号的区别
        • （a）tree查看代码文件树和#include预处理指示中可以使用相对路径
        • （b）预处理指示 #ifndef STACK_H #endif有什么用？
        • （c）为什么需要防止重复包含？
        • （d）重复包含头文件会有如下问题
        • （e）为什么要包含头文件而不是 .c 文件？
    • 3.定义和声明的详细规则
      • （1）关键字对函数声明的作用
      • （2）关键字对变量声明的作用
  • 四、静态库
    • （2）编译以及打包成静态库XXX.a
      • gcc -L -l（小） -I（大）
    • （3）链接共享库和静态链接库有什么区别？
  • 五、共享库
    • 1. 编译、链接、运行
      • （1）gcc -c -fPIC xx.c xxx.c文件和gcc -c xx.c xxx.c生成的目标文件有什么不同？
        • 目标文件一般称为重定位文件
          • （iiii）那么运行时在哪些路径下找共享库呢？用ldd 可执行文件
          • （iiiii）解决共享库not fund问题的四种方法
    • 2.动态链接过程
          • 共享库的特点
    • 3.共享库的命名惯例
      • （1）系统的共享库通常带有符号链接，其link name在编译链接时使用
        • 动态库的优点
  • 六、虚拟内存管理
    • （1）通过进程id，查看其虚拟地址空间
    • （2）进程地址空间
    • （3）虚拟内存管理MMU起到了什么作用呢？
    • （4）为啥进程地址空间是独立的？注：共享库的加载地址是运行时决定的！

一、多目标文件的链接

1.将<用堆栈实现倒序打印>的代码拆成两个程序文件

  • stack.c 实现堆栈，main.c 使用堆栈
  • 解释：这段程序和原来有点不同，在<LinuxC语言中栈、队列、DFS、BFS，循环队列>中 top 总是指向栈顶元素的下一个元素，而在这段程序中 top 总是指向栈顶元素，所以要初始化成-1才表示空堆栈，这两种堆栈使用习惯都很常见
  • a 和 b 这两个变量没有用，只是为了顺便说明链接过程才加上的
/* stack.c */
char stack[512];
int top = -1;
void push(char c)
{stack[++top] = c;
}char pop(void)
{return stack[top--];
} 
int is_empty(void)
{return top == -1;
}/* main.c */
#include <stdio.h>
int a, b = 1;
int main(void)
{push('a');push('b');push('c');while(!is_empty())putchar(pop());putchar('\n');return 0;
}

（1）编译

在这里插入图片描述

（2）用 nm 命令查看目标文件的符号表：nm 目标文件

在这里插入图片描述

（3）查看可执行文件的符号表：readelf -a 可执行文件

  • 执行readelf -a main
    在这里插入图片描述

（3）实际上链接的过程是由一个链接脚本（Linker Script） 控制的：默认链接脚本：ld --verbose

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

二、定义和申明

1.为什么编译器在处理函数调用代码时需要有函数原型？

前提：只有两个文件：main.c以及stack.c文件

（1）gcc的-wall选项可以看到不加函数声明的错误

在这里插入图片描述

（2）隐式声明靠不住，修改<用堆栈实现倒序打印>

在这里插入图片描述
在这里插入图片描述

（3）外链接extern修饰函数声明的用法及作用

  • 在这里只有两个文件：main.c以及stack.c文件，而main.c想要用stack.c中的函数，就得这样写；
    在这里插入图片描述

（4）内链接static修饰函数声明的用法及作用

在这里插入图片描述
在这里插入图片描述

（5）外链接extern修饰变量声明的用法及作用

在这里插入图片描述

  • 以上函数和变量声明也可以写在 main 函数体里面，使所声明的标识符具有块作用域：
函数声明的 extern 可写可不写，而变量声明如果不写 extern 意思就完全变了

在这里插入图片描述

（6）内链接static修饰变量声明的用法及作用

在这里插入图片描述

2.头文件：将上面的main.c中的函数声明写在了stack.h中

（1）头文件的作用

  • 重复的代码总是应该尽量避免的，可以自己写一个头文件 stack.h ：
    在这里插入图片描述
  • 这样在 main.c 中只需包含这个头文件就可以了，而不需要写三个函数声明：
    在这里插入图片描述

（2）include角括号和引号的区别

  • 角括号： gcc 首先查找 -I选项指定的目录，然后查找系统的头文件目录（通常是 /usr/include ，在我的系统上还包括 /usr/lib/gcc/i486-linux-gnu/4.3.2/include ）
  • 引号： gcc 首先查找包含头文件的 .c 文件所在的目录，然后查找 -I 选项指定的目录，然后查找系统的头文件目录
（a）tree查看代码文件树和#include预处理指示中可以使用相对路径

在这里插入图片描述
在这里插入图片描述

（b）预处理指示 #ifndef STACK_H #endif有什么用？

在这里插入图片描述

（c）为什么需要防止重复包含？

在这里插入图片描述
在这里插入图片描述

（d）重复包含头文件会有如下问题

在这里插入图片描述

（e）为什么要包含头文件而不是 .c 文件？

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

3.定义和声明的详细规则

（1）关键字对函数声明的作用

在这里插入图片描述

（2）关键字对变量声明的作用

在这里插入图片描述
在这里插入图片描述

四、静态库

（1）我们继续用 stack.c 的例子。为了便于理解，我们把 stack.c 拆成四个程序文件（虽然实际上没太大必要） ，把 main.c 改得简单一些，头文件 stack.h 不变，本节用到的代码如下所示：
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

（2）编译以及打包成静态库XXX.a

  • 我们把 stack.c 、 push.c 、 pop.c 、 is_empty.c 编译成目标文件：
    在这里插入图片描述
  • 然后打包成一个静态库 libstack.a ：
    在这里插入图片描述

gcc -L -l（小） -I（大）

  • 然后我们把 libstack.a 和 main.c 编译链接在一起
    在这里插入图片描述

（3）链接共享库和静态链接库有什么区别？

在这里插入图片描述

  • 反汇编看上一步生成的可执行文件 main ：
    在这里插入图片描述

五、共享库

1. 编译、链接、运行

（1）gcc -c -fPIC xx.c xxx.c文件和gcc -c xx.c xxx.c生成的目标文件有什么不同？

目标文件一般称为重定位文件
  • 组成共享库的目标文件和一般的目标文件有所不同，在编译时要加 -fPIC 选项
    在这里插入图片描述
  • 我们知道一般的目标文件称为Relocatable，在链接时可以把目标文件中各段的地址做重定位，重定位时需要修改指令

（a）我们先不加 -fPIC 选项编译生成目标文件：
在这里插入图片描述
（i）首先，反汇编查看push.o的目标文件
在这里插入图片描述

  • 指令中凡是用到 stack 和 top 的地址都用0x0表示，准备在重定位时修改；
    （ii）再看 readelf 输出的 .rel.text 段的信息，标出了指令中有四处需要在重定位时修改：
    在这里插入图片描述
    （iii）下面编译链接成可执行文件之后再做反汇编分析：
    在这里插入图片描述
    （b）现在看用 -fPIC 编译生成的目标文件有什么不同
    （i）
  • 指令中用到的 stack 和 top 的地址不再以0x0表示，而是以 0x0(%ebx) 表示 但其中还是留有0x0准备做进一步修改。
    在这里插入图片描述
    （ii）再看 readelf 输出的 .rel.text 段
    在这里插入图片描述
    （iii）我们先编译生成共享库再做反汇编分析：
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述
（iiii）那么运行时在哪些路径下找共享库呢？用ldd 可执行文件

在这里插入图片描述
在这里插入图片描述

  • 总之，共享库的搜索路径由动态链接器决定，从 ld.so(8) 的Man Page可以查到共享库路径的搜索顺序：
    在这里插入图片描述
    在这里插入图片描述
（iiiii）解决共享库not fund问题的四种方法

方法1（不推荐）：
在这里插入图片描述
方法2（最常用）：ldconfig
在这里插入图片描述
在这里插入图片描述

  • 现在再用 ldd 命令查看， libstack.so 就能找到了：
    在这里插入图片描述
    方法3：
    在这里插入图片描述

方法4（不推荐）：gcc的选项：-Wl，-rpath
在这里插入图片描述

2.动态链接过程

（1）研究一下在 main.c 中调用共享库的函数 push 是如何实现的

  • 首先反汇编看一下 main 的指令：
    在这里插入图片描述
  • 和 “静态库”链接静态库不同， push 函数没有链接到可执行文件中。而且 call 80483d8 push@plt；这条指令调用的也不是 push 函数的地址；
共享库的特点

  • 共享库是位置无关代码，在运行时可以加载到任意地址，其加载地址只有在动态链接时才能确定， 所以在 main 函数中不可能直接通过绝对地址调用 push 函数，也是通过间接寻址来找 push 函数的。

  • 对照着上面的指令，我们用 gdb 跟踪一下：
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

3.共享库的命名惯例

（1）系统的共享库通常带有符号链接，其link name在编译链接时使用

在这里插入图片描述

  • 按照共享库的命名惯例，每个共享库有三个文件名：real name、soname和linker name，真正的库文件（而不是符号链接） 的名字是real name，包含完整的共享库版本号。例如上面的 libcap.so.1.10 、 libc-2.8.90.so 等。
动态库的优点
  • soname是一个符号链接的名字
    在这里插入图片描述
  • linker name仅在编译链接时使用，gcc 的 -L 选项应该指定linker name所在的目录。
    有的linker name是库文件的一个符号链接，有的linker name是一段链接脚本，
    例如上面的 libc.so 就是一个linker name，它是一段链接脚本：
    在这里插入图片描述
  • 下面重新编译我们的 libstack ，指定它的soname：
    在这里插入图片描述
    在这里插入图片描述

六、虚拟内存管理

（1）通过进程id，查看其虚拟地址空间

  • 我们知道操作系统利用体系结构提供的VA到PA的转换机制实现虚拟内存管理
  • eg如下：
    在这里插入图片描述
    解释说明如下：
  • 用 ps 命令查看当前终端下的进程，得知 bash 进程的id是29977，然后用 cat /proc/29977/maps 命令查看它的虚拟地址空间
  • /proc 目录中的文件并不是真正的磁盘文件，而是由内核虚拟出来的文件系统
  • 当前系统中运行的每个进程在 /proc 下都有一个子目录，目录名就是进程的id， 查看目录下的文件可以得到该进程的相关信息

（2）进程地址空间

  • x86平台的虚拟地址空间是0x0000 0000~0xffff ffff，大致上前3GB（0x0000 0000~0xbfff ffff） 是用户空间，后1GB（0xc000 0000~0xffff ffff） 是内核空间
  • /lib/ld-2.8.90.so 就是动态链接器 /lib/ld-linux.so.2 ，后者是前者的符号链接。标有 [vdso] 的地址范围是 linux-gate.so.1 的映射空间，我们讲过这个共享库是由内核虚拟出来的
    在这里插入图片描述

（3）虚拟内存管理MMU起到了什么作用呢？

在这里插入图片描述

（4）为啥进程地址空间是独立的？注：共享库的加载地址是运行时决定的！

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

这篇关于（第20章）LinuxC本质中多目标文件的链接、静态库、共享库、虚拟内存管理的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1041557。

相关文章

Linux创建服务使用systemctl管理详解

Linux创建服务使用systemctl管理详解

《Linux创建服务使用systemctl管理详解》文章指导在Linux中创建systemd服务,设置文件权限为所有者读写、其他只读,重新加载配置,启动服务并检查状态,确保服务正常运行,关键步骤包括权... 目录创建服务 /usr/lib/systemd/system/设置服务文件权限：所有者读写js，其他
阅读更多...
Linux挂载linux/Windows共享目录实现方式

Linux挂载linux/Windows共享目录实现方式

《Linux挂载linux/Windows共享目录实现方式》：本文主要介绍Linux挂载linux/Windows共享目录实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地... 目录文件共享协议linux环境作为服务端（NFS）在服务器端安装 NFS创建要共享的目录修改 NFS 配
阅读更多...
在Node.js中使用.env文件管理环境变量的全过程

在Node.js中使用.env文件管理环境变量的全过程

《在Node.js中使用.env文件管理环境变量的全过程》Node.js应用程序通常依赖于环境变量来管理敏感信息或配置设置,.env文件已经成为一种流行的本地管理这些变量的方法,本文将探讨.env文件... 目录引言为什么使php用 .env 文件 ?如何在 Node.js 中使用 .env 文件最佳实践引
阅读更多...
k8s搭建nfs共享存储实践

k8s搭建nfs共享存储实践

《k8s搭建nfs共享存储实践》本文介绍NFS服务端搭建与客户端配置,涵盖安装工具、目录设置及服务启动,随后讲解K8S中NFS动态存储部署,包括创建命名空间、ServiceAccount、RBAC权限... 目录1. NFS搭建1.1 部署NFS服务端1.1.1 下载nfs-utils和rpcbind1.1
阅读更多...
python库pydantic数据验证和设置管理库的用途

python库pydantic数据验证和设置管理库的用途

《python库pydantic数据验证和设置管理库的用途》pydantic是一个用于数据验证和设置管理的Python库,它主要利用Python类型注解来定义数据模型的结构和验证规则,本文给大家介绍p... 目录主要特点和用途：Field数值验证参数总结pydantic 是一个让你能够 confidentl
阅读更多...
SpringBoot中@Value注入静态变量方式

SpringBoot中@Value注入静态变量方式

《SpringBoot中@Value注入静态变量方式》SpringBoot中静态变量无法直接用@Value注入,需通过setter方法,@Value(${})从属性文件获取值,@Value(#{})用... 目录项目场景解决方案注解说明1、@Value("${}")使用示例2、@Value("#{}"php
阅读更多...
SpringBoot 多环境开发实战(从配置、管理与控制)

SpringBoot 多环境开发实战(从配置、管理与控制)

《SpringBoot多环境开发实战(从配置、管理与控制)》本文详解SpringBoot多环境配置,涵盖单文件YAML、多文件模式、MavenProfile分组及激活策略,通过优先级控制灵活切换环境... 目录一、多环境开发基础（单文件 YAML 版）（一）配置原理与优势（二）实操示例二、多环境开发多文件版
阅读更多...
Redis实现高效内存管理的示例代码

Redis实现高效内存管理的示例代码

《Redis实现高效内存管理的示例代码》Redis内存管理是其核心功能之一,为了高效地利用内存,Redis采用了多种技术和策略,如优化的数据结构、内存分配策略、内存回收、数据压缩等,下面就来详细的介绍... 目录1. 内存分配策略jemalloc 的使用2. 数据压缩和编码ziplist示例代码3. 优化的
阅读更多...
SpringBoot集成XXL-JOB实现任务管理全流程

SpringBoot集成XXL-JOB实现任务管理全流程

《SpringBoot集成XXL-JOB实现任务管理全流程》XXL-JOB是一款轻量级分布式任务调度平台,功能丰富、界面简洁、易于扩展,本文介绍如何通过SpringBoot项目,使用RestTempl... 目录一、前言二、项目结构简述三、Maven 依赖四、Controller 代码详解五、Service
阅读更多...
深入解析C++ 中std::map内存管理

深入解析C++ 中std::map内存管理

《深入解析C++中std::map内存管理》文章详解C++std::map内存管理,指出clear()仅删除元素可能不释放底层内存,建议用swap()与空map交换以彻底释放,针对指针类型需手动de... 目录1️、基本清空std::map2️、使用 swap 彻底释放内存3️、map 中存储指针类型的对象
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2