fork :进程创建
fork函数的特点:
fork 函数调用一次,返回两次。在父进程中返回子进程的 pid(非 0 值),在子进程中返回 0。
fork 之前打开文件描述符,父子进程共享 fork 之前打开文件的读写偏移量,因此在 fork 之前打开文件时要特别小心,尽量在父子进程分别打开文件。
子进程从 fork 之后的代码父子进程都会执行。只有子进程执行的代码,必须放到 if( n==0 ) 块中,父进程执行的放到 else 中。
fork 生成的子进程后,子进程与父进程谁先运行是不确定的。fork 函数执行完成,则子进程和父进程都是独立运行的。
fork 之后,采用写时拷贝技术:
1、子进程会拷贝父进程的 PCB 结构,然后对 PCB 里面的数据做修改。父进程的页表直接拷贝给子进程。父子进程共享所有的数据空间
2、fork 之后父子进程共享所有的数据段,代码段,但是内核会将这些空间设为只读的,如果父子进程任意一个程序试图修改数据,则会将修改的数据所在的那一页拷贝一份。
int main()
{
if(fork()||fork())
{
printf("A\n");
}
else
{
printf("B\n");
}
}
输出 2 个 A 1 个 B
int main()
{
int i=0;
for(;i<2;i++)
{
if(fork()==0)
{
printf("A\n");
}
else
{
printf("B\n");
}
}
}
输出 3 个 A 3 个 B
int main()
{
int i=0;
for(;i<2;i++)
{
if(fork()==0)
{
printf("A");
}
else
{
printf("B");
}
}
}
输出 4 个 A 4 个 B
进程中的局部变量、全局变量、堆区变量不共享,fork 之前的文件描述符共享,共享的是读写偏移量
fork 之后,进程的代码段、数据段永远共享,因为进程使用了写时拷贝技术
文件描述符:
父进程创建子进程时,子进程的 PCB 是父进程的 PCB 浅拷贝复制而来。如果子进程在 fd 读取了 5 个字节,父进程的 struct file 里面的 f_pos 也往后移动了 5 个字节,因此父子进程的文件描述符共享
两个相同的指针指的位置有可能是不一样的。父子进程是不同的进程,有不同的 4G 虚拟地址空间,但是可以指向同一个地址是因为 PCB 等在操作系统的内核空间,由操作系统进行地址映射,维护页表等行为。
如下图所示,fork 之前打开文件描述符,父子进程的 struct file 共享,父子进程共享 fork 之前打开文件的读写偏移量。
全局变量:
堆区变量:
malloc 函数仅仅开辟虚拟空间,真正开辟物理空间是在程序中使用开辟的空间时