D120.de/forum

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?

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.

Das beruhigt, denn zu Deadlocks kamen wir auch nicht.

Ok, danke