タイトル:
	優先度継承スピンロックアルゴリズムとその評価
	Priority Inheritance Spin Lock Algorithms and Their Evaluation

著者:
	王 才棟(1), 高田 広章(1), 坂村 健(2)
	Cai-Dong WANG, Hiroaki TAKADA, and Ken SAKAMURA

	(1) 東京大学 理学部 情報科学科
	    Department of Information Science,
	    School of Science，University of Tokyo

	(2) 東京大学 総合研究博物館
	    The University Museum, University of Tokyo

アブストラクト:
	共有メモリマルチプロセッサ上のリアルタイムシステムでプロセッサ
	間排他制御を実現する場合に，優先度逆転をなるべく短くするために，
	優先度順のスピンロックが使われる．ところが，複数のロックを順に
	獲得する場合に優先度順スピンロックを単純に用いると，プロセッサ
	間で上限のない優先度逆転の問題が発生する．本論文では，スピンロッ
	クにおいても上限のない優先度逆転の問題が起こることを指摘し，そ
	の問題を解決するために，優先度順スピンロックに優先度継承の仕組
	みを導入した優先度継承スピンロックを提案する．2種類の優先度順
	スピンロックアルゴリズムをベースに，2種類の優先度継承スピンロッ
	クアルゴリズムを提示し，それらの有効性を実機を用いた性能評価に
	よって検証する．

掲載誌:
	情報処理学会論文誌 Vol.38 No.11