並列論理型言語KL1の最適化手法 (並列処理支援ソフトウェアシステム)  [in Japanese] Optimization Method of Concurrent Logic Language KL1  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

現在、ICOTにおいて並列論理型言語KL1処理系KLICが開発されており、様々な並列計算機での利用を目指している。しかしながら、現時点でのKLICの実装は、速度やメモリなど実行効率の面で手続き型言語に及ばない。そこで本研究では、静的解析による実行最適化手法を提案する。本手法はプロセス単位の処理により、効率的な処理が可能である。解析段階ではモード・タイプ解析によりデータ型や依存関係を抽出し、これを利用してプロセス内逐次実行の効率化や、プロセス間入出力の最適化コード生成による物理通信削減を実現する。The KLIC system, a portable implementation of a concurrent logic programming language KL1, is being developed in ICOT. However, the current implementation is less efficient compared to procedural languages. We propose an optimization method using static analysis. Each process is dealt with independently for efficient mode-type analysis, which derives data types and dependencies. With the analysis result, efficient execution of process by optimal scheduling and reduction of physical messages by optimizing message generation are achieved.

The KLIC system, a portable implementation of a concurrent logic programming language KL1, is being developed in ICOT. However, the current implementation is less efficient compared to procedural languages. We propose an optimization method using static analysis. Each process is dealt with independently for efficient mode-type analysis, which derives data types and dependencies. With the analysis result, efficient execution of process by optimal scheduling and reduction of physical messages by optimizing message generation are achieved.

Journal

  • IPSJ SIG Notes

    IPSJ SIG Notes 1994(106(1994-OS-067)), 183-190, 1994-12-08

    Information Processing Society of Japan (IPSJ)

Codes

  • NII Article ID (NAID)
    110002941179
  • NII NACSIS-CAT ID (NCID)
    AN10444176
  • Text Lang
    JPN
  • Article Type
    Technical Report
  • Data Source
    NII-ELS  IPSJ 
Page Top