多处理器编程的艺术

Preface

Acknowledgments

1 Introduction

1.1 Shared Objects and Synchronization

1.2 A Fable

1.2.1 Properties of Mutual Exclusion

1.2.2 The Moral

1.3 The Producer–Consumer Problem

1.4 The Readers–Writers Problem

1.5 The Harsh Realities of Parallelization

1.6 Parallel Programming

1.7 Chapter Notes

1.8 Exercises

Ⅰ PRINCIPLES

2 Mutual Exclusion

2.1 Time

2.2 Critical Sections

2.3 2-Thread Solutions

2.3.1 The LockOne Class

2.3.2 The LockTwo Class

2.3.3 The Peterson Lock

2.4 The Filter Lock

2.5 Fairness

2.6 Lamport’s Bakery Algorithm

2.7 Bounded Timestamps

2.8 Lower Bounds on the Number of Locations

2.9 Chapter Notes

2.10 Exercises

3 Concurrent Objects

3.1 Concurrency and Correctness

3.2 Sequential Objects

3.3 Quiescent Consistency

3.3.1 Remarks

3.4 Sequential Consistency

3.4.1 Remarks

3.5 Linearizability

3.5.1 Linearization Points

3.5.2 Remarks

3.6 Formal Definitions

3.6.1 Linearizability

3.6.2 Compositional Linearizability

3.6.3 The Nonblocking Property

3.7 Progress Conditions

3.7.1 Dependent Progress Conditions

3.8 The Java Memory Model

3.8.1 Locks and Synchronized Blocks

3.8.2 Volatile Fields

3.8.3 Final Fields

……

4 Foundations of Shared Memory

5 The Relative Power of Primitive Synchronization Operations

6 Universality of Consensus

Ⅱ PRACTICE 7 Spin Locks and Contention

8 Monitors and Blocking Synchronization

9 Linked Lists: The Role of Locking

10 Concurrent Queues and the ABA Problem

11 Concurrent Stacks and Elimination

12 Counting, Sorting, and Distributed Coordination

13 Concurrent Hashing and Natural Parallelism

14 Skiplists and Balanced Search

15 Priority Queues

16 Futures, Scheduling, andWork Distribution

17 Barriers

18 Transactional Memory

Ⅲ APPENDIXBibliography

Index

本书循序渐进地讲述共享存储器多线程编程的基础知识；详细解释当今多处理器硬件对并发程序设计的支持方式；全面考察主流的并发数据结构及其关键设计要素；从简单的锁机制到最新的事务内存系统，独立、完整地阐述了同步技术。利用Java并发工具包编写的可完全执行的Java实例。附录提供了主要的硬件及采用其他程序设计语言和包（如＃、C及C++的Pthreads库）进行编程的相关背景知识。

多处理器编程的艺术（英文版）
　　工业界称为多核的多处理器机器正迅速地渗入计算的各个领域。多处理器编程要求理解新型计算原理、算法及编程工具，至今很少有人能够精通这门编程艺术。
　　现今，大多数工程技术人员都是通过艰辛的反复实践．求助有经验的朋友来学习多处理器编程技巧。这本最新的权威著作致力于改变这种状况，作者全面阐述了多处理器编程的指导原则，介绍了编制高效的多处理器程序所必备的算法技术。了解本书所涵盖的多处理器编程关键问题将使在校学生以及相关技术人员受益匪浅。