優先度継承イベントフラグ仕様の提案

カテゴリ: 部門大会

論文No: PS4-2

グループ名: 【C】平成30年電気学会電子・情報・システム部門大会プログラム

発行日: 2018/09/05

タイトル(英語): Proposal of priority inheritance event flag specification

著者名: 上野 幸輝(大阪電気通信大学),南角 茂樹(大阪電気通信大学)

著者名(英語): Kouki Ueno|Shigeki Nankaku

キーワード: イベントフラグ|優先度継承|優先度逆転優先度逆転|Event flag|Priority inheritance|Priority reversal

要約(日本語): 組込みシステムにおける同期排他制御を実現するための基本的な仕組みとしてセマフォ，イベントフラグなどがある。そして排他制御時には，システムのリアルタイム性を損なう優先度逆転の問題が発生する場合が多く，それを防止するために，セマフォには優先度継承やプライオリティーシーリングなど様々な提案がなされている。しかしながら，同様な優先度逆転問題はイベントフラグにも存在するにも関わらず，単独の待ち条件で実行されるセマフォと異なり，イベントフラグはAND待ちや，OR待ちなど待ち条件が複雑であり，優先度逆転を防止する有効な方式が提案されていない。そこで最初にイベントフラグにおいて優先度逆転が発生する様々な場合を洗い出して，それを防止するための優先度継承イベントフラグの仕様を提案する

PDFファイルサイズ: 272 Kバイト