Concurrent Euclid

Concurrent Euclid (ConcEuc) er en etterkommer av programmeringsspråket Euclid som ble konstruert av James Cordy og Richard C. Holt ved University of Toronto i 1980. ConEuc var et imperativt språk som ble konstruert for parallell programvare og for systemprogramvare, slik som operativsystemer, kompilatorer og innebygde systemer.

Operativsystemkjernen i operativsystemet TUNIS, en variant av og Unix, ble skrevet utelukkende i Concurrent Euclid. ConcEuc utvider kjerne-elementene i Euclid med prosesser og monitorer (slik som disse ble spesifisert av C.A.R. Hoare) så vel som språklige konstruksjoner som behøves i systemprogrammering, deriblant separat kompilering, variabler ved absolutte adresser, typekonverterere og lange heltall.

Litteratur

• J.R. Cordy and R.C. Holt 1980. Specification of Concurrent Euclid. Technical reports CSRI-115 (July 1980) and CSRI-133 (August 1981), Computer Systems Research Institute, University of Toronto. 54 pages.
• R.C. Holt 1982. Concurrent Euclid, the Unix System and Tunis. Addison-Wesley 1982. 323 pages.
• R.C. Holt 1982. A short introduction to Concurrent Euclid. SIGPLAN Not. 17, 5 (May. 1982), 60-79.
• R.C. Holt 1982. Tunis: a Unix look-alike written in Concurrent Euclid. SIGOPS Operating Systems Review 16, 1 (January 1982), 4-5.