(一)数据不共享
父子进程的堆区数据、栈区数据、全局数据是不共享的。
子进程变量赋值后父进程的值不变,父子进程各自拥有这一变量的副本,互相不影响。
通过一段代码研究一下父子进程的是否存在数据共享。
数据分成:堆区数据、栈区数据、全局数据。所以我现在有三个变量,同时,我让子进程改变这三个变量的值。让父进程沉睡两秒钟以确保子进程运行结束。
结果如下:
值发生了改变,说明父子进程的堆区数据、栈区数据、全局数据是不共享的。
(二)文件共享
fork()之前打开的文件描述符,文件描述符以及文件偏移量,都是共享的。
fork()之后,父子进程相互独立,单独执行。
通过一段代码研究一下父子进程的是否存在文件共享。
open当前录下的a.txt文件,a.txt文件中写“Hello World!”
让父子进程一起一个字节一个字节的读文件里字符,每读一次sleep一秒钟。
结果如下:
在linux源码里,每个进程都有一个PCB结构体,每个PCB里,存了一个结构体指针指向一个我们理解为文件描述符的结构体struct file,而这个结构体里,才存了文件的id,从什么地方开始写,模式等等。这个结构体里有一个指针是指向真正的文件的。
***
(a)malloc函数仅仅是开辟内存空间,真正开辟物理空间是在程序中使用开辟的空间时。
(b)fork()之后,写时拷贝技术。
fork()之后,子进程会拷贝父进程的PCB结构,然后对PCB里面的数据进行修改。父进程的页表直接拷贝给子进程。父子进程共享所有的数据空间。父子进程任意一个进程试图修改数据时,操作系统就会将要修改的数据所在的页直接复制出来。