Souběžný euklid - Concurrent Euclid
Tento článek obsahuje a seznam doporučení, související čtení nebo externí odkazy, ale jeho zdroje zůstávají nejasné, protože mu chybí vložené citace.Října 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Paradigma | multi-paradigma: strukturovaný, rozkazovací způsob, funkční |
---|---|
Navrhl | James Cordy a Ric Holt |
Vývojář | James Cordy a Ric Holt |
Poprvé se objevil | 1980 |
Psací disciplína | silný, statický |
OS | Cross-platform: PDP-11, VAX-11, Motorola 68000, Motorola 6809 |
Ovlivněno | |
Euklid, Komunikace postupných procesů | |
Ovlivněno | |
Turing Plus |
Souběžný euklid (ConEuc) je současný potomek Programovací jazyk Euclid navrhl James Cordy a Ric Holt, pak na University of Toronto, v roce 1980. ConEuc byl navržen pro souběžný, vysoký výkon, vysoce spolehlivý systémový software, jako operační systémy, překladače a vestavěný mikroprocesor systémy. The TUNIS operační systém, a Unix varianta, byla implementována zcela v Concurrent Euclid. ConEuc rozšiřuje základní podmnožinu Euclidu o procesy a monitory (jak uvádí AUTO. Hoare ) a také jazykové konstrukce potřebné pro programování systémů, včetně samostatné kompilace, proměnných na absolutních adresách, převaděčů typů, dlouhých celých čísel a dalších funkcí.
ConEuc byl implementován malým (50k bajty), rychlým, přenosným kompilátorem, který se sám kompiloval a měl vyměnitelné generátory kódu. Vysoce kvalitní generátory kódu pro několik počítačů, včetně PDP-11, VAX-11, Motorola 68000 a Motorola 6809 byly vyvinuty, které vytvořily kód srovnatelný s nejlepším C překladače. Souběžné programy Euclid, které používaly souběžnost, lze spustit na holý stroj (podporováno malým jádrem montážního jazyka) nebo v simulovaném režimu jako běžný proces běžící pod operačním systémem.
The Turingův programovací jazyk je přímým potomkem souběžného Euklida a jeho Turing Plus varianta nakonec nahradila ConEuc ve většině aplikací.
Reference
- J.R.Cordy a R.C. Holt 1980. Specifikace souběžného euklidu. Technické zprávy CSRI-115 (červenec 1980) a CSRI-133 (srpen 1981), Výzkumný ústav počítačových systémů, University of Toronto. 54 stránek.
- R.C. Holt 1982. Souběžný Euclid, unixový systém a Tunis. Addison-Wesley 1982. 323 stran.
- R.C. Holt 1982. Krátký úvod do souběžného Euklida. Oznámení ACM SIGPLAN 17, 5 (květen 1982), 60-79.
- R.C. Holt 1982. Tunis: Unixový dvojník napsaný v Concurrent Euclid. Recenze operačních systémů SIGOPS 16, 1 (leden 1982), 4-5.