@article{oai:ipsj.ixsq.nii.ac.jp:00017864,
 author = {今福, 茂 and 大野, 和彦 and 中島, 浩 and Shigeru, Imafuku and Kazuhiko, Ohno and Hiroshi, Nakashima},
 issue = {SIG09(HPS3)},
 journal = {情報処理学会論文誌ハイパフォーマンスコンピューティングシステム（HPS）},
 month = {Aug},
 note = {本論文では，我々が開発中の共有メモリ・マルチプロセッサのための実行駆動型分散シミュレータShamanにおいて，そのフロントエンドが生成するメモリ参照履歴を削減する方式を述べる．Shamanはフロントエンドとバックエンドから構成され，PCクラスタで実行される．フロントエンドではシミュレーションのワークロード・プログラムを，ソフトウェア分散共有メモリの技法を用いて並列実行し，シミュレーション対象システムのコヒーレント・キャッシュを部分的にシミュレートしてメモリ参照履歴を生成する．履歴はバックエンドに送られ，キャッシュを含む対象メモリ・システムの挙動がシミュレートされる．履歴削減の基本的なアイデアは，フロントエンドのキャッシュをフィルタとして用い，このフィルタ・キャッシュをミスした参照のみをバックエンドに送ることである．本論文ではキャッシュ/メモリのブロックに対するdata-race-free（DRF）の概念を導入し，DRFのブロックに関してはフィルタが正しく動作することを証明するとともに，DRFではないブロックの検出方法も示す．またSPLASH-2中の2つのカーネルを用いた評価により，最高で99.6%の参照が除去され，残りの参照の中で対象システムのキャッシュにヒットするものは1.4%以下であることも示す．, This paper proposes a method to reduce the amount of the memory references generated by the front-end of our distributed execution-driven simulator for shared memory multiprocessors named Shaman. The simulator consists of the front-end to execute programs in parallel and the back-end, driven by the memory references from the front-end, to simulate the behavior of the memory system of a target multiprocessor. For high performance simulation, the front-end runs on a PC cluster using software DSM technique and partially simulates the coherent cache of the target system. The key idea of the reference reduction is to use the caches in the front-end as a filter of the references. We prove that the filtering for a memory block is safe if it is accessed in data-race-free manner as the whole. We also show a method to detect racing blocks to inactivate the filtering. The preliminary experiment with SPLASH-2 kernels shows up to 99.6% of references are filtered out and redundant references are less than 1.4%.},
 pages = {93--105},
 title = {共有メモリ・マルチプロセッサの分散シミュレーションのための参照フィルタ方式},
 volume = {42},
 year = {2001}
}