【Linux】虚拟地址空间,页表,物理内存

devtools/2024/11/19 22:39:44/

目录

进程地址空间,页表,物理内存

什么叫作地址空间?

如何理解地址空间的区域划分?

地址空间结构体

为什么要有地址空间?

页表

cr3寄存器

权限标记位

位置标记位

其他


每个存储单元是一个字节,一共有2^32个字节,大概有4G。
栈往下走,堆往上走。
static修饰的局部变量编译的时候会被编译到全局数据区。

如下图,父子进程访问同一个变量,子进程修改了一下变量,如何做到同一个地址,却读到了不同的内容?

答:因为这个地址不是物理地址,这个地址是虚拟地址或线性地址,平时语言用的地址都是虚拟地址。

进程地址空间,页表,物理内存

创建父进程时,系统会创建对应的PCB,进程对应的代码和数据会加载到内存,同时PCB还能找到代码和数据。

创建父进程

实际上并没有这么简单,创建父进程后,有了PCB后,系统还要为该进程创建进程地址空间,页表。

进程用的地址是进程地址空间里面的虚拟地址。

页表存放的是虚拟地址和物理地址的映射。

假设定义一个变量,那么系统要在物理内存中为这个变量开辟一个空间,这个变量有一个物理地址和一个虚拟地址,进程通过页表将虚拟地址转成物理地址实现访问。

创建子进程

如果这个父进程创建了一个子进程,为了体现进程独立性,子进程会拷贝父进程的PCB,进程地址空间,页表。

子进程的PCB大部分值和父进程一样,少部分需要自己修改。

进程地址空间和父进程一样,所以虚拟地址也一样。

页表和父进程一样,所以能实现数据共享,代码共享,因为虚拟地址,物理地址和父进程都一样。

字进程修改数据

当子进程要修改数据时,如果系统发现这个位置的数据是和父进程共享的,那么此时系统会自动进行写时拷贝,也就是在物理内存上另开辟一个新的空间,然后当前值拷贝过去,然后修改页表对应的物理地址,此时再允许你写入,这个过程不会影响虚拟地址。       

什么叫作地址空间?

地址总线排列组合形成的范围就是地址空间,在32位计算机中,地址总线有32位,从全0到全1有2的32次方种组合,每一种组合可以标识一个字节,所以这个空间大约有4G。

如何理解地址空间的区域划分?

假设小胖和小花是同桌,中间有一条38线划分了他们的区域,只需记录这块区域的起始位置和结束位置就可以划分这段区域。

划分区域的变大变小只需要调整起始位置或结束位置的数值即可。

小胖的空间范围是1到50,他可以访问范围内的所有数据。在地址空间范围内,每一个最小单位都有自己的地址,都可以被小胖直接使用。

所以,进程地址空间本质是描述该进程可使用的范围空间大小,地址空间存在各种区域划分,划分方法是记录该区域的起始和结束位置。

地址空间结构体

地址空间本质是系统的一个结构体对象,类似PCB,地址空间结构体存放的是区域的起始结束位置。

进程创建时,系统会创建PCB,也会创建一个虚拟地址空间对象,PCB有个指针可以找到这个对象。

为什么要有地址空间?

物理地址空间只有一个,虚拟地址空间每个进程都有一个,进程申请空间系统就给,每个进程都以为自己拥有全部的地址空间。
第一个原因:虚拟地址空间可以让进程以统一的视角看待内存。
第二个原因:虚拟地址空间可以让进程访问内存时有一个虚拟地址转化物理地址的过程,在这个过程可以对寻址请求进行审查,异常访问直接拦截,从而保护了物理内存。  
第三个原因:地址空间和页表将进程管理模块和内存管理模块解耦。

页表

cr3寄存器

CPU有个cr3寄存器,里面保存着页表的起始地址。进程切换时会把这个地址带走,所以不用担心找不到自己的页表。

权限标记位

页表还有第三个位置是标记位,代表访问区域的读写权限,如果你向一个只读区域进行写操作就会被拦截。
 

所以说为什么代码段,字符常量区是只读的,难道第一次写入不是写入吗?
因为写入物理内存时没有读写要求,而当你用虚拟地址访问时,页表有标志位判断该位置的读写权限。

位置标记位

页表还有一个标志位,表示对应的代码和数据在磁盘还是在内存。当我们读取虚拟地址时,先看标志位,如果在内存就直接访问物理地址,如果在磁盘就会触发缺页中断,系统会把对应的数据加载到内存里,并建立虚拟地址和物理地址的映射,然后重新访问。

惰性加载方式,虚拟地址先填上,物理地址不填,需要时再填上。

所以,创建进程时,系统先给你创建PCB,虚拟地址空间,页表,但是对应的代码和数据不给你加载到内存,等你要访问时再进行缺页中断惰性加载,从而实现边使用边加载。

其他

命令行参数的空间在栈的上面。

父子进程虚拟地址一样,物理地址不同,修改数据只会改变页表右侧的地址。


http://www.ppmy.cn/devtools/135315.html

相关文章

UE5 UE4 播放视频没有声音解决

开启AVF插件 在项目设置中,AVF 的调试打开。 在项目设置中,WMF Media 中,allow Non standard Codecs,Low Latency 和 Native Audio Out打开。

Python 小高考篇(3)分支语句

目录 关系运算符条件判断if语句if-elif语句if-elif-else语句 逻辑运算符逻辑与逻辑或逻辑非 其它数据点类型对应的布尔值自测总结结尾 本文由Jzwalliser原创,发布在CSDN平台上,遵循CC 4.0 BY-SA协议。 因此,若需转载/引用本文,请注…

每日学习记录02:(C++)构造函数,代理构造函数和析构函数

每日学习记录02:(C)构造函数,代理构造函数和析构函数 个人学习笔记,如有错误,请指正 构造函数 构造函数是一种特殊的成员函数,它在创建类的新对象时被调用,用于初始化对象的成员变…

AC自动机探究(一)

1.初识AC自动机 1.1什么是AC自动机 可以简单将AC自动机理解为字典树的加强版本,使用AC自动机可以存储敏感词数据,去使用AC自动机筛选出大文本中是否有敏感词数据。 所以使用AC自动机可以简单,快速的根据AC自动机寻找到文本中的敏感词数据&am…

Python学习27天

字典 dict{one:1,two:2,three:3} # 遍历1: # 先取出Key for key in dict:# 取出Key对应的valueprint(f"key:{key}---value:{dict[key]}")#遍历2,依次取出value for value in dict.values():print(value)# 遍历3:依次取出key,value …

springboot整合elasticsearch,并使用docker desktop运行elasticsearch镜像容器遇到的问题。

springboot和elasticsearch版本兼容性问题: 使用easy-es组件,简化es的操作, ​ Easy-Es​官网:https://www.easy-es.cn/ 参考easy-es组件官网的文档的内容,调整版本问题。 ​​​​ Java代码如下: packa…

校园二手交易网站毕业设计基于SpringBootSSM框架

目录 一、引言 二、需求分析 2.1用户需求分析 2.1.1学生用户 2.1.2管理员 2.2系统功能需求 2.3系统非功能需求 ‌2.4技术需求 ‌2.4.1 技术选择 ‌2.4.2系统架构‌ 三、详细设计 3.1系统架构设计‌ ‌3.2前端设计‌ ‌3.3后端设计‌ ‌3.4数据库设计‌ 本文介绍…

使用useCallback引发对闭包的理解

一、先简单介绍一下闭包: 闭包是 JavaScript 中的重要概念,它指的是一个函数可以“记住”并访问其词法作用域,即使在这个函数的外部被执行。简单来说,闭包是由函数及其相关的环境组合而成的。 闭包的特性 函数内部可以访问外部变量: 闭包…