Concurrent programming : principles and practice

Concurrent programming is critical to a variety of applications, including parallel computation, workstation window systems, multi-user database systems, and network file servers. Andrews provides an in-depth overview of underlying principles as well as practical techniques that can be used to desi 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 -- Historicalnotes 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. Gregory R. Andrews. Includes Bibliographical References (p. 607-626) And Index. This book provides an in-depth overview of underlying principles as well as practical techniques that can be used to design concurrent programs. Anyone interested in sequential and concurrent computing will find this book to be an essential reference and innovative work. Andrews's shows how to approach key decisions, discusses the tradeoffs between how processes should be used, and explains how those processes should interact.