WoTUG - The place for concurrent processes

KRoC Downloads

Downloads of released versions of KRoC are available here. Due to restrictions on the distribution of some components, we can only freely supply binary kits for many of these releases. We are attempting to release source kits in the near future.

The latest release is KRoC 1.3.0 which is only available as a the source release for Linux on PCs. (Note that the translator in this version, tranpc, only generates i386 code).

Linux (Full GPL Source Release)

Occam 2.1 language (RECORDS and DATA TYPEs). An occam/C interface tool and good Linux support. New! support for using system calls without blocking the microkernel. Includes standard libraries (hostio.lib, streamio.lib etc.), language documentation, examples and exercises.

The sources for the compiler are released under the GNU General Public License (with libraries under the Lesser GPL).

For downloads and install information, visit the KRoC website.

KRoC Author: Occam For All Group (ofa-bugs@kent.ac.uk)
Compiler Author: SGS-Thompson Ltd, with modifications by OFA. Used with permission.

SunOS and Solaris (Binary Release only - for the moment)

occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface tool and has separate compilation support (#USE). Includes standard libraries (hostio.lib, streamio.lib etc.), language documentation, examples and exercises.

Author: Occam For All Group (ofa-bugs@kent.ac.uk)

OS Version Compressed Tar Gzipped Tar
Solaris 2.5.1 KRoC 0.9 beta (1.2MB)
SunOS 4.1.3 U1 KRoC 0.9 beta (1.3MB)

Alpha OSF (Binary Release only - for the moment)

occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface tool and has separate compilation support (#USE). Includes standard libraries (hostio.lib, streamio.lib etc.), language documentation, examples and exercises.

Author: Occam For All Group (ofa-bugs@kent.ac.uk)

OS Version Compressed Tar Gzipped Tar
Alpha OSF/1 v3.0 KRoC 0.9 beta (1.6MB)

Parsytec Power Xplorer (Binary Release only - for the moment)

occam 2.1 language (RECORDS and DATA TYPEs) has an occam/C interface tool and the first release of Linux support. Includes standard libraries (hostio.lib, streamio.lib etc.), language documentation, examples and exercises.

This is the binary release with multi processor scheduler of the Aberdeen port of KRoC to the PowerPC architecture. It is based on KRoC 0.7 Beta. The port has been developed for the Parsytec Power Xplorer with PowerPC 601 processors. It is based on Parix version 1.2 with a Sun host running Solaris 2.5.

Anyone interested in porting the system to other PowerPC based operating systems should contact the first author.

Authors: Alastair Allen (eng267@abdn.ac.uk) and Andreas Ripke (A.Ripke@eng.abdn.ac.uk).

OS Version Gzipped Tar
Parix 1.2/Solaris 2.5 KRoC 0.7 beta (872KB)


Page last modified on 26th January 2005
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org