并发进程详稿(12学时)辩析.doc

引言：本章第一节首先介绍并发的概念和进程并发执行带来的问题，同时指出并发进程之间的关系(无关的并发进程和相关的并发进程)和判断进程是否相关的Berstein条件。特别对于相关的并发进程，可用互斥的方法解决进程间的竞争关系；用同步的方法解决进程间的合作关系。第二节中介绍实现互斥的软件方法和硬件机制。实现互斥的软件方法有Dekker算法和Pertenson算法，也可通过禁止中断或采用特殊的硬件指令等硬件机制来支持互斥。第三节介绍用信号量和PV原语来实现进程的互斥和同步。在这一节中我们还将介绍一些进程同步和互斥的经典问题。第四节简单介绍管程的概念以及用管程来实现进程的同步和互斥。最后一节中我们将讨论在并发处理中通常需要解决的两个问题死锁和饥饿，并分析处理死锁的三种常用方法：预防、检测和避免。本章是操作系统课程的精华，也是学习的最大难点。 4.1 并发的基本原理 一、再论进程的并发性 1. 顺序程序设计 传统的程序设计方法是顺序程序设计，即把一个程序设计成一个顺序执行的程序模块，不同程序也是按序执行的。程序执行不仅具有内部顺序性，也具有外部顺序性。 首先程序中包含了用来实现某个算法的若干操作，当程序在处理器上执行时，只有前一个操作结束，才能开始后继操作，称为程序内部的顺序性。 如果需要若干不同的程序来完成某个任务，则这些不同程序也将按调用次序严格有序执行，称为程序外部的顺序性。 2