情報処理学会 第79回全国大会講演要旨

オペレーティングシステムは，サービスの要望に即したプロセスのスケジュールが求められるため，優先度逆転を抑制する必要がある．特にマイクロカーネル構造OSでは，OSサーバ間通信において優先度逆転が発生する可能性がある．また，コア毎に独立したスケジューラは，マイクロカーネル構造OSの性能を左右するプロセス切替のオーバヘッドが小さい特徴を持つ．一方，他コア上のプロセス情報を操作できないため，コア間通信を必要とする．そこで，コア毎に独立したスケジューラを有するマイクロカーネル構造OSのAnTにおいて，OSサーバ間通信における優先度逆転を抑制し，かつコア間通信回数を削減するスケジュール機構を提案した．本稿では，このスケジュール機構の優先度逆転抑制効果を計算サーバにより評価した結果を報告する．