バイナリレベル複数スレッド化のためのバイナリコード解析技術の研究開発

二进制级多线程的二进制代码分析技术的研究与开发

• 批准号: 17700047
• 负责人: 大津 金光
• 金额: $ 2.24万
• 依托单位: Utsunomiya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700047/
• 关键词: バイナリ変換; 複数スレッド化; コード解析; 実行時処理; 自動変換; 変数解析

本年度は研究計画に従い、バイナリレベル複数スレッド化のためのバイナリコード解析技術の開発を継続して行った。バイナリ変換による複数スレッド化を行う場合に、複数スレッド化前のコードと同じ計算結果になることを保証するためには、バイナリコードを対象としてスレッド間でのデータ依存関係を正確に解析することが必要であり、本研究ではこれを実現するためにメモリ上に配置された変数のアドレス値を計算木により表現し、その正規形同士の同形判定により同一変数への参照であるかどうかを静的に判定する解析技術「バイナリレベル変数解析手法」と、静的に依存関係を解析し切れない変数について静的な解析情報を前提として実行時にスレッド間で真にデータ依存が存在するかどうかの判定を行う「スレッド間データ依存実行時判定手法」の開発を行った。昨年度の「スレッド間データ依存実行時判定手法」の開発過程で得られた成果により実行時判定にかかるオーバーヘッドコストの削減が不十分であったことから、さらなるオーバーヘッド削減に向けた判定方式の開発を進めた。また、昨年度実装を開始したバイナリレベル複数スレッド化を実行時に支援するシステムの実装を継続して進めた。本年度は、昨年度開発を行ったバイナリコードのパッチ当てを行う機能ソフトウェアをベースとして実行中のユーザープログラムに対してその挙動を解析するプロファイラのフレームワーク実装を行った。本ソフトウェアシステムは現在社会一般に幅広く使われているx86プロセッサを搭載したLinux PCシステムを土台として、任意のユーザプログラムを動作させることができるものである。本システムに対して、前述のスレッド間依存変数の実行時判定機能の組み込みを開始した。また、これらの成果を学協会誌論文、国際会議論文、学会発表等により公表した。特記すべきこととして、情報処理学会第70回全国大会において、1件の大会優秀賞(発表自体は昨年度第69回全国大会にて行った)と2件の学生奨励賞を受賞したことが挙げられ、当該分野において本研究は高い評価を受けた。

This year, the research plan for the development of complex analysis technology was launched. In the case of multiple transformation, the number of objects before transformation is equal to the calculation result. It is necessary to analyze the dependency relationship correctly. In this study, the number of objects before transformation is equal to the calculation result. The analysis technology of the isomorphism judgment of the regular form, the reference of the same number, the analysis of the static dependency relationship, the analysis of the static dependency relationship, the analysis of the static dependency information, the premise, the existence of the true dependency, the judgment of the operation time, the development of the judgment method of the operation time. Last year, the development process of the "start-up time dependent judgment method" was completed. The development of the reduction method was further improved. This is the first time that we've been able to support the implementation of this project since the start of the project. This year, the company launched a series of activities to improve the quality of the products and services. This software is designed to be used in the general context of society. It is designed to run on Linux PCs and to run on any computer. This system is based on the start of the group center of the function of determining the execution time of the dependency number of the above parameters. The results of the research are published in journal papers of academic associations, papers of international conferences, presentations of academic societies, etc. The 70th National Conference of the Information Processing Society was held in Beijing, China, and the 69th National Conference was held in Beijing, China.

项目成果

A Thread Partitioning Technique for Multithreaded Execution along Hot Paths

一种沿热路径多线程执行的线程划分技术

• 发表时间: 2007
• 期刊: Troc. IASTED International Conference on Parallel and Distributed Computing and Networks
• 作者: K.Ootsu;T.Kobayashi;T.Yokota;T.Baba
• 通讯作者: T.Baba

2パス限定投機方式の提案

2-pass有限推测方法的提议

• 发表时间: 2005
• 期刊: 情報処理学会論文誌 : コンピューティングシステム 46・SIG 16(ACS 12)
• 作者: 横田隆史;斎藤盛幸;大津金光;古川文人;馬場敬信
• 通讯作者: 馬場敬信

Design and Implementation of a VLIW Processor Simulation Environment with Instruction Scheduling Framework

具有指令调度框架的VLIW处理器仿真环境的设计与实现

• 发表时间: 2005
• 期刊: Proc. 17th IASTED International Conference on Parallel lnd Distributed Computing and Systems
• 作者: A.Tsukikawa;F.Furukawa;T.Aoki;D.Oka;K.Ootsu;T.Yokota;T.Baba
• 通讯作者: T.Baba

プログラム構造に応じたスレッド分割手法の検討とその評価

根据程序结构检查和评估线程划分方法

• 发表时间: 2005
• 期刊: 電子情報通信学会技術報告 105・487
• 作者: 三木大輔;小林崇彦;大津金光;横田隆史;馬場敬信
• 通讯作者: 馬場敬信

スレッド間通信に着目したマルチスレッドコード最適化手法

关注线程间通信的多线程代码优化方法

• 发表时间: 2005
• 期刊: 電子情報通信学会技術報告 105・487
• 作者: 阿久津徳寿;増澤英樹;大津金光;横田隆史;馬場敬信
• 通讯作者: 馬場敬信