WEKO3
アイテム
マルチプロセッサシステムPARK上での並列Prolog処理系の実現
https://ipsj.ixsq.nii.ac.jp/records/15423
https://ipsj.ixsq.nii.ac.jp/records/15423dd74e5e8-3d24-43f1-928d-aebfa6708341
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL2901005.pdf (765.2 kB)
|
Copyright (c) 1988 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1988-01-15 | |||||||
| タイトル | ||||||||
| タイトル | マルチプロセッサシステムPARK上での並列Prolog処理系の実現 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Implementing Parallel Prolog System on Multiprocessor System PARK | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 論理プログラミング | |||||||
| 著者所属 | ||||||||
| 神戸大学工学部システム工学科 | ||||||||
| 著者所属 | ||||||||
| 岡山理科大学工学部電子工学科 | ||||||||
| 著者所属 | ||||||||
| 日本電信電話（株）NTTソフトウェア研究所 | ||||||||
| 著者所属 | ||||||||
| 神戸大学工学部システム工学科 | ||||||||
| 著者所属 | ||||||||
| 神戸大学工学部システム工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Systems Engineering, Faculty of Engineering, Kobe University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Electronic Engineeing, Faculty of Engineering, Okayama University of Science | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NTT Software Labratories, Nippon Telegraph and Telephone Corporation | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Systems Engineering, Faculty of Engineering, Kobe University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Systems Engineering, Faculty of Engineering, Kobe University | ||||||||
| 著者名 |
松田, 秀雄
× 松田, 秀雄
|
|||||||
| 著者名(英) |
Hideo, Matsuda
× Hideo, Matsuda
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 著者らの提案による並列論理型言語PARK-Prologとその処理系の実現について述べている.実現は著者らの作成したマルチプロセッサシステムPARK(要素プロセッサは68000)上で行った.PARK-Prologでは逐次型Prolog のセマンティックスにプロセスの生成 プロセス間の同期・通信といった並列実行機能を付け加えて並列実行を記述する.これにより逐次型Prolog 処理系の実現で用いられる最適化技法をそのまま利用し さらに並列実行により実行速度を向上させることをねらっている.変数束縛環境はプロセスごとに独立で共有はされない.プロセス間の同期・通信はチャネルを介しての送信・受信により行われる.送信には受信と同期を取る同期型と同期を取らずに実行を継続する非同期型を設けた.PARK-Prolog 処理系の実現ではコンパイル時に出力される中間言語命令について述べている.68000のような汎用マイクロプロセッサで高速に実行するためデリフアレンス トレイルの処理を省くnocheck 宣言を提案している.実行速度はappend とreverse の逐次実行で約18KLIPSであった.8クイーンをプロセッサ3台で実行した時では1台の時と比べ2.6倍の速度向上であり Quintus Prolog DEC-10Prolog を上回る実行速度が得られた. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 29, 号 1, p. 38-46, 発行日 1988-01-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
