並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
著者
書誌事項
並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
啓学出版, 1986.3
- タイトル別名
-
Principles of concurrent programming
- タイトル読み
-
ヘイコウ プログラミング ノ ゲンリ : プロセスカン ツウシン ト ドウキ エノ ガイネンテキ アプローチ
電子リソースにアクセスする 全1件
大学図書館所蔵 件 / 全90件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[199]-203
内容説明・目次
内容説明
本書はＥ．Ｗ．ダイクストラやＣ．Ａ．Ｒ．ホーアの労作を解説し，その拡張を試みる。プロセス間の通信と同期に関する概念を、アービタ，セマフォ，モニタ，Ａｄａのテンデブで系統的に示す。並行プログラミングの性質，正当性，その証明のしかた，複数プロセスを制御するための仕組み…を明らかにする。
目次
- 並行プログラミングとは何か
- 並行プログラミングにおける抽象化
- 相互排除の問題
- セマフォ
- モニタ
- Ａｄａのテンデブ
- 食事をする哲学者
- 付録 インプリメンテーション・キット
「BOOKデータベース」 より
