《并发程序设计》

目录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