Seite 1 von 1

Deadlock

Verfasst: 23. Nov 2012 17:47
von Tyraiel
Hallo,
ist es für Teilaufgabe 2 erforderlich, mal in einem Deadlock gewesen zu sein? Unsere Planung hat den Deadlock schon von Anfang an ausgeschlossen, daher haben wir auch keine .trail Datei vom Verifier mit einem Gegenbeispiel. Müssen wir jetzt das Programm nochmal mit einem Deadlock schreiben nur dass wir ein entsprechendes Gegenbeispiel durch den Verifier bekommen?

Re: Deadlock

Verfasst: 23. Nov 2012 18:36
von Nathan Wasser
Nein, solange ihr begründet weshalb es gar nicht zum Deadlock kam. Diese Begründung sollte aber eine sinnvolle Lösung sein, die Deadlock verhindert, und nicht den Missbrauch von atomic-Blöcken oder das Umwandeln von Deadlock in Livelock.

Re: Deadlock

Verfasst: 23. Nov 2012 18:38
von studypad
Das beruhigt, denn zu Deadlocks kamen wir auch nicht.

Re: Deadlock

Verfasst: 23. Nov 2012 18:56
von Tyraiel
Ok, danke :)