資料詳細

【図書】 並行プログラミングの原理

プロセス間通信と同期への概念的アプローチ --
Ｍ．ベン－アリ／著, 渡辺栄一／訳, 　 -- 啓学出版 -- １９８６．０３ -- ２２ｃｍ -- ｘｉｉｉ，２０９ｐ

タイトル	並行プログラミングの原理
副書名	プロセス間通信と同期への概念的アプローチ
著者名等	Ｍ．ベン－アリ／著, 渡辺栄一／訳,
出版	啓学出版１９８６．０３
大きさ等	２２ｃｍｘｉｉｉ，２０９ｐ
分類	007.64
件名	プログラミング（電子計算機）
注記	Ｐｒｉｎｃｉｐｌｅｓ　ｏｆ　ｃｏｎｃｕｒｒｅｎｔ　ｐｒｏｇｒａｍｍｉｎｇ．
内容	参考文献：ｐ１９９～２０３
要旨	本書はＥ．Ｗ．ダイクストラやＣ．Ａ．Ｒ．ホーアの労作を解説し，その拡張を試みる。プロセス間の通信と同期に関する概念を、アービタ，セマフォ，モニタ，Ａｄａのテンデブで系統的に示す。並行プログラミングの性質，正当性，その証明のしかた，複数プロセスを制御するための仕組み…を明らかにする。
目次	並行プログラミングとは何か；並行プログラミングにおける抽象化；相互排除の問題；セマフォ；モニタ；Ａｄａのテンデブ；食事をする哲学者；付録　インプリメンテーション・キット
ISBN(13)、ISBN	4-7665-0166-7
書誌番号	1100045003

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/4187	一般書	利用可	-	2023060380