1 OS系低レイヤな人のための Transputerとか CSP ⇒ Occam ⇒ Erlang 2011/MAY/22 (訂正版2) たけおか 2 前置き 本筋とまったく関係ない 3 代表的な排他制御/同期のプリミティブ • セマフォ (semaphore) – セマフォが得られれば、資源の使用権を得られたと考える – オランダ人のDijkstra(ダイクストラ)の発案 – P/V (Wait/Signal)命令が基本 • Waitでセマフォを得る/Signalでセマフォを返す • 腕木信号の用語。しかもオランダ語 – 1bitのバイナリ・セマフォ – カウンティング・セマフォ (カウンタが0でなければ資源を使用可能) – mutexはセマフォの一種 • モニタ (monitor) – きわどい領域を一つの手続きにし、そこに一人(または許された数)しか入れ ないように、システムが制御