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