データ再演法による並列プログラムデバッギング(プログラミングモデル・ツール)
スポンサーリンク
概要
- 論文の詳細を見る
並列プログラムのデバッギングの障害になる「実行の非決定性」を解決するために, 実行中に発生するイベントの順序を保存, 再現する「順序再演法」が広く用いられている.しかし順序再演法は, ロギングのオーバヘッドが小さいという特徴を持つ一方, 再演時に全プロセスを動かさなくてはならない, 各プロセスを自由な時点で停止させられないなどの制約がある.そこで我々は, 順序ではなくイベントの内容自体を保存, 再現することで決定的な再演を可能にする「データ再演法」を用いたデバッギングを提案する.データ再演法は, ロギングのオーバヘッド増加とひきかえに, 各プロセスを単独で再演できる.また, 「データ再演法」を巻き戻し実行と組み合わせることで, さらに強力なデバッギングシステムを実現できる.本稿では提案手法とMPI上での実装, 性能評価について述べる.並列計算機上での実験結果から, 本手法が十分に現実的な速度(Nas Parallel Benchmarksでロギング実行は平均24%の速度低下, 再演実行は38%の速度向上)とログサイズで動作することを示す.
- 一般社団法人情報処理学会の論文
- 2005-08-15
著者
-
中島 浩
京都大学学術情報メディアセンター
-
中島 浩
豊橋技術科学大学
-
津邑 公暁
名古屋工業大学
-
丸山 真佐夫
木更津工業高等専門学校情報工学科
-
津邑 公暁
豊橋技術科学大学
-
丸山 真佐夫
木更津工業高等専門学校
-
丸山 真佐夫
木更津工業高等専門学校:豊橋技術科学大学工学部
関連論文
- 非均質環境における適応型スケジューリング手法の提案と評価(並列分散処理,情報爆発論文)
- シームレスな高生産並列スクリプト言語の実現に向けて(並列プログラミング/スケジューリング,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- シームレスな高生産並列スクリプト言語の実現に向けて (計算機アーキテクチャ・ハイパフォーマンスコンピューティング・「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- タスク並列スクリプト言語のビジュアル開発環境の構築(HPC-6 : 開発・実行環境)
- (2)パネル討論 : アーキテクチャ研究の将来(150回研究会記念特別企画)
- 150回研究会記念特別企画(2)パネル討論 : アーキテクチャ研究の将来
- specMEM : 同期操作に対するメモリ・アクセスの投機的実行機構
- 同期操作に対するメモリ・アクセスの投機的実行の評価
- 同期操作に対するメモリアクセスの投機的実行の提案
- 非均質環境における適応型スケジューリング手法の提案と評価
- 高性能計算のための低電力・高密度クラスタMegaProto(HPCハードウェア)
- 高性能計算のための低電力・高密度クラスタMegaProto(クラスタと通信, 分散処理, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- 高性能計算のための低電力・高密度クラスタ MegaProto
- 超低電力メガスケールシステムのプロトタイプ : MegaProto(高性能システム)
- 超低電力メガスケールシステムのプロトタイプ : MegaProto
- タスク並列スクリプト言語処理系におけるユーザレベル機能拡張機構(分散コンピューティング)
- シームレスな高生産並列スクリプト言語の実現に向けて(並列プログラミング/スケジューリング,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- 並列デバッガにおける情報視覚化手法
- 非均質環境における選択型スケジューリング手法
- キャッシュメモリを考慮したFDTDカーネルの性能改善
- 大規模ワークフローを対象とする動的スケジューリング手法における静的情報の利用
- 負荷分散技法OhHelpによる粒子・流体ハイブリッドプラズマシミュレーションの並列化
- モデル図とコードを併用する大規模並列プログラミングの支援環境
- ヘテロ型大規模並列環境の階層型タスクスケジューリングの提案と評価
- 4K-1 配列の縮退表現による大規模並列タスクネットワークの実装効率化(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 代数ブロック化多色順序付け法による並列化ICCGソルバの性能評価
- 不均質環境におけるタスクネットワークの静的スケジューリング手法(HPC-3 : スケジューリング)
- タスクネットワークの解析情報を用いたスケジューリング手法
- 直方体要素用高速多重極法を用いた大規模マイクロマグネティックス計算の並列化
- Localized IC分解と多色順序付けを併用したハイブリッド型並列ICCG法に関する検討
- 自動メモ化プロセッサにおける消費エネルギー制御
- LC-005 自動メモ化プロセッサの消費エネルギー評価(ハードウェア・アーキテクチャ)
- 重複実行省略を用いた割込みによるマイクロプロセッサの最悪性能予測(プロセッサアーキテクチャ)
- 時間軸分割並列マイクロプロセッサシミュレータの高速化手法(ARC-8:シミュレーション技法,2006年並列/分散/強調処理に関する『高知』サマー・ワークショップ(SWoPP 高知2006))
- 分岐予測器の最悪フラッシュタイミングの効率的解析手法(セッション1)
- 再利用における連想記憶の必要容量および管理アルゴリズムの評価(最適化,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 時分割マイクロプロセッサシミュレーションにおける最適な分割数の調査(最適化,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 再利用における連想記憶の必要容量および管理アルゴリズムの評価(最適化, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 時分割マイクロプロセッサシミュレーションにおける最適な分割数の調査(最適化, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 6K-5 広域分散環境における大規模タスク群の挙動を求める高速シミュレータ(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 超並列計算機プロトタイプJUMP-0.5における分散共有メモリ管理手法
- LinuxとITRONによるハイブリッドOSの設計と実装(実時間処理,組込システム及び一般)
- メガスケールシミュレータAnastasiaにおける高精度タスクモデルシミュレーション(HPC-3 : クラスタソフトウェア)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- メガスケール環境シミュレータAnastasiaにおける詳細シミュレーション(HPC-10 :クラスタソフトウェア)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 時間軸分割並列マイクロプロセッサシミュレータの高速化と評価(シミュレーション・エミュレーション,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- 時間軸分割並列マイクロプロセッサシミュレータの高速化と評価(シミュレーション・エミュレーション,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- 時間軸分割並列化による高速マイクロプロセッサシミュレーション(プロセッサシミュレーション)
- 高性能マイクロプロセッサシミュレータの並列化による高速化(ARC-6 : シミュレーション技法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 高性能マイクロプロセッサシミュレータの並列化による高速化の構想(アーキテクチャ一般及びチップマルチプロセッサ)(デザインガイア2003 : VLSI設計の新しい大地を考える研究会)
- T2Kオープンスパコンが創る新しい計算機環境
- タスク並列スクリプト言語処理系における広域分散実行方式
- 効率の良い広域分散対応のタスク並列スクリプト言語の実現(HPC-9: 並列プログラミング)
- 負荷分散技法 OhHelp による粒子・流体ハイブリッドプラズマシミュレーションの並列化
- 非数値並列計算の動向と展望(論理と推論技術の展開)
- T2Kオープンスパコンとその相互結合網アーキテクチャ(分散システム,コンピュータシステムのインタコネクト技術及び一般)
- 分散計算システムWDC用基本ライブラリの構築
- 2000-HPC-82-25 分散計算システムWDCの設計と実装
- 少しは組込的なアーキテクチャシミュレーション : 色々やってわかったこと(招待講演)
- 少しは組込的なアーキテクチャシミュレーション : 色々やってわかったこと(招待講演)
- 少しは組込的なアーキテクチャシミュレーション : 色々やってわかったこと
- 少しは組込的なアーキテクチャシミュレーション--色々やってわかったこと
- CASによる最悪割込遅延解析の高速化(ARC-7:性能予測,2006年並列/分散/強調処理に関する『高知』サマー・ワークショップ(SWoPP 高知2006))
- ワークロード最適化シミュレータの設計と実装(プロセッサシミュレーション)
- ワークロード最適化によるキャッシュシミュレータの高速化(ARC-6: キャッシュ・システム, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- 割込みによるマイクロプロセッサの最悪性能予測(ARC-5: 性能予測, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- 共有メモリ型並列計算機の分散シミュレータの設計(ARC-6 : シミュレーション技法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 割込みによるマイクロプロセッサの性能劣化の予測方式(ARC-6 : シミュレーション技法)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 高速マイクロプロセッサシミュレータBurstScalarの設計と実装(シミュレータ)
- 動的計画法を用いたキャッシュフラッシュの最悪タイミングの探索手法(実時間処理)
- LinuxとITRONによるハイブリッドOSの設計と実装(実時間処理,組込システム及び一般)
- SpecCによるソフトウェア記述の実装記述への変換(仕様記述による実装)
- 再利用によるGAの高速化手法(計算科学)
- 共有メモリ・マルチプロセッサの分散シミュレーションのための参照フィルタ方式
- タスク並列スクリプト言語MegaScriptのタスク動作モデルの検証
- 高性能マイクロプロセッサの高速シミュレータの設計と実装(ARC-2:シミュレーション技術)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 第16回 若手が動かす学会へ : 事例研究と将来展望(これからの情報処理学会)
- データ再演法による並列プログラムデバッギング(プログラミングモデル・ツール)
- 巻き戻し実行をサポートする並列プログラムデバッガ
- 並列プログラムデバッギングのための巻き戻し実行機構
- タスク並列言語MegaScriptにおける高精度実行モデルの構築(プログラミングモデル・ツール)
- タスク並列スクリプト言語処理系におけるユーザレベルの機能拡張を可能とする機構(HPC-9: 並列プログラミング)
- 大規模分散計算環境シミュレータの設計と実装
- 分散制約充足問題のジョブ並列による求解
- 3次元FDTDカーネルのキャッシュメモリを考慮した性能改善の実装と性能評価
- 静的解析と動的処理の組合せによるエージェント指向並列言語Orgelのスケジューリング
- 静的解析と動的処理の組合せによるエージェント指向並列言語Orgelのスケジューリング
- プロセスネットワークを宣言的に記述する並列言語
- エージェント指向並列言語Orgelの静的解析による最適化
- マルチエージェントパラダイムと宣言的通信ストリームに基づく並列言語
- 高性能計算のための低電力・高密度クラスタMegaProto(クラスタと通信, 分散処理, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- 並列事前実行における再利用表管理機構の改良(ARC-1: プロセッサ・アーキテクチャ, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- 再利用を用いたGAの高速化(科学技術計算, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- 再利用を用いたGAの高速化
- タスク並列スクリプト言語におけるストリーム通信の改良(HPC-1 : 並列プログラミング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- タスク並列スクリプト言語用アプリケーション層ライブラリの実現(HPC-1 : 並列プログラミング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 配列の縮約表現による大規模ワークフローの効率的実装手法
- 静的情報を用いた動的再スケジューリングのオーバヘッド削減手法
- メタ情報に基づくタスク並列スクリプト言語のスケジューラ(HPC-10 : ネットワークとスケジューリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- Effectiveness of Iterative Method with Folded Preconditioning for Practical Finite Element Electromagnetic Field Analyses
- 実応用有限要素電磁場解析における折り畳み前処理を用いた反復解法の有効性