並列投機実行を支援するバイナリトランスレーション方式の研究

支持并行推测执行的二进制翻译方法研究

• 批准号: 12780192
• 负责人: 玉造 潤史
• 金额: $ 1.54万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12780192/
• 关键词: 投機実行; バイナリトランスレーション; マルチプロセッサ; マイクロプロセッサ; プログラム最適化

本年度は並列投機実行の検証を行うシミュレータの作成と並列投機実行最適化を行うバイナリトランスレーション方式の基本方式の検討および実装を行ったシミュレータはSolaris8マルチプロセッサ上で複数のプロセッサのシミュレーションを行うことが可能なマルチスレッドシミュレータとなっており、マルチプロセッサシステムと同様に共有メモリ上にデータ空間をもち、通信はマルチスレッドライブラリを用いて実現されている。また、プログラム生成は移植したクロスコンパイラシステムによって生成され、実験が容易にできるようになっている。また、バイナリトランスレーションの最適化においては、実行時再構成方式が生成するプログラムの事前生成を行い実行の最適化手法について(1)並列実行するに対応したレジスタ割付方式および命令再構成を行うことにより命令実行数を減少できること、(2)要素プロセッサに投機実行用命令を追加することにより、メモリアクセスのハードウエアを減少できること、また、実行時再構成方式での重複実行において分岐命令の実行を可能にすることによって投機実行の精度を上昇させることが可能であることを示し、バイナリトランスレータに実装した。バイナリトランスレータは最適化のために実行時と同様にプログラムをバイナリプログラムフォーマットにしたがって制御構造を読み取り並列実行可能部分を検索する。昨年度の研究成果を用いて、検索時に並列実行回数のサイズを特定しループ構造であれば適切な繰り返しサイズになるようにアンローリングして解析を行い、上記の最適化を行うようになっている。実行時の分岐予測によるコントロールフロー生成が困難な場合には本方式による、最適化が有効であり、特にgccなどの基本ブロックサイズが小さいプログラムでは、速度向上に貢献することが分かった。

This year, we will conduct research and evaluation on the implementation of parallel speculation and optimize the implementation of parallel speculation. We will conduct research and evaluation on the basic methods of parallel speculation and optimization. We will conduct research and evaluation on the implementation of parallel speculation and optimization on the implementation of parallel speculation and optimization on the implementation of parallel speculation and optimization on the implementation of parallel speculation. The same is true of the common media, and the common media is used to communicate with each other. In addition to the above, it is also possible to create a variety of new products. Optimization of the operation of the system (1) Parallel operation of the system (2) Element speculation of the operation of the system (3) Reduction of the number of command lines (4) Optimization of the operation of the system (1) Parallel operation of the system (2) Element speculation of the operation of the system (4) The accuracy of speculative execution may be increased due to the decrease in the number of times when the execution is repeated and the reconfiguration mode is implemented. For example, if a user chooses to use the software, the user may choose to use the software. Last year's research results were used in the analysis and optimization of the system. In case of difficulty in the generation of real-time divergence prediction, optimization can be carried out in this way, especially in the case of basic divergence prediction.

项目成果

玉造 潤史, 平木 敬: "実行時プログラム再構成チップマルチプロセッサ"情報処理学会論文誌. (2002)

Junji Tamatsukuri、Kei Hiraki：“运行时程序重新配置芯片多处理器”日本信息处理学会杂志（2002）

玉造 潤史, 平木 敬: "実行時再構成方式におけるバイナリトランスレーション支援"電子情報通信学会コンピュータシステム技術報告. CPSY2001-42. 55-62 (2001)

Junji Tamatsukuri、Kei Hiraki：“运行时重新配置方法中的二进制翻译支持”IEICE 计算机系统技术报告。 CPSY2001-42 (2001)。