Concurrent Euclid

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk

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]