講義/リアルタイムシステム/ノート - JoriWiki

テスト対策

同期機構

セマフォ

排他制御や協調制御を行うための同期機構

• 計数セマフォ

役割としては、協調制御を担っている。あるタスクの資源がn個の場合、最大値=初期値=nとなる。
任意のタスクがリソースを使用したいという依頼を受け取り、セマフォの値が0でなければ、リソースを

• バイナリセマフォ

各フォークに対応するセマフォは初期値が1のバイナリセマフォである。このセマフォは、複数の哲学者がひとつのフォークを共有しないように排他制御を行っている。

プライオリティインヘリタンス

プライオリティシーリング

スタックリソースポリシー

スケジューリング方式とアルゴリズム

EDF

Bratley

LDF

実行順序つきEDF

RM

DM

スケジュール可能性判定

RM

EDF