【LInux】从动态库的加载深入理解页表机制

在这里插入图片描述

💐 🌸 🌷 🍀 🌹 🌻 🌺 🍁 🍃 🍂 🌿 🍄🍝 🍛 🍤
📃个人主页 :阿然成长日记 👈点击可跳转
📆 个人专栏: 🔹数据结构与算法🔹C语言进阶🔹C++🔹Liunx
🚩 不能则学,不知则问,耻于问人,决无长进
🍭 🍯 🍎 🍏 🍊 🍋 🍒 🍇 🍉 🍓 🍑 🍈 🍌 🍐 🍍

文章目录

  • 动态库的链接理解:
  • 链接的三种方式
  • 问题一:谁来决定哪些库加载,哪些没加载?
  • 问题二:谈谈装入的三种方式
  • 谈谈程序的加载的地址问题
  • 动态库是如何被进程动态链接的

动态库的链接理解:

首先:你应该知道一个前提知识,每一个程序都有自己对应的进程空间,这个地址空间被划分为很多区域,例如:栈、堆、共享区~。

系统中有很多程序,这些程序会用到一些公共方法,将这些公共方法打包成动态库、共享库。首次使用到库时需要加载到内存中,之后其他程序在使用公共方法时,直接从内存中映射一份下来。不需要拷贝到自己的地址空间中,节省了内存。这种链接方式又叫动态链接

如下图,进程1和进程2都是用了同一个库中的方法,直接从内存中映射一份下来
在这里插入图片描述

链接的三种方式

  • 静态链接:在程序运行之前,先将各个目标模块以及他们所需要的库函数连接成一个完整的可执行文件(装入模块),之后不再拆开。
  • 装入时动态链接:将各目标模块装入内存时,边装入边链接
  • 运行时动态链接:在程序执行中需要该目标模块时才对他进行链接,优点是便于修改和更新,便于实现对目标模块的共享。

问题一:谁来决定哪些库加载,哪些没加载?

os操作系统,记住一句话操作系统中的管理都是先描述后组织,加载进来的一个个库,操作系统会为它们生成一个结构体类似于PCB存储它的描述信息,然后对其进行一个双向指针连接,由操作系统来进行管理。

问题二:谈谈装入的三种方式

装入的三种方式

  • 绝对装入:在编译时知道程序放在内存中的哪个位置,编译程序将产生绝对地址的目标代码。灵活性很低,只适用于单道程序环境,只有单道程序环境可以在程序运行之前就能确定程序将要放入哪个位置
  • 静态重定位:又称为可重定位装入。装入模块全部使用逻辑地址,在装入的时候将逻辑地址全部转换为物理地址。
    特点是必须分配其要求的全部内存空间,如果没有足够的内存,就不能装入作业。作业一旦进入内存后,在运行期间就不能再移动,也不能再申请内存空间。
  • 动态重定位:又称为动态运行时装入。装入模块使用相对地址。相对地址到物理地址的转变要等到实际运行的时候才能确定。因此装入内存后所有的地址仍然是逻辑地址。这种方式需要一个重定位寄存器的支持。
    重定位寄存器:存放装入模块存放的起始位置。当实际运行的时候实时地将逻辑地址转换为物理地址。采用动态重定位允许程序在内存中发生移动。可以将程序分配到不连续的存储区:在程序运行前只需要装入他的部分代码即可投入运算,然后在程序运行期间根据需要动态申请分配内存,便于程序段的共享,可以向用户提供一个比存储空间大得多的地址空间。

每个程序加载到内存中,都会有一个进程地址空间结构体,有栈区、堆区、共享区等等。它实际上就是一个个的有起始地址的空间组合在一起的一块空间。并不是连续的

首先,你的代码一定是保存在了磁盘上的,并且它会以绝对地址进行编址----又叫平坦模式。只需要拿到首地址,然后加上偏移量,

相对编址:就是每个区内的代码都是从0地址处开始编址

谈谈程序的加载的地址问题

你有没有想过一个问题,就是你写好的代码,cpu是如何找到你的代码所在位置的呢

1.你写的代码经过编译形成一个可执行程序。通常它会以绝对地址进行编址----又叫平坦模式
例如下图。一个可执行文件经过编译链接后形成了一个可执行程序。

  • 它包含一个表头一堆二进制代码
    为了方便我们看,使用反汇编将 二进制代码装换成我们看的懂的汇编指令
    在这里插入图片描述

  • 观察上图,可以看到每一条汇编指令都有一个八进制的地址,fun1和fun2是两个函数,还有一个main函数去调用。 这些地址,又叫逻辑地址。

