アセンブリ言語上でのプログラム特化

• Item type: Journal(1)
• 公開日: 2002-06-15
• タイトル: アセンブリ言語上でのプログラム特化
• タイトル / 言語: en
• タイトル: Program Specialization for the Assembly Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア基礎理論
• 著者所属: 株式会社日立製作所ビジネスソリューション事業部
• 著者所属: 東京工業大学大学院情報理工学研究科数理・計算科学専攻
• 著者所属: 東京工業大学大学院情報理工学研究科数理・計算科学専攻
• 著者所属(英): en
• 著者所属(英): Business Solution Systems Division, Hitachi, Ltd.
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 著者名: 徳生, 吉孝; 脇田, 建; 佐々, 政孝
• 著者名(英): Yoshitaka, Tokusyou; Ken, Wakita; Masataka, Sassa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，RISC型アセンブリ言語上でのプログラム特化技法を定式化する．アセンブリ言語上でのプログラム特化には，いくつかの問題がある．1つ目は，データフローの複雑さの問題である．一般に，アセンブリプログラムは，コンパイラのレジスタ割付けによって，ソースプログラムよりも複雑なデータフローを持つ．この問題を解決するためには，精度の高い束縛時解析を行わなくてはならない．そこで本稿では，最も精度の高い束縛時解析である，{program}-point {sensitive}な束縛時解析を採用した．2つ目は，非構造的な制御フローの処理についての問題である．既存のC言語上での特化器は，非構造的な制御フローを直接処理することができなかった．そのため，特化の前に，非構造的な制御フローを取り除くプログラム変換を行う必要があった．本稿では，制御フロー解析を行うことによって，非構造的な制御フローを直接，処理することを可能にした．我々の知る限り，アセンブリ言語上でのプログラム特化に関する研究は，これまで知られていない．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we formulate a program specialization technique for the assembly language.There are several problems in specializing assembly programs.The first problem is due to the complexity of the data flow.Because of the register allocation, assembly programs have more complex data flow than source programs.To solve this problem, we must analyze accurately the binding time values of the programs.In this paper, we introduce the most accurate binding time analysis, called {program}-point {sensitive} binding time analysis.The second problem is due to the existence of the unstructured control flow.Existing program specializers for the C language can not address directly the unstructured program.Therefore they need to transform the unstructured program into the structured program before the specialization phase.In this paper, we make it possible to specialize directly the unstructured program by analyzing the control flow of program.As far as we know, research on the program specialization for assembly language has not been done until now.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 43, 号 6, p. 1910-1929, 発行日 2002-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764