データ依存解析のための二次不定方程式の分解
スポンサーリンク
概要
- 論文の詳細を見る
自動並列化コンパイラ技術において,逐次ソースプログラムから並列性を検出するために多くのデータ依存解析手法が提案されてきた.ほとんどの手法は解析対象を一次式Σ a_ix_i+c (x_i:整数変数,a_i, c:整数定数)に限定しているが,実際のプログラムコードには,二次の添え字式が頻繁に現れる.ベンチマークプログラムThe Perfect Benchmarksや数値計算ライブラリEispack, Linpack, Lapackについてデータ依存解析を行った経験から,これらの二次式は三角行列を一次元化した配列参照において生じており,X(X-1)/2+Y, 1≦Y≦X(ただしXとYは一次式)の形で表現できることが分かった.本論文では,この観察をもとに,二次不定方程式を一次不定方程式に分解する手法について述べる.一次不定方程式に分解してデータ依存解析を行うことで,効率的でより精度の高い解析結果が得られる.
- 一般社団法人情報処理学会の論文
- 2001-04-15
著者
-
神戸 和子
奈良女子大学理学部情報科学科
-
加古 富志雄
奈良女子大学理学部
-
神戸 和子
奈良女子大学大学院人間文化研究科
-
神戸 和子
奈良女子大学人間文化研究科
-
加古 富士雄
奈良女子大学理学部
-
加古 富志雄
奈良女子大学人間文化研究科 複合現象科学専攻
関連論文
- 悪条件性を推定する浮動小数グレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 自動並列化コンパイラの統一的中間表現とインターフェースを用いたコード変換の実装
- 異なるコンパイラ中間表現の相互変換に関する考察
- Genetic Programmingを利用したループ変換手法の組み合わせ
- データ依存解析のための二次不定方程式の分解
- データ依存解析に関する二次不定方程式の分解
- 2000-ARC-139-5 データ依存解析のための二次不定方程式の分解
- 浮動小数 Grobner 基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 近接根クラスタの代数的分離法と最小根間距離 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 浅水波の大振幅孤立波解について(流体中の非線形波動の数理的側面)
- 6a-ZD-11 散逸性非線形Schrodinger方程式の固有値
- 30a-S-7 二次元電気回路によるソリトンの実験I
- 素な非交代結び目の表の作成
- 数式処理を用いたLSI 設計に関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数式処理を用いたLSI配線の熱解析に関する研究
- Lascoux-Schuetzenbergerの算法によるHecke環の線形表現の構成
- 剰余区間の拡張とデータ依存解析への応用
- 群論計算システムGAP
- 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
- 多変数多項式のベキ級数根の桁落ち誤差 その2 (数式処理における理論と応用の研究)
- 多項式における剰余区間演算の誤差削減方法
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- 「近似代数」とは? (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- 数式処理システムGALの移植 : 有効浮動小数点の一利用例
- 素な非交代結び目の表の作成
- Lascoux-Schutzenbergerの算法によるHeche環の線形表現の構成
- GALにおける近似代数演算の諸機能(数式処理における理論と応用の研究)
- 数式処理システムのGALの移植(数式処理と数学研究への応用)
- 数式処理を用いたLSI配線の熱解析に関する研究
- 多項式の分解の拡張
- REDUCEのすすめ