Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Modellieren und Programmieren von nebenläufigen Prozessen

Beispiele in Java
 
: Jaksch, S.

:
urn:nbn:de:0011-b-874493 (502 KByte PDF)
MD5 Fingerprint: fe677eb40715d14a5ec6a3d80b821779
Created on: 07.10.2003


Berlin: ISST, 2003, 34 pp.
ISST-Berichte, 67
German
Report, Electronic Publication
Fraunhofer ISST ()
Programmierung; nebenläufig; Prozeß; Synchronisation; Semaphor; Java; thread; deadlock; Modellierung; Simulation

Abstract
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.

: http://publica.fraunhofer.de/documents/B-87449.html