A short introduction to Concurrent Euclid

ABSTRACT

This is an introduction to Concurrent Euclid (CE), a language designed for high performance, highly reliable system software, such as operating systems, compilers and embedded microprocessor systems. CE is a Pascal-based language with processes and monitors (as specified by C. A. R. Hoare). It has language constructs needed for systems programming including separate compilation, variables at absolute addresses, type converters, long integers and so on.A Small (50k bytes), fast, portable compiler is available for CE running under UNIX. It is self-compiling and has replaceable code generators. There exist high quality code generators for several computers including the PDP-11, VAX, Motorola 68000 and Motorola 6809. These typically generate as good or better code than other compilers such as "C".CE programs that use concurrency can be run on a bare machine (supported by a small assembly language kernel), or in simulated mode as an ordinary appearing job running under an operating system.CE is defined precisely by "Specification of Concurrent Euclid" by Cordy and Holt.

REFERENCES

• 1: J. R. Cordy, R. C. Holt, "Specification of Concurrent Euclid", Report CSRG-133, Computer Systems Research Group, University of Toronto, 1981.
• 2: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 3: R. C. Holt, G. S. Graham, E. D. Lazowska, M. A. Scott, Structured Concurrent Programming with Operating Systems Applications, Addison-Wesley, Dec. 1977, 262 pp.
• 4: R. C. Holt, "Overview of TUNIS, a UNIX-Lookalike written in Concurrent Euclid", Computer Systems Research Group, University of Toronto, 1981.
• 5: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 6: D. B. Wortmann, R. C. Holt, J. R. Cordy, D. R. Crowe, I. H. Griggs, "Euclid: A Language for Producing Quality Software", Proc. Of National Computer Conference, Chicago, May 1981.