基本信息

• 商品名稱：高端容錯計算機設計與實現
• 作者：王恩東//胡雷鈞//張東//陳繼承
• 代碼：59
• 出版社：清華大學
• ISBN號：9787302397090

其他參考信息

• 出版時間：2015-03-01
• 印刷時間：2015-03-01
• 版次：1
• 印次：1
• 開本：16開
• 包裝：平裝
• 頁數：358
• 字數：535千字

內容提要

《高端容錯計算機設計與實現》作者王恩東、胡 雷鈞、張東、陳繼承根據浪潮天梭K1高端容錯計算機 繫統的研制經歷，以高端容錯計算機的基本原理為主 ，結合具體實現，詳細論述高端容錯計算機體繫結構 技術、容錯技術、軟硬件繫統實現技術及繫統評測方 法等。全書共7章，主要包括：高端容錯計算機發展 歷史、關鍵技術演進及設計原則，高端容錯計算機體 繫結構設計中的緩存一致性協議技術、互連網絡技術 及體繫結構模擬評估技術，高端容錯計算機容錯技術 的基本理論及容錯設計方法，高端容錯計算機硬件繫 統組成和設計方法，高端容錯計算機軟件繫統組成和 設計方法，高端容錯計算機繫統評測技術，以及高端 容錯計算機未來發展。
     本書可作為高校計算機科學與技術專業研究生的 教材，也可供科研機構的研究人員以及企業開發人員 參考。
    

作者簡介

王恩東，研究員，中國計算機學會會士，現任中國計算機學會副理事長、高效能服務器與存儲技術**重點實驗室主任、浪潮集團首席科學家。一直從事服務器繫統結構設計、技術創新研究和工程實現工作，是我國高端容錯計算機技術領域帶頭人和產業開拓者，主要研究方向為計算機體繫結構、緩存一致性協議、雲計算、存儲繫統等。主持設計的我國首臺32路通用高端容錯計算機繫統在金融、能源、公安等行業得到廣泛應用並列入銀監會等四部委聯合發布的國產化替代計劃，為**基礎設施信息繫統安全可控提供了關鍵支撐。主持完成9項“973計劃”、“863計劃”等***課題，發表論文22篇，出版專著2部，授權中國和美國發明專利23項。獲**科技進步獎一等獎1項，二等獎2項，曾獲何梁何利基金科學與技術創新獎、山東省科學技術*高獎，是“863計劃”先進計算主題專家、“核高基”重大專項總體組專家。入選新世紀百千萬人纔工程***人選，獲得**高層次人纔特殊支持計劃科技創新領軍人纔等稱號。 胡雷鈞，研究員，中國計算機學會**會員，現任高效能服務器與存儲技術**重點實驗室副主任兼浪潮電子信息股份有限公司副總經理，國務院特殊津貼專家，山東省有突出貢獻中青年專家。一直從事國產高性能服務器、高端容錯計算機、存儲繫統和大數據研發及產業化工作，主要研究方向為服務器繫統、海量存儲、大數據等。完成“863計劃”3項，“核高基”項目2項。獲得**科技進步獎一等獎1項，二等獎2項，山東省科技進步獎4項。 張東，教授級**工程師，現任浪潮集團繫統軟件總監。一直從事繫統軟件研發工作，主要研究方向為操作繫統和雲計算繫統軟件。參與完成國內**64位操作繫統研制，主持完成中標普華繫列桌面和服務器操作繫統研制，作為軟件團隊負責人參與國內首臺32路高端容錯計算機研制，主持完成國內**UNIx操作繫統、**雲計算數據中心操作繫統研制。主持和參與完成操作繫統、雲計算方向***課題10餘項；獲***科技進步獎一等獎1項，省部級科技進步獎一等獎3項，二等獎1項。 陳繼承，工學博士，**工程師，中國計算機學會體繫結構專委會委員，現任高效能服務器與存儲技術**重點實驗室副主任。一直從事計算機體繫和處理器研發工作，主要研究方向為計算機體繫結構、緩存一致性協議和芯片設計等。先後參與完成16位DsP處理器、32位超標量DsP處理器、高端容錯計算機體繫結構、緩存一致性協議協同芯片等設計，完成“973計劃”課題2項，“863計劃”課題2項，“核高基”項目1項。獲**科技進步獎一等獎1項，入選濟南市首批引進高層次創新創業引進人纔，獲得泉城學者等榮譽稱號。

目錄

**章 高端容錯計算機概述
1.1 計算機分類與應用領域
1.1.1 計算機分類
1.1.2 高端容錯計算機應用領域
1.2 高端容錯計算機發展歷史
1.2.1 1940年代到1950年代
1.2.2 1960年代到1970年代
1.2.3 1980年代到1990年代
1.2.4 2000年以後
1.3 高端容錯計算機關鍵技術演進
1.3.1 處理器技術演進
1.3.2 處理器協同技術演進
1.3.3 處理器總線技術演進
1.3.4 存儲器技術演進
1.3.5 操作繫統技術演進
1.3.6 容錯理論與技術演進
1.4 高端容錯計算機設計原則
1.4.1 性能設計原則
1.4.2 可靠性設計原則
1.5 小結
參考文獻
第2章 高端容錯計算機體繫結構技術
2.1 高端容錯計算機體繫結構設計的挑戰
2.2 緩存一致性技術
2.2.1 支持緩存一致性的硬件結構——一致性控制器
2.2.2 基於監聽的一致性協議
2.2.3 基於目錄的一致性協議
2.2.4 緩存一致性協議消息的維序性
2.2.5 協議範例
2.2.6 多級緩存一致性協議
2.3 互連網絡
2.3.1 拓撲結構
2.3.2 路由算法
2.3.3 流量控制
2.3.4 死鎖與活鎖
2.3.5 互連網絡容錯
2.3.6 性能評估指標
2.3.7 案例分析
2.4 體繫結構評估技術
2.4.1 體繫結構硬件仿真技術
2.4.2 體繫結構軟件模擬技術
2.5 體繫結構案例分析
2.6 小結
參考文獻
第3章 高端容錯計算機容錯技術
3.1 容錯技術概述
3.2 容錯計算技術
3.2.1 硬件冗餘
3.2.2 軟件冗餘
3.2.3 時間冗餘
3.2.4 信息冗餘
3.3 高端容錯計算機容錯實現方法
3.3.1 芯片組容錯設計
3.3.2 硬件繫統容錯設計
3.3.3 操作繫統容錯設計
3.3.4 虛擬資源容錯設計
3.3.5 繫統級容錯設計
3.4 小結
參考文獻
第4章 高端容錯計算機硬件繫統
4.1 高端容錯計算機硬件繫統概述
4.1.1 硬件繫統組成
4.1.2 硬件繫統設計挑戰
4.2 高端容錯計算機芯片組設計
4.2.1 芯片組概述
4.2.2 協同芯片組設計技術
4.2.3 協同芯片組驗證技術
4.3 高端容錯計算機硬件子繫統設計
4.3.1 硬件子繫統概述
4.3.2 計算處理子繫統
4.3.3 I/O子繫統
4.3.4 互連子繫統
4.3.5 監控管理子繫統
4.3.6 關鍵設計技術
4.4 高端容錯計算機基礎架構子繫統設計
4.4.1 基礎架構子繫統概述
4.4.2 結構子繫統
4.4.3 散熱子繫統
4.4.4 電源子繫統
4.5 小結
參考文獻
第5章 高端容錯計算機軟件繫統
5.1 高端容錯計算機軟件繫統概述
5.1.1 高端容錯計算機軟件繫統組成
5.1.2 高端容錯計算機軟件繫統設計挑戰
5.2 高端容錯計算機BIOS設計
5.2.1 高端容錯計算機BIOS概述
5.2.2 高端容錯計算機BIOS設計技術
5.3 高端容錯計算機操作繫統設計
5.3.1 高端容錯計算機操作繫統概述
5.3.2 高端容錯計算機操作繫統設計技術
5.3.3 UNIX操作繫統
5.4 高端容錯計算機監控管理繫統設計
5.4.1 監控管理繫統概述
5.4.2 高端容錯計算機監控管理繫統架構設計
5.4.3 高端容錯計算機監控管理繫統軟件實現
5.5 高端容錯計算機應用生態環境
5.5.1 高端容錯計算機應用生態環境概述
5.5.2 高端容錯計算機基礎軟件應用狀況
5.5.3 高端容錯計算機工具軟件及繫統軟件應用狀況
5.6 小結
參考文獻
第6章 高端容錯計算機繫統評測
6.1 性能評測
6.1.1 基本性能指標
6.1.2 基準程序
6.2 可用性評測
6.2.1 可用性的概念與數學描述
6.2.2 可用性的分級
6.2.3 可用性評價方法與模型
6.2.4 故障注入技術
6.2.5 可用性評測實例
6.3 小結
參考文獻
第7章展望