マルチプロセッサシステムPARK上での並列Prolog処理系の実現

IPSJ

Bibliographic Information

Other Title
  • Implementing Parallel Prolog System on Multiprocessor System PARK
  • 論理プログラミング

Search this article

Abstract

著者らの提案による並列論理型言語PARK-Prologとその処理系の実現について述べている.実現は著者らの作成したマルチプロセッサシステムPARK(要素プロセッサは68000)上で行った.PARK-Prologでは逐次型Prolog のセマンティックスにプロセスの生成 プロセス間の同期・通信といった並列実行機能を付け加えて並列実行を記述する.これにより逐次型Prolog 処理系の実現で用いられる最適化技法をそのまま利用し さらに並列実行により実行速度を向上させることをねらっている.変数束縛環境はプロセスごとに独立で共有はされない.プロセス間の同期・通信はチャネルを介しての送信・受信により行われる.送信には受信と同期を取る同期型と同期を取らずに実行を継続する非同期型を設けた.PARK-Prolog 処理系の実現ではコンパイル時に出力される中間言語命令について述べている.68000のような汎用マイクロプロセッサで高速に実行するためデリフアレンス トレイルの処理を省くnocheck 宣言を提案している.実行速度はappend とreverse の逐次実行で約18KLIPSであった.8クイーンをプロセッサ3台で実行した時では1台の時と比べ2.6倍の速度向上であり Quintus Prolog DEC-10Prolog を上回る実行速度が得られた.

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top