Modellieren und Programmieren von nebenläufigen Prozessen

Der Bericht führt in die Theorie der Prozesse und in die Verfahren zur Synchronisation und Verklemmungsvermeidung und -erkennung ein. Im Anschluß daran werden zwei Modelle und ein Werkzeug zur Modellierung und Simulation von nebenläufigen Systemen vorgestellt. Der letzte Teil des Berichts stellt das in der Programmiersprache Java umgesetzte Prozeßmodell vor. An Hand einiger Beispielprogramme werden das Speichermodell und die Synchronisation der Threads und des konkurrierenden Zugriffs auf gemeinsam benutzte Variablen sowie einige unvermeidbare Probleme bei sogenannten "race conditions" erläutert.