Research Work Carried Out by Students (Trum01)

Martin Trummer.
Wiederverwendung und Nebenläufigkeit in der objektorientierten Programmierung.
Theses, Institute of Computer Languages, Vienna University of Technology, 2001, in German.

Abstract:

Diese Diplomarbeit befasst sich mit den auftretenden Problemen, wenn Nebenläufigkeiten und Wiederverwendung in gängigen objektorientierten Sprachen kombiniert werden. Eines der Hauptprobleme hierbei ist die Vererbungsanomalie, ein Effekt, der zu unvorhergesehenen Reimplementierungen von geerbtem Code führt. Es wird in dieser Arbeit ein Schema vorgestellt, welches aus der Kombination von Method-Guards und einem Automaten besteht, mit dessen Hilfe die negativen Effekte der Vererbungsanomalie großteils umgangen werden können. Zusätzlich unterstützt diese Schema die notwendigen Regeln, um Typersetzbarkeit, bezogen auf die Synchronisationseinschränkungen, sicherzustellen. Die Implementierung des Schemas ist modular aufgebaut, sodass Portierungen auf andere Systeme und Sprachen einfach möglich sein sollten. Weiters werden einige Vorschläge gebracht, um Typersetzbarkeit in nebenläufigem objektorientierten Code zu erreichen. Diese Vorschläge sowie das kombinierte Synchronisaitonsschema sind anhand von Java- und Adacode illustriert. Prototypen haben gezeigt, dass diese Implementierungen funktionieren. Ein kurzer Vergleich von Ada und Java unter den hier genannten Aspekten hat einige Vor- und Nachteile der Sprachen gezeigt.

@MastersThesis{Trum01,
  author  = {Martin Trummer},
  title   = {Wiederverwendung und {N}ebenl{\"a}ufigkeit in der objektorientierten {P}rogrammierung},
  school  = {Institute of Computer Languages, Vienna University of Technology},
  year    = 2001,
  address = {Vienna, Austria}
}