Linux 进程地址空间

目录

程序地址空间

进程地址空间

关于区域划分

为什么会有虚拟地址空间

---

C语言总结在这常见八大排序在这

作者和朋友建立的社区：非科班转码社区-CSDN社区云💖💛💙

期待hxd的支持哈🎉 🎉 🎉

最后是打鸡血环节：你只管努力，剩下的交给天意🚀 🚀 🚀

程序地址空间

在之前，我们是看的这幅图

可是我们对他并不理解 

我们来看一段代码

我们发现，父子进程，输出地址是一致的，但是变量内容不一样！能得出如下结论 :

• 变量内容不一样,所以父子进程输出的变量绝对不是同一个变量

• 但地址值是一样的，说明，该地址绝对不是物理地址！

• 在Linux地址下，这种地址叫做 虚拟地址

• 我们在用C/C++语言所看到的地址，全部都是虚拟地址！物理地址，用户一概看不到，由OS统一管理

OS 必须负责将 虚拟地址 转化成 物理地址 。

这上面也就是经典的 写时拷贝

对于fork（）有两个返回值？同一个变量，为什么会有两个返回值呢？

因为fork内部，return 会被执行两次，return 的本质，就是通过寄存器将返回值写入到接受返回值的变量中！（id）

当 id = fork（） 的时候，谁先返回，谁就要发生写时拷贝，所以，同一个变量，会有不同内容的值，本质是因为大家的虚拟地址是一样的，但是大家对应的物理内存地址是不一样的。

进程地址空间

记住，每一个进程在启动的时候，都会让操作系统给他创建一个地址空间，该地址空间就是进程地址空间。

每一个进程都会有一个自己独立的进程地址空间！

每一个进程都 认为自己是独占系统中的所有资源的（也就是 进程地址空间都是4G（虚拟的）（内存4G情况下））

所以之前说‘程序的地址空间’是不准确的，准确的应该说成 进程地址空间 ，那该如何理解呢？看图：

上面的图就足矣说名问题，同一个变量，地址相同，其实是虚拟地址相同，内容不同其实是被映射到了不同的物理地址！ 

关于区域划分

首先linux下的PCB就是task_struct，让里面有一个mm_struct指向进程地址空间，这个结构就是来描述进程地址空间。

我们长说静态区，堆区等等，那操作系统是怎样划分的呢？

内核数据结合，mm_struct给了我们答案（下面只是我们自己写的和内核里面是相似的）

 

内核里面的 

其实也就是记录了每个start和end，然后由OS和页表映射完成划分的。 

然后里面的每个区域就会通过页表把虚拟地址空间和物理空间进行映射！

将程序加载到内存由程序变成进程之后，由操作系统会给每一个进程构建一个页表结构

为什么会有虚拟地址空间

因为有了虚拟地址空间，访问内存就添加了一层软硬件层，可以对转化过程进行审核，非法的访问，就可以直接拦截了！

1. 保护内存

2. 进程管理

    Linux内存管理

--》通过地址空间，进行功能模块的解耦！

3. 让进程或者程序可以以统一的视角来看待内存！

（统一的视角：方便以统一的方式来编译和加载所有的可执行程序）

简化进程本身的设计与实现。

最后的最后，创作不易，希望读者三连支持💖

赠人玫瑰，手有余香💖