Concurrent Euclid
| Concurrent Euclid | |||
|---|---|---|---|
| Filendelse(r) | Lua-feil i Modul:Wikidata2, linje 231: attempt to call method 'getBestStatements' (a nil value). | ||
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[rediger | rediger kilde]
- 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.
Autoritetsdata
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.