We’re all back from a very successful Communicating Process Architectures conference in Eindhoven, and we’ve just added most of the new things that we’ve been working on this summer to the stable version of KRoC. Changes this time include:
- The Transterpreter (our occam-pi runtime for small devices) can now run on the Arduino, and other devices that use an Atmel AVR microcontroller — see our CPA 2009 fringe presentation. We’re working on making it easier to set up at the moment, but if you want to try it out now, there are some preliminary instructions available already.
- Work on the CCSP scheduler to improve performance on multicore systems continues — see our paper from COORDINATION 2009 for a description of the scheduler’s algorithms and scalability benchmarks against a selection of other concurrent runtimes.
- The occam compiler now has initial support for automatically generating CSP models of processes, so you can use external tools to analyse and model-check your occam programs — see our paper from PLOS 2009.
- The occam compiler now recognises SIGNAL as a new built-in variant protocol, with the single case SIGNAL — useful for channels that are only used for notification, and don’t need to carry a value.
- We’ve added time.module, with several useful PROCs and FUNCTIONs for working with time in occam — for example, you can now write seconds (3) rather than specifying everything in microseconds.
- We’ve also added random.module, which provides a flexible random number generator suitable for games and simulations.
- We’ve made lots of little changes to make it easier to build packages of KRoC for various operating systems, and to cross-build KRoC for a different operating system or architecture.
- … and, of course, we’ve fixed several bugs reported by KRoC users. Thanks very much — please let us know when you find something that’s broken!
For more information on KRoC and how to install it, see the KRoC home page.
In other recent concurrency news: the new Go programming language uses the process-oriented model of concurrency, and those of you working with concurrent Haskell programs will want to check out Neil’s new Communicating Haskell Processes blog…
Adam (on behalf of all the KRoC developers)