逻辑地址 线性地址 物理地址 Linux kernel 内存管理设计

 linux kernel 2.6以后的MM,受到了兼容 risc arch cpu 的 MM 的启发,新的 MM 架构对 x86 上任务切换的效率上也有明显提高。

新的MM架构,GDT 不再随着进程的创建与结束而创建和删除 新的表项。

TSS段 也只有一个,进程切换时,只修改其中的一些bit的信息,TSS的 SS0, esp0,io bitmap 即可。

1,机器解析的思路

发现网络上大量的教程,多是以讹传讹地讲解 Linux 内存管理;

都是在讲:

逻辑地址  ->  线性地址  ->  物理地址

如果谙熟 Linux 制定的GPT和编译原理或对二进制分析比较熟练的话,会发现线性地址的值,因为段选择子指向的段描述符中的基地址(内核数据段、代码段和用户数据段、代码段)设置为0x00000000,因此在不同进程之间会比较接近 ,或者说是类似的一套,即Linux 进程中的 逻辑地址就是线性地址。

线性地址 = 段基地址 + 逻辑地址偏移 = 0x00000000 + 逻辑地址偏移 = 逻辑地址

但,基于此,不同的进程,却能解析出完全不同的物理地址,这个转换关系是怎么发生的。

上面这个过程确实是程序运行时地址的翻译顺序;

但是,程序之所以按照这个顺序来解析地址,是因为前期有人类中的一些大脑袋巧妙地按照相反到方向

物理地址  ->  线性地址  ->   逻辑地址

设计了这个内存管理系统;

2,人类设计mm的思路


在x86架构中,页表(Page Table)和页目录(Page Directory)是用于虚拟内存管理的重要数据结构。x86架构使用两级页表结构,包括页目录、页表和物理页框。

页目录(Page Directory)是一个包含1024个32位项的数组,每个项指向一个页表。页表(Page Table)是一个包含1024个32位项的数组,每个项指向一个物理页框。

x86架构中的虚拟地址被分为三部分:10位页目录索引、10位页表索引和12位页内偏移。通过这三部分可以定位到物理内存中的具体位置。

页表和页目录的规划方法通常包括以下步骤:

1. 页表初始化:

        在操作系统启动时,会初始化页表和页目录,建立虚拟地址到物理地址的映射关系。

2. 页表项填充:

        将页表和页目录中的项填充为合适的值,包括物理页框的地址和权限信息。

3. 页表更新:

        在进程切换或内存分配时,需要更新页表和页目录中的项,以反映新的虚拟地址到物理地址的映射关系。

4. TLB缓存:

        为了加速地址转换过程,x86架构使用TLB(Translation Lookaside Buffer)缓存页表项,减少内存访问次数。

 上图是前向推理地址,笼统地解释x86保护模式下,逻辑地址如何转换成物理地址;

下图是后向反推,这里为了理想化地解释页目录与页表和页框的关系,页框被认为是真实的物理内存,连续的4k一个构成一个页框;

实际上进程的页表与页框的关系,并不是这么工整金字塔式的层级关系,而是由操作系统帮助进程分配和填充的,按照Linux kernel 中的内存管理模块的规则。

事实上,从  逻辑地址 ->  线性地址,是很简单的,基本上就是段选择子帮助挑选出来的全局描述符表项(GDT)中的段基地址,加上偏移,就等于,等于,等于,就是线性地址。

这个很丝滑,很简单;

然后,线性地址 ->  物理地址 也很丝滑:

线性地址  =  页目录索引    |     页表索引     |      页框内偏移

这很容易查找和计算处具体的物理地址;

但是,当将这两种丝滑放在一起是,马上容易懵掉。为什么两个阶段都这么丝滑,以至于无法理解。线性地址这个桥梁很神奇,得到线性地址的过程,与解析线性地址的含义,是两个不相交的世界。  这是问题的核心。

在这两个世界中打穿虫洞的方法,是 Linux 对CR3 寄存器的使用。

这个秘密值两万元以上的课程费,都不一定能听清楚  ^ ^

3, CR3 寄存器与进程的页目录

3.1 页目录

当 Linux 系统启动一个新的程序时,操作系统会为该程序创建一个新的页目录,这是为了实现每个进程的地址空间隔离和独立性。这个过程是虚拟内存管理的一部分,确保每个进程拥有自己的虚拟地址空间,从而提高系统的安全性和稳定性。

