| 講演名 | 2002/2/26 μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装 樋口 正雄, 宮内 新, 石川 知雄, 高田 広章, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | μITRON4.0仕様では新たに「ミューテックス」機能に関する規定が追加された.これは排他制御に伴う「優先度逆転現象」の防止に有効とされる優先度継承・上限プロトコルをサポートする排他制御機構である.同仕様では原義の優先度継承・上限プロトコルに忠実な「厳密な優先度制御規則」に加え「簡略化された優先度制御規則」が定義され,どちらを採用するかは実装依存としている.このような仕様の有効性及び妥当性の検証,制御規則の選択基準の提供を目的として,実カーネル上に両者の制御規則のミューテックスを実装し,優先度制御規則による性能の差異を定量的に評価した.結果,タスクによるミューテックスのロックがネストするような環境においては,簡略化規則の採用によってオーバーヘッド増加の抑制が可能であった. |
| 抄録(英) | μ ITRON4.0-specification, established in 1999, includes the definition of mutex function, added for the hard real-time systems. Mutex supports priority inherita nce protocols and priority ceiling protocols, approach to solve the problem of (uncontrolled) priority inversion accompanying mutual exclusion. μ ITRON4.0-specification defines two versions of priority control rule strict rule and simplified rule. In this paper, we implemented the mutex function followed in both priority control rules on μ ITRON4.0-specification kernel and evaluated the differences of performance. As the result, in the case that task locks multiple mutexes, the simplified priority control rule enables to suppress the overhead of mutex operation. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | CPSY2001-112 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 2002/2/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装 |
| サブタイトル（和） | |
| タイトル（英） | Implementation of Mutex on μ ITRON4.0-specification Real-time Kernel |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 樋口 正雄 / Masao Higuchi |
| 第 1 著者 所属（和/英） | 武蔵工業大学大学院 Musashi Institute of Technology |
| 第 2 著者 氏名（和/英） | 宮内 新 / Arata Miyauchi |
| 第 2 著者 所属（和/英） | 武蔵工業大学大学院 Musashi Institute of Technology |
| 第 3 著者 氏名（和/英） | 石川 知雄 / Tomo Ishikawa |
| 第 3 著者 所属（和/英） | 武蔵工業大学大学院 Musashi Institute of Technology |
| 第 4 著者 氏名（和/英） | 高田 広章 / Hiroaki Takada |
| 第 4 著者 所属（和/英） | 豊橋技術科学大学情報工学系 Toyohashi University of Technology |
| 発表年月日 | 2002/2/26 |
| 資料番号 | CPSY2001-112 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 672 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |