123,123

內(nèi)容簡(jiǎn)介

　　《并行程序設(shè)計(jì)方法學(xué)》重點(diǎn)討論了面向應(yīng)用的并行程序設(shè)計(jì)方法學(xué)，系統(tǒng)地闡述了關(guān)于并行序設(shè)計(jì)的理論、觀點(diǎn)、方法和技術(shù)。主要內(nèi)容包括非交錯(cuò)并行計(jì)算模型（包括數(shù)據(jù)驅(qū)動(dòng)／相關(guān)驅(qū)動(dòng)計(jì)算模型與實(shí)時(shí)／非實(shí)時(shí)分布式狀態(tài)機(jī)模型）、抽象相關(guān)分析技術(shù)、并行分解技術(shù)（包括論域分解、對(duì)象分解、計(jì)算分解與控制分解）、并行軟件工程以及可重用并行軟件開發(fā)環(huán)境等問題，其中許多內(nèi)容是第一次發(fā)表的。

作者簡(jiǎn)介

　　劉鍵，（1930年11月生），江西臨川人。從1982年起任華中理工大學(xué)計(jì)算機(jī)系教授，曾任中國(guó)計(jì)算機(jī)學(xué)會(huì)理事，湖北省計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)兼軟件專業(yè)委員會(huì)上任。從1992年起享受國(guó)務(wù)院頒發(fā)的特殊貢獻(xiàn)津貼。長(zhǎng)期從事并行與分布式程序設(shè)計(jì)的教學(xué)與研究，先后主持多個(gè)系統(tǒng)軟件的研制開發(fā)（其中包括獲聯(lián)合國(guó)頒發(fā)的“發(fā)明創(chuàng)新科技之星”獎(jiǎng)的全自動(dòng)并行化編譯系統(tǒng)HZPARA），完成多項(xiàng)國(guó)家自然科學(xué)基金資助項(xiàng)目，在并行與分布式計(jì)算理論方面做了較為系統(tǒng)的創(chuàng)新丁作。已出版的專著有《分布式計(jì)算機(jī)系統(tǒng)》與《并行分布式程序設(shè)計(jì)》，在國(guó)內(nèi)外著名期刊上發(fā)表的學(xué)術(shù)論文五十篇以上。

圖書目錄

