linux之《程序地址空间》

大聪明一号

已于 2023-05-05 20:55:51 修改

阅读量84

点赞数

分类专栏： linux 文章标签： linux

于 2023-02-23 19:23:03 首次发布

本文链接：https://blog.csdn.net/qq_56166591/article/details/129175034

版权

linux 专栏收录该内容

14 篇文章 1 订阅

订阅专栏

文章目录

问题导入
一，虚拟地址
二，页表
三，解决问题
- 1. 父子进程的关系
- 2. 写时拷贝（写时复制）
四，虚拟地址的重要性
- malloc的用法原理

问题导入

学过C/C++的人都知道，在程序里面一个地址空间就只能存放一个变量的值，这是正确的。那么我们来看看下面这段代码：

#include<stdio.h>
#include<assert.h>
#include<unistd.h>
int g_value = 0;
int main()
{
    pid_t id = fork();
    assert(id >= 0);
    if(id == 0)
    {
        // 子进程
        while(1)
        {
            printf("子进程,pid=%d,ppid=%d,g_value=%d,地址为:%p\n",getpid(), getppid(), g_value, &g_value);
            ++g_value;
            sleep(1);
        }
    }
    else
    {   
        // 父进程
        while(1)
        {
            printf("父进程,pid=%d,ppid=%d,g_value=%d,地址为:%p\n",getpid(), getppid(), g_value, &g_value);
            sleep(1);
        }
    }
    return 0;
}

在这里插入图片描述
由程序得知，g_value是全局变量，地址都相同，但是为什么他们的值却不一样呢？

带着这个问题，我们来学习一下程序地址空间。

一，虚拟地址

我们在各种语言里面使用的指针和取得的地址，其实都是虚拟地址，而真正的地址是物理地址，是通过虚拟地址根据某种关系来找到的，是操作系统来完成的事情，我们用户是不能直接获取的。
虚拟地址是连续的

我们通过几张图片来理解：
在32位系统中，地址的大小是0~ 2³²-1字节；64位则是0~2⁶⁴-1字节。32位系统与64位系统在这里举例是没有区别的，为了方便画图，我们以32位系统为例。
此图为简略内存地址图，不是准确的

图上就是地址空间的大致分部（详细可以见此），值得注意的是，这个是虚拟地址，地址是连续的，因此操作系统会定义一个数据结构（如下）来管理这些虚拟地址的分部。

struct mm_struct
{
    //代码段
    long code_start;
    long code_end;
    
    //……
    
    // 堆区
    long brk_start;
    long brk_end;
    // 栈区
    long stack_start;
    long stack_end;
}