OMT法による並列化コンパイラ中間言語フレームワークの構築
スポンサーリンク
概要
- 論文の詳細を見る
現在、コンパイル時におけるプログラム並列化手法が数多く提案されているが、それらの間の関係は必ずしも明らかでない。このため、各手法の組合せあるいは相互評価ができにくい。そこで、今後の研究を進めるにあたり、共通の条件により比較・検討できる環境が望まれる。この環境は、1.実装技術に左右されにくい。2.理論的に明解である。3.汎用性が高く、安定している。といった性質を備えているのが望ましい。本稿では、オブジェクト指向設計法の1種であるOMTを用いて、それぞれの手法を系統的に整理し、中間言語のフレームワーク生成の可能性を検討する。特に、コンパイラの中心となる意味解析木について解析結果を述べる。
- 1995-08-24
著者
-
大森 洋一
九州大学大学院システム情報科学研究院
-
荒木 啓二郎
奈良先端科学技術大学院大学
-
福田 晃
奈良先端科学技術大学院大学
-
大森 洋一
奈良先端科学技術大学院大学
-
城 和貴
奈良先端科学技術大学院大学
関連論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- 自己タイミング型パイプラインシステムの性能見積りモデル(VLSI設計技術とCAD)
- 関数型言語指向プロセッサアーキテクチャ
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- マルチメディア同期機構の試作と評価
- マルチメディア処理におけるOSレベルでのリソース・リザベーション
- QOSに基づいたマルチメディアOS
- PDE-IIにおけるリソースのリザベーションに関する考察
- オンチップマルチプロセッシングアーキテクチャ : ロック機構
- プログラマブルデバイスを用いた可変構造シミュレーションシステムの開発
- プログラマブルデバイスを用いた可変構造シミュレーションシステム
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- Ad Hoc Networkでの相対位置情報を用いた車車間通信システム
- 放送により配信される位置依存情報のキャッシュ方式(モバイルコンピューティング)
- 複数の通信メディアを利用した階層型データの効率的転送の実装モデル
- 移動経路情報を利用した路車間通信方式のシミュレーションによる評価
- STRAP : 移動を考慮した空間的時間的資源割当てプロトコル(マルチメディア通信と分散処理)
- 移動計算機における位置依存情報のキャッシュ方式に関する考察
- 移動経路情報を利用したデータ転送方式のシミュレーションによる評価
- 移動計算機環境における階層型データのためのキャッシュシステム
- 移動を考慮した空間的時間的資源割り当てプロトコルの提案とその適応
- STRAP:移動を考慮した空間的時間的資源割り当てプロトコルに関する提案
- 状態遷移図の同期モデルへの詳細化および検証手法
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- 複合グラフを用いた階層タスクグラフの視覚化
- エージェントの挙動の表現法について : 交渉による集結の一例
- B-7-128 マルチキャストのための再送制御方式の基礎検討
- 相互結合型ニューラルネットワークを用いた連想記憶の記憶容量のGAによる進化
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 分散型構造解析手法の負荷分散への適用
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- 形式仕様記述における階層アーキテクチャ
- モジュール構成のマルチプロセッサ・スケジューリング・シミュレータ
- Net Newsのためのキャッシングアルゴリズム(ネットワークソフトウェア)
- NetNewsにおける必要な記事の自動選択法
- NetNewsにおける必要な記事の自動選択法
- NetNewsのためのキャッシュシステム
- NetNewsのためのキャッシュシステム
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- Webサービスを用いた読書録サービスの設計と実装
- 仮想書架における背表紙画像生成の自動化
- 自己タイミング型パイプラインシステムのオンチップ・マクロシミュレーション手法(ARC-8:シミュレーション技法,2006年並列/分散/強調処理に関する『高知』サマー・ワークショップ(SWoPP 高知2006))
- 自己タイミング型パイプラインシステムのマクロシミュレーションモデル
- 自己同期型パイプラインシステムのマクロフローモデル(ARC-3:専用プロセッサと時刻管理)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- NUMAマルチプロセッサにおけるメモリ管理を考慮した2レベルスケジューリング
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 並列性と移植性をもつユーザレベルスレッドライブラリーPPLの設計および実装
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- 帯域予約されたネットワーク上の連続メディア送信 (マルチメディア通信と分散処理)
- 広帯域大規模分散環境における時間の共有 : グループ同期
- 広帯域大規模分散環境における時間の共有 : イベント同期
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- マルチメディア統合環境におけるQoS管理機構
- PDE-IIにおけるリソース・スキーマの提案
- PDE-IIにおけるマルチメディアアプリケーションの実装について
- PDE-IIにおける実時間同期のための周期スレッドの提案
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- ニューラルネットワークによるプログラム分割アルゴリズムの改善
- 実用的な近似解を与えるプログラム分割アルゴリズム
- 実用的な近似解を与えるプログラム分割アルゴリズム
- Communication-Parallelism Graphによるデータ自動分割手法
- ワークステーションクラスタにおけるSCIDDLEライブラリの評価
- 2000-ARC-139-25 可変構造シミュレーションシステムRiSPの機能拡張
- スライシングによるデータ型のデバッグ
- Web 上における仮想書架の試作と評価 (「ディジタル図書館」ワークショップ 第28回)
- 分散ストレージの安全性検証
- 並列OS"K1"の実装と性能評価
- 並列OS"K1"の実装と性能評価
- マイクロカーネル構成OSにおけるマルチプロセスサーバとマルチスレッドサーバの比較
- マイクロカーネル構成OSにおけるシステムサーバの構成法
- 移動計算機の情報発信環境における階層型データのためのキャッシュシステム
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- 分散環境上で共有メモリ空間とメッセージパッシング型通信機構を提供する並列記述言語処理系ParaDisEの試作と評価
- VDM記述からのPromela記述生成における変換手法の提案
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- OMT法による並列化コンパイラ中間言語フレームワークの構築
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- PDE-IIにおけるメディア間同期機構の実現に対する考察
- PDE-IIの概要 : QOSに基づいたマルチメディア処理モデル
- QOSに基づいて電子メディアツールの評価
- 周期スレッドを用いたマルチメディアデータの同期処理
- 対人的コミュニケーションにおける電子的メディアの特性と効果
- 設計時の決定における依存関係の表記法