WEKO3
アイテム
論理型プログラミング言語向き並列計算機KPRの並列処理方式
https://ipsj.ixsq.nii.ac.jp/records/15120
https://ipsj.ixsq.nii.ac.jp/records/15120a3e30153-c74f-47aa-9d8e-6cae4fbf5ef8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3012007.pdf (966.2 kB)
|
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1989-12-15 | |||||||
| タイトル | ||||||||
| タイトル | 論理型プログラミング言語向き並列計算機KPRの並列処理方式 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Parallel Processings of a Logic Programming Language - Oriented Parallel Machine KPR | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集：並列処理 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | ハードウェア | |||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室／現在 通商産業省 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室／現在 松下電器産業（株） | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室／現在 日本電気（株） | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Deparment of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者名 |
柴山, 潔
鹿毛, 裕史
川倉, 康嗣
山本, 雅亮
平田, 博章
加納健
萩原, 宏
× 柴山, 潔 鹿毛, 裕史 川倉, 康嗣 山本, 雅亮 平田, 博章 加納健 萩原, 宏
|
|||||||
| 著者名(英) |
Kiyoshi, Shibayama
Hiroshi, Kage
Yasushi, Kawakura
Masaaki, Yamamoto
Hiroaki, Hirata
Yasushi, Kanoh
Hiroshi, Hagiwara
× Kiyoshi, Shibayama Hiroshi, Kage Yasushi, Kawakura Masaaki, Yamamoto Hiroaki, Hirata Yasushi, Kanoh Hiroshi, Hagiwara
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では 論理型言語向き並列計算機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と呼ばれ バス・スイッチや状態フラグの伝搬機構などが装備される. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 30, 号 12, p. 1573-1583, 発行日 1989-12-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
