12.8  有关参考文献

Bibliographic Notes

有关并发性的早期研究起源于Dijkstra的两篇文章 [Dij68a，Dij72]，Andrews和Schneider [AS83] 是有关并发程序设计记法形式的绝好综述。Andrews更近的书籍 [And91] 扩充了这一综述，深入讨论了有关并发程序的公理化语义和分布式计算的算法范型。Holt等的 [HGLS78] 是有关并发性和同步中的各种经典问题的有用参考文献。Anderson [ALL89] 讨论了线程包实现的细节及其对性能的内在影响。1989年7月的IEEE Software和1989年9月的ACM Computing Surveys都包含了一些综述性的文章和对许多并发语言的描述。有关管程的参考文献在12.3.4节。

Peterson的两阶段同步算法写在他的特别优美而可读的两页文章中 [Pet81]。Lamport 在1978年的论文《分布式系统里的时间、时钟和事件顺序》[Lam78] 里有说服力地论述了全局时间的概念不可能有良好的定义，因此分布式算法必须基于独立的进程之间因果性的发生在前关系。读者写者锁归功于Courtois、Heymans和Parnas [CHP71]。Mellor-Crummey和Scott [MC91] 综述了主要的忙等待算法，并介绍了可以不出现争用而扩展到超大规模机器的锁和隔栏。有关无锁算法的开创性文章归功于Herlihy [Her91]。提出软件交易存储器作为新的通用技术，是新近由Herlihy、Luchangco、Moir和Scherer [HLM03]，以及Harris和Fraser [HF03] 报告的。

Shapiro [Sha89]、Tick [Tic91] 和Ciancarini [Cia92] 综述了各种并发逻辑式语言。Lisp的并行方言包括Multilisp [Hal85，MKH91]（12.3.6节）、Qlisp [GG89] 和Spur Lisp [ZHL⁺89]。

在Nelson的博士论文 [Nel81，BN84] 之后，远程过程调用越来越受到人们的重视。Schroeder和Burrows [SB90] 讨论了RPC在工作站网络上的有效实现，Bershad [BALL90] 讨论了在一台计算机上的跨地址空间实现。

Almasi和Gottlieb [AG94] 描述了主要的并行计算机分类，以及适用于各类机器的算法和语言风格。计算机网络方面领军的教科书是Tanenbaum [Tan02]，以及Peterson和Davie [PD03]。Guller、Singh和Gupta的教科书 [CS98] 包含了许多有关并行程序设计和多处理器体系结构的信息。PVM [Sun90，GBD⁺94] 和MPI [BDH⁺95，SOHL⁺98] 在许多文章和书籍中都有介绍。Sun RPC的文档编号为互联网RFC 1831 [Sri95]。

软件分布式共享存储器（S-DSM） 最早是Li作为其博士研究的一部分提出的 [LH89]，Stumm和Zhou [SZ90]，以及Nitzberg和Lo [NL91] 提供了这一领域的早期综述。Rice大学的TreadMarks系统被广泛认为是目前最好的实现 [ACD⁺96]。