Linux文件IO open、dup、fork内核原理图解
2019-07-14 10:58发布
生成海报
Linux文件IO open、dup、fork内核原理分析
1、open一个文件
一个Linux进程启动后,会在内核空间创建一个PCB进程控制块,PCB是一个进程的私有财产。 这个PCB中有一个已打开文件描述符表,记录着所有该进程打开的文件描述符以及对应的file结构体地址。 默认情况下,启动一个Linux进程后,会打开三个文件,分别是标准输入、标准输出、标准错误分别使用了0、1 、2号文件描述符。 当该进程使用函数open打开一个新的文件时,一般会在内核空间申请一个file结构体,并且把3号文件描述符对应的file指针指向file结构体。 代码如下:testOpen.c#include
#include
#include
int main(int argc, char *argv[])
{
int fd = open("./log.txt", O_RDWR);
printf("new fd = %d
", fd);
} 原理图如下: process table entry就是进程的文件描述符表,file table entry用来记录文件的读写打开模式,当前文件偏移量,以及v-node指针。 v-node table entry是虚拟文件系统对应的文件节点,i-node是磁盘文件系统对应的文件节点。通过这两个节点就能找到最终的磁盘文件。 每一个进程只有一个process table entry,一般情况下默认使用 fd 0、fd1、fd2,新打开的文件log.txt将使用fd 3。2、两个进程同时open一个文件
两个进程同时open一个文件,这个时候的原理图如下: 因为现在是两个进程,所以process table entry进程控制块也是两个,每个进程控制块中各自维护一个张文件描述符表,同时打开一个文件的时候,都各自申请了一个file table entry。 由于打开的是同一一个文件,所以file table entry都指向了同一个v-node。 两个file table entry,怎么去证明呢?test2open.c#include
#include
#include
int main(int argc, char *argv[])
{
int fd = open("./log.txt", O_RDWR);
printf("new fd = %d
", fd);
printf("%ld
", lseek(fd, 0, SEEK_CUR));
write(fd, "123", 3);
sleep(5);
printf("%ld
", lseek(fd, 0, SEEK_CUR));
close(fd);
} file table entry中都保存了一个文件读写偏移量,如果是两个file table entry,那么两个进程读写位置是独立的,不受影响的。 上面的代码运行结果是:
$ ./a.out
new fd = 3
0
3
$ ./a.out
new fd = 3
0
3 两个进程都分配了fd 3 给新打开个文件,并且读写位置不受其他进程的影响 。如果受影响了话,进程1的读写位置要变成3和6.3 一个进程open两次同一个文件
一个进程open两次同一个文件,其实跟两个进程open一次的原理相同,都是调用了两次open,反正只要记住,调用一次open函数,就会创建一个file table entry。原理图如下: 由于只有一个进程,所以只有一个process table entry,open了两次,所以是两个file table entry 分别分配了fd 3与fd 4指向这两个结构体。代码如下:#include
#include
#include
int main(int argc, char *argv[])
{
int fd0 = open("./log.txt", O_RDWR);
int fd1 = open("./log.txt", O_RDWR);
printf("new fd0 = %d
", fd0);
printf("new fd1 = %d
", fd1);
write(fd0, "123", 3);
printf("fd0 lseek %ld
", lseek(fd0, 0, SEEK_CUR));
printf("fd1 lseek %ld
", lseek(fd1, 0, SEEK_CUR));
close(fd0);
close(fd1);
} 上面代码open了两次log.txt,创建了两个file结构体,验证方法还是通过判断读写位置是否是独立的。运行结果:new fd0 = 3
new fd1 = 3
fd0 lseek 3
fd1 lseek 0 结果已经说明一切了,修改fd0的读写位置不会影响fd1的读写位置。4、使用dup复制文件描述符
dup函数与open函数不同,open函数会创建一个file table,但是dup只是申请一个fd来指向一个已经存在的file table。原理图如下: 代码 testdup.c#include
#include
#include
int main(int argc, char *argv[])
{
int fd, copyfd;
fd = open("./log.txt", O_RDWR);
copyfd = dup(fd);
write(fd, "123", 3)
printf("fd lseek %ld
", lseek(fd, 0, SEEK_CUR));
printf("copyfd lseek %ld
", lseek(copyfd, 0, SEEK_CUR));
close(fd);
close(copyfd);
return 0;
}运行结果:$ ./a.out
fd lseek 3
copyfd lseek 3 结果证明只要操作了fd 或copyfd这两个文件描述符中一个的读写位置,就会影响到另一个文件描述符的读写位置。说明这两个文件描述符指向的是同一个file table。 需要注意的是,一旦dup了一次,就会file table引用计数加一,如果想要释放file table的内存,必须要把open以及所有dup出来的文件描述符都关闭掉。5、fork之后open
如果在调用fork之后调用一次open函数,由于fork之后会返回两次,一次父进程返回,一次子进程返回,那么这个时候其实是相当与两个进程分别调用了一次open函数打开同一个文件,与第二节中的原理相同。
代码如下:testforkopen.c#include
#include
#include
int main(int argc, char *argv[])
{
int pid = fork();
int fd = open("./log.txt", O_RDWR);
printf("pid %d %ld
", pid, lseek(fd, 0, SEEK_CUR));
write(fd, "123", 3);
sleep(5);
printf("pid %d %ld
", pid, lseek(fd, 0, SEEK_CUR));
close(fd);
}运行结果:$ ./a.out
pid 6112 lseek 0
pid 0 lseek 0
pid 6112 lseek 3
pid 0 lseek 3 可以看到父子进程的读写位置都是3,并不受影响。6 fork之前open
fork之前调用open函数,也就是只调用了一次,产生了一个fd以及file table,fork之后子进程的process table entry会从父亲进程中复制过来,文件描述表也复制过来了,那么子进程的fd指向的是同一个file table。原理图如下:代码如下:testopenfork.c#include
#include
#include
int main(int argc, char *argv[])
{
int fd = open("./log.txt", O_RDWR);
int pid = fork();
printf("pid %d %ld
", pid, lseek(fd, 0, SEEK_CUR));
write(fd, "123", 3);
sleep(5);
printf("pid %d %ld
", pid, lseek(fd, 0, SEEK_CUR));
close(fd);
}运行结果:$ ./a.out
pid 6388 lseek 0
pid 0 lseek 3
pid 6388 lseek 6
pid 0 lseek 6 父子进程都各自写入3字节,如果是两个file table,那么最终都应该打印的是3,而不是6,请与第5节进行对比。 需要注意的是:如果想要释放这个file table,也必须父子进程都close一次fd才会释放,如果不close,进程退出的时候会自动close掉所有的文件描述符。
打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