关于vfork,exit(0),_exit(0)的思考

以下全都是用vfork!!!
/*********example1.c*****************/
  
#include<stdlib.h>
#include<unistd.h>
#include<stdio.h>
#include<sys/types.h>
  
int glob = 5;
  
int main()
{
         int var=10;
         pid_t pid;
  
         printf ( "befork vforkn" );
         if ((pid = vfork()) < 0)
         {
                 printf ( "errorn" );
                 exit(1);
         }
         else if (pid == 0)
         {
                 glob++;
                 var++;
                 _exit(0);
         }
         printf ( "pid = %d, glob = %d, var = %d" ,getpid(), glob,var);
         _exit(0);
}
  
编译:gcc -g -o example1 example1.c后
./example1
输出:before vfork
  
因为_exit(0)不进行任何处理直接退出。且是因为终端是行缓冲,则只有输出before vfork。
  
./example1 > output_example1
cat output_wxample1
输出:无
  
因为_exit(0)不进行任何处理直接退出。是重定向是全缓冲,则什么都没有输出。
  
  
  
  
/*********example2.c*****************/
  
#include<stdlib.h>
#include<unistd.h>
#include<stdio.h>
#include<sys/types.h>
  
int glob = 5;
  
int main()
{
         int var=10;
         pid_t pid;
  
         printf ( "befork vforkn" );
         if ((pid = vfork()) < 0)
         {
                 printf ( "errorn" );
                 exit (1);
         }
         else if (pid == 0)
         {
                 glob++;
                 var++;
                 exit(0);
         }
         printf ( "pid = %d, glob = %d, var = %d" ,getpid(), glob,var);
         exit(0);
}
  
编译:gcc -g -o example2 example2.c后
./example2
输出:before vfork
      pid=xxxxx,glob=6,var=11.
  
因为子进程中 exit (0)进行刷新缓冲,且将glob=6,var=11写如磁盘,还有其它的一些如关闭所有I/O流的处理再退出。且父进程有 exit (0),所以输出上面的结果。
  
./example2 > output_example2
cat output_example2
输出:同上。
  
因为重重定向,是全缓冲,且父子进程都有 exit (0),所以输出的结果同上。
  
  
  
  
  
/*********example3.c*****************/
  
#include<stdlib.h>
#include<unistd.h>
#include<stdio.h>
#include<sys/types.h>
  
int glob = 5;
  
int main()
{
         int var=10;
         pid_t pid;
  
         printf ( "befork vforkn" );
         if ((pid = vfork()) < 0)
         {
                 printf ( "errorn" );
                 exit(1);
         }
         else if (pid == 0)
         {
                 glob++;
                 var++;
                 _exit(0);
         }
         printf ( "pid = %d, glob = %d, var = %d" ,getpid(), glob,var);
         exit(0);
}
  
编译:gcc -g -o example4 example4.c后
./example3
输出:before vfork
      pid=xxxxx,glob=6,var=11.
  
因为子进程有_exit(0)不进行刷新缓冲,但是还是改变了glob与var的值,且glob=6,var=11,然后子进程结束了。然后再执行父进程中的 printf ,最后执行 exit (0),写入磁盘与清除缓冲,关闭I/O流,则输出上面的第二行。所以输出上面的结果。
  
  
./example3 > output_example3
输出:同上
  
因为重定向是全缓冲的,子进程修改,glob的值与var的值,使得glob=6,var=11,因为子进程中有_exit(0),所以子进程改变了值就退出程序了。然后父进程遇到 exit (0)就将数据写到磁盘。因而结果也是上面的。
   
  
  
/*********example4.c*****************/
  
#include<stdlib.h>
#include<unistd.h>
#include<stdio.h>
#include<sys/types.h>
  
int glob = 5;
  
int main()
{
         int var=10;
         pid_t pid;
  
         printf ( "befork vforkn" );
         if ((pid = vfork()) < 0)
         {
                 printf ( "errorn" );
                 exit (1);
         }
         else if (pid == 0)
         {
                 glob++;
                 var++;
                 exit(0);
         }
         printf ( "pid = %d, glob = %d, var = %d" ,getpid(), glob,var);
         _exit(0);
}
  
