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

著者

書誌事項

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

M. ベン=アリ著 ; 渡辺栄一訳

啓学出版, 1986.3

タイトル別名

Principles of concurrent programming

タイトル読み

ヘイコウ プログラミング ノ ゲンリ : プロセスカン ツウシン ト ドウキ エノ ガイネンテキ アプローチ

大学図書館所蔵 件 / 全90件

この図書・雑誌をさがす

注記

参考文献: p[199]-203

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BN00246607
  • ISBN
    • 4766501667
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xiii, 209p
  • 大きさ
    22cm
  • 分類
  • 件名
ページトップへ