Deadlock

Tyraiel
Neuling
Neuling
Beiträge: 4
Registriert: 1. Mai 2012 17:20

Deadlock

Beitrag 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?

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Deadlock

Beitrag 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.

studypad
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 158
Registriert: 30. Mär 2011 11:46

Re: Deadlock

Beitrag von studypad »

Das beruhigt, denn zu Deadlocks kamen wir auch nicht.

Tyraiel
Neuling
Neuling
Beiträge: 4
Registriert: 1. Mai 2012 17:20

Re: Deadlock

Beitrag von Tyraiel »

Ok, danke :)

Antworten

Zurück zu „Archiv“