操作系统 第5章 并发性：互斥和同步.pptVIP

第5章 并发性：互斥和同步 主要内容 5.1 并发的原理 5.2 互斥：硬件的支持 5.3 信号量 5.4 管程 5.5 消息传递 5.6 读者/写者问题 与并发相关的关键术语 原子操作 保证指令序列要么作为一个组来执行，要么都不执行； 临界区 一段代码，在这段代码中进程将访问共享资源，当一个进程已经在这段代码中运行时，另外一个进程就不能在这段代码中执行； 死锁 两个或两个以上的进程因其中的每个进程都在等待其他进程做完某些事情而不能继续执行； 活锁 两个或两个以上进程为了响应其他进程中的变化而持续改变自己的状态但不做有用的工作； 与并发相关的关键术语 互斥 当一个进程在临界区访问共享资源时，其他进程不能进入该临界区访问任何共享资源； 竞争条件 多个线程或进程在读写一个共享数据时，结果依赖于它们执行的相对时间； 饥饿 一个可运行的进程被调度程序无限期地忽略，不能被调度执行的情形。 5.1 并发的原理 1、基本概念 并发 单处理器多道程序设计系统中，进程交替执行； 并行 多处理器系统中，不仅可以交替执行进程，还可以重叠执行进程。 并发问题 并发进程的相对执行速度是不可预测的，取决于其他进程的活动、操作系统处理中断的方式以及操作系统的调度策略。 可能发生各种与时间有关的错误。 （结果不唯一）机票问题 //飞机票售票问题 void T1( ) { void T2( ) { {按旅客订票要求找到Aj}; {按旅客订票要求找到Aj}; int X1=Aj; int X2=Aj; if(X1=1) { if(X2=1) { X1--; X2--; Aj=X1; Aj=X2; {输出一张票}; {输出一张票}; } } else else {输出信息票已售完}; {输出信息票已售完}; } } （永远等待）主存管理问题 申请和归还主存资源问题 int X=memory; //memory为初始主存容量 void borrow(int B) { void return(int B) { while(BX) X=X+B; {进程进入等待主存资源队列}; {修改主存分配表}; X=X-B ; {释放等主存资源进程}; {修改主存分配表， 进程获得主存资源}; } } 2、操作系统关注的问题 并发带来的设计和管理问题： 操作系统必须能跟踪不同的进程； 操作系统必须为每个活跃进程分配和释放各种资源； 操作系统必须保护每个进程的数据和物理资源； 一个进程的功能和执行结果必须与执行速度无关。 3、进程的交互 进程间的资源竞争 互斥、死锁、饥饿 进程间通过共享合作 互斥、死锁、饥饿、数据一致性 进程间通过通信合作 死锁、饥饿 4、互斥的要求 必须强制实施互斥； 一个在非临界区停止的进程不能干涉其他进程； 不允许出现需要访问临界区的进程被无限延迟的情况； 当没有进程在临界区时，任何需要进入临界区的进程必须能够立即进入； 对相关进程的执行速度和处理器的数目没有任何要求和限制； 一个进程驻留在临界区中的时间必须是有限的。 解决互斥问题的方法 软件方法 由并发执行的进程担负解决问题的责任； 硬件方法 中断禁用 专用机器指令 操作系统或程序设计语言中提供某种级别的支持 信号量 管程 消息传递 5.2 互斥：硬件的支持 1、中断禁用 while (true){ /* 禁用中断 */; /* 临界区 */; /* 启用中断 */; /* 其余部分 */; } 问题： 代价非常高； 不能用于多处理器结构中。 2、专用机器指令 比较和交换指令 int compare_and_swap (int *word, int testval, int newval) { int oldval; oldval = *word; if (oldval == testval) *word = newval; return oldval; } 交换指令 void exchange (int register, int memory) { int temp; temp = memory; memory = register; r