Referenzen und Aliasing in objektorientierten Programmen

Abstract

pointer and escape analysis, aliasing, advanced type systems, program verification, garbage collection, compiler optimizations

Objective

Ziel des Seminars ist es, das Verständnis des objektorientierten Programmiermodells zu vertiefen, indem zum Beispiel die praktische Umsetzung wichtiger Konzepte wie Schnittstellen, Kapselung und Invarianten für Objektstrukturen untersucht wird. Darüber hinaus schult das Seminar die Fähigkeit, wissenschaftliche Literatur zu verstehen und sich kritisch mit ihr auseinanderzusetzen

Content

Das objektorientierte Programmiermodell basiert auf Objekten, die über Referenzen miteinander verbunden sind und per Nachrichtenaustausch kommunizieren. Während über Referenzen vernetzte Objektstrukturen und Programmierung mit Seiteneffekten einerseits zu grosser Flexibilität und Effizienz führen, bergen sie andererseits einige schwierige Herausforderungen für Programmierer und Sprachdesigner in sich. Mehrere Referenzen auf ein Objekt, sogenanntes Aliasing, kann zum Beispiel zu unerwünschten Seiteneffekten führen, die Kapselung von Objektstrukturen durchbrechen oder die Synchronisierung von parallelen Programmen erschweren. Auch die Speicherbereinigung und das Auffinden von Memory Leaks wird durch Aliasing verkompliziert. Der Umgang mit Referenzen, Objektstrukturen und Aliasing ist Gegenstand aktueller Forschung. In diesem Seminar werden wissenschaftliche Aufsätze behandelt, die diese Problematik untersuchen und Lösungsansätze liefern.

Resources