Hallo,
ich suche geeignete graphische Notationsmöglichkeiten
für den Entwurf von Multi-Threaded-Programmen, um dadurch
die besonderen Probleme der Nebenläufigkeit (Race Conditions,
Deadlocks) zu analysieren und damit zu vermeiden.
Wer weiss was?
Gruß,
-Andreas.
Moien
Wer weiss was?
UML Sequenzdiagramme.
cu
Hi pumpkin.
UML Sequenzdiagramme.
Hast Du auch ein Beispiel, wie man damit
z.B. mögliche Deadlocks erkennen kann?
Gruß,
-Andreas.
Moien
UML Sequenzdiagramme.
Hast Du auch ein Beispiel, wie man damit
z.B. mögliche Deadlocks erkennen kann?
Seite 7, Figur 12:
http://www.cs.ucl.ac.uk/staff/n.kaveh/publications/e…
Für die Darstellung sind die Dinger ideal. Automatisiert danach suchen macht man anders, siehe pdf.
cu
Hi pumpkin.
UML Sequenzdiagramme.
Hast Du auch ein Beispiel, wie man damit
z.B. mögliche Deadlocks erkennen kann?Seite 7, Figur 12:
http://www.cs.ucl.ac.uk/staff/n.kaveh/publications/e…
Danke, genau so was hab ich gesucht.
Gruß,
-Andreas.
Guck mal hier. Das ist ein Tool.
http://www.graphviz.org/About.php
wenn man das oder ähnliches in Google eingibt
könnte man viellicht Bespiele finden,
wie das mit graphviz geht.
graphviz parallel process