Deadlocks Blatt 9_1

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.

Hallo *,

es genügt, die Deadlocks zu markieren, die erreichbar sind.

Gruß,
Ralf.

bei der aufgabe 1a, will ja p1 A freigeben, fällt das dann unter Ununterbrechbarkeit? Weil ja A schon P0 gehört? oder wie ist das zuhandhaben?

Hallo Ahmed,

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

Hallo ich hab auch nochmal zu blatt9 Aufgabe 1 eine kleine Frage.

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

Hallo Julien,

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

Muss man die Bereiche, die zwingend zu einem Deadlock führen WÜRDEN, aber niemals erreicht werden können, zb. weil davor bereits ein Deadlock entstehen würde, trotzdem markieren?