图书介绍
并发程序设计PDF|Epub|txt|kindle电子书版本网盘下载
- 刘立人编著 著
- 出版社： 上海：上海科学技术文献出版社
- ISBN：15192·516
- 出版时间：1987
- 标注页数：261页
- 文件大小：7MB
- 文件页数：268页
- 主题词：
PDF下载
下载说明
并发程序设计PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
第一章 并行性的概念及其发展1
第一节 计算机系统结构中的并行性概念1
第二节 并行算法10
第三节 并发程序设计的发展17
习题23
第二章 并发问题及其语言的描述24
第一节 并发的例子24
第二节 并发执行的语言描述29
第三节 程序临界段32
第四节 实现互斥和同步的方法38
第五节 并发活动之间的信息传递47
第六节 管程的概念50
习题53
第三章 并发程序设计语言：CSP/K55
第一节 顺序程序设计语言SP/K55
第二节 并发的指定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
第三节 向量替换系统VRS232
第四节 数据链路规程的模拟235
习题245
第八章 并发程序的正确性证明247
第一节 程序正确性的定义248
第二节 循环不变式250
第三节 并发执行公理252
第四节 ADA任务的正确性验证256
习题259
参考文献261