并发程序设计PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:刘立人编著
- 出 版 社:上海:上海科学技术文献出版社
- 出版年份:1987
- ISBN:15192·516
- 页数:261 页
目录 1
第一章 并行性的概念及其发展 1
第一节 计算机系统结构中的并行性概念 1
第二节 并行算法 10
第三节 并发程序设计的发展 17
习题 23
第二章 并发问题及其语言的描述 24
第一节 并发的例子 24
第二节 并发执行的语言描述 29
第三节 程序临界段 32
第四节 实现互斥和同步的方法 38
第五节 并发活动之间的信息传递 47
第六节 管程的概念 50
习题 53
第三章 并发程序设计语言:CSP/K 55
第一节 顺序程序设计语言SP/K 55
第二节 并发的指定 62
第三节 管程的设计方法 64
第四节 并发程序设计实例 71
习题 98
第四章 操作系统设计范例 100
第一节 硬件设备的模拟 100
第二节 输入输出假脱机 114
第三节 执行程序的设计 120
第四节 内核的实现 133
第五节 作业流的执行 148
习题 158
第一节 ADA语言概述 159
第五章 ADA语言的并发设计能力 159
第二节 任务(task) 166
第三节 任务簇 170
第四节 读写问题 173
第五节 例外处理 179
习题 183
第六章 数据库的并发操作 187
第一节 并发操作的可串行化 187
第二节 LOCK/UNLOCK的两段式规程 189
第三节 RLOCK/WLOCK规程 195
第四节 树式规程 198
第五节 分布式事务的处理 202
第六节 分布式事务调度的可串行性 207
第七节 分布式事务的两段式规程 209
第八节 时戳 213
习题 223
第七章 Petri网 226
第一节 Petri网的定义 226
第二节 Petri网的模型 229
第三节 向量替换系统VRS 232
第四节 数据链路规程的模拟 235
习题 245
第八章 并发程序的正确性证明 247
第一节 程序正确性的定义 248
第二节 循环不变式 250
第三节 并发执行公理 252
第四节 ADA任务的正确性验证 256
习题 259
参考文献 261
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《设计十六日 国内外美术院校报考攻略》沈海泯著 2018
- 《计算机辅助平面设计》吴轶博主编 2019
- 《高校转型发展系列教材 素描基础与设计》施猛责任编辑;(中国)魏伏一,徐红 2019
- 《景观艺术设计》林春水,马俊 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《高等教育双机械基础课程系列教材 高等学校教材 机械设计课程设计手册 第5版》吴宗泽,罗圣国,高志,李威 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《Cinema 4D电商美工与视觉设计案例教程》樊斌 2019
- 《通信电子电路原理及仿真设计》叶建芳 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《近代世界史文献丛编 19》王强主编 2017
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《药剂学实验操作技术》刘芳,高森主编 2019
- 《林下养蜂技术》罗文华,黄勇,刘佳霖主编 2017
- 《脱硝运行技术1000问》朱国宇编 2019
- 《催化剂制备过程技术》韩勇责任编辑;(中国)张继光 2019