由fork产生的进程为子进程。fork的一个特性是父进程所有的打开文件描述符(file_struct)都被复制到子进程中,父子进程的每个相同的打开描述符共享一个文件表项如图。
在linux系统中的具体实现可用下图表示(说明:进程的fs_struct也会被复制,图中没有画出)。
这种共享的方式使父、子进程对同一个文件使用了同一个文件偏移量。如果父、子进程写到同一个文件描述符,但有没有任何形式的同步,那么它们的输出就会相互混合。在fork之后处理文件描述符有两种常见的情况:
(1)父进程等待子进程完成。在这种情况下,父进程无须对其描述符做任何处理。当子进程终止之后,它曾进行过读、写的人一个共享描述符的文件偏移量已经执行了相应的更新。
(2)父、子进程各自执行不同的程序段。这种情况下,在fork之后,父、子进程各自关闭它们不需使用的文件描述符,这样就不会干扰对方使用的文件描述符。这种方式是网络服务进程中常用的方式。
总结:父子进程共享“文件表项”(file对象),同dup一样,这会增加“文件达开计数”(file对象的引用计数),只不过fork增加的引用计数来自不同进程(父进程和子进程)中的描述符,dup增加的引用来自同一文件描述符。但父子进程独立运行后再打开的文件就不在共享file对象,这个两个独立进程打开文件情况一样。父子进程传递文件描述符和两独立进程传递描述符性质一样。
注:文件表项只有在所有引用它的fd(即文件描述符)全部关闭的情况下才会真正关闭。所以如上述情况,如果子进程关闭父、子进程共享的文件描述符后父进程仍可以使用对应的文件表项。