デッドロック、優先度逆転

デッドロックと優先度逆転という、
リアルタイムOSを使っている上で課題となることが、
丁寧に書かれています。


セマッフォ（腕木信号）では、
状態遷移図を描いて説明しています。


基礎講座としては十分な内容です。


ps.
デッドロックの発生の可能性をどう自動検出するかなど、
実用的な取り組みや、

応用していくための指針を示していただけるとありがたかった。