AITEC Contract Research Projects in FY1995 : Software
(5) An Optimization Technique of Efficient Goal Scheduling for KL1 Programs
Dr. Hiroshi Nakashima, Associate Professor, Kyoto University
Improved KLIC with Optimized Goal Scheduling (Prototype)
by
Hiroshi Nakashima at Kyoto University
[Features of the Software]
This software is an improved version of KLIC with an optimized
compiler and runtime system. The compiler statically analyzes the
dependency among goals to find threads. Since a thread
consists of goals whose order of execution is statically determined,
the runtime system executes the thread efficiently without scheduling
overhead.
[Required Environment]
Any UNIX system on which standard KLIC can be installed.
[File Configuration]
README
README.j
compiler
improved KLIC compiler source files
include
improved KLIC compiler header files
rmon
KLIC rmonitor source files (same as standard)
runtime
improved KLIC runtime source files
org-comp
standard KLIC compiler source files
sched-test
test programs for improved KLIC
Docs
manual (in Japanese, sorry) and miscellaneous documents.
documents
standard KLIC documents
[Others]
This version is a prototype of the improved KLIC for evaluation. Thus
it has the following restrictions.
Pragmas cannot be used, and thus parallel codes cannot be obtained.
Only basic data types (atom, integer, functor, list) are implemented.
Only basic built-in predicates for type checking and integer
arithmetics are implemented.
