Linux进程地址空间

简介: Linux进程地址空间

⚽一、进程地址空间区域划分


1669273546000.jpg

👓Ⅰ区域划分


本次博客我们以32位操作系统来作为范本说明,64位与之类似。我们知道地址空间描述的基本空间大小是以字节为单位,在32位操作系统下,我们有2^32个字节, 也就是4GB的空间范围(理想状态,实际用户用不了4GB).而32位下有2^32个地址,每个地址标识一个字节大小,这样我们4GB的空间每个位置都可以表示出来。


那么我们是怎么把4GB的空间进行区域划分来供使用呢?要知道地址空间有栈区、堆区、代码段,静态区等。操作系统是怎么划分各个区的空间呢?


其实这里所谓的区域划分很简单,就是每个区域设定一个start,一个end,这之间就是允许它使用的区域。


1669273559194.jpg


它类似于我们学生时代喜欢在课桌上划分三八线,就是非常简单的区域划分。


👓Ⅱ虚拟地址和物理地址


区域划分非常简单,然后这里有个问题,它划分的进程地址空间是虚拟地址还是物理地址呢?物理地址就是实实在在在内存上的地址,一个萝卜一个坑。


我们可以用一段代码来判断。


1669273571473.jpg


我们在这段代码里看到,父子进程里global_val有相同的地址,但是它们指向的值并不相同,所以它不是在内存上的物理地址,而应该是虚拟地址。


1669273581146.jpg


所以说到这里,我们讲了区域划分以及进程地址空间的地址是虚拟地址。这里需要注意:


🖊除了栈区和堆区,其他区域的大小是确定的,栈区和堆区的区域划分是不确定的,会不断调整,比如我们压栈,或者动态开辟内存导致堆生长都会导致栈区和堆区结束地址的改变。


🖊比如我们malloc或者new空间,堆区向上生长,扩大堆区,当我们free或delete空间,堆区释放,缩小堆区。比如我们递归压栈,栈区向下生长,栈区扩大,当函数调用完毕,栈区缩小。


⚽二、页表和映射


我们知道进程地址空间是虚拟地址并不是真正的内存上的物理地址,我们写代码必须要加载到内存上才能调用或者写入磁盘,那么我们怎么把虚拟地址和物理地址联系起来呢?这里就要说到操作系统的页表。所谓的页表,它的本质非常复杂,博主不过多介绍它,我们只介绍它对于虚拟地址和物理地址建立联系起到什么作用。


1669273592610.jpg


当然,真正的页表远比我画的图要复杂,页表是的本质是哈希表。它的左列为虚拟地址,要写的,右列为物理地址,每个虚拟地址都对应于一个物理地址。这就是映射,但是它并不是一一映射的关系,后面我们举例来说明映射是多个虚拟地址可能对应一个物理地址。


1669273601544.jpg


我们介绍过页表之后,就可以完整来看一下我们写代码的存储程序。比如我们在程序里写入char c=100;&c就是它的地址,我们假设0x1234 5678.这是它在进程地址空间上的虚拟地址,然后我们通过页表,对应的在内存上给它开辟一块空间,有个物理地址0x1111 2222,这时进行写入到内存,这样它就有了物理地址,写入了内存。如果我们想写入磁盘,也是通过页表,一般内存操作系统和外设(比如磁盘)IO(读取和写入)的时候基本单位一般4KB,而页表的大小一般也是4KB。


⚽三、借由父子进程再来理解虚拟地址和物理地址


之前我们的代码,出现了相同虚拟地址指向不同的内容的情况,我们在了解学习虚拟地址和物理地址,页表之后,可以解释为什么会出现这样的情况。


1669279850984.jpg


博主先把父子进程的进程地址画出来方便分析。


1669279865022.jpg


我们知道父进程fork创建的子进程,所谓的创建就是把父进程的PCB拷贝给子进程,把父进程的虚拟地址空间也拷贝给子进程,所以会出现虚拟地址相同。刚开始的时候,父子进程中变量global_val的虚拟地址是相同的,通过指向的物理地址也是相同的,所以会出现相同的88,而在5s之后子进程尝试写入100时,发生了变化。


此时因为子进程把父子进程共享的数据global_val进行了修改,因为进程具有独立性,一个进程对共享的数据做修改,如果影响了其他进程,就不能称之为独立性。所以父子进程任何一方尝试对共享数据进行修改,操作系统会在物理内存重新开辟一块物理空间,修改映射关系,不再指向之前的物理内存,这里就出现了我们说的相同的虚拟地址指向不同的物理地址的映射关系指向新的物理内存并将88修改为100.


1669279876050.jpg


操作系统将这种行为称为写时拷贝:


任何一方尝试写入,os操作系统先进行数据拷贝,更改页表映射,然后再让进程进行修改。


🎈进程地址空间的意义


可能有的老铁有疑惑,地址空间存在的意义是什么呢?我们直接将程序写入内存物理地址不就行了?


🖊我们要想到如果让进程直接访问物理内存,万一进程越界非法操作呢?可能使内存崩溃,非常危险。当然虚拟地址也有可能越界,不过要安全很多,这里页表也会进行保护,截止非法访问。


🖊而且我们如果直接访问物理内存,空指针、内存泄漏等行为可能直接把系统搞坏,而虚拟地址保护了我们的物理内存。


🖊地址空间的存在,可以更方便的进行进程和进程的数据代码的解耦,保证了进程独立性这样的特征。


⚽四、磁盘中的可执行程序


1669279885873.jpg

