【Linux】10. 进程地址空间

简介: 【Linux】10. 进程地址空间

1. 虚拟地址的引出

在这里插入图片描述

2. 感性理解

在这里插入图片描述

3. 区域划分

在理解虚拟地址空间之前首先了解区域划分是什么
在这里插入图片描述
在小学期间的三八线,让桌子分割成两个区域,类比到地址空间也是这样划分的。
操作系统需要对进程管理,进程存在不同的区域映射不同的虚拟地址
在这里插入图片描述
这块虚拟地址空间的大小就是2^32^个字节,heap(堆)/stack(栈)所谓的区域调整,其本质就是修改各个区域的end或者start
定义局部变量(压栈)或者malloc/new堆上的空间 ------>扩大栈区或者堆区空间
函数调用完毕(出栈)或者free释放资源 ------> 缩小栈区或者堆区空间

4. 理性理解

在这里插入图片描述
(其中页表不仅仅只是单纯的映射还可以对非法访问物理地址空间的行为进行拦截)

5. 存在虚拟地址空间的原因

5.1 安全性和独立性

在这里插入图片描述

5.2 编译器和CPU

在这里插入图片描述
让进程以统一的视角来看待进程对应的代码和数据等各个区域,方便CPU使用,编译器也以统一的视角来编译代码
二者规则是一致的,编译完即可使用

正是以上这三种原因,所以导致虚拟地址的存在,主要是为了保护代码和数据,使得进程运行时不相互打扰
==当我们在windows操作系统下使用vs2019进行调试时运行起来进行调试时,CPU内部的寄存器使用的就是虚拟地址(监视窗口显示的是虚拟地址&xxx)==

6. 解决父子进程独立性的问题

最开始我们的问题引出就是通过父子进程访问同样地址空间发现居然存在不同的值才有的虚拟地址空间的概念,现在需要解释该现象
在这里插入图片描述
父子进程的虚拟地址空间是一样的,但是子进程修改了全局数据导致发生写时拷贝导致二者虚拟地址指向的并不是一块物理地址空间
所以在显示器上看到的相同地址存在不同值(相同地址指的是虚拟地址空间)
到这里,我们才真正理解进程的独立性。
==正是因为进程具有独立性,一个进程对被共享得到数据进行修改,如果影响其他进程则无法称之为独立性==

拓展

现在的计算机的逻辑地址都是采用2^32^ 个地址空间将代码区和数据区分割开(ELF格式)
老版本的计算机代码区和数据区采用的是偏移量的形式
每次转换成物理地址都是根据区域加上偏移量来获取的
在这里插入图片描述

相关文章
|
7天前
|
消息中间件 算法 Linux
【Linux】详解如何利用共享内存实现进程间通信
【Linux】详解如何利用共享内存实现进程间通信
|
7天前
|
Linux
【Linux】命名管道的创建方法&&基于命名管道的两个进程通信的实现
【Linux】命名管道的创建方法&&基于命名管道的两个进程通信的实现
|
7天前
|
Linux
【Linux】匿名管道实现简单进程池
【Linux】匿名管道实现简单进程池
|
7天前
|
Linux
【Linux】进程通信之匿名管道通信
【Linux】进程通信之匿名管道通信
|
1天前
|
算法 Linux 调度
【进程调度】Linux内核的进程调度队列--runqueue
【进程调度】Linux内核的进程调度队列--runqueue
|
7天前
|
Linux 数据库
linux守护进程介绍 | Linux的热拔插UDEV机制
linux守护进程介绍 | Linux的热拔插UDEV机制
linux守护进程介绍 | Linux的热拔插UDEV机制
|
7天前
|
Unix Linux 调度
linux线程与进程的区别及线程的优势
linux线程与进程的区别及线程的优势
|
7天前
|
Linux 调度 C语言
|
7天前
|
存储 算法 Linux
【Linux】线程的内核级理解&&详谈页表以及虚拟地址到物理地址之间的转化
【Linux】线程的内核级理解&&详谈页表以及虚拟地址到物理地址之间的转化