メニーコア・メニーノードに対応する実用的共有メモリ型並列計算基盤

点击翻译按钮获取中文摘要

トランザクショナルメモリ（TM）処理系の評価のためのベンチマークスイートとしては，STAMPがデファクトスタンダードの地位を確立している．しかし STAMP は，TM 処理系同士の優劣を比較するという目的を意識しているためか，TM処理系にとって不必要に難易度の高い実装となっていることを我々は発見した．このような実装のため，原理的にTMはロックよりも高い性能を発揮し得るにもかかわらず，STAMP を用いた評価ではTMの性能はロックと比べて著しく低く見積もられてしまう．このような状況に対して Nguyen らは，STAMP の性能面を改善した Stampede を提案しているが，Stampede の各プログラムは STAMP の対応するプログラムと機能的には等価であるものの，2 つの原則（principle）に従って大幅に書き換えられている．これにより，Stampede は極めて高い性能，スケーラビリティを実現できるが，Stampede で施されているアプリケーションプログラム書き換えは，生産性と性能の両立という TM の優位点を毀損するもので，受け入れ難い．また，TM 処理系が一般に備えているほとんどすべての機能をアプリケーションプログラム側による実装に委譲しており，TM 処理系の性能を測定するためのベンチマークスイートとしても不適である．そこで我々は，適切な難易度でありながらも，TM の優位点を正しく示すことができるベンチマークがまずは必要であると考え，Stampede のアプリケーションプログラム書き換えを参考にしつつ，アプリケーションとTM処理系との適切な役割分担について検討した上で，TM処理系を正当に評価できるベンチマークの開発を検討した。検討した役割分担に基づく実装を評価した結果，オリジナルの STAMP と比較して最大 9.58 倍の速度向上を達成した