Os-04-1进程及线程.pdfVIP

第四章 进程管理 为了描述程序在并发执行时对系统资源的共享，我们需要一个 描述程序执行时动态特征的概念，这就是进程。在本章中，我 们将讨论进程概念、进程控制和进程间关系。 4.1 进程(PROCESS) 4.2 进程控制 4.3 线程(THREAD) 4.4 进程互斥和同步 4.5 进程间通信(IPC, INTER-PROCESS COMMUNICATION) 4.6 死锁问题(DEADLOCK) 4.7 进程其他方面的举例 4.1 进程(PROCESS) 4.1.1 程序的顺序执行和并发执行 4.1.2 进程的定义和描述 4.1.3 进程的状态转换 4.1.4 操作系统代码的执行 返回 4.1.1 程序的顺序执行和并发执行 • 程序的执行有两种方式：顺序执行和并发执 行。 – 顺序执行是单道批处理系统的执行方式，也用于 简单的单片机系统； – 现在的操作系统多为并发执行，具有许多新的特 征。引入并发执行的目的是为了提高资源利用率。 • 多道程序系统中程序执行环境的变化。 – 独立性（逻辑）； – 随机性（时间，事件）； – 资源共享（软件，硬件）； • 顺序执行的特征 – 顺序性：按照程序结构所指定的次序（可能有分支或循环） – 封闭性：独占全部资源，计算机的状态只由于该程序的控 制逻辑所决定 – 可再现性：初始条件相同则结果相同。如：可通过空指令 控制时间关系。 • 并发执行的特征 – 间断(异步)性：走走停停，一个程序可能走到中途停下 来，失去原有的时序关系； – 失去封闭性：共享资源，受其他程序的控制逻辑的影响。 如：一个程序写到存储器中的数据可能被另一个程序修 改，失去原有的不变特征。 – 失去可再现性：失去封闭性－失去可再现性；外界环境 在程序的两次执行期间发生变化，失去原有的可重复特征。 并发与并行 • 并发：一组逻辑上互相独立的程序或程序段在 执行过程中，其执行时间在客观上互相重叠， 即一个程序段的执行尚未结束，另一个程序段 的执行已经开始的这种执行方式。（时间段上 的同时） • 并行：一组程序按照独立的，异步的速度执行。 （时间点上的同时） 并发与并行概念的区别： 并发与并行概念的区别： concurrency, parallel concurrency, parallel 并发执行的条件：达到封闭性和可再现性 并发执行失去封闭性的原因是共享资源的影响，去掉这种影响 就行了。1966年，由Bernstein给出并发执行的条件。（这里没 有考虑执行速度的影响。） • 程序 P(i) 针对共享变量的读集和写集 R(i)和W(i) • 条件：任意两个程序P(i)和P(j) ，有： – R(i)∩W(j)=Φ; – W(i)∩R(j)=Φ; – W(i)∩W(j)=Φ; 前两条保证一个程序的两次读之间数据不变化；最后一条 保证写的结果不丢掉。 现在的问题是这个条件不好检查。 为了提高资源利用率，引入了多道并发； 并发引起对资源的共享； 共享相伴着竞争； 不加控制的并发由于失去封闭性和可再现 性而出现不希望的错误； 静态的程序段无法描述上述动态的概念， 也无法解决这些动态因素导致的问题，所 以引入动态的概念：进程（任务） 4.1.2 进程的定义和描述 1. 进程的定义 一个具有一定独立功能的程序在一个数据集合 上的一次动态执行过程。 • 它对应虚拟处理机、虚拟存储器和虚拟外设等 资源的分配和回收； • 引入多进程，提高了对硬件资源的利用率，但