「講義/リアルタイムシステム/ノート」の編集履歴(バックアップ)一覧はこちら
講義/リアルタイムシステム/ノート - (2008/01/18 (金) 14:15:45) の最新版との変更点
追加された行は緑色になります。
削除された行は赤色になります。
*テスト対策
#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