在传统 Linux fork-exec 中使用 _exit() 和 exit() 有什么区别？
- 2024-10-29 08:35:00
- admin 原创
- 233
问题描述：
我一直在尝试弄清楚 Linux 内部如何使用 fork-exec 机制。一切都按计划进行，直到一些网页开始让我感到困惑。
据说子进程应该严格使用，_exit()而不是简单exit()或正常返回main()。
据我所知，Linux shell fork-execs 每一个外部命令；假设我上面说的是对的，结论是这些外部命令以及 Linux shell 内部发生的任何其他执行都无法正常返回！
维基百科和其他一些网页声称我们必须使用_exit()它来防止子进程导致删除父进程的临时文件，同时可能发生 stdio 缓冲区的双重刷新。虽然我理解前者，但我不知道缓冲区的双重刷新如何会对 Linux 系统造成危害。
我花了一整天的时间在这上面...感谢您的澄清。
解决方案 1：
当失败时，您应该使用_exit（或其同义词_Exit）中止子程序exec，因为在这种情况下，子进程可能会通过调用其处理程序、调用其信号处理程序和/或刷新缓冲区来干扰父进程的外部数据（文件）atexit。
出于同样的原因，您也应该_exit在任何不执行的子进程中使用exec，但这种情况很少见。
在所有其他情况下，只需使用exit。正如您自己部分指出的那样，Unix / Linux中的每个init进程（除了一个， ）都是另一个进程的子进程，因此_exit在每个子进程中使用意味着exit在之外是无用的init。
switch (fork()) {
case 0:
// we're the child
execlp("some", "program", NULL);
_exit(1); // <-- HERE
case -1:
// error, no fork done ...
default:
// we're the parent ...
}
解决方案 2：
exit()刷新 io 缓冲区并执行其他操作，例如运行由 注册的函数atexit()。exit()调用_end( )
_exit()只是结束进程而不执行该操作。_exit()例如，在创建守护进程时从父进程调用。
有没有注意到这main()是一个函数？有没有想过最初是什么调用了它？当 c 程序运行时，您正在运行的 shell 会将可执行路径提供给“exec”系统调用，并将控制权传递给内核，内核依次调用每个可执行文件的启动函数_start()，调用您的main()，当main()它返回时，然后调用某些 C 实现对&_end()使用了略有不同的名称..._end()`_start()`
exit()并_exit()调用_end()
通常情况下 - 对于每个main()应该只有一个exit()调用。（或在结束时返回main()）
解决方案 3：
exit() 位于 _exit() 的顶部，使用传统的 C 库。
有以下区别：
_exit() 不会刷新 stdio 缓冲区，而 exit() 会在退出之前刷新 stdio 缓冲区。
_exit() 不能执行清理过程，而 exit() 可以注册一些函数（即 on_exit 或 at_exit）来在程序退出之前需要执行某些清理过程。
exit(status) 只是将退出状态传递给 _exit(status)。建议无论何时执行 fork()，在子进程和父进程之间，一个使用 _exit()，另一个使用 exit()。
解决方案 4：
在 的子分支中
fork()，使用 通常是不正确的
exit()，因为这会导致 stdio 缓冲区被刷新 两次，并且临时文件被意外删除。
摘自：http: //www.unixguide.net/unix/programming/1.1.3.shtml
解决方案 5：
在 Unix 系统中，exit()和_exit()都用于终止进程，但它们的行为不同，特别是在处理进程终止和清理的方式上：
exit()：
* `exit()`是用于正常终止进程的标准 C 库函数。调用时`exit()`，它会执行以下操作：
+ 清理进程所占用的资源，包括关闭打开的文件描述符。
+ 刷新缓冲的 I/O 流（例如，，`stdout`）`stderr`。
+ 调用已注册的清理函数（使用`atexit()`）。
+ 将控制权返回给操作系统。
* `exit()`是一个更高级别的函数，在终止进程之前执行各种清理任务。_exit()：
* `_exit()`是一个系统调用，用于立即终止进程而不执行任何清理任务。当您调用时`_exit()`，它：
+ 立即终止进程，而不刷新缓冲区、关闭文件或运行清理代码。
+ 不执行已注册的`atexit()`函数或调用任何已注册的函数`on_exit()`。
+ 这个函数更加底层并且不执行任何类型的清理或完成。
