更好地理解管道

Question

在学习管道的时候，不小心写了如下代码

int main()
{
    pid_t pid;
    int status;
    int p1[2];

    pid = fork();
    pipe(p1);

    if(pid==0)
    {
        dup(p1[0], 0);
        close(p1[1]);
        execv(abs_addr_of_some_bin , argv);
    }
    else
    {
        dup(p1[1] , 1);
        close(p1[0]);
        write(p1[1] , some_rand_text , size_of_text);
        wait(&status);
    }
}

正在执行的二进制文件有一个read(0 , buf , size) 语句，从 STDIN 读取。

好吧，上面的代码显然是不正确的，因为我在pipe() 之前有fork()。因此，当我尝试在另一个二进制文件中输出buf 时，它会打印一些随机值，每次执行此文件时都会有所不同。 这可能是什么原因？

另外，如果我更正我的代码（即在fork() 之前调用pipe()），与管道工作相关的某些事情会让我感到困惑：

1. 由于p1 数组对于两个进程（父进程和子进程）都有不同的内存地址，操作系统如何知道 p1[0] 的另一端（在子进程中）是 p1[1] （在父级中）？

2. 在这个过程中会发生什么样的内存操作？

提前致谢！

Answer 1

不要在分叉之后而是之前创建管道！如果您在之后创建它，那么您将创建两个不相关的管道......因为您需要为两个进程共享相同的管道，所以在分叉之前创建它。

您有随机值，因为您的管道没有连接，并且在您的execed 进程中没有真正测试reads。

关于地址。没有p1在父母和孩子的地址完全一样！但是这些地址位于不同的地址空间中。进程操作的地址总是与其给定的地址空间相关的。

fork 复制了父进程的地址空间，并为子进程构建了一个严格的副本。