データフロー解析による関数型言語Validのコンパイル法 : Datarolプログラムの抽出アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
関数型言語を直接ハードウェアで実行するデータフロー・アーキテクチャに対して,通信やフロー制御のオーバヘッド,メモリレス概念の弱点といった問題が指摘されている.そのような問題を改善するアーキテクチャとして,著者らはメモリの概念を取り入れたマルチスレッド・コントロールフロー(Datarolプログラムと呼ぶ)に沿って並列演算実行するDatarolマシンを提案している.本論文では関数型ブログラムValidから,データ依存解析によってDatarolプログラムを抽出するアルゴリズムを述べる.次にそのアルゴリズムによって抽出されたいくつかのDatarolプログラムをデータフロー・プログラムと比較し,演算ノード数,ペアオペランドマッチング数等の点で優れていることを示す.またこれらの例題プログラムについて,関数型プログラム(LISP)や手続き型プログラム(C)を逐次型マシン向きにコンパイルしたコードと比較し,Datarolプログラムが有効であることを示す.
- 一般社団法人情報処理学会の論文
- 1989-12-15
著者
関連論文
- エージェントコミュニティを利用したP2P型情報検索とその評価(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 和語動詞の格フレームを利用したサ変名詞の格フレームの獲得
- マルチエージェントシステムのための基盤ネットワーク構成手法(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- ユビキタス時代の情報基盤技術論文特集の発行にあたって
- 継続概念による割り込みなし並列I/O処理モデル(継続点)
- スレッドの実動作情報に基づく細粒度マルチスレッド制御法(並行処理(2))
- ユビキタスネットワーク社会を支えるマルチエージェント技術(セッション5 : 招待講演(1))
- ブラウジング支援のためのアクティブブラウジングシステムの提案(意図解析,特集「Web情報処理」及び一般)
- Zero-Wait方式による多数のI/O要求に対する処理のFuce上での実現と評価(OS-2 : 資源管理,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
- クラスタリングと内部ネットワーク処理を利用した経路制御アルゴリズムに基づくデータ収集の仕組み(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構の評価(リソース制御)
- 継続モデルにデータ要求概念を適用したスレッド駆動制御の提案(最適化技術と並列処理モデル, SHINING 2006 「アーキテクチャとコンパイラの協調および一般」)
- 柔軟なサービス利用とプライベートな情報の保護実現を目指した資源管理空間モデル(プラットフォーム/ツール, ソフトウェアエージェントとその応用論文)
- D-041 エージェントコミュニティを利用したP2P型情報検索の検索精度評価(D分野:データベース)
- C-012 排他的マルチスレッド実行モデルにおける多段なループ処理へのスレッド間パイプライン並列実行方式の適用とその評価(C分野:アーキテクチャ・ハードウェア)
- 継続モデルに基づくスレッドプログラミング手法の提案(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくFuceプロセッサの評価(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくオンチップ・マルチプロセッサの設計(アーキテクチャ一般及びチップマルチプロセッサ)(デザインガイア2003 : VLSI設計の新しい大地を考える研究会)
- FUCEプロセッサにおけるメモリシステムの提案と評価
- マルチスレッドプロセッサにおけるメモリアクセスレイテンシ隠蔽の一手法
- 高バンド幅内部バス構造のオンチップメモリを持つFUCEプロセッサ
- CPSY2000-52 通信と処理との融合を行うFUCEプロセッサの提案
- 継続概念を用いたZero-Wait方式によるOS構成法の提案(OS (1))
- 性能モニタリングカウンタによる一括システムコール機構の評価(OS-2:モニタリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- マルチスレッド実行機構を考慮したプログラム実行制御法(スレッド・プロセス)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構(スレッド・プロセス)
- OSの処理を多く含む並列処理の効率化を指向した一括システムコール機能(システムソフトウェア)
- B-41 並列分散オペレーティングシステムCEFOSにおけるジョブ実行方式と分散共有メモリ機構(リアルタイムと分散共有メモリ,B.ソフトウェア)
- 共有メモリシステム上での細粒度 non-strict データフロー構造データの生産者・消費者間パイプライン実行
- EDRコーパスを利用した動詞の語義分類
- 関数型言語の並列実行環境
- 国際会議の論文募集ファイルからのトピックの抽出とクラスタリング
- ニューラルネットワークを用いたエッジ検出のスケール自動調整
- マルチエージェント連携基盤 : Field Reactor Model
- KODAMA とVPCによるユビキタス環境のためのフレームワークの構築と評価
- マルチエージェント方式によるセキュアでオープンな情報流通ネットワークの構築(アーキテクチャ(1))
- エージェント・プラットフォームを相互運用するためのメッセージ通信プロトコル
- メッセージフロー方式に基づくマルチエージェント指向交換プログラムの試作
- ユビキタスネットワーク社会を支えるマルチエージェント技術(セッション5 : 招待講演(1))
- クラスタリングと内部ネットワーク処理を利用した経路制御アルゴリズムに基づくデータ収集の仕組み(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- データフローモデルに基づく超並列V言語とその商用並列計算機上の実装について
- データフロー解析に基づく関数型言語 Valid の並列化コンパイラ
- データフロー解析による関数型言動の自動並列化コンパイラ
- Datarolプログラムの既存の並列マシン上へのインプリメント
- Datarolグラフで表現された並列プログラムの逐次化
- マルチスレッドプロセッサにおけるメモリアクセスレイテンシ隠蔽の一手法
- 係り受け情報を利用したWeb上の日本語テキスト検索システム
- 機能分散・協調によるロボットシステムの構成
- 既存の和語動詞の格フレームを利用したサ変動詞の格フレーム獲得
- 既存の和語動詞の格フレームを利用したサ変動詞の格フレーム獲得
- マルチメディア指向並列計算機KUMP/Dにおける実時間処理のための支援機構
- 細粒度マルチスレッド処理向けプロセッサDatarol-IIの構成とその評価
- 並列計算機Datarol-IIのプロセッサエレメントの構成
- スレッド実行機構を導入したDatarolアーキテクチャについて
- CPSY2000-57 並列分散オペレーティングシステムCEFOSにおける一括システムコールの機構
- CEFOSオペレーティングシステムのスレッド管理機構
- ハイパコラムモデル : 階層化自己組織マップとネオコグニトロンを統合した画像認識モデル
- エージェントコミュニティを利用したP2P型情報検索
- G-15 異種エージェントシステム間の相互運用(人工知能(エージェント),G.人工知能)
- インターネットとエージェント技術
- 魅力ある学会とするために
- 並列分散オペレーティングシステム : CEFOS (Communication-Execution Fusion OS)
- 並列計算機KUMP/Dのシステムプログラムの概要
- FUCEプロセッサにおけるスレッド管理機構
- PDPモデルに基づく画像理解システムの構成 : ICE System(Image CEntered System)の提案
- 画像処理用超並列プロセッサAMPにおける動的PE間通信とその評価
- 画像処理用並列プロセッサ AMP のプログラミングと 性能評価について (並列処理)
- ニューロプログラミングにおけるハイパーコラムモデルプログラムの演出
- 形式的なパターン記述からのハイパーコラムモデルの導出
- ニューロプログラミングにおけるハイパーコラムモデル・プログラムの導出方式
- AAOSAを用いた自然言語インターフェイスAgenTV
- B-017 エージェントによる自律的なコミュニティの生成についての一試み(B分野:ソフトウェア)
- OSにおける割込み処理のオーバヘッドを軽減する一括割込み処理機構(システムソフトウェア要素技術)(「インタラクション:理論,技術,応用,評価」)
- OSにおける割込み処理のオーバヘッドを軽減する一括割込み処理機構
- 複数の割り込みを一括処理する一括割り込み処理機構
- 複数の割り込みを一括処理する一括割り込み処理機構
- 「渕 一博氏のロジックプログラミング」へのコメント
- FUCEプロセッサにおけるメモリシステムの提案と評価
- 概念の活性値の伝搬・争奪による並列意味解析
- 並列構文解析アルゴリズムの密結合マシン上への実装と評価
- 概念の活性と概念間の結合の強さを用いた並列意味解析
- 協調的適応型エージェント指向ソフトウェアアーキテクチャを用いたWeb検索システム
- AAOSAを用いた動的内部管理方式 : Web検索システムを例として
- 既存の概念辞書を用いた動詞語義による文の分類
- 細粒度データフロー言語のWS実装時におけるスレッド結合法の評価
- ロールプレイングゲーム(RPG)のバランスとは何か : 分析およびその調整に関する提案
- ロールプレイングゲーム(RPG)の戦闘におけるバランス自動調整システム開発のための基礎的考察
- 関数型プログラム実行のための細粒度並列仮想マシンコードDVMCにおける構造体の静的コピー除去
- データフローに基づくマルチエージェントによる並行プログラミング
- 分散メモリシステム上での細粒度non-strictデータフロー構造データの生産者・消費者間パイプライン実行
- EARTHアーキテクチャ上でのデータフロー仮想マシンコードDVMCの実行
- 分散メモリ実装におけるデータフロー言語の構造データ管理方式
- 分散メモリ実装におけるデータフロー言語の構造データ管理方式
- 分散メモリ型商用並列計算機上でのデータフロー言語の配列参照の効率化
- 分散オブジェクト指向システムにおける知的トレーダの構築
- 既存並列計算機を対象とした細粒度並列仮想マシンコードDVMCからのコードスケジューリング
- マルチメディア情報環境を想定したエージェント指向交換システム
- データフロー概念に基づくマルチエージェント指向交換プログラム構成法
- 並列画像処理プログラミング支援システムPRIME
- データフロー解析による関数型言語Validのコンパイル法 : Datarolプログラムの抽出アルゴリズム