陈皓:一个fork的面试题

开发 项目管理 开发工具
前两天有人问了个关于Unix的fork()系统调用的面试题,这个题正好是我大约十年前找工作时某公司问我的一个题,我觉得比较有趣,写篇文章与大家分享一下。

前两天有人问了个关于Unix的fork()系统调用的面试题,这个题正好是我大约十年前找工作时某公司问我的一个题,我觉得比较有趣,写篇文章与大家分享一下。这个题是这样的:

题目:请问下面的程序一共输出多少个“-”?

  1. #include <stdio.h>  
  2. #include <sys/types.h>  
  3. #include <unistd.h>  
  4.    
  5. int main(void)  
  6. {  
  7.    int i;  
  8.    for(i=0; i<2; i++){  
  9.       fork();  
  10.       printf("-");  
  11.    }  
  12.    
  13.    return 0;  

如果你对fork()的机制比较熟悉的话,这个题并不难,输出应该是6个“-”,但是,实际上这个程序会很tricky地输出8个“-”。

要讲清这个题,我们首先需要知道fork()系统调用的特性,

●fork()系统调用是Unix下以自身进程创建子进程的系统调用,一次调用,两次返回,如果返回是0,则是子进程,如果返回值>0,则是父进程(返回值是子进程的pid),这是众为周知的。

●还有一个很重要的东西是,在fork()的调用处,整个父进程空间会原模原样地复制到子进程中,包括指令,变量值,程序调用栈,环境变量,缓冲区,等等。

所以,上面的那个程序为什么会输入8个“-”,这是因为printf(“-”);语句有buffer,所以,对于上述程序,printf(“-”);把“-”放到了缓存中,并没有真正的输出(参看《C语言的迷题》中的第一题),在fork的时候,缓存被复制到了子进程空间,所以,就多了两个,就成了8个,而不是6个。

另外,多说一下,我们知道,Unix下的设备有“块设备”和“字符设备”的概念,所谓块设备,就是以一块一块的数据存取的设备,字符设备是一次存取一个字符的设备。磁盘、内存都是块设备,字符设备如键盘和串口。块设备一般都有缓存,而字符设备一般都没有缓存

对于上面的问题,我们如果修改一下上面的printf的那条语句为:

  1. printf("-\n"); 

或是

  1. printf("-");  
  2. fflush(stdout); 

就没有问题了(就是6个“-”了),因为程序遇到“\n”,或是EOF,或是缓中区满,或是文件描述符关闭,或是主动flush,或是程序退出,就会把数据刷出缓冲区。需要注意的是,标准输出是行缓冲,所以遇到“\n”的时候会刷出缓冲区,但对于磁盘这个块设备来说,“\n”并不会引起缓冲区刷出的动作,那是全缓冲,你可以使用setvbuf来设置缓冲区大小,或是用fflush刷缓存。

我估计有些朋友可能对于fork()还不是很了解,那么我们把上面的程序改成下面这样:

  1. #include <stdio.h>  
  2. #include <sys/types.h>  
  3. #include <unistd.h>  
  4. int main(void)  
  5. {  
  6.    int i;  
  7.    for(i=0; i<2; i++){  
  8.       fork();  
  9.       //注意:下面的printf有“\n”  
  10.       printf("ppid=%d, pid=%d, i=%d \n", getppid(), getpid(), i);  
  11.    }  
  12.    sleep(10); //让进程停留十秒,这样我们可以用pstree查看一下进程树  
  13.    return 0;  

于是,上面这段程序会输出下面的结果,(注:编译出的可执行的程序名为fork)

  1. ppid=8858, pid=8518, i=0 
  2. ppid=8858, pid=8518, i=1 
  3. ppid=8518, pid=8519, i=0 
  4. ppid=8518, pid=8519, i=1 
  5. ppid=8518, pid=8520, i=1 
  6. ppid=8519, pid=8521, i=1 
  7.    
  8. $ pstree -p | grep fork  
  9. |-bash(8858)-+-fork(8518)-+-fork(8519)---fork(8521

面对这样的图你可能还是看不懂,没事,我好事做到底,画个图给你看看:

陈皓:一个 fork 的面试题

注意:上图中的我用了几个色彩,相同颜色的是同一个进程。于是,我们的pstree的图示就可以成为下面这个样子:(下图中的颜色与上图对应)

陈皓:一个 fork 的面试题

这样,对于printf(“-”);这个语句,我们就可以很清楚的知道,哪个子进程复制了父进程标准输出缓中区里的的内容,而导致了多次输出了。(如下图所示,就是我阴影并双边框了那两个子进程)

陈皓:一个 fork 的面试题

现在你明白了吧。(另,对于图中的我本人拙劣的配色,请见谅!)

原文链接:http://coolshell.cn/articles/7965.html

责任编辑:林师授 来源: 酷壳
相关推荐

2011-07-18 15:08:19

SQL存储过程

2023-06-20 08:25:53

NESTED源码mybatis

2011-08-17 10:28:53

多对多查询SQL Server

2012-07-16 01:20:09

代码效率

2014-06-12 08:53:01

团队团队效率

2013-07-25 10:28:46

加班工作效率职场

2018-04-26 11:23:01

Linuxfork程序

2021-03-16 08:56:35

Go interface面试

2009-06-06 18:34:05

java面试题

2012-06-21 09:43:45

2014-12-02 10:02:30

2024-03-12 09:34:01

2021-12-22 10:49:42

架构运维技术

2020-06-04 14:40:40

面试题Vue前端

2014-09-19 11:17:48

面试题

2014-02-24 10:45:00

2019-03-23 20:00:04

面试react.js前端

2012-02-02 10:35:12

C++

2021-06-02 12:12:46

DevOps面试Linux

2022-01-04 09:59:45

面试题字节存储
点赞
收藏

51CTO技术栈公众号