Wie steht es mit den "Deadlock unvermeidbar"-Stellen? Müssen auch Ecke als Deadlocks markiert werden, die gar nicht erreicht werden können, weil sie hinter einem verbotenem Beriech liegen? Wie es auf Blatt 9 Aufgabe 1 der Fall ist. https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3692#msg-3692 Tue, 17 Dec 2024 10:32:19 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3822#msg-3822 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3822#msg-3822 MrNobody Systeme 1 WS 2010/2011 Sun, 13 Mar 2011 17:26:57 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3811#msg-3811 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3811#msg-3811
Ja, es gibt Bereiche, die so gesehen nicht erreichbar sind, weil man sich im Diagramm immer nur nach rechts
oder oben bewegt. Dadurch werden diese Bereiche aber nicht unbedingt zu unvermeidbaren Bereichen.
Unvermeidbare Bereiche, sind eben jene Bereiche, die unvermeidbar in ein Deadlock münden.


Grüße,
Karsten]]> Karsten Scheibler Systeme 1 WS 2010/2011 Fri, 11 Mar 2011 13:40:17 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3809#msg-3809 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3809#msg-3809
Die unvermeidbaren Stellen befinden sich ja unterhalb von A und links von B&C sowie über A links von B&C und unterhalb von D.
Nun ist mir aufgefallen das P1 B beim zweiten mal erst bei 10 freigibt. man kann dann ja gar nicht mehr vorbei d.h. müsste nicht dann die ganze fläche links davon ein unvermeidbarer Bereich sein? Oder hab ich da einen Denkfehler. (Angenommen P1 y-/P0 x-Achse)

gruß Julien]]> Julien Thoma Systeme 1 WS 2010/2011 Thu, 10 Mar 2011 17:14:52 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3705#msg-3705 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3705#msg-3705
P1 kann A nur freigeben, wenn es zuvor A bekommen hat (d.h. die Anforderung von P1 zuvor war erfolgreich). Ist A noch von P0 belegt, so blockiert P1 bereits bei der Anforderung.


Grüße,
Karsten]]> Karsten Scheibler Systeme 1 WS 2010/2011 Tue, 18 Jan 2011 09:11:13 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3702#msg-3702 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3702#msg-3702 Ahmed Systeme 1 WS 2010/2011 Mon, 17 Jan 2011 19:49:05 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3696#msg-3696 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3696#msg-3696
es genügt, die Deadlocks zu markieren, die erreichbar sind.

Gruß,
Ralf.]]> Ralf Wimmer Systeme 1 WS 2010/2011 Sun, 16 Jan 2011 17:26:46 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3692#msg-3692 https://ira.informatik.uni-freiburg.de/phorum/read.php?62,3692,3692#msg-3692 Müssen auch Ecke als Deadlocks markiert werden, die gar nicht erreicht werden können, weil sie hinter einem verbotenem Beriech liegen?
Wie es auf Blatt 9 Aufgabe 1 der Fall ist.]]> Ellen Systeme 1 WS 2010/2011 Sat, 15 Jan 2011 20:28:55 +0100