Programming Languages and Systems: KRoC

Kent Retargetable occam-pi Compiler

Homepage: http://www.cs.kent.ac.uk/projects/ofa/kroc/
Teaching: CO631

The Kent Retargetable occam-pi Compiler (KRoC), provides a range of tools and libraries for running concurrent occam-pi programs on the Intel i386 and compatible family of processors, under Linux, FreeBSD, Mac-OSX and Cygwin (for Windows).

The following links may be of interest:

KRoC home-page: for general information and stable releases.
KRoC pre-releases: for pre-releases.
KRoC installation guide: details on installing KRoC and obtaining the latest code from subversion

About the occam-pi language:

occam-pi is a process-oriented languages that builds on traditional occam, adding support for dynamics and mobility. This allows, for instance, networks of processes to dynamically evolve over time, creating new processes and reconfiguring connections between existing processes.

People:

David Wood
Faculty

Peter Welch
Researcher

Fred Barnes
Developer

Carl Ritson
Developer

Adam Sampson
Developer

Mario Schweigler
Developer

Selected publications:

Communicating mobile processes: introducing occam-pi. P.H. Welch and F.R.M. Barnes. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005. to appear. (more details) download publication
Multicore Scheduling for Lightweight Communicating Processes. Carl G. Ritson, Adam T. Sampson, and Frederick R. M. Barnes. In John Field and Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5521 of Lecture Notes in Computer Science, pages 163-183. Springer, June 2009. (more details) download publication

Other publications:

A CSP Model for Mobile Channels. P.H. Welch and Frederick R.M. Barnes. In Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors, Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering, pages 17-33, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press. (more details) download publication
Lazy Cellular Automata with Communicating Processes. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 165-175, IOS Press, The Netherlands, September 2005. IOS Press. (more details) download publication
Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press. (more details) download publication
RMoX: A raw-metal occam experiment. Fred Barnes, Christian Jacobsen, and Brian Vinter. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 269-288, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
Prioritised dynamic communicating processes: Part 1. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 321-352, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press. (more details)
Prioritised dynamic communicating processes: Part 2. Fred Barnes and Peter Welch. In James Pascoe, Peter Welch, Roger Loader, and Vaidy SUnde, editors, Communicating Process Architectures 2002, volume 60 of Concurrent Systems Engineering, pages 353-370, IOS Press, Amsterdam, The Netherlands, September 2002. IOS Press. (more details)
Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment, Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment download publication KAR:13552
Mobile Data Types for Communicating Processes. P.H. Welch and F.R.M. Barnes. In H.R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, volume 1, pages 20-26. CSREA, CSREA Press, June 2001. (more details)
KRoC - Calling C Functions from occam, David C. Wood. Technical report, Computing Laboratory, University of Kent at Canterbury. August 1998. download publication
Mobile Barriers for occam-pi: Semantics, Implementation and Application, Mobile Barriers for occam-pi: Semantics, Implementation and Application download publication KAR:14271
Barrier synchronisation for occam-pi. Frederick R.M. Barnes, Peter H. Welch, and Adam T. Sampson. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press. (more details) download publication KAR:14305
Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid. Peter H. Welch, Brian Vinter, and Frederick R.M. Barnes. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'05), pages 201-207, Las Vegas, Nevada, USA, June 2005. CSREA Press. (more details) download publication
Interfacing C and occam-pi. F.R.M. Barnes. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 249-260, IOS Press, The Netherlands, September 2005. IOS Press. (more details) download publication KAR:14270
Higher-Level Paradigms for Deadlock-Free High-Performance Systems. P.H. Welch, G.R.R. Justo, and C.J. Willcock. In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 981-1004, Aachen, Germany, September 1993. IOS Press, Netherlands. ISBN 90-5199-140-1. (more details) download publication
Graceful Termination - Graceful Resetting. P.H. Welch. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 007 3. (more details) download publication
Compiling CSP. F.R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Proceedings of Communicating Process Architectures 2006 (CPA-2006), volume 64 of Concurrent Systems Engineering Series, pages 377-388. IOS Press, September 2006. (more details) download publication
pony - The occam-pi Network Environment. Mario Schweigler and Adam Sampson. In Peter Welch, Jon Kerridge, and Fred Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 77-108, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication
Prioritised Dynamic Communicating and Mobile Processes. F.R.M. Barnes and P.H. Welch. IEE Proceedings-Software, 150(2):121-136, April 2003. (more details) download publication
Video Processing in occam-pi. Carl G. Ritson, Adam T. Sampson, and Frederick R.M. Barnes. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Communicating Process Architectures 2006, volume 64 of Concurrent Systems Engineering Series, pages 311-329, Amsterdam, The Netherlands, September 2006. IOS Press. (more details) download publication
Communicating Mobile Processes. F.R.M. Barnes and P.H. Welch. In I. East, J. Martin, P. Welch, D. Duce, and M. Green, editors, Communicating Process Architectures 2004, volume 62 of Concurrent Systems Engineering Series, pages 201-218, Amsterdam, The Netherlands, September 2004. IOS Press. (more details) download publication
Flexible, Transparent and Dynamic occam Networking with KRoC.net. Mario Schweigler, Fred Barnes, and Peter Welch. In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 199-224, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
occwserv: An occam web-server. Fred Barnes. In J.F. Broenink and G.H. Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 251-268, Amsterdam, The Netherlands, September 2003. IOS Press. (more details) download publication
A Foreign Function Interface Generator for occam-pi. Damian J. Dimmich and Christan L. Jacobsen. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, pages 235-248, Amsterdam, The Netherlands, September 2005. IOS Press. (more details) download publication
Blocking system calls in KRoC/Linux. Frederick R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 155-178. Computing Laboratory, University of Kent, IOS Press, September 2000. (more details) download publication

For current students & staff

Search

School of Computing