並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
著者
書誌事項
並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
啓学出版, 1986.3
- タイトル別名
-
Principles of concurrent programming
- タイトル読み
-
ヘイコウ プログラミング ノ ゲンリ : プロセスカン ツウシン ト ドウキ エノ ガイネンテキ アプローチ
電子リソースにアクセスする 全1件
大学図書館所蔵 全90件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[199]-203
内容説明・目次
内容説明
本書はE.W.ダイクストラやC.A.R.ホーアの労作を解説し,その拡張を試みる。プロセス間の通信と同期に関する概念を、アービタ,セマフォ,モニタ,Adaのテンデブで系統的に示す。並行プログラミングの性質,正当性,その証明のしかた,複数プロセスを制御するための仕組み…を明らかにする。
目次
- 並行プログラミングとは何か
- 並行プログラミングにおける抽象化
- 相互排除の問題
- セマフォ
- モニタ
- Adaのテンデブ
- 食事をする哲学者
- 付録 インプリメンテーション・キット
「BOOKデータベース」 より