磁盘中的可执行程序在磁盘上是否有地址呢?是有的,因为在预处理时我们就知道在没有被加载到内存的时候,在汇编时就已经有了地址,汇编代码是有地址的。这里在磁盘内我们称为逻辑地址。所以可执行程序内部还是以进程地址空间那一套虚拟地址进行编译的。


1669279895217.jpg

其实可执行程序内部始终保持虚拟地址是一件非常有意义的一件事情,当它从磁盘读取到物理内存中时,它同时具备两套地址,一套地址标识物理内存中代码和数据的地址,也就是在物理内存按照内存的编址方式再给一套地址。还有一套是程序内部互相跳转的虚拟地址。然后我们通过页表进行映射时没必要再编址虚拟地址,能直接调用使用。

1669279905045.jpg

🏆cpu读取


我们的cpu在读取时,它获取到的是物理地址还是虚拟地址呢?cpu读取的天然是虚拟地址,虽然当cpu从进程中读取到虚拟地址,通过页表映射得到物理地址,但是物理地址main函数内部还是虚拟地址,所以cpu读取的就是虚拟地址!!


🏆逻辑地址


磁盘内部是按照虚拟地址编址的,官方来说是逻辑地址。逻辑地址在磁盘内部有两套实现方案。


一种就是按照32位进程地址空间一样编址的。还有一种方式就是给每个区,比如代码区、数据区、在这个区内部第一个位置就是0,然后相对于这个区内部第一个位置有个偏移量。然后读取到内存时还要进行修改,起始位置加上偏移量。不过这种方式比较繁琐,是比较老版本的实现方式。


所以这里让进程以统一的视角来看待进程对应的代码和数据等各个区域,方便使用编译器也以统一视角来进行编译代码。


⚽五、再次理解父子进程


我们这里主要来说一下fork这个函数在内核空间是怎么在操作的。


1669279914541.jpg


为什么return会有两个返回值呢?当fork函数创建子进程,将子进程内部也拷贝一份和父进程完全相同的内容之后,它里面也会执行fork函数,然后父子进程的fork都会有return返回。而返回的本质就是写入,所以会有写时拷贝,父子进程fork返回值指向不同的物理空间。


那么不知道有没有老铁有和博主一样的疑惑呢?那就是子进程里面的fork函数不会再执行fork函数创建一个子进程导致无限递归创建子进程吗?fork函数不会,他会子进程同步到父进程执行到的那一步,不会再创建,这里其实有一个函数vfork,它会子进程再重新执行一次,不和父进程同步,那么就会出现无限递归创建导致操作系统挂掉!!

相关文章
|
16天前
|
安全 Linux 虚拟化
网络名称空间在Linux虚拟化技术中的位置
网络名称空间(Network Namespaces)是Linux内核特性之一,提供了隔离网络环境的能力,使得每个网络名称空间都拥有独立的网络设备、IP地址、路由表、端口号范围以及iptables规则等。这一特性在Linux虚拟化技术中占据了核心位置🌟,它不仅为构建轻量级虚拟化解决方案(如容器📦)提供了基础支持,也在传统的虚拟机技术中发挥作用,实现资源隔离和网络虚拟化。
网络名称空间在Linux虚拟化技术中的位置
|
16天前
|
网络协议 安全 Linux
Linux网络名称空间之独立网络资源管理
Linux网络名称空间是一种强大的虚拟化技术🛠️,它允许用户创建隔离的网络环境🌐,每个环境拥有独立的网络资源和配置。这项技术对于云计算☁️、容器化应用📦和网络安全🔒等领域至关重要。本文将详细介绍在Linux网络名称空间中可以拥有的独立网络资源,并指出应用开发人员在使用时应注意的重点。
|
16天前
|
安全 网络协议 Linux
Linux网络名称空间概述
Linux网络名称空间是操作系统级别的一种虚拟化技术🔄,它允许创建隔离的网络环境🌐,使得每个环境拥有自己独立的网络资源,如IP地址📍、路由表🗺️、防火墙规则🔥等。这种技术是Linux内核功能的一部分,为不同的用户空间进程提供了一种创建和使用独立网络协议栈的方式。本文旨在全方面、多维度解释Linux网络名称空间的概念、必要性和作用。
Linux网络名称空间概述
|
2天前
|
NoSQL Linux 程序员
【linux进程信号(一)】信号的概念以及产生信号的方式
【linux进程信号(一)】信号的概念以及产生信号的方式
|
2天前
|
Linux
【linux进程间通信(一)】匿名管道和命名管道
【linux进程间通信(一)】匿名管道和命名管道
|
2天前
|
Java Shell Linux
【linux进程控制(三)】进程程序替换--如何自己实现一个bash解释器?
【linux进程控制(三)】进程程序替换--如何自己实现一个bash解释器?
|
2天前
|
算法 Linux Shell
【linux进程(二)】如何创建子进程?--fork函数深度剖析
【linux进程(二)】如何创建子进程?--fork函数深度剖析
|
2天前
|
存储 Linux Shell
【linux进程(一)】深入理解进程概念--什么是进程?PCB的底层是什么?
【linux进程(一)】深入理解进程概念--什么是进程?PCB的底层是什么?
|
3天前
|
消息中间件 Unix Linux
Linux的学习之路:17、进程间通信(1)
Linux的学习之路:17、进程间通信(1)
18 1
|
3天前
|
存储 安全 Linux
Linux的学习之路:9、冯诺依曼与进程(1)
Linux的学习之路:9、冯诺依曼与进程(1)
18 0