分布式Pi——演算.pdfVIP

计算机科学 国外科技新书评介 2008年第 10期 (总第258期) 言在这个领域中提供的辅助支持，开发并 M atthew Hennessy 讨论了公共实时编程 的范例。这是唯一 A DistributedPi．Calculus 的一本把重点放在对 Ada任务分派模型 2007，259pp． 深入讨论上的书籍，沿用了作者早先出版 Hardcover 的 “Ada中的并行性”一书的思想，对讨论 ISBN 9780521873307 进行了更新，包括了新的Ada2005版本语 RIDGE 言和实时编程技术中的最新进展。 眦 ss 本书共有 18章。1．绪论；2．并行编 程的性质及使用；3．进程问通讯；4．任务 分布式Pi一演算 的类型与对象；5．会合；6．选择语句与会 M．亨西尼 著 合；7．受保护对象与面向数据的通讯；8． 从利用 自动柜员机在我们的银行户 避免同步与重排队程序；9．异常，异常中 头取出现金到在线购物网站，交互式系统 止及控制的异步转移；10．面向对象的编 渗入了我们的 日常生活。分布式系统很 程与任务分配；11．并行实用程序；12．任 快已成为计算机科学中的标准，支持这些 务分派和系统编程；13．实时系统调度一 系统做为基础的技术，包括软件和硬件都 固定优先权发送；14．实时系统调度一其 是很先进的。但是为确保这些系统正确 他的发送程序；15．定时事件及执行时间 行为的设计原理和技术却处于更为原始 控制；16．实时应用程序；17．约束、度量和 的阶段。为这些研究活动准备坚实的基 Ravenscar预置文件；18．结论。 础，系统行为数学模型及相关的推理工具 本书第一作者是英国约克大学计算机科 已经成为过去2O年中理论计算机科学的 学教授，他发表过370篇论文及报告，出版了 中心课题。一种方法是形式演算的设计， 8本专著。第二作者是同一大学计算机科学 利用它来描述和研究作为交互式系统基 系实时系统教授，他是计算机科学杂志 《软 础的基本概念。通讯系统演算可能是为 件实践与经验》的欧洲主编，也是负责开发 了研究交互式系统提出的第一个演算。 实时、安全关键及分布式编程Java平台拓展 这种演算由两部分组成，一部分根据它们 的国际专家小组成员。两位作者合著 《实时 的结构描述系统的简单形式语言，它们是 系统与编程语言》(第3版)，~(Ada中的并发 怎样从单个但是互相连接的组件构成的； 性》(第2版)以外，第二作者还著有~Java中 第二部分语义理论，该理论寻求依据这些 的并发性与实时编程》一书。 系统与用户交互的能力对用该语言所描 本书对专业软件工程师和高年级学 述的系统行为的理解。尽管 CCS是成功 生同样有价值。它是基本读物和主要参 的，但它只能描述非常有限范围的系统， 考著作 ，应该在书架上与该语言的参考手 最重要的约束是对于任何一个具体的系 册并排摆放。