程序的顺序执行
程序的并发执行
前驱图
进程的描述
进程的组织形式
进程与程序的区别
特性
进程的基本状态及转换
三种基本状态
- 就绪状态(Ready)
得到了除CPU以外的所有必要资源 - 执行状态(Running)
已获得处理机,程序正在被执行 - 堵塞状态(Waiting/Blocked,又称等待态)
因等待某事件发生而暂时无法继续执行,从而放弃处理机,使程序执行处于暂停状态
进程控制
进程通信
进程之间的信息交换
线程
线程是一个基本的CPU执行单元 ,也是程序执行流的最小单位
设置进程同步机制四条规则
进程在并发执行时为了保证结果的可再现性,各进程执行序列必须加以限制以保证互斥地使用临界资源,相互合作完成任务。多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次序上的协调关系的相应机制称为进程同步机制。
所有的进程同步机制应遵循下述四条准则:
- 空闲让进
当无进程进入临界区时,相应的临界资源处于空闲状态,因而允许一个请求进入临界区的进程立即进入自己的临界区。 - 忙则等待
当已有进程进入自己的临界区时,即相应的临界资源正被访问,因而其它试图进入临界区的进程必须等待,以保证进程互斥地访问临界资源。 - 有限等待
对要求访问临界资源的进程,应保证进程能在有限时间进入临界区,以免陷入“饥饿”状态。 - 让权等待
当进程不能进入自己的临界区时,应立即释放处理机,以免进程陷入忙等。
临界区
每个进程中访问临界资源的那段代码称为临界区(Critical Section)(临界资源是一次仅允许一个进程使用的共享资源)。每次只准许一个进程进入临界区,进入后不允许其他进程进入。不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。
多个进程中涉及到同一个临界资源的临界区称为相关临界区。.
处理机调度