多处理器编程的艺术（英文版·原书第2版）

定　价：¥199.00

作　者：	[美] 莫里斯·赫利希，[美] 尼尔·沙维特，[美] 维克多·卢昌科，[美] 迈克尔·斯皮尔著
出版社：	机械工业出版社
丛编项：
标　签：	暂缺

购买这本书可以去

ISBN：	9787111695691	出版时间：	2021-12-01	包装：	平装
开本：	16开	页数：	572	字数：

内容简介

　　本书由G？del奖得主领衔撰写，主要讨论共享存储通信方式下的多处理器并发程序设计。首先介绍基本原理，分析异步并发环境中的可计算问题，包括相关度量标准和方法。然后开展应用实践，侧重于并发程序的性能分析。每一章讨论一种特定的并发数据结构、程序设计模式或算法技巧。第2版对数据并行、事务性编程、存储管理等内容做了重点更新和扩充，并采用C++语言重构相关示例，更加关注底层机制。本书适合作为高等院校计算机相关专业的课程教材，也适合作为业界技术人员的参考书籍。

作者简介

　　莫里斯·赫利希（Maurice Herlihy）布朗大学计算机科学教授，曾任职于卡内基·梅隆大学和DEC公司剑桥实验室。他获得了包括Edsger W Dijkstra奖（2003，2012）、ACM/EATCS Gödel奖（2004）、IEEE Wallace McDowell奖（2013）和Fulbright杰出讲席（2012）在内的众多荣誉。他是ACM会士，美国国家发明家科学院、美国国家工程院以及美国艺术与科学院院士。他拥有麻省理工学院计算机科学博士学位。尼尔·沙维特（Nir Shavit）麻省理工学院计算机科学教授，特拉维夫大学计算机科学教授，曾任职于Sun实验室和Oracle实验室。他与Maurice Herlihy分享了Edsger W Dijkstra奖（2012）和ACM/EATCS Gödel奖（2004）。他拥有希伯来大学计算机科学博士学位。维克多·卢昌科（Victor Luchangco） Algorand公司高级算法研究员，曾任职于Sun实验室和Oracle实验室。他拥有麻省理工学院计算机科学博士学位。迈克尔·斯皮尔（Michael Spear）理海大学计算机科学教授。他拥有罗切斯特大学计算机科学博士学位。

图书目录

Preface
Acknowledgments
Suggestedwaystoteachtheartofmultiprocessorprogramming
CHAPTER 1 Introduction 1
11 Sharedobjectsandsynchronization 3
12 Afable 6
121 Propertiesofamutualexclusionprotocol 8
122 Themoral 9
13 Theproducer–consumerproblem 9
14 Thereaders–writersproblem 11
15 Theharshrealitiesofparallelization 12
16 Parallelprogramming 14
17 Chapternotes 15
18 Exercises 15
PART 1 Principles
CHAPTER2 Mutual exclusion 21
21 Timeandevents 21
22 Criticalsections 22
23 Two-threadsolutions 25
231 TheLockOne class 25
232 TheLockTwo class 26
233 ThePetersonlock 27
24 Notesondeadlock 29
25 Thefilterlock 30
26 Fairness 33
27 Lamport’sBakeryalgorithm 34
28 Boundedtimestamps 35
29 Lowerboundsonthenumberoflocations 39
210Chapternotes 41
211 Exercises 42
CHAPTER 3 Concurrent objects 49
31 Concurrencyandcorrectness 49
32 Sequentialobjects 52
33 Sequentialconsistency 53
331 Sequentialconsistencyversusreal-timeorder 55
332 Sequentialconsistencyisnonblocking 56
333 Compositionality 57
34 Linearizability 58
341 Linearizationpoints 58
342 Linearizabilityversussequentialconsistency 59
35 Quiescentconsistency 59
351 Propertiesofquiescentconsistency 60
36 Formaldefinitions 60
361 Histories 60
362 Linearizability 61
363 Linearizabilityiscompositional 63
364 Linearizabilityisnonblocking 63
37 Memoryconsistencymodels 64
38 Progressconditions 64
381 Wait-freedom 65
382 Lock-freedom 65
383 Obstruction-freedom 66
384 Blockingprogressconditions 67
385 Characterizingprogressconditions 67
39 Remarks 68
310 Chapternotes 69
311 Exercises 70
CHAPTER 4 Foundations of shared memory 75
41 Thespaceofregisters 76
42 Registerconstructions 81
421 SafeMRSWregisters 82
422 AregularBooleanMRSWregister 83
423 AregularM-valuedMRSWregister 84
424 AnatomicSRSWregister 85
425 AnatomicMRSWregister 87
426 AnatomicMRMWregister 90
43 Atomicsnapshots 92
431 Anobstruction-freesnapshot 92
432