在这种比较特殊的情况下，是否可能实现进程间的同步？

ChiyuT

在fork之后，子进程会执行某一小段代码，然后调用exec执行新进程（新进程的代码不能修改）。现在的问题是，exec有可能会执行失败，而父进程中的代码BBB，需要根据exec的执行情况（成功 or 失败）来做出某些决定。

父进程在不调用wait的情况下，是否有其它的办法来知道该信息？

请诸位多多指教，示意代码如下：

1. if ((pid = fork()) == 0）{
   
2. 
   
3.         AAA;
   
4. 
   
5.         if ( exec()) {
   
6.                 ;
   
7.         }
   
8. }
   
9. 
   
10. BBB;

复制代码

如果没有办法的话，恐怕就只能修改代码逻辑了。but最好不要这样。。。{:3_189:}

vupiggy

考虑用 vfork 吗？execve() 成功，vfork 返回，失败父进程还在睡觉 (linux 2.6.28的行为是这样)

ChiyuT

回复 2# vupiggy

谢谢，考虑过vfork，不过它的行为似乎让人不敢放心，感觉能不用的话就尽量不用吧。{:3_190:}

我用valgrind进行测试的时候，发现在valgrind里，即使是采用vfork，仍然是父进程先执行。怕了。不知道这是不是valgrind的bug{:3_199:}

MMMIX

回复 1# ChiyuT


    把你的 BBB 直接放到子进程的 exec() 后面不行么？

另外，exec() 外面那个 if 判断是多余的。若成功，exec() 根本就不返回；若失败，跟在 exec() 后面的代码才有意义。

deadlylight

exec失败之后给父进程发个信号

zylthinking

vfork 能够父进程先运行的概率比你看错了的概率小上不是一点半点， 在这里 vfork 肯定能用， 而且简直是合适无比

vupiggy

回复 3# ChiyuT
1. 内核提供了 vfork，你就要信任它，否则内核的所有接口你都可以怀疑，那程序还有法往下写吗？
2. 单从用户空间看 vfork 能否胜任你的需求的确有点可疑，这样吧，让代码说话：

1. 
   
2. /* 内核 do_fork() 函数 */
   
3. if (clone_flags & CLONE_VFORK) {
   
4.         p->vfork_done = &vfork;
   
5.         init_completion(&vfork);
   
6. }
   
7. ...
   
8. if (clone_flags & CLONE_VFORK) {
   
9.         freezer_do_not_count();
   
10.         wait_for_completion(&vfork);
    
11.         freezer_count();
    
12.         tracehook_report_vfork_done(p, nr);
    
13. }
    

复制代码

内核一定会让父进程睡觉，而且这个睡觉是 UNINTERRUPTIBLE，信号唤不醒地。父进程醒来只有两种可能，也就是内核里只有两个点调用 complete(&父进程的vfork_done)，一个在
mm_release()（另一个地方在 coredump_wait()，就不考虑了吧）。 mm_release() 只有两个地方调用，一个是 do_execve() |-> exec_mmap()-|> mm_release，另外一个是 do_exit() |-> exit_mm() |-> mm_release，也就是说，内核当且仅当经过这两个点会让父进程从 vfork() 返回，这和你从 manpage 里看到的描述是一样的。放心使用吧。

vupiggy

再多说一句关于 mm_release()，当 do_execve() 调用 mm_release() 的时候已经不可能再失败了（除非一种情况 --- 父进程 core dump，这个也不需要考虑），换句话说，子进程的 execve() 失败不会引起父进程的 vfork 返回，再换句话说，父进程从 vfork 返回，不是因为 execve 成功，就是因为子进程退出。

hunter_search

这样如何，如果exec失败，然后通过管道向父进程发送消息, 父进程可以用无阻塞的方式select管道，如果收到子进程发过来的消息，说明exec创建是失败的

ChiyuT

回复 4# MMMIX


因为对执行“成功”或者“失败”这两种情况都要分别做出反应，所以BBB放到exec后边显然不行。执行成功的话，BBB就没法执行了。

那个 if 判断是打算在exec失败后看能不能做点儿啥事儿，好通知父进程。。。