第2章节-进程与处理机的管理.pptVIP

2.1.4 UNIX系统中的进程状态及转换 进程状态分为九种： 用户运行态、系统运行态、内存就绪、内存睡 眠、外存就绪、外存睡眠、被抢先、创建态、 僵死态。 进程的状态转换图见图2-3 2.2.6进程的调度 当正在CPU上运行的进程运行结束，或用完分给 它的时间片，或因为申请某一条件得不到满足时 就要放弃CPU，这是操作系统就要选择新的进程 到CPU上运行，这正是进程调度原语要完成的工 作。进程调度原语首先找到就绪队列的首指针， 按照调度算法所规定的选择原则选中一个就绪进 程，将该进程的PCB块的状态由就绪改为运行， 然后使其推出就绪队列，设置该进程的CPU现场 参数，该进程便进人运行状态。 线程的引入 传统操作系统中，进程具有两个属性：① 作为独立调度 和分派的基本单位；② 作为可以独立拥有资源的基本单 位，这是进程并发执行的基础。为了对进程的并发执行 进程管理，操作系统必须进行进程的创建、撤销和切换 等进程控制工作，所以系统用于进程控制的开销往往较 大，影响资源利用率，为了提高进程的并发程度并减少 系统开销，现代操作系统讲进程的两个属性分开处理， 所以引入线程的概念。 线程的属性： 轻型实体 基本不用有系统资源，只拥有一点必不可少的资源。 独立调度和分派的基本单位 能独立运行，由于线程很“轻”，所以切换快开销小。 可并发执行 不仅属于不同进程的线程可以并发执行，同一个进程的多个线程也可以。 共享进程资源 线程控制 线程控制与进程控制类似，操作系统同样用一个 数据结构线程控制块TCB来管理线程，线程的运 行具有间断性、也有运行、就绪和阻塞等状态， 操作体统对线程的控制也是通过内核的一系列原 语实现，当一个进程的线程之一在运行时该进程 就处于运行态，另外一个进程被挂起和激活时， 属于该进程的所有线程都将被挂起或者激活。 2.4.1进程之间的相互制约关系 资源共享关系，又称间接制约关系，指进程之间本来彼此无关，但因为共享系统的资源而产生相互制约关系。如共享CPU、内存等。 进程合作关系，又称直接制约关系，指多个进程之间具有合作关系，用于完成共同的任务，比如一个作业的输入、计算和输出进程之间必然是合作关系，它们必须按一定次序执行。 2.4.2进程同步的概念 所谓进程同步，是指对多个相关进程在执行顺序 上的协调，操作系统中用于保证这种协调关系的 相应的机制成为进程同步机制。 对于资源共享关系的进程应该保证多个并发进程 互斥的访问临界资源；而对于相互合作的进程， 应该保证它们在执行次序上的协调。 2.4.3进程的互斥关系 临界资源：在多个进程竞争同一个资源时，资源的类型 决定着操作体统对资源的分配方式，有的资源是可以被 同时访问的共享资源，有些资源却只能被一个进程独占 ，我们把这种一次只能被一个进程访问的资源称为临界 资源，如独占设备、内存中的公共数据结构、公共变量 等。 临界区：进程中访问临界资源的程序段叫临界区进程一 旦进入临界区就必须实现对临界资源的独占使用，也就 是说多个进程应该互斥地进入临界区。 注意：用户编制程序时，并不确定所编制的程序 是否临界区，对于临界区的判定是操作系统进行 的，当操作系统发现某段程序是使用系统所规定 某个临界资源的程序段时，就将其确定为临界区 然后在临界区的开始和结束的地方做相应的处理 使得该进程处于临界区时其他进程不能进入相同 临界资源的临界区。 进程互斥：就是若干进程竞争进入临界区时相互 之间形成的排他性关系，对临界区的实现表现为 互斥关系的实现。 当一个进程进入临界区时，其他进程必须等待， 直到临界区的进程数为0。 一组并发进程互斥执行时必须满足以下准则： 1.空闲让进 2. 忙则等待 3.有限等待 4. 让权等待 空闲让进。当没有进程处于临界区时，可以允许 一个请求进入临界区的进程立即进入临界区。 忙则等待。当已有进程进入临界区时，其他试图 进入临界区的进程必须等待。 有即等待。对要求访问临界资源的进程，应保持 能在有限时间内进入临界区，以免出现“死等”。 让权等待。当进程不能进入临界区时，应释放处 理机，以免出现“忙等”。 2.4.4进程互斥关系的实现 互斥的加锁实现 当某个进程进入临界区之后，它将锁上临界区，直到它退出临界区时为止。并发进程在申请进入临界区时，首先测试该临界区是否是上锁的。如果该临界区已被锁住，则该进程要等到该临界区开锁之后才有可能获得临界区。 加锁后的临界区程序描述如下： lock(key ［Ｓ］) 〈临 界 区〉 unlock(key ［Ｓ］) 设key ［Ｓ］=1时表示类名为Ｓ的临界区可用，key ［Ｓ］=0时表示类名为Ｓ的临界区不可用。则，unlock(key ［Ｓ］)只用