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 [24.07.2015 10:40] – ThiloKpruefungen:bachelor:pfp:loesungss12 [03.08.2019 18:37] (aktuell) – mrpwner
Zeile 11: Zeile 11:
 **c)** Zählt man die Startbelegung S auch zum Petri-Netz, so ist ∞ die richtige Antwort, sonst 1 **c)** Zählt man die Startbelegung S auch zum Petri-Netz, so ist ∞ die richtige Antwort, sonst 1
  
 +**d)**
 +
 +**e)**
 +
 +**f)**
  
 ==== Aufgabe 2 (Petri-Netze) ==== ==== Aufgabe 2 (Petri-Netze) ====
Zeile 19: 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
    -1  -1   0   0   2    -1  -1   0   0   2
     0   0   3   1  -4     0   0   3   1  -4
 +    
  
 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 40: Zeile 46:
 public class PointerDoubling { public class PointerDoubling {
  private static int[] next ;  private static int[] next ;
- private static int [] rank;+ private static int[] rank;
  private static CyclicBarrier outer;  private static CyclicBarrier outer;
  private static CyclicBarrier inner;  private static CyclicBarrier inner;
Zeile 72: Zeile 78:
  }  }
  // TODO: 4  // TODO: 4
- inner.await();+ // 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 82: Zeile 88:
  }  }
  // TODO: 4  // TODO: 4
- inner.await();+ // inner.await(); -- not needed
  // TODO: 3  // TODO: 3
  if (rankOfNext != 0) {  if (rankOfNext != 0) {
Zeile 102: Zeile 108:
 } // END OF PointerDoubling } // END OF PointerDoubling
 </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>
  
 ==== Aufgabe 6 (Sichtbarkeit und Wettlaufsituation) ==== ==== Aufgabe 6 (Sichtbarkeit und Wettlaufsituation) ====