互斥与同步.pptVIP

操作系统原理  第8章 互斥与同步 7章的重点 深刻理解进程的概念,进程与程序,线程,作业的区别 进程的状态及转化,进程控制块 进程是如何并发执行的 进程的原语及功能 线程的基本概念 操作系统进程管理的内容 进程管理 并发性 管理进程和线程的基本问题是并发性（concurrency），这是操作系统设计的基础。它涉及资源的共享或争用、多个进程活动的同步与互斥、进程间的通信等。 进程的并发问题在多种环境中出现，如： 多道程序技术：管理单处理机系统中的多个进程。 多处理技术：管理多处理机系统中的多个进程。 分布式处理技术（包括集群）：管理多台分布式计算机中多个进程的执行。 进程间的相互作用 进程中的资源争用 当一个进程获得资源时，另一进程必须等待。这种情况需要通过互斥（Mutual Exclusion）机制来解决。 进程间通过共享的合作 一个进程等待另一进程的执行，并以另一进程的执行结果作为本进程的执行条件，就形成了同步（Synchronization）机制。 进程间通过通信的合作 通信提供了同步和协调各种活动的方法，如：各种类型的消息、发送和接收消息的原语（或者程序）以及由操作系统的系统内核提供的通信功能。 关于互斥 互斥（mutual exclusion）是一组并发进程中的一个或多个程序段，因共享某一共有资源而导致他们必须以一个不允许交叉执行的单位执行。 若干进程访问某一资源时，任何时刻只允许一个进程使用。其它要使用该资源的进程必须等待，直到占用者释放了该资源。 互斥的进程间逻辑上完全独立，对共享资源没有时间顺序的特征。谁先申请，谁就先获得资源。 临界资源和临界区 临界资源critical resource一次只能允许一个进程访问的资源称为临界资源。 临界区 critical section每个进程访问临界资源的那段程序称为临界区。 同步与互斥 基本概念 同步工具 硬件指令 信号量与P、V操作 程序设计语言中的某些机制 基本概念 同步 进程之间的一种通信方式，有时序上的制约关系，或者说是进程之间为了协同工作而存在的一种等待关系。 互斥 进程之间对临界资源的一种竞争关系，排他性地对资源的访问方式。 同步工具 同步机制：用于控制进程之间的同步与互斥。 硬件指令：test-and-set（lock） 功能表示如下： test-and-set(lock) begin a:=lock; If lock=0 then lock :=1; reutrn(a) end 其中：lock是内存单元。 应用举例 信号量 信号量：仅能由P、V操作修改的整型变量。 P操作 P操作：申请资源操作 (1)?S:=S-1； (2)?如果S≥0，则表示有资源，该进程继续执行；如果S0，则表示已无资源，执行原语的进程被置成阻塞状态，并使其在S信号量的队列中等待，直至其他进程在S上执行V操作释放它为止。 V操作 V操作：释放资源操作 (1)? S:=S+1； (2)?如果S0，则该进程继续执行；如果S≤0，则释放S信号量队列的排头等待者并清除其阻塞状态，即从阻塞状态转变到就绪状态，执行V(S)者继续执行。 用P、V操作实现互斥  用信号量实现进程同步 两个经典的同步/互斥问题 生产者与消费者 读者与写者 生产者与消费者问题 模型的抽象化与进程分析 经典的进程同步问题 生产者——消费者问题（Producer-Consumer） Producer：P(available), available=n-1; P(mutex), mutex=0; … V(full),full=1;V(mutex), mutex=1Ponsumer：P(full),full=0; P(mutex),mutex=0; … V(avail),available=n; V(mutex),mutex=1 注意：P操作位置和顺序不能错，否则会发生死锁。 Ponsumer：P(mutex),mutex=0; P(full),full= -1,阻塞；Producer：P(available),available=n-1; P(mutex),mutex= -1,阻塞 生产者/消费者算法描述1 var mutex，empty，full：psemaphore； i,j，goods：integer；buffer：array [0…n-1] of item； procedure producer； 生产者进程 begin while true do