(2) Parallel and Distributed KL1 Language Processor: VPIM

	Machine:     PIM, Multi-PSI
	Environment: PIMOS
	Language:    PSL
	Source Code: 4.7 MB
	Documents:   Manual (Japanese)

Overview

A system for implementing a common identical KL1 language processor on all PIM models

Characteristics

VPIM is a system for implementing a common identical KL1 language processor on all PIM models (except for PIM/m). The source program of VPIM is provided here and written in the newly designed language PSL. Because it is written in PSL, VPIM is very easy to read.

Furthermore, since VPIM can be translated into the C language and, thus, be executed on parallel machines (such as Sequent Symmetry) and on workstations (such as SUN) as well, it becomes very easy to debug, to verify that programs run correctly and to comprehend the dynamic system behavior.

Function

To execute KL1 programs, not only should unification, goal rewriting and goal management be realized, but also various functions supported by conventional operating systems (for instance, memory management, synchronization and communication for parallel execution and meta-control) should be provided. VPIM is a program which implements these above functions on shared-memory and/or distributed memory multiprocessor machines. Moreover, about half of the entire VPIM source program is occupied by Japanese comments;this allows Japanese to read the source program as a specification.

The tools which translate VPIM into C code for conventional machines, PSL programming environment etc. are also provided.

To run VPIM on conventional machines and actually execute KL1 programs, a user-interface portion of PIMOS, FEP etc. are needed. However, the current distribution does not include such programs.

FTP

www-admin@icot.or.jp