多處理器編程的藝術(shù)（英文版·原書第2版）

定　價(jià)：￥199.00

作　者：	[美] 莫里斯·赫利希，[美] 尼爾·沙維特，[美] 維克多·盧昌科，[美] 邁克爾·斯皮爾著
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111695691	出版時(shí)間：	2021-12-01	包裝：	平裝
開本：	16開	頁數(shù)：	572	字?jǐn)?shù)：

內(nèi)容簡介

　　本書由G？del獎得主領(lǐng)銜撰寫，主要討論共享存儲通信方式下的多處理器并發(fā)程序設(shè)計(jì)。首先介紹基本原理，分析異步并發(fā)環(huán)境中的可計(jì)算問題，包括相關(guān)度量標(biāo)準(zhǔn)和方法。然后開展應(yīng)用實(shí)踐，側(cè)重于并發(fā)程序的性能分析。每一章討論一種特定的并發(fā)數(shù)據(jù)結(jié)構(gòu)、程序設(shè)計(jì)模式或算法技巧。第2版對數(shù)據(jù)并行、事務(wù)性編程、存儲管理等內(nèi)容做了重點(diǎn)更新和擴(kuò)充，并采用C++語言重構(gòu)相關(guān)示例，更加關(guān)注底層機(jī)制。本書適合作為高等院校計(jì)算機(jī)相關(guān)專業(yè)的課程教材，也適合作為業(yè)界技術(shù)人員的參考書籍。

作者簡介

　　莫里斯·赫利希（Maurice Herlihy）布朗大學(xué)計(jì)算機(jī)科學(xué)教授，曾任職于卡內(nèi)基·梅隆大學(xué)和DEC公司劍橋?qū)嶒?yàn)室。他獲得了包括Edsger W Dijkstra獎（2003，2012）、ACM/EATCS Gödel獎（2004）、IEEE Wallace McDowell獎（2013）和Fulbright杰出講席（2012）在內(nèi)的眾多榮譽(yù)。他是ACM會士，美國國家發(fā)明家科學(xué)院、美國國家工程院以及美國藝術(shù)與科學(xué)院院士。他擁有麻省理工學(xué)院計(jì)算機(jī)科學(xué)博士學(xué)位。尼爾·沙維特（Nir Shavit）麻省理工學(xué)院計(jì)算機(jī)科學(xué)教授，特拉維夫大學(xué)計(jì)算機(jī)科學(xué)教授，曾任職于Sun實(shí)驗(yàn)室和Oracle實(shí)驗(yàn)室。他與Maurice Herlihy分享了Edsger W Dijkstra獎（2012）和ACM/EATCS Gödel獎（2004）。他擁有希伯來大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。維克多·盧昌科（Victor Luchangco） Algorand公司高級算法研究員，曾任職于Sun實(shí)驗(yàn)室和Oracle實(shí)驗(yàn)室。他擁有麻省理工學(xué)院計(jì)算機(jī)科學(xué)博士學(xué)位。邁克爾·斯皮爾（Michael Spear）理海大學(xué)計(jì)算機(jī)科學(xué)教授。他擁有羅切斯特大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。

圖書目錄

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