- 1、本文档共173页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第四章 互斥、同步与通信 4.1 并发进程 ( Concurrent Processes ) 4.2 进程互斥 ( Mutual Exclusion ) 4.3 进程同步 ( Synchronization ) 4.4 进程高级通信 ( Communication ) 4.5 系统举例 4.1 并发进程 程序的顺序性 内部顺序性: 对一个进程来说,所有指令顺序执行; 如有程序: S1: a:= x+y ; S2: b:= a-z ; S3: c:= a+b ; S4: d:=c+5 ; 外部顺序性: 多个进程依次执行(P82:图4-3 )。 4.2 进程互斥 4.2.1 共享变量与临界区 4.2.2 临界区域与进程互斥 4.2.3 进程互斥的实现 4.2.4 多处理机环境下的互斥 4.2.1 共享变量与临界区 共享变量 (shared variable) 两个或两个以上的进程都需要访问的变量。 临界区域 (Critical Region) 访问共享变量的程序段。 4.2.3 进程互斥的实现(Cont.) 4.2.3.1 进程互斥的软件实现 完全用程序实现, 不需特殊硬件指令支持 ; 可用于单 CPU 和多 CPU 环境中 ; 有忙式等待问题。 4.2.3.1 进程互斥的软件实现(1) Dekker互斥算法 4.2.3.1 进程互斥的软件实现(2) Peterson互斥算法 4.2.3.2 进程互斥的硬件实现 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.4 多处理机环境下互斥 ⒈ 问 题 多CPU系统中, 关中断对解决互斥无效; 单CPU系统中 指令间交叉,TS, swap 指令是原子的; 多CPU系统中 指令周期间交叉, TS、swap 指令占多个指令周期, 不能保证其原子性, 不同 CPU 上运行的进程 可能同时访问一个单元。 4.2.4 多处理机环境下互斥(Cont.) 4.2.4 多处理机环境下互斥(Cont.) 4.2.4 多处理机环境下互斥(Cont.) 4.3 进程同步 4.3.1 进程同步的概念(Cont.) 4.3.2 进程同步机制 synchronization mechanism 定义: 用于实现进程同步的工具称为同步机制 , 亦称为同步设施。 同步机制要求: 描述能力够用 ; 可实现 ; 高效 ; 使用方便。 4.3.2 进程同步机制(Cont.) 典型同步机制 信号量与P/V操作 Semaphore and P/V operations 条件临界区 conditional critical region 管程 (monitor) 会合 (rendezvous) 路径表达式 (path expression) 事 件 (traditional UNIX) 4.3.3.1 信号量与P/V操作的定义 原 语:一段不可间断执行的程序称为原语。 规定和结论 对于信号灯变量的规定: 必须置一次初值, 只能置一次初值, 初值≥0 ; 只能执行P操作和V操作, 所有其它操作非法。 几个有用的结论: 当 s.value ≥ 0 时, s.queue 为空 ; 当 s.value < 0 时 , ∣s.value∣为队列 s.queue 的长度 ; 当 s.value初=1 时, 实现进程互斥 ; 当 s.value初=0 时, 可以实现进程同步; 当 s.value初=非1 的正整数时, 用于管理同种组合资源; 用“开关中断”实现的PV操作 用“开关中断”实现的PV操作 用“测试并设置”实现的PV操作 用“测试并设置”实现的PV操作 2. 用信号灯实现进程同步 问题描述: 例4-2. 生产者/消费者问题 自动机描述 自动机描述 环形缓冲区 例4-3. 读者/写者问题 例4-4. 三台打印机管理 例4-5. 吸烟者问题 4.3.4 条件临界区 Conditional Critical Region 背 景: P/V 操作低级,
您可能关注的文档
- (操作系统课件)01第一章操作系统概述.ppt
- (操作系统课件)02第二章进程线程与作业.ppt
- (操作系统课件)04第四章互斥同步与通讯(2会合).ppt
- (操作系统课件)05第五章死锁与饥饿1.ppt
- (操作系统课件)06第六章存储管理(外存管理技术).ppt
- (操作系统课件)06第六章存储管理.ppt
- (操作系统课件)07第七章_文件系统1文件与文件系统.ppt
- (操作系统课件)07第七章文件系统1.ppt
- (操作系统课件)08第八章设备与IO管理.ppt
- (操作系统课件)13第十四章操作系统理论.ppt
- 施工现场断排水标准做法(可编辑).pptx
- 特大型体育场馆项目管理复盘(可编辑).pptx
- 山地环境超高层智能建造关键技术(可编辑).pptx
- 超高层装配式住宅设计与施工(可编辑).pptx
- 高空作业防坠落措施图示手册(可编辑).pptx
- 2025年重庆市忠县忠县白石镇国民经济和社会发展第十五个五年规划.docx
- 2025年山东省德州市平原县恩城镇国民经济和社会发展第十五个五年规划.docx
- 2025年山东省莱芜市钢城区黄庄镇国民经济和社会发展第十五个五年规划.docx
- 2025年山东省临沂市蒙阴县桃墟镇国民经济和社会发展第十五个五年规划.docx
- 2025年山东省临沂市河东区郑旺镇国民经济和社会发展第十五个五年规划.docx
文档评论(0)