Linux程序地址空间

引言

以下为示意草图

下面以代码验证一下：

  1 #include<stdio.h>                                                                                                                     
  2 #include<stdlib.h>
  3                                       
  4 int un_gval;                          
  5 int init_gval=666;                    
  6                                       
  7 int main()                            
  8 {                                     
  9   printf("code addr: %p\n", main);    
 10   const char *str = "hello Linux";    
 11                                       
 12    printf("read only char addr: %p\n", str);
 13    printf("init global value addr: %p\n", &init_gval);
 14    printf("uninit global value addr: %p\n", &un_gval);
 15                                                       
 16    char *heap1 = (char*)malloc(100);                  
 17    printf("heap1 addr : %p\n", heap1);
 18     printf("stack addr : %p\n", &str);
 19   return 0;                           
 20 }

其中堆区与栈区之间有一大块镂空，堆区向上增长，栈区向下增长，堆栈相对而生

代码验证堆区向上增长：

 16    char *heap1 = (char*)malloc(100);
 17    char *heap2 = (char*)malloc(100);
 18    char *heap3 = (char*)malloc(100);
 19    char *heap4 = (char*)malloc(100);
 20    printf("heap1 addr : %p\n", heap1);
 21    printf("heap2 addr : %p\n", heap2);
 22    printf("heap3 addr : %p\n", heap3);
 23    printf("heap4 addr : %p\n", heap4);

代码验证栈区向下增长：


 25    printf("stack addr : %p\n", &str);
 26    printf("stack addr : %p\n", &heap1);
 27    printf("stack addr : %p\n", &heap2);
 28    printf("stack addr : %p\n", &heap3);
 29    printf("stack addr : %p\n", &heap4);

在栈区上开辟的变量，整体是向下增长的，但是每个对象的使用是局部向上使用的

以该对象的的最低地址作为地址

  7 struct s  
  8 {  
  9   int a;  
 10   int b;  
 11   int c;  
 12 }obj;

 13   printf("%p\n",&obj.a);
 14   printf("%p\n",&obj.b);
 15   printf("%p\n",&obj.c);

在栈区之上是命令行参数与环境变量存储区域

代码验证：

int main(int argc, char *argv[], char *env[])
{ 
      int i= 0;
      for(; argv[i]; i++)
      {
         printf("argv[%d]: %p\n",i, argv[i]);
      }

      for(i=0; env[i]; i++)
      {
         printf("env[%d]: %p\n", i, env[i]);
      }
    return 0;
}

以下图所示真的是我们认为的内存吗？

来看一段代码：

int g_val = 555;

int main()
{
    pid_t id = fork();
    if(id == 0)
    {
        //child
        int cnt = 5;
        while(1)
        {
            printf("child, Pid: %d, Ppid: %d, g_val: %d, &g_val=%p\n", getpid(), getppid(), g_val, &g_val);
            sleep(1);
            if(cnt == 0)
            {
                g_val=888;
                printf("child change g_val: 555->888\n");
            }
            cnt--;
        }
    }
    else
    {
        //father
        while(1)
        {
            printf("father, Pid: %d, Ppid: %d, g_val: %d, &g_val=%p\n", getpid(), getppid(), g_val, &g_val);
            sleep(1);
        }
    }

    sleep(100);
    return 0;
}