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.
- Separated compilation is not available.
- Runtime tracing is not available.
[FTP]
- README
- Program and Documents in Japanese [1307K]
www-admin@icot.or.jp