×

并发。状态模型和Java程序。 (英语) Zbl 0924.68026号

奇切斯特:威利。xiii,第355页(1999年)。
本书基于作者在伦敦帝国理工学院教授的并行编程课程。它的声明目的是提供一个实用且易于访问的并发和并发编程介绍。它系统地描述了并发的基本概念和并发进程的规范技术。从实用的角度来看,这本书附带了一张CD-ROM,其中包含一组Java示例程序和一个用于并发建模的分析工具。熟悉CSP(Hoare)或CCS(Milner)等过程演算系统的读者将认识到本书中使用的FSP(有限状态过程)演算中的大多数概念和符号。这本书有12章。前五章是导言。介绍了并发编程、进程、线程、共享对象、同步的主要概念,并通过Java示例进行了说明。第6章和第7章专门讨论并发系统的特性,如死锁、安全性、活性,而第8章讨论基于模型的设计。第9-12章讨论了一些高级问题,如动态系统、消息传递、并发体系结构、定时系统。FSP语言的语义和语法在两个附录中给出。本书面向对并发编程感兴趣的学生和计算机专业人员。假设有编程和操作系统方面的一些背景知识。

MSC公司:

68甲15 编程语言理论
68-00 与计算机科学有关的一般参考书(手册、词典、书目等)
68号01 软件理论的一般主题

关键词:

并发;过程;螺纹;同步
PDF格式BibTeX公司 XML格式引用