Diplomarbeit

Siehe Befehls­auswahl auf expli­ziten Abhängig­keits­graphen

Studienarbeit: Evaluation von Algorithmen zur automatischen Performanzoptimierung von parallelen Anwendungen

Auto-Tuning ist das Optimieren von Programmparametern um die Ausführungszeit eines Programms zu beschleunigen. Diese Arbeit implementiert bekannte Optimierungsalgorithmen und überprüft sie experimentell auf ihre Tauglichkeit zum Auto-Tuning von parallelen Anwendungen. Die Arbeit baut auf Autuner auf, einer Erweiterung der Eclipse-Entwicklungsumgebung, die in der Young Investigator Group Software Engineering für Multicore-Systeme entwickelt wurde. Zur Evaluation der Optimierungsalgorithmen wird eine Sammlung synthetischer Programme entwickelt; die Ergebnisse der Optimierung werden mit Hilfe bekannter Ergebnisse aus Testprogrammsammlungen überprüft.

Theaterstück: Himmlische Punkte

Ein Anspiel aus dem GNex Jugendgottesdienst im März 2007. Thema: Gnade, Christ-sein im Alltag, Frömmigkeit

Seminar: Software Transactional Memory

Meine Ausarbeitung und Vortragsfolien von einem Seminar zu transaktionalem Speicher.

Es existieren eine Anzahl von Implementierungen von Software Transactional Memory (STM). Diese Ausarbeitung gibt einen Einblick in die Probleme und internen Funktions­weisen von verschiedenen STM-Systemen. Zwei Beispiel­probleme, Seiten­effekte und Barriere­freiheit, zeigen wo die Schwierigkeiten liegen. Eine Java­bibliothek demonstriert beispielhaft, wie man STM mit vorhandenen Sprach­kon­strukten einsetzen kann und C++ Bibliotheken beweisen die Leistungs­fähigkeit solcher Systeme. Wie STM sprachlich integriert werden kann, sieht man bei einem modifzierten Java Übersetzer und der Sprache ATOMOΣ. In diesem Zusammen­hang wird auch auf Optimierungs­möglichkeiten eingegangen. Abschließend zeigt Haskell wie STM in einer funktionalen Sprache realisiert werden kann.

©