すべて 和書

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