3.1.1创建新的页目录的步骤:

1. 分配页目录:

  • 操作系统为新进程分配一个新的页目录。这个页目录是一个包含多个页目录项(PDEs)的表,每个页目录项指向一个页表。

2. 初始化页目录:

  • 新的页目录会被初始化,其中一些条目会被设置为指向操作系统的共享页表,如那些包含共享库(如 C 标准库等)的页表。
  • 其他页目录项会被设置为指向新分配的页表,这些页表用于存储进程特有的数据,如代码段、数据段和堆栈。

3. 映射虚拟地址到物理地址:

  • 操作系统将程序的代码和数据加载到内存中,并在页表中创建相应的映射,将虚拟地址映射到物理内存地址。
  • 这包括设置适当的访问权限,例如,代码段可能被设置为只读和可执行,而数据段可能被设置为可读写。

4. 切换到新的页目录:

  • 在进程开始执行前,CPU 的页目录基址寄存器(CR3)会被更新为指向新进程的页目录的物理地址。
  • 这确保了当新进程开始执行时,CPU 的内存访问将根据新进程的页目录进行解析。

3.2 每个进程创建新的页目录的目的

  • 隔离性:每个进程拥有独立的页目录和页表,确保了进程间的内存隔离,一个进程不能直接访问或修改另一个进程的内存空间。
  • 安全性:通过为每个进程设置不同的内存访问权限,操作系统可以防止不当的内存访问,如阻止进程执行非代码区域的内存。
  • 稳定性:内存隔离减少了进程间相互影响的可能性,从而提高了系统的整体稳定性。

这种基于页目录和页表的内存管理机制是现代操作系统支持复杂多任务环境的基础,允许系统同时运行多个程序,而每个程序都在其自己保护的内存空间内运行。

3.2 CR3 与页目录

在 x86 架构中,CR3 寄存器(也称为页目录基址寄存器 PDBR)在将线性地址转换为物理地址的过程中起着至关重要的作用。
CR3 寄存器存储着当前使用的页目录的物理地址,这是虚拟内存管理中的一个关键组件。
CR3 寄存器的作用:
1. 存储页目录的物理地址
CR3 寄存器包含当前活动的页目录的物理内存地址。这个页目录包含了多个页目录项(PDEs),每个页目录项指向一个页表。
2. 启动地址转换
当处理器需要将线性地址(虚拟地址)转换为物理地址时,它首先访问 CR3 寄存器以获取页目录的位置。
处理器使用线性地址的高位部分(通常是最高的几位)来索引页目录,找到对应的页目录项,该项指向具体的页表。
接着,处理器使用线性地址的中间部分来索引该页表,找到对应的页表项(PTE),该项包含最终的物理页面地址。
最后,线性地址的低位部分(页内偏移)被添加到页面地址中,形成完整的物理地址。
3. 上下文切换时的角色
在进行进程切换时,操作系统会更新 CR3 寄存器以指向新进程的页目录的物理地址。这确保了每个进程都使用其自己的地址空间,从而实现内存隔离和保护。
更新 CR3 寄存器会导致处理器的页表缓存(TLB, Translation Lookaside Buffer)被刷新,以确保地址转换不会使用旧的、属于前一个进程的映射。

CR3 寄存器是实现 x86 架构中基于分页的虚拟内存管理的核心。
它不仅指示当前页目录的物理位置,还在进程上下文切换中发挥着重要作用,确保每个进程的内存空间得到正确管理和保护。

4, 结论分析:双重模板

由于页目录这个与进程一 一绑定的结构体,使得不同进程的线性地址的计算,都可以是简单地表示为 段基址 +  偏移,使得不同进程中的逻辑地址得到非常相似的 线性地址,但是在解析线性地址时,由于CR3所指向的页目录的不同,使得第三次丝滑地从相似的线性地址,推导出迥异的物理地址。

因此,不同进程之内线性地址的简单一致性,与得到具体物理地址的迥异复杂性,跟页目录的巧妙使用密不可分。

CR3

Linus 的这个设计中,叠加了双重模板编程思想:

<1.> 不同进程,只需要更换 CR3 这一个参数的值即可实现地址保护;

<2.> 不同 arch 的 CPU 只需要拿出一个寄存器来扮演 x86 中的 CR3, 即复用 Linux kernel中 相同的 MM 代码逻辑。

