Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » pfp » Lösungsvorschlag   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung		Vorherige Überarbeitung
pruefungen:bachelor:pfp:loesungss12 [14.07.2017 13:22] – ab21ajuspruefungen:bachelor:pfp:loesungss12 [03.08.2019 18:37] (aktuell) – mrpwner
Zeile 24: Zeile 24:
  
    M:     M: 
-    0   0   0   0   1+    0   0   0   0   0
     2   0  -1  -1   0     2   0  -1  -1   0
     0   1  -1   0   0     0   1  -1   0   0
Zeile 30: Zeile 30:
     0   0   3   1  -4     0   0   3   1  -4
          
-    EDIT: Die 1 in der ersten Zeile ist vermutlich falsch, t4 hat keinen Einfluss auf die Belegung in A. Meiner Meinung nach müsste die komplette Zeile nur aus 0en bestehen. 
  
 Petri-Netz ist nicht lebendig, da durch t0 -> t3 -> t3 ein Deadlock entsteht! Petri-Netz ist nicht lebendig, da durch t0 -> t3 -> t3 ein Deadlock entsteht!
Zeile 79: Zeile 78:
  }  }
  // TODO: 4  // TODO: 4
- // inner.await(); -- not needed + // inner.await(); -- not needed // EDIT: Wieso nicht? Die Threads nutzen eine gemeinsame Datenstruktur, und wenn einer etwas daran ändert, muss eine Sichtbarkeitssynchronisation vorgenommen werden, die mit einer Barrier möglich ist. Sonst würden andere Threads bereits den unteren Code ausfuehren, ohne die Garantie, dass für irgendeinen das Ende (-1) sichtbar ist. Lasse mich gerne korrigieren, falls ich falsch liege.
  int distance = 1 ;  int distance = 1 ;
  while (distance < next.length) {  while (distance < next.length) {
Zeile 110: Zeile 109:
 </code> </code>
  
-<note>Vermutlich reicht das inner.await() am Ende der While-Schleife. Als ich weiter oben ein <code>if (index == 0) { Thread.sleep(1000); }</code> stehen hatte, lieferte der Code immer noch das richtige Ergebnis. Bin mir da aber nicht hundert Pro sicher  :-P +<note>Vermutlich reicht das inner.await() am Ende der While-Schleife. Als ich weiter oben ein <code>if (index == 0) { Thread.sleep(1000); }</code> stehen hatte, lieferte der Code immer noch das richtige Ergebnis. Bin mir da aber nicht hundert Pro sicher  :-P</note>
- +
-// EDIT: Wieso sollte man die Barriere weglassen können? Die Threads nutzen eine gemeinsame Datenstruktur, und wenn einer etwas daran ändert, muss eine Sichtbarkeitssynchronisation vorgenommen werden, die mit einer Barrier möglich ist. Sonst würden andere Threads bereits den unteren Code ausfuehren, ohne dass für irgendeinen das Ende (-1) sichtbar ist. Lasse mich gerne korrigieren, falls ich falsch liege.  +
-</note>+
  
 ==== Aufgabe 6 (Sichtbarkeit und Wettlaufsituation) ==== ==== Aufgabe 6 (Sichtbarkeit und Wettlaufsituation) ====