（第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。

相关文章

Python中bisect_left 函数实现高效插入与有序列表管理

Python中bisect_left 函数实现高效插入与有序列表管理

《Python中bisect_left函数实现高效插入与有序列表管理》Python的bisect_left函数通过二分查找高效定位有序列表插入位置,与bisect_right的区别在于处理重复元素时... 目录一、bisect_left 基本介绍1.1 函数定义1.2 核心功能二、bisect_left 与
阅读更多...
Spring中管理bean对象的方式(专业级说明)

Spring中管理bean对象的方式(专业级说明)

《Spring中管理bean对象的方式(专业级说明)》在Spring框架中,Bean的管理是核心功能,主要通过IoC（控制反转）容器实现,下面给大家介绍Spring中管理bean对象的方式,感兴趣的朋... 目录1.Bean的声明与注册1.1 基于XML配置1.2 基于注解（主流方式）1.3 基于Java
阅读更多...
基于Python+PyQt5打造一个跨平台Emoji表情管理神器

基于Python+PyQt5打造一个跨平台Emoji表情管理神器

《基于Python+PyQt5打造一个跨平台Emoji表情管理神器》在当今数字化社交时代,Emoji已成为全球通用的视觉语言,本文主要为大家详细介绍了如何使用Python和PyQt5开发一个功能全面的... 目录概述功能特性1. 全量Emoji集合2. 智能搜索系统3. 高效交互设计4. 现代化UI展示效果
阅读更多...
Mysql中的用户管理实践

Mysql中的用户管理实践

《Mysql中的用户管理实践》：本文主要介绍Mysql中的用户管理实践,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录13. 用户管理13.1 用户 13.1.1 用户信息 13.1.2 创建用户 13.1.3 删除用户 13.1.4 修改用户
阅读更多...
如何更改pycharm缓存路径和虚拟内存分页文件位置(c盘爆红)

如何更改pycharm缓存路径和虚拟内存分页文件位置(c盘爆红)

《如何更改pycharm缓存路径和虚拟内存分页文件位置(c盘爆红)》：本文主要介绍如何更改pycharm缓存路径和虚拟内存分页文件位置(c盘爆红)问题,具有很好的参考价值,希望对大家有所帮助,如有... 目录先在你打算存放的地方建四个文件夹更改这四个路径就可以修改默认虚拟内存分页js文件的位置接下来从高级-
阅读更多...
linux服务之NIS账户管理服务方式

linux服务之NIS账户管理服务方式

《linux服务之NIS账户管理服务方式》：本文主要介绍linux服务之NIS账户管理服务方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、所需要的软件二、服务器配置1、安装 NIS 服务2、设定 NIS 的域名 (NIS domain name)3、修改主
阅读更多...
Python+PyQt5开发一个Windows电脑启动项管理神器

Python+PyQt5开发一个Windows电脑启动项管理神器

《Python+PyQt5开发一个Windows电脑启动项管理神器》：本文主要介绍如何使用PyQt5开发一款颜值与功能并存的Windows启动项管理工具,不仅能查看/删除现有启动项,还能智能添加新... 目录开篇：为什么我们需要启动项管理工具功能全景图核心技术解析1. Windows注册表操作2. 启动文件
阅读更多...
gradle第三方Jar包依赖统一管理方式

gradle第三方Jar包依赖统一管理方式

《gradle第三方Jar包依赖统一管理方式》：本文主要介绍gradle第三方Jar包依赖统一管理方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录背景实现1.顶层模块build.gradle添加依赖管理插件2.顶层模块build.gradle添加所有管理依赖包
阅读更多...
基于Python打造一个智能单词管理神器

基于Python打造一个智能单词管理神器

《基于Python打造一个智能单词管理神器》这篇文章主要为大家详细介绍了如何使用Python打造一个智能单词管理神器,从查询到导出的一站式解决,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 项目概述：为什么需要这个工具2. 环境搭建与快速入门2.1 环境要求2.2 首次运行配置3. 核心功能使用指
阅读更多...
Android实现两台手机屏幕共享和远程控制功能

Android实现两台手机屏幕共享和远程控制功能

《Android实现两台手机屏幕共享和远程控制功能》在远程协助、在线教学、技术支持等多种场景下,实时获得另一部移动设备的屏幕画面,并对其进行操作,具有极高的应用价值,本项目旨在实现两台Android手... 目录一、项目概述二、相关知识2.1 MediaProjection API2.2 Socket 网络
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2