首页计算机书籍操作系统共享存储系统结构_胡伟武编著_7040098490
Dream

文档

2149

关注

0

好评

0
PDF

共享存储系统结构_胡伟武编著_7040098490

阅读 644 下载 0 大小 7.4M 总页数 147 页 2023-02-28 分享
价格:¥ 10.00
下载文档
/ 147
全屏查看
共享存储系统结构_胡伟武编著_7040098490
还有 147 页未读 ,您可以 继续阅读 或 下载文档
1、本文档共计 147 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
前言随着单处理机的性能越来越接近物理极限,当前的高性能计算机系统都采用并行处理结构。共享存储多处理机中的存储系统有着不同于其他计算机存储系统的特征,问题集中体现在访存事件及其发生次序上。针对这一问题,本书从访存事件次序的角度系统地研究了共享存储系统中维护数据一致性、提高性能和增加系统的可伸缩性等方面的问题。全书共分八章。第一章介绍并行处理系统的类型,指出从存储管理及编程界面的角度看,并行处理系统可分为共享存储多处理机系统和消息传递多计算机系统。而且,根据存储器的分布、一致性的维护以及实现方式等特征,将当前常见的共享存储系统的体系结构进行了划分。第二章利用论的方法建立了一个共享存储系统的执行正确性模型。在研究冲突访问对执行结果的重要影响的基础上,定义了共享存储系统中执行的概念。并指出判断一个并行执行正确与否的标准是其结果是否等于同一程序在单机多进程环境下的某一执行的结果,决定一个执行结果的关键因素是此执行中冲突访问的执行次序。第三章讨论正确执行的访存事件次序条件。通过把任一访存操作分成若干子操作,建立了一个共享存储访问模型,给出较通用的满足顺序一致性的访存事件次序条件,并在顺序一致性的一个典型实现的正确性的基础上,推出了一种乱序执行的方案。第四章讨论在基于目录的Cache一致性协议中访存事件次序条件的实现方法,还建立了一个地址流驱动的模拟模型来评价不同的访存事件次序条件对性能的影响,并指出乱序执行的作用只有在访存冲突不严重的情况下才能充分发挥。第五章建立了存储一致性模型的一个数学模型,以顺序一致性、释放一致性以及域一致性为例给出了证明存储一致性模型正确实现的方法。第六章讨论高速缓存一致性协议中的一些关键问题,从新值的传播方式、新值的传播时机、新值的来源以及新值的传播对象等不同侧面介绍了Cache一致性的关键技术。在此基础上,提出了实现域一致性模型的基于锁的新型Cache一致性协议。第七章讨论共享虚拟存储系统中的关键问题和关键技术,介绍了我国自主研制的共前享虚拟存储系统JIAJIA,还就可编程性和性能两方面对软件分布式共享存储系统D和消息传递并行环境进行了比较。最后,指出利用软件实现共享存储,并由硬件提供必要的支持,是既能改善系统可编程性,又能有效提高性能的方法。第八章引导读者展望了共享存储系统的发展趋势。本书对共享存储的关键问题,如存储一致性模型、高速缓存一致性协议、共享虚拟存储等,进行了系统的论述。本书可作为研究生教材使用,对相关技术人员也有参考价值,它对于促进共享存储系统研究领域的教学和更进一步的学术探讨有积极的推动作用。书中若有欠妥之处,欢迎广大读者提出宝贵意见和建编者2001年2月
返回顶部