第一章概論
§1.1 并行計(jì)算與并行程序設(shè)計(jì)方法學(xué)
1.1.1 高科技問題與并行計(jì)算
1.1.2 并行程序設(shè)計(jì)方法的特點(diǎn)
§1.2 并行計(jì)算機(jī)系統(tǒng)
1.2.1 流水線操作
1.2.2 并行操作SIMD結(jié)構(gòu)
1.2.3 MIMD系統(tǒng)、多處理機(jī)系統(tǒng)
1.2.4 分布式存儲(chǔ)并行計(jì)算機(jī)系統(tǒng)
1.2.5 發(fā)展趨勢(shì)
§1.3 網(wǎng)絡(luò)拓?fù)渑c通信模式
1.3.1 網(wǎng)絡(luò)拓?fù)渑袆e準(zhǔn)則
1.3.2 常見的幾種規(guī)則網(wǎng)絡(luò)拓?fù)?br />§1.4 并行計(jì)算
1.4.1 并行計(jì)算
1.4.2 并行性與并行語義
1.4.3 并行科學(xué)計(jì)算中的并行性
§1.5 并行算法結(jié)構(gòu)
1.5.1 為什么要研究算法結(jié)構(gòu)
1.5.2 算法結(jié)構(gòu)的各組成部分與屬性
1.5.3 并行算法結(jié)構(gòu)的分類
§1.6 程序設(shè)計(jì)的一般概念
1.6.1 程序的本質(zhì)與特點(diǎn)
1.6.2 程序設(shè)計(jì)的本質(zhì)與特點(diǎn)
1.6.3 程序設(shè)計(jì)方法的主要原則
§1.7 并行程序設(shè)計(jì)方法的基本原則
1.7.1 并行程序設(shè)計(jì)的特殊困難
1.7.2 并行程序設(shè)計(jì)方法的基本原則
1.7.3 并行程序設(shè)計(jì)的一般步驟
1.7.4 幾點(diǎn)注意事項(xiàng)
§1.8 常見的幾種同步互斥機(jī)制
1.8.1 PCF、Fortran中的同步機(jī)制
Lock-unlock機(jī)制
CriticalSection（臨界段）
事件同步
序列同步
1.8.2 CSP中的同步通信機(jī)制
1.8.3 Ada中的同步通信機(jī)制
§1.9 并行程序設(shè)計(jì)的性能考慮
1.9.1 數(shù)據(jù)驅(qū)動(dòng)的并行計(jì)算模型
1.9.2 加速比估計(jì)式
1.9.3 logp模型
1.9.4 考慮logp因素的進(jìn)程流程圖的調(diào)度
第一章小結(jié)
第二章并行計(jì)算理論初步
§2.1 抽象數(shù)據(jù)類型與并行模塊化
2.1.1 什么叫并行模塊化
2.1.2 如何并行模塊化
2.1.3 數(shù)據(jù)抽象的說明方法
2.1.4 過程抽象的說明
2.1.5 模塊的說明
§2.2 對(duì)象式程序設(shè)計(jì)概念
2.2.1 對(duì)象式程序設(shè)計(jì)概念
2.2.2 類
2.2.3 對(duì)象
2.2.4 繼承
2.2.5 允引關(guān)系
2.2.6 對(duì)象系統(tǒng)的行為特征
§2.3 抽象相關(guān)分析
2.3.1 現(xiàn)實(shí)世界中的執(zhí)行相關(guān)關(guān)系
2.3.2 抽象相關(guān)概念
2.3.3 對(duì)象模型中的相關(guān)關(guān)系
2.3.4 抽象相關(guān)圖
§2.4 基于數(shù)據(jù)驅(qū)動(dòng)模型的并行程序構(gòu)造
2.4.1 具有斷言的數(shù)據(jù)驅(qū)動(dòng)模型
2.4.2 程序說明的并行分解
2.4.3 并行程序的優(yōu)化
2.4.4 并行程序的測(cè)試
§2.5 基于數(shù)據(jù)驅(qū)動(dòng)模型的并行程序設(shè)計(jì)
2.5.1 數(shù)據(jù)驅(qū)動(dòng)模型的優(yōu)點(diǎn)
2.5.2 基于數(shù)據(jù)驅(qū)動(dòng)模型程序設(shè)計(jì)的主要步驟
§2.6 軟件開發(fā)過程的計(jì)劃
2.6.1 問題的提出
2.6.2 軟件過程模型
2.6.3 軟件開發(fā)計(jì)劃說明
§2.7 并行程序執(zhí)行控制模式_
2.7.1 并行程序執(zhí)行控制模式概念
2.7.2 現(xiàn)有幾種執(zhí)行控制模式
2.7.3 數(shù)據(jù)驅(qū)動(dòng)／相關(guān)驅(qū)動(dòng)的執(zhí)行控制模式
第二章小結(jié)
第三章并行分解技術(shù)
§3.1 并行分解技術(shù)概論
3.1.1 問題及其解的結(jié)構(gòu)
3.1.2 說明性定義與構(gòu)造性定義
3.1.3 問題定義的并行分解
3.1.4 同步與合作問題
§3.2 論域分解之
3.2.1 并行Schwarz交替法
3.2.2 D-N交替法
3.2.3 容量矩陣法
3.2.4 有限元法
§3.3 論域分解之二
3.3.1 空中交通控制問題
3.3.2 確定問題論域
3.3.3 對(duì)象識(shí)別
3.3.4 問題分解與過程抽象
……
第四章分布式反應(yīng)系統(tǒng)
第五章并行程序設(shè)計(jì)環(huán)境與工具
參考文獻(xiàn)