「講義/リアルタイムシステム/ノート」の編集履歴（バックアップ）一覧はこちら

講義/リアルタイムシステム/ノート - (2008/01/18 (金) 14:45:36) の１つ前との変更点

追加された行は緑色になります。

削除された行は赤色になります。

*テスト対策

#contents(fromhere=true)

**同期機構
***セマフォ

***プライオリティインヘリタンス
***プライオリティシーリング
***スタックリソースポリシー
**スケジューリング方式とアルゴリズム
***EDF
***Bratley
***LDF
***実行順序つきEDF
***RM
***DM
**スケジュール可能性判定
***RM
***EDF

*テスト対策

#contents(fromhere=true)

**同期機構
***セマフォ
&u(){&font(#FF4500){排他}}制御や&u(){&font(#FF4500){協調}}制御を行うための同期機構
-&u(){&font(#FF4500){計数}}セマフォ
役割としては、&u(){&font(#FF4500){協調}}制御を担っている。あるタスクの&u(){&font(#FF4500){資源}}がn個の場合、&u(){&font(#FF4500){最大}}値=&u(){&font(#FF4500){初期}}値=nとなる。
任意のタスクがリソースを使用したいという依頼を受け取り、セマフォの値が0でなければ、リソースを
-&u(){&font(#FF4500){バイナリ}}セマフォ
各フォークに対応するセマフォは初期値が1のバイナリセマフォである。このセマフォは、複数の哲学者がひとつのフォークを共有しないように排他制御を行っている。
***プライオリティインヘリタンス
***プライオリティシーリング
***スタックリソースポリシー
**スケジューリング方式とアルゴリズム
***EDF
***Bratley
***LDF
***実行順序つきEDF
***RM
***DM
**スケジュール可能性判定
***RM
***EDF