相互排除問題　「際どい資源」をいかにプログラムで利用するか

並行プロセスがコンピュータの資源を同時に利用しようとするとき、どのように保護するか。この相互排除問題について「五人の哲学者の食事問題」はじめダイクストラやクヌースが提示した問題を解くためのアルゴリズムを明快に解説する。基本的な概念および原理がよくわかる。

目次

１　プロセスと同期
２　共有記憶を用いた相互排除（ソフトウェアによる解法
ハードウェアによる解法
同期問題
同期基本命令）
３　相互排除のための言語機構（並行文
条件付き際どい区域
モニタ
順路式
強制論理
待合せ）
４　分散環境における相互排除（状態変数を用いた解法
メッセージ通信にもとづいた解法）

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。