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

parameters and list their advantages and disadvantages. To further illustrate
the differences, a simple ring topology network interface controller is
described with all the considered methods and the implications of their use
for the description are indicated. Next, to demonstrate the use of each
description method in its typical field of application, selected parts of the
faculty developed SPEAR2 processor are implemented with the methods. As a
result of this work a comparison of seven different description methods is
now available that, unlike the existing literature so far, views these methods
from the same angle, namely a carefully chosen set of criteria. This
comparison, along with the selected demonstrative examples, could serve
prospective designers of asynchronous circuits when choosing a description
method for a project. At the same time, the extraction of the underlying
concepts of the considered methods along with their comparison is also
valuable for a didactic presentation of asynchronous design.
Arbeitsbereich Real Time Systems
Ulrich Buchgraber
Visualisierung von Prozesssynchronisation mit Semaphoren
Studium: Masterstudium Technische Informatik
Betreuer: Ao.Univ.Prof. Dr. Peter Puschner
Das Ziel dieser Diplomarbeit ist es, ein Visualisierungstool für parallel
ablaufende Programme (Tasks) zu entwerfen. Diese Tasks sollen wie Prozesse
eines Betriebssystems voneinander unabhängig laufen und über einen
gemeinsamen Speicher und Synchronisationskonstrukte (Semaphore) kommunizieren
können. Der Ablauf der Programme soll vom Benutzer gesteuert
werden können und der Zustand der einzelnen Tasks, der Semaphore und
des gemeinsamen Speichers geeignet visualisiert werden. Als Hilfsmittel für
die Untersuchung eines Algorithmus, der Locks verwendet, soll das Tool um
ein Analyseverfahren erweitert werden, das Deadlocksituationen erkennt und
visualisiert. Das Tool soll für didaktische Zwecke, z.B. für Vorlesungen wie
Betriebssysteme, geeignet sein. Das zentrale Ergebnis der Arbeit ist die Implementierung
des Visualisierungstools, eine plattformübergreifende Desktopsoftware,
die auf einer Open-Source-Hostingplattform veröffentlicht wurde.
Taskprogramme werden darin mit der simpel aufgebauten Programmiersprache
Lua beschrieben. Zugriffe auf den gemeinsamen Speicher und
die Semaphore sind durch einfache Anweisungen im Programmcode möglich.
Mit Debugging-Befehlen wie Run, Step und Stop bzw. mit Breakpoints im
Codeeditor kann der Programmfluss, wie von Standard-IDEs bekannt,
gesteuert werden. In der Benutzeroberfläche wird der gemeinsame Speicher
mit den Semaphoren in einer Baumstruktur visualisiert und alle Taskprogramme
nebeneinander dargestellt, um zu jedem Zeitpunkt den gesamten
Zustand des untersuchten Algorithmus erfassen zu können. Für die Deadlockanalyse
wurden zwei Laufzeitanalyseverfahren, die in dieser Arbeit aus-führ-
91