Linux进程控制fork原语

16 篇文章 0 订阅
 

fork概述

1)fork()系统调用是创建一个新进程的首选方式,fork的返回值要么是0,要么是非0,父进程与子进程的根本区别在于fork函数的返回值.
2)vfork()系统调用除了能保证用户空间内存不会被复制之外,它与fork几乎是完全相同的.vfork存在的问题是它要求子进程立即调用exec,
而不用修改任何内存,这在真正实现的时候要困难的多,尤其是考虑到exec调用有可能失败.
3)vfork()的出现是为了解决当初fork()浪费用户空间内存的问题,因为在fork()后,很有可能去执行exec(),vfork()的思想就是取消这种复制.
4)现在的所有unix变量都使用一种写拷贝的技术(copy on write),它使得一个普通的fork调用非常类似于vfork.因此vfork变得没有必要.

 

  1. #include <sys/types.h>   
  2. #include <unistd.h>   
  3. /* 
  4. 功能:复制进程 
  5. 参数:无 
  6. 返回值:  成功:  父进程:返回子进程id 
  7.                 子进程:返回0 
  8.          失败:  返回-1 
  9. */  
  10. pid_t fork(void);  

由fork创建的新进程被称为子进程(child process)。该函数被调用一次,但返回两次。两次返回的区别是子进程的返回值是0,而父进程的返回值则是新进程(子进程)的进程 id。将子进程id返回给父进程的理由是:因为一个进程的子进程可以多于一个,没有一个函数使一个进程可以获得其所有子进程的进程id。对子进程来说,之所以fork返回0给它,是因为它随时可以调用getpid()来获取自己的pid;也可以调用getppid()来获取父进程的id。(进程id 0总是由交换进程使用,所以一个子进程的进程id不可能为0 )。

fork之后,操作系统会复制一个与父进程完全相同的子进程,虽说是父子关系,但是在操作系统看来,他们更像兄弟关系,这2个进程共享代码空间,但是数据空间是互相独立的,子进程数据空间中的内容是父进程的完整拷贝,指令指针也完全相同,子进程拥有父进程当前运行到的位置(两进程的程序计数器pc值相同,也就是说,子进程是从fork返回处开始执行的),但有一点不同,如果fork成功,子进程中fork的返回值是0,父进程中fork的返回值是子进程的进程号,如果fork不成功,父进程会返回错误。
可以这样想象,2个进程一直同时运行,而且步调一致,在fork之后,他们分别作不同的工作,也就是分岔了。这也是fork为什么叫fork的原因

至于那一个最先运行,可能与操作系统(调度算法)有关,而且这个问题在实际应用中并不重要,如果需要父子进程协同,可以通过原语的办法解决。

 

一个fork例子

  1. #include <unistd.h>   
  2. #include <sys/types.h>   
  3. #include <stdio.h>   
  4. int main(void)  
  5. {  
  6.     pid_t pid;  
  7.     pid=fork();  
  8.     switch (pid)  
  9.     {  
  10.     case -1:  
  11.         perror("fork error");  
  12.         exit(1);  
  13.     case 0:  
  14.         printf("I am the child process, my process id is %d/n", getpid());  
  15.         break;  
  16.     default:  
  17.         printf("I am the parent process, my process id is %d/n", getpid());  
  18.         break;  
  19.     }  
  20.      return 0;  
  21. }   

要搞清楚fork的执行过程,就必须先弄清楚操作系统中的“进程(process)”概念。一个进程,主要包含三个元素:
o. 一个可以执行的程序;
o. 和该进程相关联的全部数据(包括变量,内存空间,缓冲区等等);
o. 程序的执行上下文(execution context)。

不妨简单理解为,一个进程表示的,就是一个可执行程序的一次执行过程中的一个状态。操作系统对进程的管理,典型的情况,是通过进程表完成的。进程表中的每一个表项,记录的是当前操作系统中一个进程的情况。对于单 CPU的情况而言,每一特定时刻只有一个进程占用 CPU,但是系统中可能同时存在多个活动的(等待执行或继续执行的)进程。
一个称为“程序计数器(program counter, pc)”的寄存器,指出当前占用 CPU的进程要执行的下一条指令的位置。
当分给某个进程的 CPU时间已经用完,操作系统将该进程相关的寄存器的值,保存到该进程在进程表中对应的表项里面;把将要接替这个进程占用 CPU的那个进程的上下文,从进程表中读出,并更新相应的寄存器(这个过程称为“上下文交换(process context switch)”,实际的上下文交换需要涉及到更多的数据,那和fork无关,不再多说,主要要记住程序寄存器pc记录了程序当前已经执行到哪里,是进程上下文的重要内容,换出 CPU的进程要保存这个寄存器的值,换入CPU的进程,也要根据进程表中保存的本进程执行上下文信息,更新这个寄存器)。
好了,有这些概念打底,可以说fork了。当你的程序执行到下面的语句:pid=fork(); 

操作系统创建一个新的进程(子进程),并且在进程表中相应为它建立一个新的表项。新进程和原有进程的可执行程序是同一个程序;上下文和数据,绝大部分 就是原进程(父进程)的拷贝,但它们是两个相互独立的进程!此时程序寄存器pc,在父、子进程的上下文中都声称,这个进程目前执行到fork调用即将返回(此时子进程不占有CPU,子进程的pc不是真正保存在寄存器中,而是作为进程上下文保存在进程表中的对应表项内)。问题是怎么返回,在父子进程中就分道扬镳。

(假设父进程一直占据CPU,实际情况很可能不一样)父进程继续执行,操作系统对fork的实现,使这个调用在父进程中返回刚刚创建的子进程的pid(一个正整数),所以下面的swtich语句中执行了default分支(case -1,case 0分支都不满足)。所以输出I am the parent process...

子进程在之后的某个时候得到调度,它的上下文被换入,占据 CPU,操作系统对fork的实现,使得子进程中fork调用返回0,所以在这个进程(注意这不是父进程了哦,虽然是同一个程序,但是这是同一个程序的另外一次执行,在操作系统中这次执行是由另外一个进程表示的,从执行的角度说和父进程相互独立)中pid=0。这个进程继续执行的过程中,switch语句中 case -1不满足,但是case 0是满足。所以输出I am the child process..

 

程序的运行结果(先输出I am the parent process...,还是I am the parent process...)不可预见,与操作系统实际运行情况有关!

fork命令解析

fork,是分叉的意思。也就是说,它会起到一个“分叉”的作用。在Unix操作系统中,常常会用它来产生新的进程。那调用fork到底会发生什么呢?首先,父进程会和子进程共用一段代码段,而数据段和堆栈段则会由父进程复制copy一份给子进程。当产生完毕,实际上父进程和子进程已经是两个独立的进程,特别是数据段是分开的(虽然一开始是一样的,但经过各自的操作后,是可以变得不同的),并不共享数据。

  如果fork成功,子进程中fork的返回值是0,父进程中fork的返回值是子进程的进程号,如果fork不成功,父进程会返回错误。在这段程序代码,我们也许会产生误解。看到if-else结构,我们会以为这里分成3段,pid<0、pid==0和pid>0,当满足某一个条件时就会实现某一段程序。但实际并非如此。

  我们可以这样认为,如果没有wait函数,父进程和子进程是并行运行的,而且步调一致(至于真正谁运行先,就要看具体的操作系统)。在fork之后,它们进行不同的工作。而返回的pid,只是用来区分是父进程而是子进程。

进程控制的主要任务,是对系统中所有进程从创建到消亡的全过程实行有效的管理和控制。这意味着它不仅对进程状态变化加以管理和控制,而且具有创建新进程和撤消已完成任务的进程的能力。

    为了对进程进行控制,在操作系统中必须设置一个机构,它具有创建进程、撤消进程以及其他管理功能。这是操作系统中最常用、最核心的内容,常称为 内核。内核是计算机硬件的第一层扩充软件。是操作系统的管理和控制中心,其功能往往是通过执行各种原语操作来实现的。所谓原语是由若干条机器指令构成的程序模块,它是用于完成特定功能的一段程序。为了保证操作的正确性,原语在执行期间不可分割。原语一旦开始执行,直到完毕之前,是不允许中断的。在操作系统中,用于进程控制的原语主要有创建原语、撤消原语、阻塞原语、唤醒原语。
1、创建原语
      在实际系统中创建一个进程有两种方法:一是由操作系统建立,0#进程就是由操作系统建立的;二是由其他进程创建一个新的进程。基本操作都是一样的。创建进程原语总是先为新建进程申请一空白PCB,并为之分配唯一的数字表示符,使之获得PCB的内部名称,若该进程所对应的程序不在内存中,则应将它从外存储器调入内存,并将该进程有关信息填入PCB中,然后置该进程为就绪状态,并将它排入就绪队列和进程家族队列中。
2、撤消原语
      撤消进程的实质是撤消进程存在标志——进程控制块PCB。一旦PCB被撤消,进程就消亡了。撤消原语的操作过程大致如下:以调用者提供的标志符n为索引,从该进程所在的队列,将它从该队列中消去,并撤消属于该进程的一切“子孙进程”,若有父进程则从父进程PCB中删除指向该进程的指针,并释放撤消进程所占用的全部资源,或则将其归还给其父进程,或则归还给系统。若被撤消的进程处于执行状态,应立即中断该进程的执行,并设置调度标志为真,以指示该进程被撤消后系统应重新调度。
3、阻塞原语
    阻塞原语的大致工作过程如下:开始时,进程正处于执行状态,因程的CPU现场,然后把阻塞状态赋予该进程,并将它插入到具有相同实体的阻塞队列中。
4、唤醒原语
    一进程因为等待事件的发生而处于阻塞状态,当等待的事件完成后,进程又具有了继续执行的条件,这时就要把该进程从阻塞状态转变为就绪状态。这个工作由唤醒原语来完成。
    唤醒原语执行的操作有:先把被唤醒进程从阻塞队列中移出,设置该进程当前状态为就绪状态,然后再将该进程插入到就绪队列中。

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值