2 .根据可执行程序文件的表头(表头中包含了入口地址,每个分区的起始地址等)填充进程的地址空间。,
在这里插入图片描述

在这里插入图片描述

3.从磁盘加载到内存,加载到内存后,又得到了一个物理地址,本身自带的就有逻辑地址。所有逻辑地址到物理地址的映射关系就有了。页表的左侧是逻辑地址,右侧是物理地址。

在这里插入图片描述

4.cup中的程序计数器pc指针用来保存正在执行指令的下一条指令

  • 执行的过程如下图,蓝色线所示,从cup的pc指针找到要执行的指令,放入到指令寄存器中,然后cpu执行这个指令。

在这里插入图片描述

动态库是如何被进程动态链接的

首先,第一次用到库的时候肯定是 先需要加载到内存中的,加载到内存后,它也会有一个页表(逻辑-物理地址)映射关系。而且库的名称对应的有加载到内存的起始地址。

逻辑(虚拟)地址就能找到所在内存位置,加上偏移量就能找到库中函数的起始地址,所以,当一个进程用到库中函数时,它会将函数代码映射到程序地址空间的共享区中。其他程序在使用时也是一个道理,不需要拷贝到自己的代码区中,只需在共享区做个映射即可。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/web/41028.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【MindSpore学习打卡】应用实践-自然语言处理-基于RNN的情感分类:使用MindSpore实现IMDB影评分类

情感分类是自然语言处理(NLP)中的一个经典任务,广泛应用于社交媒体分析、市场调研和客户反馈等领域。本篇博客将带领大家使用MindSpore框架,基于RNN(循环神经网络)实现一个情感分类模型。我们将详细介绍数据…

X86和ARM架构的服务器 的区别

X86和ARM架构的服务器各有其优缺点,并适用于不同的应用场景。 一、X86架构服务器的优缺点及应用场景: 优点: 1. 易于获取和成本较低:X86服务器在市场上品牌和型号众多,价格相对较低,适合中小型企业。 2. 处理能力强大:X86服务器通常具有强大的处理器性能,支持多核心…

CLIP-EBC:通过增强的逐块分类,CLIP能够准确计数

摘要 https://arxiv.org/pdf/2403.09281v1 CLIP(Contrastive Language-Image Pretraining,对比语言-图像预训练)模型在识别问题中表现出了卓越的性能,如零样本图像分类和对象检测。然而,由于其固有的挑战——即将计数…

Nettyの参数优化简单RPC框架实现

本篇介绍Netty调优,在上篇聊天室的案例中进行改造,手写一个简单的RPC实现。 1、超时时间参数 CONNECT_TIMEOUT_MILLIS 是Netty的超时时间参数,属于客户端SocketChannel的参数,客户端连接时如果一定时间没有连接上,就会…

Spring Cloud 是什么?(Spring Cloud 组件介绍)

什么是 Spring Cloud? Spring Cloud 是微服务系统架构的一站式解决方案,是各个微服务架构落地技术的集合体,让架构师、 开发者在使用微服务理念构建应用系统的时候, 面对各个环节的问题都可以找到相应的组件来处理,比…

二叉树的遍历算法:前序、中序与后序遍历

在数据结构与算法中,二叉树的遍历是基础且重要的操作之一,它允许我们按照某种顺序访问树中的每个节点。常见的二叉树遍历方式有前序遍历(Preorder Traversal)、中序遍历(Inorder Traversal)和后序遍历&…

React 19 竞态问题解决

竞态问题/竞态条件 指的是,当我们在交互过程中,由于各种原因导致同一个接口短时间之内连续发送请求,后发送的请求有可能先得到请求结果,从而导致数据渲染出现预期之外的错误。 因为防止重复执行可以有效的解决竞态问题&#xff0…

聊天广场(Vue+WebSocket+SpringBoot)

由于心血来潮想要做个聊天室项目 ,但是仔细找了一下相关教程,却发现这么多的WebSocket教程里面,很多都没有介绍详细,代码都有所残缺,所以这次带来一个比较完整得使用WebSocket的项目。 目录 一、效果展示 二、准备工…

html+css+js图片手动轮播

源代码在界面图片后面 轮播演示用的几张图片是Bing上的&#xff0c;直接用的几张图片的URL&#xff0c;谁加载可能需要等一下&#xff0c;现实中替换成自己的图片即可 关注一下点个赞吧&#x1f604; 谢谢大佬 界面图片 源代码 <!DOCTYPE html> <html lang&quo…

