関数単位疑似逆実行の高速化

スポンサーリンク

概要

• 論文の詳細を見る

• デバッガを用いて関数呼び出し単位の疑似逆実行を実現する方法の1つとして, プロファイル用の関数を置き換えることにより, Cプログラムにおける関数呼び出しの入口を捕捉する方法が提案されている.しかし, この方法では関数からリターンするところを捕捉できないので, 逆実行時の停止目標点を決定するために, (1)現在の実行点までスタックをシミュレートしながら先頭から再実行し, 制御点の移動目標を決め(scan pass), (2)実際に制御点をそこに移すために再度先頭から実行する(re-execute pass)ことになっており, 本来不要なパス(1)が存在する.本論文では, コンパイラのアセンブリ言語出力を修正して関数からリターンするところも捕捉し, スタックのシミュレーションを通常実行時に正確に行うことによって, 従来手法では2パスを要していた逆実行時の処理を, 1パスで行う手法を提案する.また, 通常実行時のオーバヘッドと逆実行時のオーバヘッドを, 経過時間の計測によって従来手法と比較する.

• 一般社団法人情報処理学会の論文
• 2000-11-15

著者

• 寺田 実

  電気通信大学情報通信工学科

• 丸山 一貴

  東京大学情報基盤センター

• 丸山 一貴

  東京大学大学院情報理工学系研究科知能機械情報学

• 寺田 実

  東京大学大学院工学系研究科

• 寺田 実

  電気通信大学大学院情報通信工学専攻

• 寺田 実

  東京大学大学院 情報理工学系研究科 知能機械情報学専攻

関連論文

• 運用の省力化のためのシンクライアントシステム管理ツールの導入と評価(パラレル,インターネットと情報倫理教育,一般)
• ゆるやかに結合したLDAPツリーを用いた統合認証システムに関する研究(セキュリティ(1))
• CodeDrummer: プログラム実行における関数呼び出しの可聴化手法
• 表データ操作をRDBで強化したWikiシステム
• 運用の省力化のためのシンクライアントシステム管理ツールの導入と評価(パラレル,インターネットと情報倫理教育,一般)
• 運用の省力化のためのシンクライアントシステム管理ツールの導入と評価(パラレル,インターネットと情報倫理教育,一般)
• 学内向けメールサービスの運用と稼働状況について
• Web情報を用いたキーワード抽出によるタグづけ支援
• Web情報を用いたキーワード抽出によるタグづけ支援
• ScoutView:Webページにおけるナビゲーション支援インタフェース
• HTTPログにおける付随リクエストの発生特性の分析(ウェブ情報とデータベースに関して(ポスター講演))
• Javaプログラムを対象とするGUI操作記録・再生型デバッグシステム
• 閲覧履歴を利用した協調フィルタリングによるWebページ推薦とその評価(夏のデータベースワークショップ2007(データ工学,一般))
• 閲覧履歴を利用した協調フィルタリングによるWebページ推薦とその評価(情報抽出および推薦,夏のデータベースワークショップ2007(データ工学,一般))
• K-001 閲覧履歴を共有するウェブブラウザ(K分野:ヒューマンコミュニケーション&インタラクション)
• クラスファイル変換によるJavaプログラムの実行制御
• 関数単位疑似逆実行の高速化
• デバッガのためのプログラム疑似逆実行方式
• 5ZF-5 表データ操作をRDBで強化したWikiシステム(Web応用,学生セッション,インタフェース,情報処理学会創立50周年記念)
• 5ZF-8 手書きを用いた動画上の非同期コミュニケーションシステム(Web応用,学生セッション,インタフェース,情報処理学会創立50周年記念)
• プログラム理解の記録・再利用のための統合ソフトウェアシステム
• 認識信頼度を用いた誤認識修正支援エディタの検討
• ダーティビット情報を用いた世代別ごみ集めのGNU Emacsへの実装
• 世代別ごみ集めでのプログラムの文脈に基づくシンボルの配置法
• フレンドリーアーティファクトのためのロバストな顔認識システム
• GNU Emacsへの世代別ごみ集めの実装
• 1N-8 Web推薦のためのP2Pネットワークの構築と評価(Webサービス提供,学生セッション,データベースとメディア)
• M-050 Peer-to-PeerにおけるPush型情報共有を介したクラスタリング(M分野:ユビキタス・モバイルコンピューティング)
• サイコロパズル(プログラム・プロムナード)
• Niklaus Wirth : Algorithms + Data Structures = Programs(20世紀の名著名論)
• ケーブルマスタ(プログラム・プロムナード)
• 充電器が足りなくて(プログラム・プロムナード)
• 世代別GCの殿堂入りポリシー : mark/cons比の限界とスタックフレームからの到達性の利用
• 木の図示(プログラム・プロムナード)
• 木の図示
• プログラム・プロムナード 丸い紙吹雪
• どこで会える?(プログラム・プロムナード)
• 六角形の組合せ(プログラム・プロムナード)
• 円周上の点による最大面積多角形(プログラム・プロムナード)
• 自動書記メタファによるGUIの提案
• 文脈自由文法を利用した再帰的画像生成への時間軸の導入
• 学外システム連携による教育用計算機システムプリントサービス (技術と社会・倫理)
• 学外システム連携による教育用計算機システムプリントサービス (インターネットアーキテクチャ)
• ドラッグ操作によるJavaプログラムリファクタリングシステム
• 学外システム連携による教育用計算機システムプリントサービス(教育システム,インターネットと情報倫理教育,一般)
• 学外システム連携による教育用計算機システムプリントサービス(教育システム,インターネットと情報倫理教育,一般)
• J-001 Webブラウザを用いた手書きメモ共有システムの提案(ヒューマンコミュニケーション(1),J分野:ヒューマンコミュニケーション&インタラクション)
• K-032 SNSの機能を利用したプログラミング学習支援(教育工学(1),K分野:教育工学・福祉工学・マルチメディア応用)
• K-005 PADを利用したパズル型プログラミング学習システム(教育工学(1),K分野:教育工学・福祉工学・マルチメディア応用)
• RO-007 Webページの分類と閲覧時間を利用したコンテンツフィルタリング(情報検索,O分野:情報システム)
• M-015 スマートフォンでの利用に特化したWikiシステムの開発(モバイルアプリケーション,M分野:ユビキタス・モバイルコンピューティング)
• RM-008 Twitterにおけるリツイート経路の重ね合わせによるユーザ発見支援(行動パターン分析,M分野:ビキタス・モバイルコンピューティング)

もっと見る 閉じる

スポンサーリンク