5,复盘整个过程

盯着这个图,思考上述过程,感受线性地址到物理地址过程中,页目录与CR3,这个三个丝滑的过程中所作用:

6,Linux 弱化了x86 架构中 gptr 的目的

Linus 处于对 Linux 通用性的考虑,鉴于 risc CPU 的 MM 都比较简单,risc 的体系结构中基本没有分段的思想体现,所以Linux kernel的MM思维中故意弱化了 x86 的 GPTR 寄存器的作用。主要发挥页目录 和 MMU 的功能,在物理内存分页的思想上,来实现进程空间的保护功能。

叹为观止

值100亿美元

致敬 《有机会赚100亿却只想写代码,Linux之父的传奇前半生》

综上所述,这个MM难理解也是正常的,确实是多个方面都巧夺天工

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

upload-labs实验过程中遇到的问题

第6题问题&#xff1a;500异常码 发现500异常码&#xff0c;这个应该是apache版本问题&#xff0c;可更换其他版本&#xff0c;或者更换为nginx 12题问题&#xff1a;上传出错 出现上传错误&#xff0c;大概率是php版本问题&#xff0c;需要下载php5.2.17版本的php或者更换其他…

华为云下Ubuntu20.04中Docker的部署

我想用Docker拉取splash&#xff0c;Docker目前已经无法使用&#xff08;镜像都在国外&#xff09;。这导致了 docker pull 命令的失败&#xff0c;原因是timeout。所以我们有必要将docker的源设置在国内&#xff0c;直接用国内的镜像。 1.在华为云下的Ubuntu20.04因为源的原因…

使用Spring Boot实现用户认证和授权

文章目录 引言第一章 Spring Boot概述1.1 什么是Spring Boot1.2 Spring Boot的主要特性 第二章 用户认证和授权基础知识2.1 用户认证2.2 用户授权2.3 Spring Security概述 第三章 项目初始化第四章 实现用户认证和授权4.1 定义用户实体类和角色实体类4.2 创建Repository接口4.3…

点击旋转箭头样式

实现效果&#xff1a; html界面&#xff0c;主要通过isdown来控制箭头是上还是下 <el-popoverplacement"bottom"trigger"click":visible-arrow"false"v-model"isdown"popper-class"user-popover"><divslot"re…

IF膨胀时代,“水刊”当赢?2023热门“水刊”影响因子详解!

【欧亚科睿学术】 1 “四大水刊”详情 图片来源&#xff1a;欧亚科睿学术整理 “四大水刊”的影响因子均有所下跌&#xff0c;其中&#xff0c;曾经被列入中科院预警名单的期刊MEDICINE&#xff0c;其影响因子已是连续三年持续下降。从JCR分区来看&#xff0c;四本期刊分区均…

【已解决】Qwen2:KeyError: ‘qwen2‘

问题背景&#xff1a; 在运行 Qwen2-7B-Instruct 时&#xff0c;报错&#xff1a;KeyError: qwen2 原因说明&#xff1a; Transformer版本过低&#xff0c;需要升级版本 解决方案&#xff1a; pip install -U transformers 参考&#xff1a; 【modelscope_Qwen2-7B-Instr…

windows设置开机启动项

将文件放到下面路径即可实现每次开机启动 C:\ProgramData\Microsoft\Windows\Start Menu\Programs\Startup

胖东来启示录:传统商超如何逆境求生?

近日&#xff0c;经过胖东来精心调改的永辉超市郑州信万广场店盛大开业&#xff0c;首日销售额高达188万元&#xff0c;客流量突破1.2万人&#xff0c;业绩飙升13.9倍&#xff0c;这一惊人数据无疑为当前低迷的传统商超行业带来了一线生机。胖东来&#xff0c;这位零售业的黑马…

[数据集][目标检测]棉花叶子害虫检测数据集VOC+YOLO格式595张1类别

数据集格式&#xff1a;Pascal VOC格式YOLO格式(不包含分割路径的txt文件&#xff0c;仅仅包含jpg图片以及对应的VOC格式xml文件和yolo格式txt文件) 图片数量(jpg文件个数)&#xff1a;595 标注数量(xml文件个数)&#xff1a;595 标注数量(txt文件个数)&#xff1a;595 标注类别…

小程序 UI 设计缔造独特魅力

小程序 UI 设计缔造独特魅力

