提个问题:如果进程在fork之前打开了一些文件,那么 fork 完之后,这些文件的描述符是共享的,还是不共享的?
父进程和子进程的空间是隔离的,所以,打开的文件也应该是不共享的吧?答案是NO;
假设现在是Linux32位系统,进程空间有4G的大小;这4G空间并不是完全隔离的;
实际上进程空间被分割为用户空间和内核空间。对于32 位 Linux 来说,从 0-3GB 的空间是用户空间,从 3GB - 4GB 是内核空间。对于一个进程来说,是绝对无法读写内核空间的;
或者说,进程的用户空间是隔离的,而内核空间是共享的;看起来有点像下面的图;
对于一个进程来说,它所有打开的描述符,都会有记录;
而且这些记录,保存该进程的 PCB 结构体中(PCB位于内核空间),该结构体有一个成员 struct file *flip[NR_OPEN],就保存了所有打开的文件;如下图:
这时候,struct file 中的 f_count 都会自增 1.
上图告诉我们的一个事实是,fork 完后的父子进程,共享 struct file 结构(因为该结构位于内核空间);在《APUE》 这本书中,把 struct file 称为文件表。