SISAL- SISAL

SISAL
Paradigma funktional , Datenfluss
Entworfen von James McGraw
Entwickler James McGraw et al., University of Manchester , LLNL , Colorado State University und DEC
Erstmals erschienen 1983
Schreibdisziplin statisch , stark
Wichtige Implementierungen
osc, sisalc
Beeinflusst von
VAL, Pascal , C , Fortran
Beeinflusst
Haskell , SAC

SISAL (" Streams and Iteration in a Single Assignment Language ") ist eine universelle funktionale Programmiersprache für einzelne Zuweisungen mit strenger Semantik , impliziter Parallelität und effizienter Array-Behandlung. SISAL gibt einen Datenflussgraphen im Intermediary Form 1 (IF1) aus. Es wurde von VAL (Wertorientierte Algorithmische Sprache, entworfen von Jack Dennis ) abgeleitet und fügt Rekursion und endliche Ströme hinzu. Es hat eine Pascal- ähnliche Syntax und wurde als gemeinsame Hochsprache für numerische Programme auf einer Vielzahl von Multiprozessoren entwickelt .

Geschichte

SISAL wurde 1983 von James McGraw et al. an der University of Manchester , LLNL , Colorado State University und DEC definiert . Es wurde 1985 überarbeitet und die erste kompilierte Implementierung wurde 1986 erstellt. Seine Leistung ist laut einigen Quellen C und Konkurrenten von Fortran überlegen , kombiniert mit einer effizienten und automatischen Parallelisierung.

Der Name von SISAL stammt von dem Wort "sal" für "Single Assignment Language" aus dem Unix-Wörterbuch /usr/dict/words.

Es gibt Versionen für die Cray X-MP , Y-MP , 2 ; Sequent , Encore Alliant , DEC VAX-11/784 , Datenflussarchitekturen , KSR1, Transputer und systolische Arrays .

Die Architektur

Die Anforderungen an eine feinkörnige Parallelitätssprache werden mit einer Datenflusssprache besser erfüllt als mit einer Systemsprache.

SISAL ist mehr als nur eine Datenfluss- und Feinsprache. Es handelt sich um eine Reihe von Tools, die eine textuelle, von Menschen lesbare Datenflusssprache in ein Diagrammformat (mit dem Namen IF1 - Intermediary Form 1) konvertieren . Teil des SISAL-Projekts war auch die Konvertierung dieses Graphenformats in lauffähigen C-Code.

SISAL Renaissance-Ära

Im Jahr 2010 erlebte SISAL ein kurzes Wiederaufleben, als eine Gruppe von Studenten des Worcester Polytechnic Institute die Implementierung eines feinkörnigen Parallelismus-Backends für die SISAL-Sprache untersuchte.

2018 wurde SISAL im Rahmen des Projekts SISAL-IS modernisiert mit einrückungsbasierter Syntax, erstklassigen Funktionen, Lambdas, Closures und Lazy Semantics.

Verweise

Anmerkungen

Literaturverzeichnis

Externe Links