Skip to main content
SpringerLink
Log in
Book cover

UK Parallel ’96 pp 53–69Cite as

A Strict occam Design Tool

  • Conference paper

Abstract

This paper presents a graphical design tool for the construction of multiprocess systems that are guaranteed free from deadlock, livelock and starvation. The tool is strictly targeted to implementations based upon the CSP/occam synchronised message passing model, which includes systems programmed in Occam itself, various parallel extensions to C (originally developed for the transputer), SuperPascal and a subset of MPI. The tool implements a mix of design paradigms whose synchronisation properties are well-behaved and easy to analyse, allowing only safe process networks to be built. The Occam binding of the tool provides further guarantees against ‘thread-unsafe’ designs that are derived directly from the language. This paper gives the background to the work1, the design tool methodology and an example of its use.

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. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    MATH  Google Scholar 

  2. INMOS Ltd. occam2 Reference Manual. Prentice Hall, 1988.

    Google Scholar 

  3. SGS-Thomson Microelectronics Ltd. occam2.1 reference manual. SGS-Thomson Microelectronics Ltd., /URL:http://www.hensa.ac.uk/ parallel/ occam/documents/;, 1995.

    Google Scholar 

  4. 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, IOS Press, Amsterdam, April 1994.

    Google Scholar 

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

    Google Scholar 

  6. M.D. Poole, occam for all: Two approaches to retargeting the INMOS occam compiler. In B. O’Neill, editor, Proceedings of WoTUG 19, IOS Press, Amsterdam, March 1996. ISBN 90 5199 261 0.

    Google Scholar 

  7. K.J. Vella. CSP/occam on networks of workstations. In A. Shafarenko et al., editors, Proceedings of UKPAR96. Springer-Verlag, July 1996.

    Google Scholar 

  8. P. Brinch Hansen. The programming language superpascal. Software Practice and Experience, 24(5):467–483, May 1994.

    Article  Google Scholar 

  9. PACT, Foulkeslaan 87, 2625 RB Delft, The Netherlands. The PACT Parallel C Reference Manual, February 1992.

    Google Scholar 

  10. Computer System Architects, 100 Library Plaza, 15 North 100 East, Provo, UT 84606–3100, USA. Logical Systems C for the Transputer: Version 89.1 Manual Set.

    Google Scholar 

  11. INMOS. ANSI C Manual Set D0314-DOCA.

    Google Scholar 

  12. MPI Forum. MPI: A message-passing interface. Technical Report CS/E 94-013, Department of Computer Science, Oregon Graduate Institute, March 94.

    Google Scholar 

  13. E.W. Dijkstra. A Class of Simple Communication Patterns, Selected Writings on Computing: A Personal Perspective. Springer-Verlag, 1982.

    Google Scholar 

  14. P. Brinch Hansen. Operating System Principles. Prentice-Hall, 1973.

    MATH  Google Scholar 

  15. A.W. Roscoe and N. Dathi.The pursuit of deadlock freedom. Technical Monograph PRG-57, Oxford University Computing Laboratory, 1986.

    Google Scholar 

  16. P.H. Welch, G.R,R. Justo, and C. Willcock. High-level paradigms for deadlock-free high-performance systems. In Grebe et al., editors, Transputer Applications and Systems ’93, pages 981–1004, IOS Press, Amsterdam, 1993

    Google Scholar 

  17. J. Martin, I. East, and S. Jassim. Design rules for deadlock freedom. Transputer Communications, 2(3): 121–133, John Wiley & Sons Ltd, September 1994.

    Google Scholar 

  18. J.M.R. Martin and P.H. Welch. A design strategy for deadlock-free concurrent systems. Transputer Communications. John Wiley & Sons Ltd, (submitted September 1995).

    Google Scholar 

  19. G. Jones. Carefully scheduled selection with ALT. occam User Group (OUG) Newsletter, 10, 1989.

    Google Scholar 

  20. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam2 (part 1). Transputer Communications, 1(2):65–91, John Wiley & Sons Ltd, November 1993.

    Google Scholar 

  21. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam2 (part 2). Transputer Communications, 2(l):25–67, John Wiley & Sons Ltd, March 1994.

    Google Scholar 

  22. P.H. Welch. Parallel hardware and parallel software: a reconciliation. In Proceedings of the ZEUS’95 and NTUG’95 Conference, Linkoping, Sweden, pages 287–301, IOS Press, Amsterdam, May 1995. ISBN 90–5199-22–7.

    Google Scholar 

  23. B. Cook and R. Peel. The para-pc, an analysis. In B. O’Neill, editor, Proceedings of WoTUG 19, pages 89–102, IOS Press, Amsterdam, March 1996. ISBN 90 5199 261 0.

    Google Scholar 

  24. J. K. Outsterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, University of Kent, CT2 7NF, Canterbury, Kent, England

    Dave Beckett & Peter Welch

Authors
  1. Dave Beckett
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Welch
    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

Beckett, D., Welch, P. (1996). A Strict occam Design Tool. In: Jesshope, C., Shafarenko, S. (eds) UK Parallel ’96. Springer, London. https://doi.org/10.1007/978-1-4471-1504-5_5

Download citation

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

  • 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