論理型プログラミング言語向き並列計算機KPRの並列処理方式
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,論理型言語向き並列計算機KPRの並列処理方式について,対象言語の機能,実行モデル,システム構成方式の各処理機能レベルごとに述べる.「並列リダクション・モデル(PRモデル)」と呼ぶKPRの実行モデルでは,論理プログラムの実行(証明・推論)過程をAND/OR推論木における事実の探索過程としてとらえ,この木の各ノードに1つのプロセスを割り当てて得られるプロセス・グラフのリダクション(展開・縮退)操作を並列に行う.プロセスには,プロセス処理におけるAND並列性をパイプライン(ストリーム並列処理)方式で処理するStreamプロセス,OR並列性を実現するOrプロセスなどがある.これらのプロセスの処理は,各々専用のプロセッサで行われる.Streamプロセス処理専用プロセッサARPとORプロセス処理用プロセッサORPは対として密結合され,2分木ネットワークの葉ノードに要素プロセッサとして割り付けられる.ARPは,ストリーム並列処理の実行を行うANDリダクション・ユニット(ARU)を中心として構成される.ORPは,4個のユニフィケーション・ユニット(UU)によってユニフィケーションを並列に処理するOR リダクション・ユニット(ORU)を中心として構成される.また,ARPやORPは,プロセスの実行やプロセス(プロセッサ)間通信管理を専用処理するプロセス制御ユニット(PCU)を装備している.さらに,ネットワークの中間ノードはNNUと呼ばれ,バス・スイッチや状態フラグの伝搬機構などが装備される.
- 一般社団法人情報処理学会の論文
- 1989-12-15
著者
-
柴山 潔
京都工芸繊維大学大学院工芸科学研究科
-
萩原 宏
京都大学工学部情報工学教室
-
鹿毛 裕史
京都大学工学部
-
平田 博章
京都工芸繊維大学大学院工芸科学研究科
-
柴山 潔
京都大学工学部情報工学教室
-
萩原 宏
龍谷大学
-
川倉 康嗣
京都大学工学部情報工学教室
-
山本 雅亮
京都大学工学部情報工学教室
-
平田 博章
京都大学工学部情報工学教室
-
加納 健
京都大学工学部情報工学教室
-
加納 健
NEC HPC事業部
-
平田 博章
京都大学工学部
関連論文
- 2000-ARC-139-27 ループの並列投機実行におけるデータ値予測の予備的評価
- ヴェイユペアリングを用いた署名者の関連付けが可能なグループ署名方式
- リンク可能なグループ署名に関する考察
- ペアリングを用いたグループ署名に関する二,三の考察
- MPGマイクロプログラム・シミュレータ
- マイクロプログラムの自動作成について
- MPGマイクロプログラム・コンパイラ
- マイクロプログラム記述言語 : MPGL
- 分散メモリ型並列計算機上の並列記号処理システム
- 分散メモリ型並列計算機上の並列記号処理システム
- 連結リスト構造を対象としたデータプリロード方式の評価
- 2000-ARC-139-12 線形リストを対象としたデータプリロード方式の評価
- 再帰的データ構造を対象としたループの並列投機実行方式
- 並列処理によるMPEGエンコーダの高速化
- Pascalマシンとチューニングによる高速化
- ユニバーサル・ホスト計算機QA-2の高機能順序制御方式
- 低レベル並列処理計算機による3次元図形表示処理 : 視線探索法の場合
- ユニバーサル・ホスト計算機QA-2による逐次型Prologマシンのエミュレーション
- 低レベル並列処理計算機による3次元色彩図形表示処理
- APLを拡張した言語 E.APL
- APLインタプリタのファームウェア化とその効果について
- APL会話型処理システムにおけるインタプリタの分析とファームウェア化の要点
- Compiler Compilerについて (計算機構論研究会報告集)
- RC-005 スレッドレベル並列化のためのスレッド間依存関係の分類(C分野:ハードウェア・アーキテクチャ,査読付き論文)
- MIMD 型汎用複合計算機の一方式について : 理論的評価
- 論理型言語向き並列計算機KPRにおけるFGHCの処理方式について
- 論理型プログラミング言語向き並列計算機KPRの並列処理方式
- MIMD型並列計算機システムを指向したメッセージフロー型並列計算モデル
- 並列処理の実験支援システムCOOP/VM
- 並列プログラミングの実験支援システムCOOP/VM
- スタックスマッシング攻撃の正確な検出方式とその性能制約条件(高性能コンピュータシステム,デザインガイア2009-VLSI設計の新しい大地-)
- 4A-5 バッファオーバフロー検知用付加プロセッサの概要(省電力と高信頼技術,一般セッション,アーキテクチャ)
- 境界データ同期型領域分割法を用いたPCクラスタ並列処理のための通信ライブラリの設計と評価
- 境界データ同期型領域分割法を用いたPCクラスタ並列処理のための通信ライブラリの設計と評価
- C-014 データベース参照のスケジューリングによる電子商取引サイトの最適化(C分野:ハードウェア・アーキテクチャ,一般論文)
- RC-006 マシン命令レベルでのプログラム実行モニタリングによる手続き呼び出し関係の正確な検知方式(C分野:ハードウェア・アーキテクチャ,査読付き論文)
- ネットワーク認証のための放送範囲可変型イーサネットスイッチ
- 境界データ同期型領域分割法を用いたPCクラスタ並列処理のための通信ライブラリの設計と評価
- 超並列計算機のための負荷変化加速度を用いた負荷量予測型動的負荷分散方式の性能評価
- 超並列計算機向き負荷量予測型動的負荷分散方式の改良
- 超並列計算機のための負荷変化速度を考慮した動的負荷分散方式
- 時間的負荷変化量を考慮した超並列計算機向き動的負荷分散方式
- 多重階層化負荷管理方式による超並列計算機向き動的負荷分散
- 多重階層化負荷管理方式による超並列計算機向き動的負荷分散
- マイクロプログラミングの現状と将来の展望 (マイクロプログラミング)
- バッファ・メモリを有するパイプライン制御計算機の性能評価について
- バッファ・メモリ方式のシミュレーション
- 結合ミックスによるCPUの性能評価
- オペレーティング・システムのパフォーマンス・モニタリング
- 計算機システムのシミュレーションについて
- トレース・マッピング法によるデータ・パス・アーキテクチャの性能評価方式
- 論理型言語向き並列計算機KPRのプロセス管理方式
- 低レベル並列処理計算機のためのマイクロプログラム最適化方式
- ハードウェア機能の性能評価システムの開発
- 3次元形状モデリングにおける立体集合演算の並列処理方式
- 論理型言語向き並列計算機KPRのストリーム並列処理方式
- 三重対角線形方程式の多重分割並列消去法について
- 命令セットアーキテクチャ 1. 命令セットアーキテクチャの現状と展望 (命令セットアーキテクチャ)
- KPRのORリダクション・プロセッサ(ORP)における単一化処理
- 論理型言語向き並列計算機KPRのプロセス管理方式
- 人工知能と感性
- 3次元図形処理専用並列プロセッサシステムEXPERTSの構成 (並列処理ハ-ドウェアと言語特集)
- マイクロプログラム技術 1. マイクロプログラム技術の進展 (<特集>マイクロプログラム技術)
- 三重対角線形方程式の分割並列消去法について
- 並列オブジェクト指向システムにおけるオブジェクト管理方式
- 並列オブジェクト指向システムにおけるオブジェクト管理方式
- Joseph A. Fisher : Very Long Instruction Word Architectures and The ELI-512(20世紀の名著名論)
- 超並列計算機の要素プロセッサ向きメッセージ駆動スレッドアーキテクチャ
- 分散型プロダクションシステムの並列実行方式
- マルチレッドプロセッサおよび1チップマルチプロセッサのための命令キャッシュ構成・命令フェッチ方式の性能比較
- 特集「並列処理」の編集にあたって (並列処理)
- 論理型言語向き並列マシンKPRのANDリダクション・ユニット
- 論理型言語向き並列マシンKPRのORリダクション・ユニット
- 並列処理用C++クラスライブラリーの設計
- 分散メモリ型並列計算機向き階層化スレッドスケジューリング方式
- 分割 Residue Hash 表とその連想的検索法
- 汎用計算機動画作成システムと内部構成
- 予測子を用いた Open Hash 法
- マイクロプログラムによる初等関数の計算法とその評価 (計算の手間と能率化)
- 並列処理による重力多体問題の解法の高速化
- メッセージ駆動スレッド方式による要素プロセッサアーキテクチャMDT-1
- 超並列計算機向き相互結合網 HXB/b-HCの提案
- 超並列処理に関する実験支援システムの構築
- 教育/研究用仮想超並列処理環境の構想
- ユニバーサル・ホスト計算機QA-2の低レベル並列処理方式
- マイクロプログラム制御計算機QA-2のシステム管理プロセッサ
- 並列処理用C++クラスライブラリの設計
- 並列計算機システムの向きOSのスケジューラへのGAの適用
- 並列計算機システム向きOSのスケジューラへのGAの適用
- コンピュータサイエンス教育を科学する(情報技術の新時代に向けて)
- 大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムJ97
- 情報処理技術における「仮想」
- 4. マイクロプログラム技術の応用 4.1 プログラミング言語処理におけるマイクロプログラム技術 (<特集>マイクロプログラム技術)
- 3. アーキテクチャ 3.2 記号処理マシン (並列処理マシン)
- 大学における計算機アーキテクチャの教育方法に関する考察
- C-002 基本ブロック単位の命令実行パス予測方式(コンピュータシステム技術,C分野:ハードウェア・アーキテクチャ)
- RL-001 IPv6環境におけるネットワーク認証のためのマルチキャストフィルタリングイーサネットスイッチ(通信制御,L分野:ネットワーク・セキュリティ)
- RC-001 スレッドレベル並列投機実行のためのメモリリネーミング機構(コンピュータシステム技術,C分野:ハードウェア・アーキテクチャ)
- C-003 スレッドレベル並列化のためのメモリリネーミング(計算機アーキテクチャと並列処理,C分野:ハードウェア・アーキテクチャ)
- C-001 動的可換性解析によるスレッドレベル並列投機実行方式(コンピュータシステム技術,C分野:ハードウェア・アーキテクチャ)