关于使用管道实现父进程监听子进程状态的疑问

ilmare

最近看了一段使用管道实现父进程监听子进程状态的代码，具体实现
方法如下：

1. 
   
2. #include <stdio.h>;
   
3. #include <stdlib.h>;
   
4. #include <fcntl.h>;
   
5. #include <unistd.h>;
   
6. #include <sys/types.h>;
   
7. 
   
8. void main()
   
9. {
   
10.     pid_t        pid;
    
11.     int            fd[2],  nfds,  retcode;
    
12.     fd_set      rdst;
    
13. 
    
14.     if (pipe(fd) < 0)
    
15.        printf("pipe error!\n");
    
16.     pid = fork();
    
17.     switch (pid)
    
18.     {
    
19.     case  -1:
    
20.                   close(fd[0]);
    
21.                   close(fd[1]);
    
22.                   printf("fork error!\n);
    
23.                   break;
    
24.     case   0:
    
25.                   close(fd[1]);
    
26.                   do_something();
    
27.                   break;
    
28.     default:
    
29.                   close(fd[0]);
    
30.                   nfds = fd[1];
    
31.                   FD_ZERO(&rdst);
    
32.                   FD_SET(fd[1], &rdst);
    
33.                   nfds++;
    
34.                   retcode = select(nfds, &rdst, NULL, NULL, NULL);
    
35.                   if (retcode >; 0)
    
36.                   {
    
37.                        if (FD_ISSET(fd[1], &rdst))
    
38.                            printf("child process has exit!\n");
    
39.                   }
    
40.                   break;
    
41.     }
    
42.     return ;
    
43. }
    

复制代码

有一点不明白的是为何当子进程退出后，父进程的fd[1]描述符的状态会发生改变。请高手指点一下。

蓝色键盘

1、分析：
如上代码fork前pipe一个管道，fork后子进程关闭写的一段，父进程关闭读的一段。

看代码
nfds = fd[1];
                  FD_ZERO(&rdst);
                  FD_SET(fd[1], &rdst);
父进程用select监测rdst。rdst被设置为管道可写。

然而 select中
retcode = select(nfds, &rdst, NULL, NULL, NULL);
却又监测可读。

代码混乱。

2、结论：
以如上代码为例子，父进程用select测试fd[0]可读。得不到任何消息。

父进程用select测试fd[1]可写。可以得到消息。但是必须保证子进程相pipe中写了东西，或者子进程exit或异常（如core）退出。这个结论的前提时select跟改为监测写。

fieryfox

标准的pipe，fd[0]为读，fd[1]为写。某些系统，如solaris其fd[0]和fd[1]同时打开为读写。
楼主的代码应该是想用管道的EOF来通知父进程。

ilmare

[quote]原帖由 "蓝色键盘"]可以得到消息。但是必须保证子进程相pipe中写了东西，或者子进程exit或异常（如core）退出。这个结论的前提时select跟改为监测写。[/quote 发表：
     

看来版主也不是很清楚这种用法。上述的代码在solaris和FreeBSD上都可以运行，并且父进程确实可以检测到子进程的退出。我不明白这种用法为什么可以检测到子进程的退出，所以才来这里请教，可是却落了个代码混乱，真的没有人见过这种用法吗？     

gadfly

我觉得fireryfox说的对。补充一点，你把父进程中的0互换1是一样的，结果是一样的。

从通常管道操作的角度来说，fd[1]是不允许读的，从这个角度来说，键盘说的是正确地，所以，如果我来写，会把1改成0，不会让人混淆(rset).

ilmare

我觉得可能大家没仔细看代码，代码主要目的是在管道方向为从父进程到子进程时，如果子进程仍然存在，父进程select调用会阻塞，子进程退出后，父进程的select调用才会返回，如果把0和1互换，就不会起到这个作用了。
       问题是为什么子进程退出后描述符fd[1]的状态会发生改变？在通常管道的用法中，描述符fd[1]是不允许读的，但代码中的用法却是我头一次看到的。fieryfox认为代码是通过管道的EOF来通知父进程，但是这个EOF是怎么产生的呢，这时管道的方向是从父进程到子进程。
       如果把管道的方向改为从子进程到父进程，判断描述符fd[0]是否为读已准备，可能就不会产生歧义了，但是在这种情况下，为什么父进程的select调用也会阻塞呢？

gadfly

呵呵，你测试过了么？

测试完，再下结论。例子不一定正确。

至少，在linux上，我的补充和判断是正确的。

进程退出的时候，会关闭所有的文件描述符，所以产生EOF。

gadfly

刚才在solaris上测试，也是一样

ilmare

原帖由 "gadfly" 发表：
呵呵，你测试过了么？

测试完，再下结论。例子不一定正确。

至少，在linux上，我的补充和判断是正确的。

进程退出的时候，会关闭所有的文件描述符，所以产生EOF。

   

我是测试过代码后才在这里提出问题的，测试在solaris和FreeBSD上都通过了，linux上我没有试过，另外你提出的将父进程中的0和1互换，是什么意思呢？是指的将FD_SET(fd[1], &rdst) 改为FD_SET(fd[0], &rdst), 将FD_ISSET(fd[1], &rdst)改为FD_ISSET(fd[0], &rdst)吗？这样做在管道方向为从父进程到子进程时，父进程不会在select调用阻塞的，会直接退出的。

gadfly

大概明白你的意思了。你的意思就是说，是父通过管道写数据到子，同时有检测子的退出，对不对？

这不失为一种方法。

但是我觉得如果select仅仅用来检测子的退出，就没必要了，因为，
1.如果子主动关闭fd0，select也会退出。这种方法，你判断不了是否退出
2.父write(fd...)，在子关闭fd0或退出的情况下是会出错的，同样可以起到这种作用。
3.何况，还有SIGCHLD可以起作用