Foundations of Multithreaded, Parallel, and Distributed Programming

Inbunden bok. Addison Wesley, Pearson Education. 2000.

Mycket gott skick. Lättare hanteringsspår.

Innehållsförteckning:

1. The Concurrent Computing Landscape.

The Essence of Concurrent Programming.
Hardware Architectures.
Single Processor Machines.
Shared-Memory Multiprocessors.
Multicomputers Networks.
Applications and Programming Styles.
Iterative Parallelism: Matrix Multiplication.
Recursive Parallelism: Adaptive Quadrature.
Producers and Consumers: Unix Pipes.
Clients and Servers: Remote Files.
Peers: Distributed Matrix Multiplication.
Summary of Programming Notation.
Declarations Sequential Statements.
Concurrent Statements and Process Declarations.
Comments.
I. SHARED VARIABLE PROGRAMMING.

2. Processes and Synchronization.
States, Actions, Histories, and Properties.
Parallelization: Finding Patterns in Files.
Synchronization: The Maximum of an Array.
Atomic Actions and Await Statements.
Fine-Grained Atomicity.
Specifying Synchronization: The Await Statement.
Finding Patterns in a File Revisited.
A Synopsis of Axiomatic Semantics.
Formal Logical Systems.
A Programming Logic.
Semantics of Concurrent Execution.
Techniques for Avoiding Interference.
Disjoint Variables Weakened Assertions.
Global Invariants.
Synchronization.
An Example: The Array Copy Problem Revisited.
Safety and Liveness Properties.
Proving Safety Properties.
Scheduling Policies and Fairness.
3. Locks and Barriers.
The Critical Section Problem.
Critical Sections: Spin Locks.
Test and Set.
Test and Test and Set.
Implementing Await Statements.
Critical Sections: Fair Solutions.
The Tie-Breaker Algorithm.
The Ticket Algorithm.
The Bakery Algorithm.
Barrier Synchronization.
Shared Counter.
Flags and Coordinators.
Symmetric Barriers.
Data Parallel Algorithms.
Parallel Prefix Computations.
Operations on Linked Lists.
Grid Computations: Laplace's Equation.
Synchronous Multiprocessors.
Parallel Computing with a Bag of Tasks.
Matrix Multiplication.
Adaptive Quadrature.
4. Semaphores.
Syntax and Semantics.
Basic Problems and Techniques.
Critical Sections: Mutual Exclusion.
Barriers: Signaling Events.
Producers and Consumers: Split Binary Semaphores.
Bounded Buffers: Resource Counting.
The Dining Philosophers.
Readers and Writers.