Group: People Projects Publications Seminars Events Wiki Grants PhD studentships Projects: CHP CoSMoS GCspy JCSP KRoC MM-Net RMoX The Transterpreter

Programming Languages and Systems: RMoX

A Lightweight, Flexible and Concurrent Operating System

RMoX is an experimental operating-system programmed largely in occam-pi. It's aims are to provide an OS which is:

• scalable, from embedded systems through to massively parallel supercomputers
• flexible, meeting the demands of a various environments/industries
• lightweight, using the available hardware resources efficiently

The official RMoX home-page is at http://rmox.net/, but other resources are available from CSProjects, here: http://projects.cs.kent.ac.uk/projects/rmox/

A bootable image, that can be booted by GRUB or Etherboot, can be downloaded here: http://rmox.net/download/rmox-0.1.6-latest-image. The default build is for an Intel-i386 or AMD architecture (we are testing with QEMU and an AMD Geode based PC/104+ board).

People:

Fred Barnes Principal Investigator Peter Welch Researcher Carl Ritson Research Associate Adam Sampson Developer

Selected publications:

• A process oriented approach to USB driver development. Carl G. Ritson and Frederick R.M. Barnes. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, pages 323-338, Amsterdam, The Netherlands, July 2007. IOS Press. (more details) download publication KAR:14574

• 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

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

• 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)

Project support: