Alan Burns University of York,UK

Andy Wellings University of York,UK

Concurrent and Real睺ime

Programming in Ada

2007, 461pp.

Hardcover

ISBN 9780521866972

A.伯恩斯等著

Ada是唯一的ISO標(biāo)準(zhǔn)面向?qū)ο蟛⑿袑崟r編程語言。作者給出了怎樣使用Ada任務(wù)分派模型來構(gòu)建一個應(yīng)用范圍很廣的并行實時系統(tǒng)的全面及自含的說明。在對并行編程的主要動機作介紹，并且說明了實時系統(tǒng)的主要特點之后，本書仔細(xì)地研究了并行編程的特征、進程間通訊的固有困難，隨后研究了Ada任務(wù)分派模型，給出了怎樣編寫并行程序的例子，說明了該模型的全部機能，探索了它的長處和局限，給出了封裝共用編程范例并行應(yīng)用程序。在探究了Ada的并發(fā)模型之后，作者把注意力轉(zhuǎn)向了怎樣使用任務(wù)分派來構(gòu)建實時應(yīng)用。書中詳細(xì)描述了該語言在這個領(lǐng)域中提供的輔助支持，開發(fā)并討論了公共實時編程的范例。這是唯一的一本把重點放在對Ada任務(wù)分派模型深入討論上的書籍，沿用了作者早先出版的“Ada中的并行性”一書的思想，對討論進行了更新，包括了新的Ada 2005版本語言和實時編程技術(shù)中的最新進展。

本書共有18章。1.緒論；2.并行編程的性質(zhì)及使用；3.進程間通訊；4.任務(wù)的類型與對象；5.會合；6.選擇語句與會合；7.受保護對象與面向數(shù)據(jù)的通訊；8.避免同步與重排隊程序；9.異常，異常中止及控制的異步轉(zhuǎn)移；10.面向?qū)ο蟮木幊膛c任務(wù)分配；11.并行實用程序；12.任務(wù)分派和系統(tǒng)編程；13.實時系統(tǒng)調(diào)度—固定優(yōu)先權(quán)發(fā)送；14.實時系統(tǒng)調(diào)度—其他的發(fā)送程序；15.定時事件及執(zhí)行時間控制；16.實時應(yīng)用程序；17.約束、度量和Ravenscar預(yù)置文件；18.結(jié)論。

本書第一作者是英國約克大學(xué)計算機科學(xué)教授，他發(fā)表過370篇論文及報告，出版了8本專著。第二作者是同一大學(xué)計算機科學(xué)系實時系統(tǒng)教授，他是計算機科學(xué)雜志《軟件實踐與經(jīng)驗》的歐洲主編，也是負(fù)責(zé)開發(fā)實時、安全關(guān)鍵及分布式編程Java平臺拓展的國際專家小組成員。兩位作者合著《實時系統(tǒng)與編程語言》(第3版)，《Ada中的并發(fā)性》(第2版)以外，第二作者還著有《Java中的并發(fā)性與實時編程》一書。

本書對專業(yè)軟件工程師和高年級學(xué)生同樣有價值。它是基本讀物和主要參考著作，應(yīng)該在書架上與該語言的參考手冊并排擺放。

胡光華，高級軟件工程師

(原中國科學(xué)院物理學(xué)研究所)

Hu Guanghua, Senior Software Engineer

(Former Institute of Physics,CAS)