Linux_内核缓冲区

目录 1、用户缓冲区概念 2、用户缓冲区刷新策略 3、用户缓冲区的好处 4、内核缓冲区 5、验证内核缓冲区 6、用户缓冲区存放的位置 7、全缓冲 结语 前言&#xff1a; Linux下的内核缓冲区存在于系统中&#xff0c;该缓冲区和用户层面的缓冲区不过同一个概念&#x…

基于大型语言模型的全双工语音对话方案

摘要解读 我们提出了一种能够以全双工方式运行的生成性对话系统&#xff0c;实现了无缝互动。该系统基于一个精心调整的大型语言模型&#xff08;LLM&#xff09;&#xff0c;使其能够感知模块、运动功能模块以及一个具有两种状态&#xff08;称为神经有限状态机&#xff0c;n…

数据库管理-第207期 HTAP核心:列存技术探索(20240619)

数据库管理207期 2024-06-19 数据库管理-第207期 HTAP核心&#xff1a;列存技术探索&#xff08;20240619&#xff09;1 Oracle In-memory1.1 基本概念1.2 基本测试1.3 Exadata增强 2 OceanBase3 TiDB4 PolarDB总结 数据库管理-第207期 HTAP核心&#xff1a;列存技术探索&#…

atcoder abc 358

A welcome to AtCoder Land 题目&#xff1a; 思路&#xff1a;字符串比较 代码&#xff1a; #include <bits/stdc.h>using namespace std;int main() {string a, b;cin >> a >> b;if(a "AtCoder" && b "Land") cout <&…

【2024最新华为OD-C/D卷试题汇总】[支持在线评测] 目录管理器(200分) - 三语言AC题解(Python/Java/Cpp)

🍭 大家好这里是清隆学长 ,一枚热爱算法的程序员 ✨ 本系列打算持续跟新华为OD-C/D卷的三语言AC题解 💻 ACM银牌🥈| 多次AK大厂笔试 | 编程一对一辅导 👏 感谢大家的订阅➕ 和 喜欢💗 📎在线评测链接 目录管理器(200分) 🌍 评测功能需要订阅专栏后私信联系清隆…

无限滚动表格

纵向无限滚动 单元格内部横向滚动 <!--* Description: 横向、纵向滚动表格* Author: liyanfeng liyanfenghopewind.com* Date: 2024-06-15 16:06:57* LastEditors: liyanfeng liyanfenghopewind.com* LastEditTime: 2024-06-20 17:15:37* FilePath: \plus-ui\src\componen…

Python武器库开发-武器库篇之ThinkPHP 2.x 任意代码执行漏洞(六十三)

Python武器库开发-武器库篇之ThinkPHP 2.x 任意代码执行漏洞&#xff08;六十三&#xff09; PHP代码审计简介 PHP代码审计是指对PHP程序进行安全审计&#xff0c;以发现潜在的安全漏洞和风险。PHP是一种流行的服务器端脚本语言&#xff0c;广泛用于开发网站和Web应用程序。由…

8.华为两台交换机的三种连接方式access 、trunk、undo portswitch

目的&#xff1a;两台三层交换机的三种连接方式 1.access 2.trunk 3.undo portswitch 模拟机不支持此配置&#xff0c;实体机支持 第一种access CE1配置 [~HUAWEI]vlan batch 10 [~HUAWEI]int Vlanif 10 [~HUAWEI-Vlanif10]ip add 10.10.10.1 24 [~HUAWEI]int g1/0/0 [~HUAWE…

乌班图Ubuntu 24.04 SSH Server 修改默认端口重启无效

试用最新的乌班图版本&#xff0c;常规修改ssh端口&#xff0c;修改完毕后重启sshd提示没有找到service&#xff0c;然后尝试去掉d重启ssh后查看状态&#xff0c;端口仍然是默认的22&#xff0c;各种尝试都试了不行&#xff0c;重启服务器后倒是端口修改成功了&#xff0c;心想…

用RNN构建人名分类器

目录 项目综述1.导入必备的工具包2.处理数据&#xff0c;满足训练要求2.1 统计常用的字符2.2 进行规范化处理,去除重音符号2.3 将文件读取到内存中2.4 构建人名国家和具体人名的对应关系2.5 one-hot编码 3.构建RNN模型3.1 构建传统RNN模型3.2 构建传统LSTM模型3.3 构建传统GRU模…