【linux系统编程】进程地址空间

LuckyRich1

已于 2024-04-14 21:28:46 修改

阅读量280

点赞数 4

分类专栏： Linux系统编程文章标签： linux 运维服务器

于 2023-09-12 10:24:20 首次发布

本文链接：https://blog.csdn.net/fight_p/article/details/132793704

版权

Linux系统编程专栏收录该内容

28 篇文章 8 订阅

订阅专栏

进程地址空间

1.什么是地址空间
2.感性理解虚拟地址空间
3.理性认识虚拟地址空间
4.为什么存在地址空间

在这里插入图片描述

点赞👍👍收藏🌟🌟关注💖💖
你的支持是对我最大的鼓励，我们一起努力吧!😃😃

1.什么是地址空间

在这里插入图片描述

请问C/C++地址空间是内存吗？

其实不是，是虚拟地址空间！

我们见识见识虚拟地址空间。

#include<stdio.h>
#include<unistd.h>
 
int global_val=100;

int main()
{
    pid_t id=fork();
    if(id == 0)
    {
        int cnt=0;
        while(1)
        {
            printf("我是子进程, pid: %d, ppid: %d | global_value: %d, &global_value: %p\n", getpid(), getppid(), global_val, &global_val);
           sleep(1);
            cnt++;
            if(cnt == 10)
            {
                global_val=200;
                printf("子进程已经改变global_val的值了。。。。。\n");
            }
        }
    }
    else if(id > 0)
    {
        while(1)
        {
           printf("我是父进程, pid: %d, ppid: %d | global_value: %d, &global_value: %p\n", getpid(), getppid(), global_val, &global_val);
            sleep(2);    
       }
    }
    else                                                                                                                                                          
    {
        printf("fork error\n");
    }
 
    return 0;
 }

在这里插入图片描述

fork之后，父子进程谁先运行，不确定，由调度器决定。

我们发现多线程在读取同一个地址的时候，怎么可能出现不同的结果？
地址没变----> 这里的地址，绝对不可能是物理地址。

曾经我们学习的语言的地址（指针），不是对应的物理地址，是虚拟地址(线性地址/逻辑地址)

打印出来的地址空间排布，全部都是虚拟地址。

2.感性理解虚拟地址空间

每个进程都认为自己是独占系统资源的（事实上并不是），这知识一种理念。

举个例子
在这里插入图片描述

son1 工厂周转不开了，找peter要1w美金，5w美金，
son2 要2k美金，买个手表
son3 要3k美金，生活费

不可能全要，因为peter也不会给。

在这里插入图片描述
peter和他每个私生子都说，等他死后，就让儿子继承全部家产。给儿子画大饼

在这里插入图片描述

我们的系统就是这样做的；
在这里插入图片描述

那如何画饼呢？
假设500个员工---->画饼---->员工要被管理----->饼要不要管理呢？
肯定是要的，不然许张三当总经理，把这个大饼当成许给李四了。

500个进程---->地址空间------>进程要被管理------>地址空间也要被管理
如何管理呢？
先描述，在组织

地址空间的本质：是内核的一种数据结构！mm_struct

3.理性认识虚拟地址空间

在这里插入图片描述

区域划分

有了地址区间就要对地址区间进行划分；
有属于代码的起始和结束的地址，属于数据的起始和结束的地址。。。
在这里插入图片描述
区域调整

进程在运行时，会有一个PCB，task_struct，操作系统结合地址空间malloc一个struct mm_struct。
在这里插入图片描述
代码和数据区本质上不变的
heap和stack所谓的区域调整，本质上就是修改各个区域的start/end的值。
定义局部变量，malloc，new----->扩大栈区或者堆区
函数调用结束，free------>缩小栈区或者堆区