Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

Christoph Leiter
Typestate Tracking für sichere nebenläufige Programmierung
Studium: Masterstudium Software Engineering & Internet Computing
Betreuer: Ao.Univ.Prof. Dr. Franz Puntigam
Diese Diplomarbeit befasst sich mit nebenläufiger Programmierung in
objektorientierten Programmiersprachen. In aktuellen Sprachen wird
Nebenläufigkeit oft nur zweitrangig und orthogonal zum Objektkonzept
behandelt. Durch die unzureichende Integration ist die korrekte Implementierung
von nebenläufigen Programmen kompliziert und fehleranfällig. Das
Ziel dieser Arbeit ist die Frage zu klären, wie Konzepte der Nebenläufigkeit
mit Methoden des Typestate Trackings besser in das objektorientierte
Paradigma integriert werden können, und welche Vor- und Nachteile ein
solches Modell mit sich bringt. Zur Untersuchung dieser Punkte wird eine
Java-ähnliche Programmiersprache entworfen, die diesen Ansatz zum Ausdruck
nebenläufiger Aspekte verfolgt. Es wird ein Prototyp eines Compilers
für diese Sprache entwickelt. Dieser wird dazu benutzt, um die Machbarkeit zu
demonstrieren und um das Konzept zu bewerten. Zur Evaluierung werden
nebenläufige Programme mit der neu erstellten Sprache und mit Java erstellt.
Die daraus resultierenden Implementierungen werden anhand vordefinierter
Kriterien miteinander verglichen. Die Arbeit zeigt, dass durch eine bessere
Integration von Nebenläufigkeit in objektorientierte Sprachen der
Implementierungsaufwand von Programmen gesenkt werden kann. Ebenso
kann die Fehleranfälligkeit verringert und die Ausdruckskraft erhöht werden.
Die Ausführungszeit solcher Programme ist zur Zeit länger, aber es ist noch
offen, wie effizient eine optimierte Implementierung wäre.
Andreas Neumann
Deployment and Visualisation of the XVSM Core Configuration
Studium: Masterstudium Software Engineering & Internet Computing
Betreuerin: Ao.Univ.Prof. Dr. Eva Kühn
56
eXtensible Virtual Shared Memory (XVSM) stellt für die Kommunikation und
Zusammenarbeit von mehreren Prozessen einen gemeinsamen Datenraum
bereit. Generell läuft ein XVSM Space innerhalb eines XVSM Cores. Das Team
der Space Based Computing Gruppe der Technischen Universität Wiens ist
daran interessiert XVSM Cores auf einfache Art und Weise zu konfigurieren
bzw. zu visualisieren. Des Weiteren sollte eine einfache Monitoring
Funktionalität integriert werden. In der vorliegenden Arbeit wird der XVSM-
Editor vorgestellt. Mittels dieses XVSM-Editors kann eine XVSM Core
Konfiguration zu einem oder mehreren XVSM Cores verteilt werden. Der
Benutzer kann entweder die Konfiguration im XVSM-Editor erstellen, oder er
kann auch einfach eine existierende Konfiguration von einem entfernten
XVSM Core laden. Im letzteren Fall kann der Benutzer natürlich die
Konfiguration anschließend seinen Bedürfnissen anpassen. Der XVSM-Editor