多处理器编程的艺术：The Art of Multiprocessor Programming

图书标准信息

• 作者 [美]赫利然、[以]谢菲特 著
• 出版社 机械工业出版社
• 出版时间 2008-08
• 版次 1
• ISBN 9787111247357
• 定价 69.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 508页
• 正文语种 英语
• 丛书 经典原版书库

【内容简介】

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

【作者简介】

　　MauriceHerlihy，哈佛大学的数学学士和麻省理工学院的计算机科学博士，目前为美国布朗大学计算机科学系教授，曾工作于卡内基一梅隆大学和DEC剑桥实验室。他是美国ACM会士。2003年分布式计算D_jkstra奖获得者。

　　NirShavit，以色列希伯来大学的计算机科学博士，自1992年起执教于特拉维夫大学计算机科学系。他曾多年担任麻省理工学院的客座教授，自1999年以来担任Sun实验室的技术人员。

　　两位作者是2004年ACM／EATCSGodel奖的共同获得者，具有40多年一起从事并发程序设计教学的合作经验。

【目录】

Preface
Acknowledgments
1Introduction
1.1SharedObjectsandSynchronization
1.2AFable
1.2.1PropertiesofMutualExclusion
1.2.2TheMoral
1.3TheProducer–ConsumerProblem
1.4TheReaders–WritersProblem
1.5TheHarshRealitiesofParallelization
1.6ParallelProgramming
1.7ChapterNotes
1.8Exercises

ⅠPRINCIPLES
2MutualExclusion
2.1Time
2.2CriticalSections
2.32-ThreadSolutions
2.3.1TheLockOneClass
2.3.2TheLockTwoClass
2.3.3ThePetersonLock
2.4TheFilterLock
2.5Fairness
2.6Lamport’sBakeryAlgorithm
2.7BoundedTimestamps
2.8LowerBoundsontheNumberofLocations
2.9ChapterNotes
2.10Exercises

3ConcurrentObjects
3.1ConcurrencyandCorrectness
3.2SequentialObjects
3.3QuiescentConsistency
3.3.1Remarks
3.4SequentialConsistency
3.4.1Remarks
3.5Linearizability
3.5.1LinearizationPoints
3.5.2Remarks
3.6FormalDefinitions
3.6.1Linearizability
3.6.2CompositionalLinearizability
3.6.3TheNonblockingProperty
3.7ProgressConditions
3.7.1DependentProgressConditions
3.8TheJavaMemoryModel
3.8.1LocksandSynchronizedBlocks
3.8.2VolatileFields
3.8.3FinalFields
……
4FoundationsofSharedMemory
5TheRelativePowerofPrimitiveSynchronizationOperations
6UniversalityofConsensus

ⅡPRACTICE7SpinLocksandContention
8MonitorsandBlockingSynchronization
9LinkedLists:TheRoleofLocking
10ConcurrentQueuesandtheABAProblem
11ConcurrentStacksandElimination
12Counting,Sorting,andDistributedCoordination
13ConcurrentHashingandNaturalParallelism
14SkiplistsandBalancedSearch
15PriorityQueues
16Futures,Scheduling,andWorkDistribution
17Barriers
18TransactionalMemory
ⅢAPPENDIXBibliography
Index