@techreport{oai:ipsj.ixsq.nii.ac.jp:00027515,
 author = {樋口, 正雄 and 宮内, 新 and 石川, 知雄 and 高田, 広章 and Masao, Higuchi and Arata, Miyauchi and Tomo, Ishikawa and Hiroaki, Takada},
 issue = {18(2001-SLDM-105)},
 month = {Mar},
 note = {μ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 fule. In this paper, we implemented the mutex function followed in both priority control rules on μITRON4.0-specification kernel and evaluated the dif ferences of performance. As the result, in the case that locks multiple mutexes, the simplified priority control rule enables to suppress the overhead of mutex operation.},
 title = {µITRON4.0仕様リアルタイムOSにおけるミューテックスの実装},
 year = {2002}
}