Rita Loogen

Parallele Implementierung funktionaler Programmiersprachen (eBook, PDF)

• Format: PDF

Produktbeschreibung

Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis für die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelität. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelität entdecken und das Progamm in parallel ausführbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie Synchronisation und Kommunikation zu kümmern. Dies vereinfacht insbesondere die Programmierung von Systemen mit vielen Prozessoren. Auf der Grundlage einer einfachen funktionalen Beispielsprache, die den Kern aller funktionalen Sprachen umfaßt, werden in diesem Buch die Techniken zur automatischen Parallelisierung funktionaler Programme erläutert und formal spezifiziert. Im Vordergrund steht jedoch der sprachorientierte Entwurf einer Parallelrechnerarchitektur, die die Ausführung funktionaler Programme in besonderer Weise unterstützt.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 385
• Erscheinungstermin: 7. März 2013
• Deutsch
• ISBN-13: 9783642753329
• Artikelnr.: 53097678

Inhaltsangabe

I: Grundlagen.- 1. SAL eine einfache funktionale Sprache.- 1.1 Syntax.- 1.2 Fixpunktsemantik.- 1.3 Reduktionssemantik.- 1.4 Reduktionsstrategien.- 1.4.1 Die normal-order Reduktionsstrategie.- 1.4.2 Die applicative-order Reduktionsstrategie.- 2. Implementierungstechniken.- 2.1 Direkte textuelle Ersetzung.- 2.2 Umgebungsbasierte Reduktion.- 2.3 Graphreduktion.- 2.4 Kombinatoren.- 2.5 Programmierte Graphreduktion.- 3. Parallele Rechnerarchitekturen.- II: Parallelisierung funktionaler Programme.- 4. Organisation der Parallelisierung.- 5. Entschachtelung von SAL-Programmen.- 5.1 Monomorph getypte Kombinatorsysteme.- 5.2 Der Entschachtelungsalgorithmus.- 5.3 Superkombinatorsysteme.- 5.4 Flache Kombinatorsysteme.- 5.5 Reduktionsstrategien.- 6. Entdeckung potentieller Parallelität.- 6.1 Striktheitsanalyse mittels abstrakter Interpretation.- 6.2 Die Technik der Evaluation Transformer .- 6.3 Annotierung von Kombinatorprogrammen.- 6.4 Abstraktion und Polymorphie.- 7. Einteilung in parallele

---

I: Grundlagen.- 1. SAL - eine einfache funktionale Sprache.- 2. Implementierungstechniken.- 3. Parallele Rechnerarchitekturen.- II: Parallelisierung funktionaler Programme.- 4. Organisation der Parallelisierung.- 5. Entschachtelung von SAL-Programmen.- 6. Entdeckung potentieller Parallelität.- 7. Einteilung in parallele Prozesse.- 8. Eine Graphreduktionssemantik für parallelisierte Kombinatorsysteme.- III: Entwurf einer parallelen Graphreduktionsmaschine.- 9. Struktur der parallelen Maschine.- 10. Organisation der programmierten Graphreduktion.- 11. Verwaltung der Parallelität.- 12. Implementierungsaspekte.- 13. Vergleich mit anderen Arbeiten 349.- Schlußworte.- Anhang: Mathematische Grundlagen.- A.l Algebraische Grundlagen.- A.2 Halbordnungen.- A.3 Interpretationen.- A.4 Der ungetypte ?-Kalkül.