编译:gcc -g -o example4 example4.c后
./example4
输出:before vfork
      pid=xxxxx,glob=6,var=11.
  
这个输出比较特殊,照理论来讲,上面的输出的第二行是不应该输出的。但是见下面,按照APUE的说法,现代大部分实现都把IO流的关闭交给内核。再看标准,_exit对流的刷新或关闭也是实现相关的。
则 自己的linux系统 man _exit 则如下:
  
DESCRIPTION
   .......The function _Exit() is equivalent to _exit().
RETURN VALUE
   These functions do not return .
  
CONFORMING TO
   SVr4, POSIX.1-2001, 4.3BSD. The function _Exit() was introduced by C99.
  
NOTES
   .......Whether it flushes standard I/O buffers and removes temporary files created with tmpfile (3) is implementation dependent. ...........Whether any pending I/O is cancelled, and which pending I/O may be cancelled upon _exit(), is implementation-dependent.
  
SEE ALSO execve(2), exit_group(2), fork(2), kill(2), wait(2), wait4(2), waitpid(2), atexit (3), exit (3), on_exit(3), termios(3)
Linux 2001-11-17 _EXIT(2)
  
_exit(0),是否刷新标准I/O是依据现实的,而未决的I/O的关闭也是依据现实的。
  
也就可否理解为:_exit(0)上面的 printf 输出,有时有,有时无,依据内核自身处理来决定。
  
  
./example4 > output_example4
输出:同上
   
理由大概同上的。
  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
