Skip to main content
SpringerLink
Log in
Book cover

UK Parallel ’96 pp 70–91Cite as

CSP/Occam on Networks of Workstations

  • Conference paper

  • 32 Accesses

Abstract

This paper introduces oc-net, a software communications system which implements the CSP/occam model of communication and synchronisation across networks of workstations. The spotlight is initially directed towards the design of oc-net, the finer grain parallelism it accommodates, and its careful integration into the operating environment, which distinguishes itself, if mishandled, in being hostile to oc-net’s objectives. The second part of the paper describes a preliminary empirical measurement of oc-net’s raw message passing performance vis à vis popular parallel computing software for networks of workstations. Parallels are drawn between the latters’ unrestrained models of parallelism, and Occam’s carefully controlled communication topologies, to which various advantages can be attributed.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Barrett. occam3 reference manual. Technical report, INMOS Limited, Bristol, BS12 4SQ, England/March 1992.

    Google Scholar 

  2. G. Barrett. How to write a highly parallel program. In J.M. Kerridge, editor, Transputer and occam Research: New Directions, pages 209–217, 1993.

    Google Scholar 

  3. R. M. Butler and E. L. Lusk. Monitors, messages, and clusters: the P4 parallel programming system. Parallel Computing, April 1994.

    Google Scholar 

  4. J. A. Camilleri. An operational semantics for occam. International Journal of Parallel Programming, 18(5), October 1989.

    Google Scholar 

  5. M. Debbage, M. Hill, S. Wykes, and D. Nicole. Southampton’s portable occam compiler (SPOC). In Roger Miles and Alan Chalmers, editors, Proceedings of WoTUG-17: Progress in Transputer and occam Research, volume 38 of Transputer and occam Engineering, pages 40–55, Amsterdam, April 1994. IOS Press.

    Google Scholar 

  6. S. Feit. TCP/IP - Architecture, Protocols and Implementation. McGraw Hill Series on Computer Communication. McGraw Hill, 1993.

    MATH  Google Scholar 

  7. Message Passing Interface Forum. MPI: A message-passing interface standard. Technical report, University of Tennessee, Knoxville, May 1994.

    Google Scholar 

  8. B. 0. Gallmeister.POSIX.4 - Programming for the real world. O’Reilly & Associates, 1995.

    Google Scholar 

  9. A. Geist, A. Beguelin, J. Dongarra, and W. Jiang. PVM3 user’s guide and reference manual. Technical Report ORNL/TM-12187, Oak Ridge National Laboratory, May 1993.

    Google Scholar 

  10. M. H. Goldsmith, A. W. Roscoe, and B. G. 0. Scott. Denotationai semantics for occam2 (Part 1). Transputer Communications, 1(2):65–91, November 1993.

    Google Scholar 

  11. M. H. Goldsmith, A. W. Roscoe, and B. G. O. Scott. Denotationai semantics for occam2 (Part 2). Transputer Communications, 2(l):25–67, March 1994.

    Google Scholar 

  12. B. Gropp, R. Lusk, T. Skjellum, and N. Doss. Portable MPI model implementation. Technical report, Argonne National Laboratory, July 1994.

    Google Scholar 

  13. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    MATH  Google Scholar 

  14. S. Leung. Programming asynchronous 1-0 in Solaris 2. SunWorld Online, March 1996. <URL: http://www.sunworld.com/sunworldonline/ swol-03–1996/swol-03-aio.html>.

    Google Scholar 

  15. INMOS Limited. occam2 Reference Manual. Prentice Hall, 1988.

    Google Scholar 

  16. INMOS Limited. The Transputer Databook (2nd Edition). INMOS Limited, 1989.

    Google Scholar 

  17. INMOS Limited. T9000 Transputer Hardware Reference Manual SGS-Thomson Microelectronics, 1993.

    Google Scholar 

  18. INMOS Limited. T9000 Transputer Instruction Set Manual. SGS-Thomson Microelectronics, 1993.

    Google Scholar 

  19. INMOS Limited. T9000 Transputer Development Systems Manuals: Hardware Configuration Manual, May 1994.

    Google Scholar 

  20. INMOS Limited. T9000 Transputer Development Systems Manuals: Toolset Reference Manual, May 1994.

    Google Scholar 

  21. M.D. May, R.M. Shepherd, and P.W. Thompson. The T9000 communications architecture. In M.D. May, P.W. Thompson, and P.H. Welch, editors, Networks, Routers and Transputers, chapter 2, pages 15–38. IOS Press, Amsterdam, 1993.

    Google Scholar 

  22. R. Milner.Communication and Concurrency. Prentice Hall, 1989.

    MATH  Google Scholar 

  23. J. Nagle. Congestion control in IP/TCP. RFC 896, Internet Engineering Task Force, January 1984.

    Google Scholar 

  24. D. M. Ritchie and K. Thompson. The UNIX timesharing system. Communications of the ACM, 17(7):365–375, July 1974.

    Article  Google Scholar 

  25. W. R. Stevens.UNIX Network Programming. Prentice-Hall, 1990.

    Google Scholar 

  26. W. R. Stevens.Advanced programming in the UNIX environment. Addison-Wesley Publishing Company, 1992.

    MATH  Google Scholar 

  27. W. R. Stevens.TCP/IP Illustrated, Volume 1: The protocols. Addison-Wesley Publishing Company, 1994.

    Google Scholar 

  28. L. G. Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8), August 1990.

    Google Scholar 

  29. K. J. Vella. An occam style communications system for UNIX networks. Technical Report 13–95, Computing Laboratory, University of Kent at Canterbury, November 1995.

    Google Scholar 

  30. R. J. Vetter. ATM concepts, architectures, and protocols.Communications of the ACM, 38(2):30–38, February 1995.

    Article  Google Scholar 

  31. P. H. Welch. An occam approach to Transputer engineering. InProceedings of the 3rd Conference on Hypercube Concurrent Computers and Applications, Pasadena, California, U.S., January 1988.

    Google Scholar 

  32. P. H. Welch and D. C. Wood. KRoC - the Kent Retargetable occam Compiler. In B. O’Neill, editor, Proceedings of WoTUG 19, Amsterdam, March 1996. WoTUG, IOS Press. URL: href=“http://www.hensa.ac.uk/” http://www.hensa.ac.uk /parallel/occam/projects/occam-for-all/kroc/.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, UK

    Kevin J. Vella

  2. Department of Computer Science and A.I., University of Malta, Msida, Malta

    Kevin J. Vella

Authors
  1. Kevin J. Vella
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering, University of Surrey, GU2 5XH, Guildford, Surrey, UK

    Chris Jesshope PhD, MSc, BSc  & Shasha Shafarenko MSc, PhD  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag London Limited

About this paper

Cite this paper

Vella, K.J. (1996). CSP/Occam on Networks of Workstations. In: Jesshope, C., Shafarenko, S. (eds) UK Parallel ’96. Springer, London. https://doi.org/10.1007/978-1-4471-1504-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1504-5_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76068-9

  • Online ISBN: 978-1-4471-1504-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation