剰余区間演算 : データフロー解析のための数学的ツール
スポンサーリンク
概要
- 論文の詳細を見る
実数上の区間に対する演算体系として区間演算がある. 本来, 区間演算は浮動小数点計算の丸め誤差解析を行うために考案されたものであるが, プログラム解析にも応用されている. しかしながら, プログラムのループの指標あるいは配列変数の添字等に用いられるのは専ら整数であり, 従来の実数上の区間ではプログラム解析に必要な情報を十分に表現できない. 本稿では, 区間演算を拡張し, 実数上の区間に含まれる整数の集合に対する演算体系, 剰余区間演算を定義し, その数学的性質を明らかにする. さらに, 自動ベクトル化/並列化コンパイラにおいて行われるデータフロー解析への剰余区間演算の応用を検討する.
- 一般社団法人情報処理学会の論文
- 1999-02-18
著者
-
城 和貴
和歌山大学システム工学部
-
福田 晃
奈良先端科学技術大学院大学
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
Polychronopoulos Constantine
Center For Supercomputing Research And Development University Of Illinois At Urbana-champaign
-
Polychronopoulos Constantine
イリノイ大学アーバナ・シャンペイン校
関連論文
- 関数型言語指向プロセッサアーキテクチャ
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- マルチメディア同期機構の試作と評価
- マルチメディア処理におけるOSレベルでのリソース・リザベーション
- PDE-IIにおけるリソースのリザベーションに関する考察
- オンチップマルチプロセッシングアーキテクチャ : ロック機構
- プログラマブルデバイスを用いた可変構造シミュレーションシステムの開発
- プログラマブルデバイスを用いた可変構造シミュレーションシステム
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- Ad Hoc Networkでの相対位置情報を用いた車車間通信システム
- 放送により配信される位置依存情報のキャッシュ方式(モバイルコンピューティング)
- 複数の通信メディアを利用した階層型データの効率的転送の実装モデル
- 移動経路情報を利用した路車間通信方式のシミュレーションによる評価
- STRAP : 移動を考慮した空間的時間的資源割当てプロトコル(マルチメディア通信と分散処理)
- 移動計算機における位置依存情報のキャッシュ方式に関する考察
- 移動経路情報を利用したデータ転送方式のシミュレーションによる評価
- 移動計算機環境における階層型データのためのキャッシュシステム
- 移動を考慮した空間的時間的資源割り当てプロトコルの提案とその適応
- STRAP:移動を考慮した空間的時間的資源割り当てプロトコルに関する提案
- 配列参照パターンによるプログラム並列化・最適化支援
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援のためのデータ依存の3次元視覚化
- B-7-128 マルチキャストのための再送制御方式の基礎検討
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 分散型構造解析手法の負荷分散への適用
- モジュール構成のマルチプロセッサ・スケジューリング・シミュレータ
- Net Newsのためのキャッシングアルゴリズム(ネットワークソフトウェア)
- NetNewsにおける必要な記事の自動選択法
- NetNewsにおける必要な記事の自動選択法
- NetNewsのためのキャッシュシステム
- NetNewsのためのキャッシュシステム
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- NUMAマルチプロセッサにおけるメモリ管理を考慮した2レベルスケジューリング
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 並列性と移植性をもつユーザレベルスレッドライブラリーPPLの設計および実装
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- PDE-IIにおけるリソース・スキーマの提案
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- ニューラルネットワークによるプログラム分割アルゴリズムの改善
- 実用的な近似解を与えるプログラム分割アルゴリズム
- 実用的な近似解を与えるプログラム分割アルゴリズム
- Communication-Parallelism Graphによるデータ自動分割手法
- ワークステーションクラスタにおけるSCIDDLEライブラリの評価
- 2000-ARC-139-25 可変構造シミュレーションシステムRiSPの機能拡張
- 並列OS"K1"の実装と性能評価
- 並列OS"K1"の実装と性能評価
- マイクロカーネル構成OSにおけるマルチプロセスサーバとマルチスレッドサーバの比較
- マイクロカーネル構成OSにおけるシステムサーバの構成法
- 移動計算機の情報発信環境における階層型データのためのキャッシュシステム
- オンチップマルチプロセッシングアーキテクチャにおけるメモリシステム
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- HTGの最適化手法への適応に関する考察
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- フラッシュメモリファイルシステムにおけるメモリ割当ての効果システムソフトウェアの新しい潮流
- 移動計算機からマルチメディア情報を効率的に提供するツールキットWORの設計と実装(マルチメディアネットワークシステム)
- 組込みシステム向けフラッシュメモリファイルシステムの設計
- 移動計算機から位置依存情報を提供するサービスアプリケーションの構築
- 2000-OS-85-15 組み込み向けOSにおけるデバイスドライバの自動生成について
- UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現(特集:システムソフトウエアの新しい潮流)
- 移動計算機情報発信環境のためのToolkitの設計と実装(特集:システムソフトウエアの新しい潮流)
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 移動計算機のための帯域の狭いネットワーク環境を考慮した情報発信機構(マルチメディア通信プロトコル)
- 組込み機器向けOSの移植性を考慮した割込み機能の抽象化
- OS間の差異を吸収するデバイスドライバ自動生成システムの設計
- カーネル内スケジューリングポリシの動的置換
- 動的保護が可能な動的構築機構を有するオペレーティングシステム・サーバの実現と評価 (新しいシステムソフトウェア)
- ユーザレベルスレッドライブラリPPLにおける柔軟なスケジューリング機構 (新しいシステムソフトウェア)
- 組み込みシステム向けオペレーティングシステムの構成
- 組み込み用フラッシュメモリファイルシステムの設計
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- カーネルスケジューラの動的置換
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- OMT法による並列化コンパイラ中間言語フレームワークの構築
- NUMAマルチプロセッサにおける2レベルスケジューリングアルゴリズムの評価
- 分散共有メモリ型並列計算機の自動スケジューリング手法
- PDPTA'98
- 通信量が制限された環境における移動計算機情報発信方式 : 非蓄積型リソース発信の性能評価
- 移動計算機情報発信環境におけるキャッシュの更新方式について
- 移動計算機情報発信環境におけるキャッシュの更新方式について
- OSの自動生成に向けて
- 分散環境上の並列処理支援システムDYAMONDSの設計
- 分散環境上の並列処理支援システムDYAMONDSの設計
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- A Combined Data and Program Partitioning Algorithm for Distributed Memory Multiprocessors