WEKO3
アイテム
STRAIGHTアーキテクチャの命令配置問題に対するSMTソルバの適用と最適解の評価
https://ipsj.ixsq.nii.ac.jp/records/237605
https://ipsj.ixsq.nii.ac.jp/records/2376054dd81b4d-b97b-46e0-839d-62c81e050eae
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ARC24258011.pdf (2.0 MB)
2026年8月1日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, ARC:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-08-01 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | STRAIGHTアーキテクチャの命令配置問題に対するSMTソルバの適用と最適解の評価 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | コンパイラ・最適化 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||
| 資源タイプ | technical report | |||||||||||||
| 著者所属 | ||||||||||||||
| 東京大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東京大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東京大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東京大学 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| The University of Tokyo | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| The University of Tokyo | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| The University of Tokyo | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| The University of Tokyo | ||||||||||||||
| 著者名 |
青木, 麻純
× 青木, 麻純
× 杉田, 脩
× 入江, 英嗣
× 坂井, 修一
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | STRAIGHT はオペランドの指定に命令間距離を用いることによって，レジスタリネーミングの必要なく高速なアウトオブオーダ実行を可能としたアーキテクチャである．このオペランド指定形式は，命令間距離を静的な値で定めるための距離調整という新しい工程を導入する．この距離調整は転送命令や NOP 命令の追加によって実現される．命令の配置を最適化することによって追加される転送命令を削減する最適化手法がいくつか提案されているが，いずれも最適化の工程は最小帰還辺集合問題という NP 困難な問題に帰着されている．そのため，性能を最大限引き出すためにはそれらの問題の厳密解を得る必要があるが，問題のサイズによっては現実的な時間で解を得ることができない．そこで，我々はこの命令配置の最適化問題を SMT ソルバを用いて解くことを提案する．本研究では，まず命令配置問題から帰着された最小帰還辺集合問題について，述語論理式の形で定式化を行う．そして，この定式化をもとに，プログラムの中間表現から SMT 問題を生成し，実際に SMT ソルバに適用する方法について示す．提案手法を STRAIGHT コンパイラに実装し，C 言語のベンチマークを用いて評価を行った結果，最適解が現実的な時間で得られることを確認した． | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN10096105 | |||||||||||||
| 書誌情報 |
研究報告システム・アーキテクチャ（ARC） 巻 2024-ARC-258, 号 11, p. 1-9, 発行日 2024-08-01 |
|||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||
| 収録物識別子 | 2188-8574 | |||||||||||||
| Notice | ||||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
