タイトル:
	中断可能なキューイングスピンロックアルゴリズム
	Queueing Spin Lock Algorithms with Preemption

著者:
	高田 広章, 坂村 健
	Hiroaki TAKADA and Ken SAKAMURA

	東京大学 理学部 情報科学科
	Department of Information Science,
	Faculty of Science，University of Tokyo

アブストラクト:
	非対称型の共有メモリマルチプロセッサ上にリアルタイム
	システムを構築する場合，最大実行時間が予測できるプロ
	セッサ間同期と，各プロセッサにおける高速な割込み応答
	性の両立が要求される．本論文では，従来のスピンロック
	アルゴリズムではこれらの要求を両立させることが困難で
	あることを指摘し，この問題を解決するために提案した２
	種類のスピンロックアルゴリズムについて述べる．これら
	のアルゴリズムは，ロック待ち状態のプロセッサをキュー
	によって管理するアルゴリズムを，割込み処理のために待
	ち状態を中断できるよう拡張したもので，各プロセッサに
	おける割込み禁止時間を最小限にすると同時に，プロセッ
	サ間ロックを取れるまでの時間に上限があるという性質を
	持つ．これらのアルゴリズムが要求される性質を満たして
	いることを，実機を用いた性能評価によって検証する．ま
	た，リアルタイムカーネルに適用するために，２種類のア
	ルゴリズムを組み合わせたアルゴリズムについても述べる．

キーワード:
	スピンロック，非対称マルチプロセッサ，リアルタイムシ
	ステム，割込み応答性，プロセッサ間同期

掲載誌:
	電子情報通信学会論文誌 Vol.J78-D-I No.8
	(「実時間処理システムとその応用」大特集)