並行プログラミングの原理―プロセス間通信と同期への概念的アプローチ

ベンー・アリ，Ｍ．【著】/渡辺 栄一〔ワタナベ/エイイチ〕【訳】

啓学出版（1986/03発売）

• サイズ A5判／ページ数 209p／高さ 22cm
• 商品コード 9784766501667
• NDC分類 007.64
• Cコード C3055

内容説明

本書はＥ．Ｗ．ダイクストラやＣ．Ａ．Ｒ．ホーアの労作を解説し，その拡張を試みる。プロセス間の通信と同期に関する概念を、アービタ，セマフォ，モニタ，Ａｄａのテンデブで系統的に示す。並行プログラミングの性質，正当性，その証明のしかた，複数プロセスを制御するための仕組み…を明らかにする。

目次

並行プログラミングとは何か
並行プログラミングにおける抽象化
相互排除の問題
セマフォ
モニタ
Ａｄａのテンデブ
食事をする哲学者
付録　インプリメンテーション・キット