【Linux】进程地址空间-CSDN博客

本文链接：https://blog.csdn.net/Edward_Asia/article/details/124362109

1.回顾C/C++程序地址空间

这是我们以前理解的内存布局，那么这是真正的内存吗？不是！

先来验证一下：

#include<stdio.h>
#include<unistd.h>
#include<stdlib.h>
int g_unval;
int g_val=10;

int main()
{
    const char*s = "hello wrold";
    int a = 10;
    int*arr = (int*)malloc(4);
    printf("code addr: %p\n",main);
    printf("string rdonly addr: %p\n",s);
    printf("uninit addr: %p\n",&g_unval);
    printf("init addr: %p\n",&g_val);
    printf("heap addr: %p\n",arr);
    printf("stack addr: %p\n",&a);
    return 0;
}

可以看到地址确实是按照图中的顺序依次递增的。

再看下面的代码：

#include<stdio.h>
#include<unistd.h>
#include<stdlib.h>

int g_val = 100; // 父子进程的数据是私有的，采用写时拷贝
int main()
{
    if(fork()==0)
    {
        int cnt=5;
        while(cnt)
        {
            printf("I am child, times: %d, g_val = %d,&g_val = %p\n", cnt, g_val, &g_val);
            sleep(1);
        	g_val = 200; // 执行依次后将全局变量g_val改为200
            cnt--;
        }
    }
    else 
    {
      while(1)
      { 
            printf("I am father, g_val = %d,&g_val = %p\n", g_val, &g_val); // 父进程的g_val该是多少？
            sleep(1);
      }
    }
    return 0;
}

可以看到，父进程和子进程中的g_val的地址是一摸一样的，那么按理说将子进程中的g_val改变后，由于他们使用的是一块空间，所以父进程中的g_val的值也应该改变，可这里为什么没有变化？？

如果C/C++打印出来的地址是物理内存的地址，这种现象绝不可能存在！而这里使用的地址是虚拟地址。

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

所以最上面那张图应该叫做，进程虚拟地址空间。

2. 进程地址空间是什么

每个进程都有一个地址空间，都认为自己在独占物理内存。而这个地址空间在内核中是一个结构体 struct mm_struct.

mm_struct 中的分布类似下面这种：

struct mm_struct {
	unsigned int code_start;  //地址空间上进行区域划分时，对应的线性位置，称为虚拟地址
	unsigned int code_end;
	unsigned int init_data_start;
	unsigned int init_data_end;
	unsigned int uninit_data_start;
	unsigned int uninit_data_end ;
	unsigned int heap_start;
	unsigned int heap_end;
	unsigned int stack_start;
	unsigned int stack end;
}

虽然这里只有start和end，但每个进程都可以认为mm_struct代表整个内存的所有的地址为0x0000...000~0xFFFF...FFF(即每个进程都认为自己拥有4GB的空间，至于到底有没有，是OS要做的事)

真实的内存关系应该是这样的：