exit函数

exit函数使用很简单，效果就是退出一个进程(我觉得应该叫销毁一个进程，执行后这个进程就会被销毁).

exit的作用是终止一个进程，并释放其资源。注：exit不会使一个进程灰飞烟灭，前面我们在fork一个进程时候，谈到了进程资源，包括用户空间，进程信号表，文件和系统堆栈空间，执行exit以后进程进入一种僵死状态，不再会被系统调度，释放了除系统堆栈以外所有的资源。(就是保持了一个最小资源,用于父进程的检查)可能有人不太理解为什么不回收系统堆栈空间，下面是个人理解：第一：实现起来有难度，在CPU上运行的是进程不是代码，是进程自然需要一个task_struct来支持它的运行。exit也不例外，在运行exit的代码时候，它所属的进程的task_struct仍然是它需要毁灭的进程的PCB，如果它销毁task_struct，它将会如何执行呢，我想大概会报出段错误，从而导致系统的崩溃，而task_struct位置正是系统堆栈空间的低地址。第二，task_struct保存了信息可以留给父进程使用。不释放这部分空间未必是坏事。(玩笑，死人是没法处理自己的尸体的，都是被他人处理或者自然腐烂，有意义的就是有个坟墓或者传记给活人瞻仰，崇拜和精神寄托，所以坟墓是给活人用的).毕竟计算机资源有限，资源不释放最终会导致资源耗尽，关于僵死下的系统堆栈空间的释放是由父进程调用wait4来完成的。

下面就是exit的实现，我们将会依次看到进程在死亡前夕陆续释放自己的用户空间，进程信号表，文件资源，然后就是死亡前夕的检测工作，包括托孤(将自己所属的子进程托管给其他进程照料，主要是托管给系统初始化进程init)和从进程的关系网中撤离.sys_exit是exit的实现：
482  asmlinkage long sys_exit(int error_code)
483  {
484     do_exit((error_code&0xff)<<8);
485  }
下面就是do_exit的代码：首先看到的是返回是void至于NORET_TYPE就更不用管了，他被定义成了/**/,void就是不会返回了，exit自然不会返回，进程都被消亡了，他能返回到哪儿呢?
421  NORET_TYPE void do_exit(long code)
422 {
423     struct task_struct *tsk = current;
424
425     if (in_interrupt()) //中断进程不允许退出，否则麻烦大了，可以想象你调用了一个键盘驱动导致你的程序退出，你会怎么想？
426         panic("Aiee, killing interrupt handler!");
427     if (!tsk->pid) //0号进程是系统空转进程不允许退出
428         panic("Attempted to kill the idle task!");
429     if (tsk->pid == 1) //1号系统初始化进程不允许退出
430         panic("Attempted to kill init!");
431     tsk->flags |= PF_EXITING;
432     del_timer_sync(&tsk->real_timer); //进程退出之前可能设置了计时器，即将撤销时自然要撤销计时器，关于计时器作用，这里就不说明了
433
434 fake_volatile:
435      #ifdef CONFIG_BSD_PROCESS_ACCT
436     acct_process(code);
437      #endif
438     __exit_mm(tsk); //撤销存储空间
439
440     lock_kernel();
441     sem_exit(); //撤销信号量，信号量是用于进程通信的资源
442     __exit_files(tsk); //撤销打开文件
443     __exit_fs(tsk); //撤销工作目录
444     exit_sighand(tsk); //撤销信号处理表,这些资源撤销,可以看一下exit资源撤销
445     exit_thread(); //对于i386处理器，这是个一空的语句
446
447     if (current->leader)
448         disassociate_ctty(1);//如果一个进程是一个session的主进程，那么整个session与其主控制端要脱离
449
450     put_exec_domain(tsk->exec_domain);
451     if (tsk->binfmt && tsk->binfmt->module)
452         __MOD_DEC_USE_COUNT(tsk->binfmt->module);
453
454     tsk->exit_code = code;
455     exit_notify(); //通知父进程料理自己的后事，个人觉得像是自己在立遗嘱
456     schedule(); //从exit_notify中退出后，我们就处理掉了即将死亡进程和其它进程直接的关系，也通知了父进程回收工作，前面说过do_exit不返回就是由于schedule不会返回,正常情况下schedule是会返回的，它的作用是按照调度选择合适的进程来运行，而这里该进程已经僵死，不会再被运行，所以这里的schedule不会再返回
457     BUG();
458  /*
459   * In order to get rid of the "volatile function does return" message
460   * I did this little loop that confuses gcc to think do_exit really
461   * is volatile. In fact it's schedule() that is volatile in some
462   * circumstances: when current->state = ZOMBIE, schedule() never
463   * returns.
464   *
465   * In fact the natural way to do all this is to have the label and the
466   * goto right after each other, but I put the fake_volatile label at
467   * the start of the function just in case something /really/ bad
468   * happens, and the schedule returns. This way we can try again. I'm
469   * not paranoid: it's just that everybody is out to get me.
470   */
471     goto fake_volatile;
472 }