内存对齐宏ALIGN的理解

内存对齐宏ALIGN的理解 在Android Camera HAL代码中经常看到ALIGN这个宏&#xff0c;主要用来进行内存对齐&#xff0c;下面是v4l2_wrapper.cpp中ALIGN的一些定义 //v4l2_wrapper.cpp中内存分配进行对其的操作和定义#define ALIGN( num, to ) (((num) (to-1)) & (~(to-1)…

【Android】自定义换肤框架03之自定义LayoutInflaterFactory

AppCompatActivity是如何创建View的 Activity通过LayoutInflater解析出XmlLayout相关信息LayoutInflater内部维护了一个InflaterFactory对象InflaterFactory接口包含了一个onCreateView方法&#xff0c;用于创建View将解析出的Xml信息转为AttributeSet&#xff0c;交给Inflate…

安全测试之使用Docker搭建SQL注入安全测试平台sqli-labs

1 搜索镜像 docker search sqli-labs 2 拉取镜像 docker pull acgpiano/sqli-labs 3 创建docker容器 docker run -d --name sqli-labs -p 10012:80 acgpiano/sqli-labs 4 访问测试平台网站 若直接使用虚拟机&#xff0c;则直接通过ip端口号访问若通过配置域名&#xff0…

PyQt多线程详解

PyQt多线程是在PyQt框架中利用多线程技术来提高应用程序的响应性和性能的一种方法。下面将详细说明PyQt多线程的基本概念、应用场景以及实现方式。 一、PyQt多线程的基本概念 在PyQt中&#xff0c;多线程指的是在单个程序实例内同时运行多个线程。每个线程都可以执行不同的任…

第十五章 Nest Pipe(内置及自定义)

NestJS的Pipe是一个用于数据转换和验证的特殊装饰器。Pipe可以应用于控制器&#xff08;Controller&#xff09;的处理方法&#xff08;Handler&#xff09;和中间件&#xff08;Middleware&#xff09;&#xff0c;用于处理传入的数据。它可以用来转换和验证数据&#xff0c;确…

【Linux进阶】文件系统5——ext2文件系统(inode)

1.再谈inode (1) 理解inode&#xff0c;要从文件储存说起。 文件储存在硬盘上&#xff0c;硬盘的最小存储单位叫做"扇区"&#xff08;Sector&#xff09;。每个扇区储存512字节&#xff08;相当于0.5KB&#xff09;。操作系统读取硬盘的时候&#xff0c;不会一个个…

记录excel表生成一列按七天一个周期的方法

使用excel生成每七天一个周期的列。如下图所示&#xff1a; 针对第一列的生成办法&#xff0c;使用如下函数&#xff1a; TEXT(DATE(2024,1,1)(ROW()-2)*7,"yyyy/m/d")&" - "&TEXT(DATE(2024,1,1)(ROW()-1)*7-1,"yyyy/m/d") 特此记录。…

charles使用教程

安装与配置 下载链接&#xff1a;https://www.charlesproxy.com/download/ 进行移动端抓包&#xff1a; 电脑端配置&#xff1a; 关闭防火墙 Proxy–>勾选 macOS Proxy Proxy–>Proxy Setting–>填入代理端口8888–>勾选Enable transparent http proxying 安装c…

俄罗斯方块的python实现

俄罗斯方块游戏是一种经典的拼图游戏&#xff0c;玩家需要将不同形状的方块拼接在一起&#xff0c;使得每一行都被完全填满&#xff0c;从而清除这一行并获得积分。以下是该游戏的算法描述&#xff1a; 1. 初始化 初始化游戏界面&#xff0c;设置屏幕大小、方块大小、网格大小…

昇思25天学习打卡营第1天|初识MindSpore

# 打卡 day1 目录 # 打卡 day1 初识MindSpore 昇思 MindSpore 是什么&#xff1f; 昇思 MindSpore 优势|特点 昇思 MindSpore 不足 官方生态学习地址 初识MindSpore 昇思 MindSpore 是什么&#xff1f; 昇思MindSpore 是全场景深度学习架构&#xff0c;为开发者提供了全…

女生学计算机好不好?感觉计算机分有点高……?

众所周知&#xff0c;在国内的高校里&#xff0c;计算机专业的女生是非常少的&#xff0c;很多小班30人左右&#xff0c;但是每个班女生人数只有个位数。这就给很多人一个感觉&#xff0c;是不是女生天生就不适合学这个东西呢&#xff1f;女生是不是也应该放弃呢&#xff1f;当…