RMoX: A raw-metal occam experiment

Concurrent Systems Engineering Series

Volumn 61, Issue , 2003, Pages 269-288

  Barnes, Fred ^a   Jacobsen, Christian ^a   Vinter, Brian ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); EMBEDDED SYSTEMS; MULTIPROCESSING SYSTEMS; PROGRAM COMPILERS; RELIABILITY;

DISTRIBUTED OPERATING SYSTEMS; OPERATING SYSTEM DESIGN;

COMPUTER OPERATING SYSTEMS;

EID: 0141732212     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

1. C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, August 1978.
2. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. ISBN: 0-13-153271-5.
3. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997. ISBN: 0-13-674409-5.
4. Inmos Limited. occam 2.1 Reference Manual. Technical report, Inmos Limited, May 1995. Available at: http://www.wotug.org/occam/.
5. Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall, Englewood Cliffs, 1 edition, 1978. ISBN: 0-13-110163-3.
6. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In Proceedings of the 2002 USENIX Annual Technical Conference, Monterey, California, USA, June 2002. Available at: http://www.usenix.org/events/usenix02/jim.html.
7. Daniel P. Bovet and Marco Cesati. Understanding the Linux kernel. O'Reilly UK, 2nd edition, January 2003. ISBN: 0-596-00213-0.
8. P.H. Welch, J. Moores, F.R.M. Barnes, and D.C. Wood. The KRoC Home Page, 2000. Available at: http://www.cs.ukc.ac.uk/projects/ofa/kroc/.
9. F.R.M. Barnes and P.H. Welch. Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering, pages 243-264, Amsterdam, The Netherlands, September 2001. WoTUG, IOS Press, ISBN: 1-58603-202-X.
10. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes: Part I. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, WoTUG-25, Concurrent Systems Engineering, pages 331-361, IOS Press, Amsterdam, The Netherlands, September 2002. ISBN: 1-58603-268-2.
11. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes: Part II. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, WoTUG-25, Concurrent Systems Engineering, pages 363-380, IOS Press, Amsterdam, The Netherlands, September 2002. ISBN: 1-58603-268-2.
12. F.R.M. Barnes and P.H. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software, 150(2), April 2003.
13. International Standards Organization, IEEE. Information Technology - Portable Operating System Interface (POSIX) - Part 1: System Application Program Interface (API) [C Language], 1996. ISO/IEC 9945-1:1996 (E) IEEE Std. 1003.1-1996 (Incorporating ANSI/IEEE Stds. 1003.1-1990, 1003.1b-1993, 1003.1c-1995, and 1003.1i-1995).
14. J. Moores. CCSP - a Portable CSP-based Run-time System Supporting C and occam. In B.M. Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 147-168, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press. ISBN: 90-5199-480-X.
15. J. B. Postel. Internet protocol. RFC 791, Internet Engineering Task Force, September 1981.
16. Adam T. Sampson. The design and development of occamnet, 2003. Project report, Computing Laboratory, University of Kent.
17. M.D. May, P.W. Thompson, and P.H. Welch. Networks, Routers and Transputers, volume 32 of Transputer and occam Engineering Series. IOS Press, 1993.
18. M. Homewood, D. May, D. Shepherd, and R. Shepherd. The IMS T800 Transputer. IEEE Micro, 10-26, October 1987.
19. Inmos Limited. The T9000 Transputer Instruction Set Manual. SGS-Thompson Microelectronics, 1993. Document number: 72 TRN 240 01.
20. Nathalie Supornpaibul. Protocol implementation in occam. Transputer Applications, 1989.
21. J. L. Romkey. Nonstandard for transmission of IP datagrams over serial lines: SLIP. SLIP. RFC 1055, Internet Engineering Task Force, June 1988.
22. J. B. Postel and J. F. Reynolds. Standard for the transmission of IP datagrams over IEEE 802 networks. RFC 1042, Internet Engineering Task Force, February 1988.
23. Intel Corporation. Intel Architecture Software Developer's Manual, Volume 2: Instruction Set Reference, 1999. Available at: http://developer. intel.com/design/PentiumIII/manuals/.
24. Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. The flux OSKit: A substrate for kernel and language research. In Symposium on Operating Systems Principles, pages 38-51, 1997. Software available from: http://www.cs.utah.edu/flux/oskit/.
25. Inmos Limited. The T9000 Transputer Hardware Reference Manual. SGS-Thompson Microelectronics, 1993.
26. P.H. Welch and D.C. Wood. The Kent Retargetable occam Compiler. In Brian O'Neill, editor, Parallel Processing Developments, Proceedings of WoTUG 19, volume 47 of Concurrent Systems Engineering, pages 143-166. World occam and Transputer User Group, IOS Press, Netherlands, March 1996. ISBN: 90-5199-261-0.
27. Jeff Dike. User-mode Linux. In Proceedings of the 5th Annual Linux Showcase & Conference, Oakland, CA, USA., November 2001. Available from http://www.linuxshowcase.org/dike.html.
28. F.R.M. Barnes. occwserv - an occam Web-Server, September 2001. CPA-2001 SIG presentation, University of Bristol, UK. Available at: http://frmb.org/publications.html.
29. Peter M. Chen, Edward K. Lee, Garth A. Gibson, Randy H. Katz, and David A. Patterson. RAID: High-performance, reliable secondary storage. ACM Computing Surveys, 26(2):145-185, 1994.
30. David C. Wood. KRoC - Calling C Functions from occam. Technical report, Computing Laboratory, University of Kent at Canterbury, August 1998.
31. Fred Barnes. Socket, File and Process Libraries for occam. Computing Laboratory, University of Kent at Canterbury, June 2000. Available at: http://www.cs.ukc.ac.uk/people/rpg/frmb2/documents/.
32. F.R.M. Barnes. occwserv: an occam web-server. In Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2003.
33. Ramsay G. Taylor. Implementing Memory Management for Highly Concurrent Systems, 2003. Project report, Computing Laboratory, University of Kent.
34. Andrew S. Tanenbaum. MINIX: A UNIX clone with source code for the IBM PC. login: the USENIX Association newsletter, 12(2):3-9, March/April 1987. ISSN: 1044-6397.
35. M. Schweigler, F.R.M. Barnes, and P.H. Welch. Flexible, Transparent and Dynamic occam Networking with KRoC.net. In Communicating Process Architectures 2003, WoTUG-26, Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2003.