Concurrent Programming: Principles and Practice
Concurrent Programming: Principles and Practice
复制标题
并发编程：原理与实践
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
G. Andrews
中科院分区：
文献类型：
--
作者：
G. Andrews
I.基本概念。顺序编程。语言符号。逻辑，命题和谓词。编程逻辑。编程逻辑中的证明。程序推导。历史记录和参考。练习。并发和同步。指定并发执行。原子作用和同步。并发执行的语义。避免干扰的技术。辅助变量。安全性和livese属性。历史记录和参考。练习。 ii。共享变量。细粒度同步。关键部分问题。关键部分：决胜算法。关键部分：门票算法。关键部分：面包店算法。屏障同步。数据并行算法。即时垃圾收集。实施过程。历史记录和参考。练习。信号量。符号和语义。基本用途和编程技术。选择性相互排斥。一般条件同步。资源分配。执行。历史记录和参考。练习。有条件的关键区域。符号和语义。餐饮哲学家重新审视。读者/作家重新审视。分解通信。调度和资源分配。实施。历史记录和参考。练习。监视器。编程符号。正式的语义和程序证明。同步技术。磁盘调度：程序结构。同步的替代方法。实施。历史记录和参考。练习。 iii。消息传递。异步消息传递。编程符号。正式语义。过滤器：分类网络。客户和服务器。心跳算法。探针/回声算法。广播算法。标记算法。复制的服务器。实施。历史记录和参考。练习。同步消息传递。编程符号。正式语义。过滤器网络。交互并行过程。客户和服务器。实施。历史记录和参考。练习。 RPC和Rendezvous。远程过程调用。会合。多个原始符号。客户和服务器。并行算法。执行。历史记录和参考。练习。 iv。实践。语言概述。 Turing Plus：监视器。 OCCAM：同步消息传递。 ADA：会合。 SR：多个原语。琳达：分布式数据结构。比较和性能。历史记录和参考。练习。词汇表。参考书目。指数。 0805300864T04062001
I. BASIC CONCEPTS. Sequential Programming. Language Notation. Logic, Propositions, and Predicates. A Programming Logic. Proofs in Programming Logic. Program Derivation. Historical Notes and References. Exercises. Concurrency and Synchronization. Specifying Concurrent Execution. Atomic Actions and Synchronization. Semantics of Concurrent Execution. Techniques for Avoiding Interference. Auxiliary Variables. Safety and Liveness Properties. Historical Notes and References. Exercises. II. SHARED VARIABLES. Fine-Grained Synchronization. The Critical Section Problem. Critical Sections: Tie-Breaker Algorithm. Critical Sections: Ticket Algorithm. Critical Sections: Bakery Algorithm. Barrier Synchronization. Data Parallel Algorithms. On-The-Fly Garbage Collection. Implementing Processes. Historical Notes and References. Exercises. Semaphores. Notation and Semantics. Basic Uses and Programming Techniques. Selective Mutual Exclusion. General Condition Synchronization. Resource Allocation. Implementation. Historical Notes and References. Exercises. Conditional Critical Regions. Notation and Semantics. Dining Philosophers Revisited. Reader/Writers Revisited. Interprocess Communication. Scheduling and Resource Allocation. Implementations. Historical Notes and References. Exercises. Monitors. Programming Notation. Formal Semantics and Program Proofs. Synchronization Techniques. Disk Scheduling: Program Structures. Alternative Approaches to Synchronization. Implementations. Historical Notes and References. Exercises. III. MESSAGE PASSING. Asynchronous Message Passing. Programming Notation. Formal Semantics. Filters: A Sorting Network. Clients and Servers. Heartbeat Algorithms. Probe/Echo Algorithms. Broadcast Algorithms. Token-Passing Algorithms. Replicated Servers. Implementations. Historical Notes and References. Exercises. Synchronous Message Passing. Programming Notation. Formal Semantics. Networks of Filters. Interacting Parallel Processes. Clients and Servers. Implementations. Historical Notes and References. Exercises. RPC and Rendezvous. Remote Procedure Call. Rendezvous. A Multiple Primitives Notation. Clients and Servers. Parallel Algorithms. Implementation. Historical Notes and References. Exercises. IV. PRACTICE. Language Overviews. Turing Plus: Monitors. Occam: Synchronous Message Passing. Ada: Rendezvous. SR: Multiple Primitives. Linda: Distributed Data Structures. Comparison and Performance. Historical Notes and References. Exercises. Glossary. Bibliography. Index. 0805300864T04062001