パイプライン型アーキテクチャにおけるOR並列型Prolog実行の一検討
スポンサーリンク
概要
- 論文の詳細を見る
本研究は、Prolog処理の高速化を目的とした、パイプライン型アーキテクチャ上でのOR並列Prologのコードブロックレベルの並列処理手法を提案する。これは、J.Beerの提案による逐次型Prologのパイプライン実行をOR並列Prolog用に拡張したものである。拡張に伴い、大域共有メモリ、クロスバスイッチを導入した。大域共有メモリは、選択点履歴を格納する選択点スタックモジュールと、各選択点での環境フレームが均等に配置されるモジュールから構成される。本論文では、システムの概要を述べ、ベンチマークプログラムによる性能評価を行う。性能評価の結果、逐次型Prologのパイプライン実行と比較して約2.5倍のLIPS値を得ることができた。
- 社団法人情報処理学会の論文
- 1995-01-13
著者
-
中村 維男
東北大学大学院情報科学研究科
-
稲葉 勉
Ntt東日本宮城支店
-
稲葉 勉
Nttネットワークサービスシステム研究所
-
小林 広明
東北大学情報シナジー機構
-
稲葉 勉
東北大学情報科学研究科
-
沈 紅
東北大学情報科学研究科
-
片平 昌幸
東北大学情報科学研究科
-
中村 維男
東北大学情報科学研究科
-
片平 昌幸
東北大学大学院情報科学研究科
-
小林 広明
東北大学情報シナジーセンター
-
沈 紅
東北文化学園大学科学技術学部
-
稲葉 勉
Ntt東日本宮城ビジネス営業部
関連論文
- FPGAによるHPCのためのストリーム計算に関する一検討 : 2次元ヤコビ法のためのスケーラブルパイプラインモジュールの設計と評価(応用3)
- 暗号VLSIプロセッサのための固有電力消費アーキテクチャ
- 細粒度電力制御Cooled logic アーキテクチャ
- FPGAを用いた浮動小数点データストリーム高速圧縮のためのアルゴリズムの検討
- 高性能差分法計算のためのFPGAアレイにおけるFPGA間通信機構の検討(チップ間通信,ルーティング,インターコネクト,デザインガイア2008-VLSI設計の新しい大地)
- RC-003 複数FPGAによるアレイ型差分法専用計算機のためのFPGA間通信帯域評価(ハードウェア・アーキテクチャ,査読付き論文)
- アレイ構造に基づく差分法専用計算機のFPGA実装
- 1627 タービン多段翼列を通る湿り蒸気流れの陰的並列計算(J12-1 流体機械に関連した流体解析と数値最適化技術(1),J12 流体機械に関連した流体解析と数値最適化技術)
- FPGAによる数値流体力学専用計算機(リコンフィギャラブルシステム,一般)
- ニューラルネットワーク(クロストークリンク付きBPD)のFSK復調への応用
- SOUNDコンピュータの試作
- ニューラルネットワークの学習におけるゲイン修正の有効性
- ディレー付きニューラルネットワークを用いた符号化・復号化
- ディレー素子内包型バックプロパゲーションニューラルネットワーク(BPD)の一構成
- パイプライン型アーキテクチャにおけるOR並列型Prolog実行の一検討
- パイプライン型Prologアーキテクチャにおける負荷分散の一検討
- 多項式高速アルゴリズムの統一と一般化
- 高速省電力ウェーブパイプライン用評価テスト回路の開発
- ウェーブパイプラインと従来方式パイプラインの性能評価
- 3値平衡光伝送符号について(技術談話室)
- Z^*_n中の原始元の簡略化した識別法について
- ベクトル量子化用コードブック生成のための並列弱肉強食アルゴリズムの性能解析
- LJ-11 視覚的画質劣化を抑制するベクトル量子化手法(J. グラフィクス・画像)
- ベクトル量子化のためのコードブック生成並列処理に関する研究
- ベクトル量子化のための並列コードブック生成アルゴリズムの性能評価(2.第1回情報シナジー研究会)
- 多層パーセプトロンの分類能力向上法に関する一検討
- ニューラルネットワークを利用した自動表情認識システム
- A-19-4 音声による計算機利用支援のための文字情報識別に関する一考察
- 3DCGiRAMアーキテクチャによる実時間レイトレーシングシステム
- MULHIキャッシュの設計及び評価
- D-11-73 レイトレーシングハードウェアのための交差判定器の計算精度に関する一考察
- VLIWアーキテクチャのためのダイナミックブースティング機構
- 投機的実行を行なうVLIWプロセッサの命令供給機構の設計
- 2ZC-7 参照画像を用いた光線追跡法の高速化に関する一検討(レンダリングとアニメーション,一般講演,インタフェース)
- 2ZC-5 大域照明モデルに基づいたガス状物体の表現手法に関する一検討(レンダリングとアニメーション,一般講演,インタフェース)
- 3M-1 興味部位の形状を考慮した動的輪郭モデル
- MULHIキャッシュ : VLIWプロセッサのための命令キャッシュ機構 (並列処理)
- 再構成可能な同期式データフロー計算機に関する一検討
- データ並列ボリュームレンダリングのためのボリューム適応分割手法
- ベクトル命令とスカラ命令を融合した命令レベル並列処理のためのスケジューリング手法
- 乗算器の回路規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 乗算器の回野規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- ビットレベル並列性を利用した演算器の小規模化(プロセッサ, DSP, 画像処理技術及び一般)
- レイトレーシング専用コンピューティングシステムRAPLASのFPGAによる実装(FPGAとその応用及び一般)
- K-032 損失データ再送および属性限定受信に対応した映像配信システム(K分野:ヒューマンコミュニケーション&インタラクション)
- N-027 対話型映像再生に対応した業務用映像配信システム(N分野:教育・人文科学)
- リアルタイム・ビジュアル・デザインレビュー・システムの設計と実装(ハードウエアによるCG処理およびCG一般)
- 再構成可能な同期式データフロー計算機に関する一検討
- 再構成可能な同期式データフロー計算機に関する一検討
- TLB統一型キャッシュのためのタイムスタンプ無効化方式とその性能評価
- RICEによる2次キャッシュメモリの性能評価
- SPMDモデルによる関数型プログラム実行の一検討
- TLB-Assisted Cache
- ウェーブパイプラインを用いた時分割擬似マルチポートレジスタファイル (非同期式回路/システム設計論文小特集)
- 分散フレームバッファシステムを持つ画像生成用超並列処理システム(Mπ)^2の性能評価
- ハードウェアキャッシュ評価システム "RICE"
- 並列グラフ簡約システムにおけるタスク割当て手法とメモリ参照局所性評価
- ジェットパイプラインの並列化命令スケジューリングに関する一検討
- 分散共有メモリ型並列計算機のためのメッセージ損失を許容するメモリアクセスプロトコル
- データの更新をバイト単位で管理するキャッシュメモリ
- プロセッサクラスタ用メモリアクセスバッファリング機構
- メッセージロスのあるネットワークを用いた分散共有メモリマルチプロセッサシステムの評価
- FL階層化並列簡約システムの共有メモリシステム
- Wave-Pipeliningを用いた時分割擬似マルチポートレジスタファイル
- ジェットパイプラインのためのコンパイル技術に関する一検討
- FL階層化並列簡約システムの性能評価
- 複数FPGA上で動作するスケーラブルア***ロセッサのためのGALS設計(システムアーキテクチャ)
- ニューラルネットワークを用いた自動感情認識に関する一検討
- メモリ帯域向上のための浮動小数点データストリームロスレス圧縮ハードウェア(数値計算)
- ATMネットワークを用いた分散処理システムにおけるメモリアクセスプロトコル
- レイトレーシング専用コンピューティングシステムRAPLASのFPGAによる実装(FPGAとその応用及び一般)
- レイトレーシング専用コンピューティングシステムRAPLASのFPGAによる実装(FPGAとその応用及び一般)
- レイトレーシング専用コンピューティングシステムRAPLASのFPGAによる実装(FPGAとその応用及び一般)
- 乗算器の回路規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 乗算器の回路規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- マイクロプロセッサの熱解析に関する研究(プロセッサ, DSP, 画像処理技術及び一般)
- ビットレベル並列性を利用した演算器の小規模化(プロセッサ, DSP, 画像処理技術及び一般)
- ビットレベル並列性を利用した演算器の小規模化(プロセッサ, DSP, 画像処理技術及び一般)
- マイクロプロセッサの熱解析に関する研究(プロセッサ, DSP, 画像処理技術及び一般)
- ビットレベル並列性を利用した演算器の小規模化(プロセッサ, DSP, 画像処理技術及び一般)
- マイクロプロセッサの熱解析に関する研究(プロセッサ, DSP, 画像処理技術及び一般)
- マイクロプロセッサの熱解析に関する研究(プロセッサ, DSP, 画像処理技術及び一般)
- LC-008 マイクロプロセッサにおける細粒度発熱解析の一手法(C分野:アーキテクチャ・ハードウェア)
- ベクトル量子化のためのコードブック生成専用プロセッサに関する研究
- ウェーブパイプライン方式の消費電力に関する考察
- ウェーブパイプライン方式ALUの性能評価
- 可換なブロック3重対角連立1次方程式の高速並列アルゴリズム
- スーパーコンピュータと数値流体力学 (10年後の化学技術はどうなるか)
- ス-パ-コンピュ-タとシミュレ-ション (コンピュ-タシミュレ-ションの世界)
- 機械技術者とコンピュータ教育
- 階層化汎用パイプラインシステム
- タイムペトリネットによる知能リンクの動作解析
- 粒子性情報担体を用いた論理回路のモデル化と時相論理による論理動作記述(技術談話室)
- 直接2値符号伝送帯域での2値平衡符号伝送
- フィ-ド・フォワ-ド・計算機の動作解析と評価
- 計算機網におけるパワ-の物理的意味について(技術談話室)
- 待ち行列における最適状態の提案 (待行列理論とその応用)
- デ-タフロ-プログラムにおける実行時間の検討(技術談話室)
- 蓄積交換形ル-プ状計算機網のパケット交換特性
- ウェーブパイプライン方式の消費電力に関する考察