並列Prolog処理系“K - Prolog”の実現

情報処理学会

書誌事項

タイトル別名
  • Implementing Parallel Prolog System"k - Prolog"

この論文をさがす

抄録

試作マルチマイクロプロセッサシステム上への並列Prolog 処理系"k-Prolog"の実装とその評価について述べる.まずマルチプロセッサ上でProlog 処理系を実現するための並列実行モデルを与えそのモデルをもとにパイプライニング並列とOR 並列という二つの並列処理方式の記述を行う.パイプライニング並列とは後戻り処理のときに必要となる別解を他のプロセッサがあらかじめ求めておくもので解の求められる順番が逐次実行の場合と同じになるという特徴をもっている.OR並列とはゴール節中の述語からの入力節の呼出しを並列に行うものでデータベース検索等の問題に有効な方式だと考えられる.処理系の実装は筆者の所属する研究室で試作されたブロードキャストメモリ結合形並列計算機上に行った.これは16ビットマイクロプロセッサ8086をCPU にしており 共通バスにより結合されている.いくつかの例題プログラムを両並列処理方式で実行した結果 バイプライニング並列ではプロセッサ台数が小さいときに良好なデータが得られており実行プロセス数の急激な増大もなく安定している.OR 並列では全プロセッサ台数を通じて台数に比例した値に近い実行速度の向上が見られるが 実行プロセス数が急激に増大する場合があり大容量のメモリが必要となるという結論が得られている.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050845762820433024
  • NII論文ID
    110002724011
  • NII書誌ID
    AN00116647
  • ISSN
    18827764
  • Web Site
    http://id.nii.ac.jp/1001/00015828/
  • 本文言語コード
    ja
  • 資料種別
    journal article
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