操作系统实验一 Linux基本环境及进程管理(4)

操作系统实验一 Linux基本环境及进程管理

如果fork( )调用成功，它向父进程返回子进程的PID，并向子进程返回0，即fork( )被调用了一次，但返回了两次。此时OS在内存中建立一个新进程，所建的新进程是调用fork( )父进程（parent process）的副本，称为子进程（child process）。子进程继承了父进程的许多特性，并具有与父进程完全相同的用户级上下文。父进程与子进程并发执行。

核心为fork( )完成以下操作：

（1）为新进程分配一进程表项和进程标识符

进入fork( )后，核心检查系统是否有足够的资源来建立一个新进程。若资源不足，则fork( )系统调用失败；否则，核心为新进程分配一进程表项和唯一的进程标识符。

（2）检查同时运行的进程数目

超过预先规定的最大数目时，fork( )系统调用失败。

（3）拷贝进程表项中的数据

将父进程的当前目录和所有已打开的数据拷贝到子进程表项中，并置进程的状态为“创建”状态。

（4）子进程继承父进程的所有文件

对父进程当前目录和所有已打开的文件表项中的引用计数加1。

（5）为子进程创建进程上、下文

进程创建结束，设子进程状态为“内存中就绪”并返回子进程的标识符。

（6）子进程执行

虽然父进程与子进程程序完全相同，但每个进程都有自己的程序计数器PC(注意子进程的PC开始位置)，然后根据pid变量保存的fork( )返回值的不同，执行了不同的分支语句。

四、参考程序

#include <stdio.h>

main( )

{

int p1,p2;

while((p1=fork( ))= = -1); /*创建子进程p1*/

if (p1= =0) putchar('b');

else

{

while((p2=fork( ))= = -1); /*创建子进程p2*/

if(p2= =0) putchar('c');

else putchar('a');

}

}

<运行结果>bca(有时会出现abc的任意的排列)

分析：从进程执行并发来看，输出abc的排列都是有可能的。

原因：fork()创建进程所需的时间虽然可能多于输出一个字符的时间，但各个进程的时间片的获得却不是一定是顺序的，所以输出abc的排列都是有可能的。

2.进程的控制

修改已编写的程序，将每个进程输出一个字符改为每个进程输出一句话，再观察程序执行时屏幕上出现的现象，并分析原因。

如果在程序中使用系统调用lockf（）来给每一个进程加锁，可以实现进程之间