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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
INMOS Ltd. occam2 Reference Manual. Prentice Hall, 1988.
SGS-Thomson Microelectronics Ltd. occam2.1 reference manual. SGS-Thomson Microelectronics Ltd., /URL:http://www.hensa.ac.uk/ parallel/ occam/documents/;, 1995.
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.
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/.
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.
K.J. Vella. CSP/occam on networks of workstations. In A. Shafarenko et al., editors, Proceedings of UKPAR96. Springer-Verlag, July 1996.
P. Brinch Hansen. The programming language superpascal. Software Practice and Experience, 24(5):467–483, May 1994.
PACT, Foulkeslaan 87, 2625 RB Delft, The Netherlands. The PACT Parallel C Reference Manual, February 1992.
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.
INMOS. ANSI C Manual Set D0314-DOCA.
MPI Forum. MPI: A message-passing interface. Technical Report CS/E 94-013, Department of Computer Science, Oregon Graduate Institute, March 94.
E.W. Dijkstra. A Class of Simple Communication Patterns, Selected Writings on Computing: A Personal Perspective. Springer-Verlag, 1982.
P. Brinch Hansen. Operating System Principles. Prentice-Hall, 1973.
A.W. Roscoe and N. Dathi.The pursuit of deadlock freedom. Technical Monograph PRG-57, Oxford University Computing Laboratory, 1986.
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
J. Martin, I. East, and S. Jassim. Design rules for deadlock freedom. Transputer Communications, 2(3): 121–133, John Wiley & Sons Ltd, September 1994.
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).
G. Jones. Carefully scheduled selection with ALT. occam User Group (OUG) Newsletter, 10, 1989.
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.
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.
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.
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.
J. K. Outsterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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