Parallel program design : a foundation

K. Mani Chandy, Jayadev Misra. Includes Index. Bibliography: P. 499-508. Foreword Preface: Our Prejudices about Programs, Architectures, and Applications Parallelism and Programming: A Perspective A Programming Notation A Programming Logic Architectures and Mappings The First Case Study: Shortest Path Toy Examples Program Structuring Communicating Processes Termination Detection Global Snapshots Stability Detection Dining Philosophers Drinking Philosophers Committee Coordination Mutual Exclusion Parallel Garbage Collection Fault Tolerance: A Protocol for Communication over Faulty Channels Fault Tolerance: Byzantine Agreement Sorting Combinatorial Search Systolic Arrays as Programs Alternate Programming Models Epilog: Thoughts on Programming Bibliography Index This extensive monograph considers all aspects of parallel program design including the architecture of parallel computers. Starting with an introduction to UNITY programs the reader learns in the first chapters the basic theory necessary to read the following chapters. This introduction includes a programming logic and some comments on program schemes and circuits