協調型計算システム: 分散型ソフトウェアの技法と道具立て

著者 : R.E.フィルマン D.P.フリードマン 雨宮真人

• マグロウヒル出版 (1986年7月1日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年6月25日]

第１章が計算の理論、第２章がプログラミング言語と、基本的なおさらいから入っている。
３－２で同期メカニズムを説明している。
DijkstraのCo-operatingSequentialProcessedからSemaphore（腕木信号）を紹介している。
プログラム上で、SemaphoreをMUTEXという変数名にしている理由はよくわからなかった。
Mutexは、Mutual exclusionで、semaphoreで実現できるという意味だろうか。
例題としては、読み出し書き込み問題、哲学者の食事問題、生産者消費者問題の紹介がある。
第９章がペトリネットである。ペトリネットの問題点として、ブレースノードが空かどうかが決定できないという制約があるという。この問題を克服するためには、否定コンディションのためのブレースノードを陽に設けなければならないそうです。相互排除ネットにおいて、”このプロセスは臨海領域内にはない”というのは批点のコンディションです。しかし、数を覚えているという状況をモデル化する場合、時として適切ではなくなるという。
ペトリネットを書いたことがないせいか、ここが理解できていません。