#ifndef CONFIG_HAVE_COPY_THREAD_TLS /* For compatibility with architectures that call do_fork directly rather than * using the syscall entry points below. */ long do_fork(unsigned long clone_flags, unsigned long stack_start, unsigned long stack_size, int __user *parent_tidptr, int __user *child_tidptr) { struct kernel_clone_args args = { .flags = (clone_flags & ~CSIGNAL), .pidfd = parent_tidptr, .child_tid = child_tidptr, .parent_tid = parent_tidptr, .exit_signal = (clone_flags & CSIGNAL), .stack = stack_start, .stack_size = stack_size, }; if (!legacy_clone_args_valid(&args)) //1.查找 pid 位图,为子进程分配新的 pid return -EINVAL; return _do_fork(&args); } long _do_fork(struct kernel_clone_args *args) { u64 clone_flags = args->flags; struct completion vfork; struct pid *pid; struct task_struct *p; int trace = 0; long nr; //2.关于进程追踪的设置 if (!(clone_flags & CLONE_UNTRACED)) { if (clone_flags & CLONE_VFORK) trace = PTRACE_EVENT_VFORK; else if (args->exit_signal != SIGCHLD) trace = PTRACE_EVENT_CLONE; else trace = PTRACE_EVENT_FORK; if (likely(!ptrace_event_enabled(current, trace))) trace = 0; } //3.复制进程描述符 p = copy_process(NULL, trace, NUMA_NO_NODE, args); add_latent_entropy(); if (IS_ERR(p)) return PTR_ERR(p); trace_sched_process_fork(current, p); pid = get_task_pid(p, PIDTYPE_PID); nr = pid_vnr(pid); if (clone_flags & CLONE_PARENT_SETTID) put_user(nr, args->parent_tid); if (clone_flags & CLONE_VFORK) { p->vfork_done = &vfork; init_completion(&vfork); get_task_struct(p); } //4.将子进程放在运行队列中父进程的前面 wake_up_new_task(p); /* forking complete and child started to run, tell ptracer */ if (unlikely(trace)) ptrace_event_pid(trace, pid); if (clone_flags & CLONE_VFORK) { //5.如果是 vfork() 的话父进程插入等待队列,挂起父进程直到子进程释放自己的内存地址空间 //(直到子进程结束或者执行新的程序) if (!wait_for_vfork_done(p, &vfork)) ptrace_event_pid(PTRACE_EVENT_VFORK_DONE, pid); } put_pid(pid); return nr; }加上注释
最新发布
06-11
#ifndef CONFIG_HAVE_COPY_THREAD_TLS /* For compatibility with architectures that call do_fork directly rather than * using the syscall entry points below. */ // 如果架构直接调用 do_fork 而不是使用下面的系统调用入口点,则需要兼容性。 long do_fork(unsigned long clone_flags, unsigned long stack_start, unsigned long stack_size, int __user *parent_tidptr, int __user *child_tidptr) { // do_fork 函数是创建一个新进程的主函数,传递给它一些参数,如标志、子进程栈的起始位置和大小、父子进程的 TID 等。 struct kernel_clone_args args = { .flags = (clone_flags & ~CSIGNAL), // 去除信号标志以获取其他标志 .pidfd = parent_tidptr, // 将新进程的 TID 存储在父进程的地址空间中 .child_tid = child_tidptr, // 将新进程的 TID 存储在子进程的地址空间中 .parent_tid = parent_tidptr, // 将父进程的 TID 存储在新进程的地址空间中 .exit_signal = (clone_flags & CSIGNAL), // 退出信号标志 .stack = stack_start, // 子进程栈的起始位置 .stack_size = stack_size, // 子进程栈的大小 }; if (!legacy_clone_args_valid(&args)) // 检查传递给 do_fork 的参数是否有效 return -EINVAL; return _do_fork(&args); // 调用 _do_fork 函数创建新进程 } long _do_fork(struct kernel_clone_args *args) { // _do_fork 函数是创建新进程的内部函数,它接受一个 kernel_clone_args 结构体作为参数,该结构体包含了创建进程所需的各种参数。 u64 clone_flags = args->flags; // 获取标志 struct completion vfork; // 用于 vfork 的完成量 struct pid *pid; // 进程 ID struct task_struct *p; // 新的进程描述符 int trace = 0; // 进程追踪标志 long nr; // 进程 ID // 关于进程追踪的设置 if (!(clone_flags & CLONE_UNTRACED)) { // 如果没有设置 CLONE_UNTRACED 标志,则可以追踪进程 if (clone_flags & CLONE_VFORK) trace = PTRACE_EVENT_VFORK; else if (args->exit_signal != SIGCHLD) trace = PTRACE_EVENT_CLONE; else trace = PTRACE_EVENT_FORK; if (likely(!ptrace_event_enabled(current, trace))) trace = 0; } // 复制进程描述符 p = copy_process(NULL, trace, NUMA_NO_NODE, args); add_latent_entropy(); if (IS_ERR(p)) return PTR_ERR(p); trace_sched_process_fork(current, p); pid = get_task_pid(p, PIDTYPE_PID); nr = pid_vnr(pid); if (clone_flags & CLONE_PARENT_SETTID) put_user(nr, args->parent_tid); if (clone_flags & CLONE_VFORK) { p->vfork_done = &vfork; init_completion(&vfork); get_task_struct(p); } // 将子进程放在运行队列中父进程的前面 wake_up_new_task(p); /* forking complete and child started to run, tell ptracer */ if (unlikely(trace)) ptrace_event_pid(trace, pid); if (clone_flags & CLONE_VFORK) { // 如果是 vfork() 的话,父进程插入等待队列,挂起父进程直到子进程释放自己的内存地址空间 //(直到子进程结束或者执行新的程序) if (!wait_for_vfork_done(p, &vfork)) ptrace_event_pid(PTRACE_EVENT_VFORK_DONE, pid); } put_pid(pid); return nr; } // 该代码段实现了创建新进程的功能,主要包括以下几个步骤: // 1. 查找 pid 位图,为子进程分配新的 pid。 // 2. 关于进程追踪的设置。 // 3. 复制进程描述符。 // 4. 将子进程放在运行队列中父进程的前面。 // 5. 如果是 vfork() 的话,父进程插入等待队列,挂起父进程直到子进程释放自己的内存地址空间(直到子进程结束或者执行新的程序)。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值