参加大学/研究機関紹介

東京大学大学院
情報理工学系研究科　電子情報学専攻

研究テーマ：
過去の競合命令にチェックポイントを設定するトランザクショナル・メモリ

研究概要：
　近年マルチコアプロセッサの普及とともに並列プログラミングの重要性が高まっている。
　並列プログラミングにおいてロックを用いない同期機構として、トランザクショナル・メモリが提案されている。プログラマによってトランザクションとして指定される一連の処理は不可分に実行されているかのように投機実行される。もし他スレッドのアクセスと競合した場合、トランザクションを初めから再実行する。
　長いトランザクションでは、ロールバックが大きなペナルティとなる。トランザクションの途中に戻る部分ロールバックを行うことでペナルティを削減できる。本研究では、過去に競合した命令直前で無効化しないチェックポイントを取ることで再実行のペナルティが最小になるような手法を提案する。

採用理由：
研究に使われるGEMSを呼ばれるメモリシミュレータがSimicsの機能を元に動く仕組みになっていたため。

研究詳細URL：
http://www.mtl.t.u-tokyo.ac.jp/publications/paper/2012/J12-forum-abe.pdf

開発環境：
アーキテクチャ： UltraSPARC III

採用Wind River製品：
Wind River Simics

コンタクト情報：
電話： 03-5841-6763
E-mail： iwata@mtl.tu-tokyo.ac.jp
URL： http://www.mtl.t.u-tokyo.ac.jp/
担当： 岩田　愛実