面试官,您确定要让我展开讲进程吗?,


本文转载自微信公众号「CS指南」,作者大白。转载本文请联系CS指南公众号。

大家好呀,我是大白!准备了好久,我的 Linux 系列文章终于和大家见面了。最近为了筹备 Linux 的文章,以程序员的视角看城市系列都没时间写了,最近不光读者催我,一些喜欢我城市系列文章的号主也在催我,哈哈。现在我的第一篇写 Linux 的文章终于写出来了,第二篇、第三篇会越来越快,质量也会越来越高,希望大家多多支持我呀!

面试中经常会被问到进程和线程的区别,你给面试官回答一个进程里包含许多线程他又不太高兴,嫌你答的太少了,要挂你。这个系列我们就以 Linux 中的进程和线程为例,好好的拆开讲一讲里面的细节。今天这篇文章先展开讲一讲 Linux 的进程是如何创建的。这个系列还会不断更新,欢迎持续关注呀!

Linux的进程是怎样创建的

Linux系统创建进程都是由已存在的进程创建的(除了0号进程),被创建的进程叫做子进程,创建子进程的进程就做父进程。这句话是不是有点熟悉,没错,Linux进程串起来也是一颗树的结构。就像下面这样:

在Linux中,为了创建一个子进程,父进程用系统调用fork来创建子进程。fork()其实就是把父进程复制了一份(子进程有自己的特性,比如标识、状态、数据空间等;子进程和父进程共同使用程序代码、共用时间片等)。

可以看下面这段代码:

  1. #include<stdio.h> 
  2. #include<unistd.h> 
  3.  
  4. int main() 
  5.     int p_num = 0; 
  6.     int c_num = 0; 
  7.     int pid = fork(); 
  8.     if(pid == 0) //返回的pid为0为子进程 
  9.     { 
  10.         c_num++; 
  11.     } 
  12.     else 
  13.     { 
  14.         p_num++; //返回的pid大于0为父进程 
  15.     } 
  16.     printf("p_num=%d, c_num=%d\n",p_num,c_num); 
  17.     printf("pid=%d\n",pid); 
  18.     return 0; 
  19. //运行结果如下所示 
  20. p_num=1, c_num=0 
  21. pid=36101 
  22. p_num=0, c_num=1 
  23. pid=0 

大家看,代码中调用了fork以后,之后的程序被执行了两遍。子进程和父进程各自的变量互相没有受到干扰。不过子进程和父进程执行的是相同的代码,子进程和父进程资源占用情况如下图所示:

大家可以看出,通过fork后,子进程并没有和父进程独立开,用的是相同的代码。另外还有一个问题时,这个时候子进程的时间片是和父进程一分为二来共享的。这样我创建子进程还有什么意义?为了彻底将父进程和子进程分离开来,就要用到一个系统调用 execv()。

看下面这段代码:

  1. //process.c 
  2. #include<stdio.h> 
  3. #include<unistd.h> 
  4.  
  5. int main() 
  6.     int pid = fork(); 
  7.     if(pid == 0) 
  8.     { 
  9.         execv("./test.o",NULL);  //test.o是一个经过编译的c语言文件,这里记得要放test.o的绝对路径 
  10.     } 
  11.     printf("This is parent process\n"); 
  12.     return 0; 
  13.  
  14. //test.c 
  15. #include<stdio.h> 
  16. int main() 
  17.     printf("This is child process"); 
  18.     return 0; 
  19.  
  20. //运行结果如下所示 
  21. This is parent process 
  22. This is child process 

通过上面的代码可以看出,从系统调用 execv() 后,子进程直接走自己的代码了,没有像前一段代码一样把后面的代码执行了两次。通过调用 execv(),子进程和父进程就基本分离开了。

结合系统继续看Linux的进程树是什么样的

好了,通过上面的介绍,大家应该对进程是怎么创建的有一定的了解。想继续学习的我们来接着上强度。

我们在 Linux 系统上通过 ps - ef 命令查看系统目前的进程:

  1. /[root@localhost lucas]# ps -ef 
  2. UID          PID    PPID  C STIME TTY          TIME CMD 
  3. root           1       0  3 21:41 ?        00:02:38 /usr/lib/systemd/systemd --s 
  4. root           2       0  0 21:41 ?        00:00:07 [kthreadd] 
  5. root           3       2  0 21:41 ?        00:00:00 [rcu_gp] 
  6. root           4       2  0 21:41 ?        00:00:00 [rcu_par_gp] 
  7. ... 
  8. rtkit       1151       1  0 21:41 ?        00:00:14 /usr/libexec/rtkit-daemon 
  9. root        1152       1  0 21:41 ?        00:00:00 /usr/sbin/ModemManager 
  10. avahi       1155       1  0 21:41 ?        00:00:06 avahi-daemon: running [linux 
  11. root        1159       1  0 21:41 ?        00:00:02 /usr/lib/systemd/systemd-mac 

我来解释上表是什么意思。

首先,每一个进程都要所属一个用户,UID 就是用户的标识符(通过 root 用户创建的进程 UID 就是 root,如果我自己创建的话就应该是我的用户名,比如我的名字 "dabai")。

其次每一个进程都要有一个 ID 来表示这个进程,PID 就表示的是当前进程的 id。

最后,上文提到除了 0 号进程,每一个进程都是由他的父进程创建的,PPID 就表示当前进程的父进程 id。

通过 0 号进程创建 1 号进程和 2 号进程,然后通过 1 号进程去创建用户态进程,再通过 2 号进程创建内核态进程,就生成了 Linux 进程树。

「什么是0号进程、1号进程以及2号进程?」。

0号进程:在内核初始化的过程中,会先通过指令 struct task_struct init_task = INIT_TASK(init_task) 创建 0 号进程。这是唯一一个没有通过 fork 或者 kernel_thread 产生的进程。是进程列表的第一个。但是这个进程不是实际意义上的进程,类似与链表头。所以虽然 0 号进程是在内核态创建的,但不能说 0 号进程是内核态的第一个进程,反而要说 2 号进程是内核态的第一个进程。

1号进程:通过调用指令 kernel_thread(kernel_init, NULL, CLONE_FS) 从内核态切换到用户态来创建的,1号进程是所有用户态的祖先。

2号进程:通过调用指令 kernel_thread(kthreadd, NULL, ClONE_FS | CLONE_FILES) 来创建,2号进程负责所有内核态的进程的调度和管理,是内核态所有进程的祖先。(注意,内核态不区分线程和进程,所以说进程和线程都可以,都是任务)

「为什么要先创建 0 号进程,而不直接创建 1 号进程?」

现在对于为什么要先创建 0 号进程而不直接创建1号和2号进程有许多讨论。我认为...算了,我不认为了,一展开讲这篇文章又收不了尾了,以后可以专门写一篇文章来论述这里。简单来说就是Linux 的第一个进程不适合是一个真进程,需要一个没有数据之类东西的假进程。

「为什么要区分用户态和内核态?」

因为有了多个进程,对于关键资源来说,就会产生争用以及误操作破坏资源等情况。这时就需要对资源的访问权限进行一定的限制。x86 提供了分层的权限机制,内核态具有最高的访问权限,而用户态访问核心资源时必须要切换到内核态才可以访问。

好了,我看了下字数,这篇文章已经不少了,接下来我还会继续去分享进程和线程的更多细节,也会根据读者的反馈在已完成的文章上不断完善,欢迎大家持续关注呀!

参考资料:

Linux进程的创建与管理:https://blog.csdn.net/qq_38410730/article/details/81193118

极客时间:《趣谈Linux操作系统》

相关内容