電子情報学専攻の坂井修一 教授のグループは、マルチスレッドを考慮しないプログラムを並列処理可能にするスレッド投機実行という手法において、メモリー投機を実現するキャッシュ・コヒーレンシー・プロトコルの要件を明確にし、さらにその実装の有効性をモデル検査ツールで検証する方法を考案した。
坂井・五島研究室
◎このニュース記事は「東大情報理工ARAプログラム」の会員企業に配信しています 「ARAメールマガジン」のNews記事よりその一部を掲載しています。 ◎ARAメールマガジンについては情報理工ARAプログラムのホームページを参照ください。 http://www.arap.jp/mail_magazine/index.html