(3) KL1 Pseudo Parallel System for PSI-III

	Machine:     PSI-III
	Environment: SIMPOS
	Language:    ESP, microprogram
	Source Code: 2.5 MB
	Documents:   None

Overview

Pseudo Parallel System for KL1 on Sequential Inference Machine PSI-III

Features

A system for executing the concurrent logic programming language KL1 efficiently by firmware interpreter on the sequential inference machine PSI-III.

It may be inefficient that software development, including programming, initial debugging and separate testing, is performed only on large-scale parallel systems, which are uncommon and expensive. Since a pseudo parallel system is available for KL1 on the sequential inference machine PSI-III, upstream software development can be carried out on each PSI-III workstation, and, thus, only downstream software development needs to be performed on a large-scale parallel system which includes total testing and adjustment of load balancing between processors. Hence, this software enables us to develop large-scale application program efficiently.

Functions

The PSI-III operating system is SIMPOS. Each SIMPOS process corresponds to processor of a pseudo parallel system and is controlled by a scheduler written in the sequential logic programming language ESP. ESP and the operating system of PSI-III (written in ESP) are executed by a KL0 language processor. Since KL0 execution and KL1 execution have to coexist on a single CPU, each microprogram for executing KL0 and KL1 programs must be dynamically swapped properly.

To execute KL1 programs efficiently, the language processor is implemented entierly by the microprogram code of PSI-III. Moreover, the KL1 language processor exploits tagged architecture, five-stage pipeline and so on, which are features of the PSI-III hardware.

To enable easy KL1 program development, this system provides rich debugging facilities for KL1 programs, such as a tracer and an inspector written in ESP.

FTP

www-admin@icot.or.jp