@techreport{oai:ipsj.ixsq.nii.ac.jp:00090455,
 author = {藤谷隆宏 and 松原豊 and 加藤真平 and 高田広章},
 issue = {3},
 month = {Feb},
 note = {マルチコアリアルタイムシステムでは，システムの時間制約を維持するため，コア間のリソース共有の最大ブロック時間を導出できることが重要となる．これまで様々なマルチコア向け同期プロトコルが提案されてきているが，その多くが高優先度タスクのスケジューラビリティの低い，ノンプリエンプティブ方式を採用したものであり，同時に複数のロックを取得するネストをサポートしていないものであった．本論文では，ネストをサポートし，プリエンプティブなスピンを採用した，高優先度タスクのスケジューラビリティの改善するプロトコルを提案した．さらに，静的優先度パーティショニングスケジューリング方式の際の，タスクの最大ブロック時間計算式を導出し，タスクの最悪応答時間計算式を導出した．評価の結果，従来の方式よりも，高優先度タスクの最悪応答時間が最大で13%，スケジューラビリティが最大6.5%改善されたことを示す．},
 title = {マルチコア向けFIFO式プリエンプティブ同期プロトコルのスケジューラビリティ評価},
 year = {2013}
}