进程状态转换

进程状态转换

两状态进程模型

进程的三种基本状态

运行状态

就绪状态

阻塞状态

三状态进程模型

1. 后备 -> 就绪
2. 就绪 -> 运行
3. 运行 -> 阻塞
4. 运行 -> 就绪
5. 阻塞 -> 就绪
6. 运行 -> 完成

加入两种扩展的挂起状态

==挂起：==将内存中当前尚不能运行的进程调到外存上去，腾出来的空间接纳更多的进程。
挂起某些暂时不能运行的进程，目的是腾出内存装入更多进程，使CPU忙碌起来
挂起阻塞状态
挂起就绪状态

加入两个挂起状态的状态转换图

Linux2.4版本中进程的6种状态

进程的创建与撤销

进程从产生到消亡的整个过程中都是由操作系统来控制的
操作系统中实现进程控制的功能程序——“原语”
原语：指机器指令构成的一种实现特定功能的小程序，它的运行具有不可分割性。
特点：贴近地层；最重要的；运行过程具有原子性（不可中断）；系统小程序。
其中资源互斥与同步用的原语：解决资源互斥访问的，主要有P操作原语和V操作原语。

进程创建原语

何时导致创建原语运行？

• 批作业调度
• 交互作业提交
• 系统提供服务
• 用户程序创建子进程

如何创建？

进程撤销原语

何时？

如何？

父进程和子进程

进程家族树
父进程：执行过程中创建了其它进程的进程
子进程：被父进程创建的进程
子子进程……
fork（）函数说明

父进程创建子进程

Unix中，父进程通过系统调用fork（）创建子进程，子进程继承父进程资源，父子进程各自独立；
 父子进程各自拥有自己的PCB、内存用户区、临时资源等，各自参与CPU调度。

从fork中返回时，测试返回参数：
若值为零，则是子进程，可以转移到相应的用户程序中继续执行；
若值不为零（子进程的PID），则是父进程，继续执行主程序。