並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
Author(s)
Bibliographic Information
並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
啓学出版, 1986.3
- Other Title
-
Principles of concurrent programming
- Title Transcription
-
ヘイコウ プログラミング ノ ゲンリ : プロセスカン ツウシン ト ドウキ エノ ガイネンテキ アプローチ
Access to Electronic Resource 1 items
Available at 90 libraries
Search this Book/Journal
Note
参考文献: p[199]-203
Description and Table of Contents
Description
本書はＥ．Ｗ．ダイクストラやＣ．Ａ．Ｒ．ホーアの労作を解説し，その拡張を試みる。プロセス間の通信と同期に関する概念を、アービタ，セマフォ，モニタ，Ａｄａのテンデブで系統的に示す。並行プログラミングの性質，正当性，その証明のしかた，複数プロセスを制御するための仕組み…を明らかにする。
Table of Contents
- 並行プログラミングとは何か
- 並行プログラミングにおける抽象化
- 相互排除の問題
- セマフォ
- モニタ
- Ａｄａのテンデブ
- 食事をする哲学者
- 付録 インプリメンテーション・キット
by "BOOK database"