c - 使用 fork() 在子进程和父进程中创建的不同数组具有相同的逻辑地址

Question

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
#include <stdlib.h>

void forkexample() 
{
    int x = 1;

    if (fork() == 0)
       {
            //printf("this is Child ");
            ++x;
            printf("addr of  x=%p\n",&x );
            int* arr1=(int*)malloc(sizeof(int)*5); 
            *arr1=5;
            printf("Addr of child arr1=%p arr1[0]=%d\n",&arr1,arr1[0] );
       }
    else
    {
        //printf("this is parent ");
        --x;
        printf("addr of  x=%p\n",&x );
        int* arr2=(int*)malloc(sizeof(int)*5); 
        *arr2=6;
        printf("Addr of parent arr2=%p arr2[0]=%d\n",&arr2,arr2[0] );
    }
}
int main()
{
    forkexample();
    return 0;
}

为什么&arr1=&arr2？

我知道操作系统将使用写时复制(COW)方法为子进程创建新的地址空间，并且“&”给出逻辑地址，但在这里我们动态创建两个不同的数组。

Answer 1

arr1 和 arr2 不是数组，它们是指针。您正在打印 forkexample 中的局部变量的地址，就像 x 一样。如果想查看malloc返回的内存地址，需要printf("%p", arr1)，而不是&arr1 .

据推测，编译器决定对 arr1 和 arr2 使用相同的存储，因为变量的范围不重叠。您可以通过将代码更改为来测试这个理论:

void forkexample(void) 
{
    int x = 1;
    {
        ++x;
        printf("addr of  x=%p\n", (void *)&x);
        int *arr1 = malloc(sizeof(int)*5); 
        *arr1 = 5;
        printf("Addr of child arr1=%p arr1[0]=%d\n", (void *)&arr1, arr1[0]);
    }
    {
        --x;
        printf("addr of  x=%p\n", (void *)&x);
        int *arr2 = malloc(sizeof(int)*5); 
        *arr2 = 6;
        printf("Addr of parent arr2=%p arr2[0]=%d\n", (void *)&arr2, arr2[0]);
    }
}

...并查看 arr1 和 arr2 是否仍然具有相同的地址。

<小时/>

旁注:printf %p 采用 void *，而不是 int * 或 int ** (这就是您要传递的内容)。您需要进行强制转换: printf("%p\n", (void *)&arr1);