A SHORT INTRODUCTION TO CONCURRENT EUCLID

1976 Entwicklung von Euclid 1976 Entwicklung von Euclid 1977 Entwicklung des „TORONTO Euclid“ 1977 Entwicklung des „TORONTO Euclid“ TUNIS TUNIS I.P. SHARP Associates I.P. SHARP Associates USA Department of Defense USA Department of Defense Kanadisches Department of National Defense Kanadisches Department of National Defense 1980/81  „Concurrent Euclid“ 1980/81  „Concurrent Euclid“

PDP-11VAX Motorola Motorola 6809 „bare machines“ „simulated modus“

Philosophie: Philosophie: Soviele Fehler wie möglich finden! Soviele Fehler wie möglich finden! Durch Missbilligung gefährlicher oder unwahrscheinlichen Konstrukten Durch Missbilligung gefährlicher oder unwahrscheinlichen Konstrukten

Vergleich mit Pascal CE basiert auf Pascal CE basiert auf Pascal Borgt sich Datenstrukturen von Pascal Borgt sich Datenstrukturen von Pascal Eigenschaften werden von CE „gereinigt“ Eigenschaften werden von CE „gereinigt“ zB.:Funktionen mit Seiteneffekten werden missbilligt zB.:Funktionen mit Seiteneffekten werden missbilligt

Die Haupteigenschaften,welche Concurrent Euclid Pascal hinzufügt,sind: Die Haupteigenschaften,welche Concurrent Euclid Pascal hinzufügt,sind:

Getrennte Kompilation; Prozeduren Funktionen und Module können seperat kompiliert und später zusammengelinkt werden. Unter Unix nützen sie die standart Linker „ld“ und können einfach mit Programmen, welche z.B.: in C geschrieben wurden, zusammengeschlossen werden. Getrennte Kompilation; Prozeduren Funktionen und Module können seperat kompiliert und später zusammengelinkt werden. Unter Unix nützen sie die standart Linker „ld“ und können einfach mit Programmen, welche z.B.: in C geschrieben wurden, zusammengeschlossen werden.

Module ; Ein Modul ist ein syntaktisches Packet von Daten zusammen mit Prozeduren/ Funktionen welche auf Daten zugreifen. Module ; Ein Modul ist ein syntaktisches Packet von Daten zusammen mit Prozeduren/ Funktionen welche auf Daten zugreifen.

Concurrency/ Parallelität; Monitore und Prozesse werden unterstützt. Es gibt ein „signal“ Statement und ein „wait“ Statement. Das „busy“ Statement erlaubt Concurrent Euclid wie eine Simulationssprache verwendet zu werden. Concurrency/ Parallelität; Monitore und Prozesse werden unterstützt. Es gibt ein „signal“ Statement und ein „wait“ Statement. Das „busy“ Statement erlaubt Concurrent Euclid wie eine Simulationssprache verwendet zu werden.

Kontrollbereich ; Namen von Variablen, Typen etc. sind nicht automatisch von Bereichen übernommen worden.Import und Export Listen werden verwendet um Namensbereich zu definieren Kontrollbereich ; Namen von Variablen, Typen etc. sind nicht automatisch von Bereichen übernommen worden.Import und Export Listen werden verwendet um Namensbereich zu definieren

Systemprogrammierende Konstrukte ; Diese beinhalten Variablen mit absoluten Adressen. Solche können Variablen Vorrichtungsregister in Computern mit Gedächtnisspeicher für „Input/Output“ sein. Systemprogrammierende Konstrukte ; Diese beinhalten Variablen mit absoluten Adressen. Solche können Variablen Vorrichtungsregister in Computern mit Gedächtnisspeicher für „Input/Output“ sein.

Grunddatentypen Name Values Allocation Name Values Allocation ShortInt (byte) ShortInt (byte) SignedInt (16-bit) SignedInt (16-bit) UnsignedInt (16-bit) UnsignedInt (16-bit) LongIntsigned integer(32-bit) LongIntsigned integer(32-bit) Booleanfalse...true(byte) Booleanfalse...true(byte) Chara character(byte) Chara character(byte) AddressTypeinteger(address size) AddressTypeinteger(address size) Pointeraddress(address size) Pointeraddress(address size)

Strukturierte Datentypen Arrays Arrays Records Records Sets Sets

Beispiel Array: Beispiel Array: Var a : array of SignedInt Var a : array of SignedInt Var str : packed array 1..5 of Char :=‚Hello‘ Var str : packed array 1..5 of Char :=‚Hello‘ Var matrix : array of array1...5LongInt Var matrix : array of array1...5LongInt

Beispiel record: Beispiel record: Var r : Var r : record record var status : boolean var status : boolean var count : SignedInt var count : SignedInt end record end record

Beispiel Set : Beispiel Set : var s : set of 0..2 var s : set of 0..2

Re-entrant/einspringend ? Re-entrant/einspringend ? Input/output nicht definiert? Input/output nicht definiert? Monitors? Monitors? Unter Unix verlinken? Unter Unix verlinken?

Ein Beispiel zum Abschluss var Example: var Example: module module include ‘%IO1’ include ‘%IO1’ { Print characters up to a period } { Print characters up to a period } initially initially imports( var IO ) imports( var IO ) begin begin var ch : Char var ch : Char IO.PutString( ‘Test starts$N$E’ ) IO.PutString( ‘Test starts$N$E’ ) loop loop IO.GetChar( ch ) IO.GetChar( ch ) IO.PutChar( ch ) IO.PutChar( ch ) exit when ch = $. exit when ch = $. end loop end loop end { of initially } end { of initially } end module end module