热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习:我这样做,一个月学会素描,一年学会四种语言,完成MIT四年课程-斯科特·扬著,林慈敏译-9789861755533
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 199 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
内容简介本书从方法学的角度讨论并行程序的设计和构造方法。本书建立并行计算机系统和并行程序的模型;基于此模型,建立逻辑系统,用于描述程序的规格说明、程序的性质和验证其正确性;给出并行程序设计语言,用于描述实现规格说明的抽象程序;讨论抽象程序到各种体系结构的映射;以并行系统中的进程互斥、进程通讯、程序检测、废品收集等为例,说明程序的设计、构造、验证和映射的方法,最后给出相应的并行程序。本书可作为计算机科学理论、软件专业的大学本科高年级学生和研究生的教科书和参考书,也可供从事于计算机科学理论、并行处理和软件研究工作的科技人员及教师阅读和参考之用。:自第一章基本概念§1.并行计算机系统模型§2。并行程序模型…3§3。映射和体系结构……8第二章并行程序的逻辑系统………16§1.程序的计算模型…1682。安全性逻辑关系……19§3.进展性逻辑关系…28§4.不动点(FIXED-POINT)§5.逻辑关系DETECTS…第三章并行程序设计语言…§2.DECLARE部……45…4684.ASSIGN部和INITIALLY部5185.DEFINITION部……55§6.并行程序之例……55第四章程序的映射……63…63§2。距离程序的映射……67§3。分类问题……74§4。分类程序的映射…第五章并行程序的构造……83…83§3.叠置运算…90§4.并行程序的构造方法..…93…95第六章进程互斥……107