F4

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

Parallelität und Nebenläufigkeit (F4) war eine Veranstaltung im Diplomstudiengang. Sie wurde zuletzt im Sommersemester 2006 abgehalten.

gelesen von entweder Rüdiger Valk oder Matthias Jantzen im Sommersemester.

Inhalt (aus KVV):

  • Einfache formale Modelle (zustandsorientiert: Transitionssysteme, programmsprachlich: die prozessorientierte Sprache P, graphisch: Petrinetze) sowie relevante Begriffe und Erscheinungen (z.B.: Zustand, Aktion, Erreichbarkeit, Semantiken der Nebenläufigkeit, Verklemmungsfreiheit, Lebendigkeit und Fairness, Prinzipien der Spezifikation, Invarianten)
  • Nichtsequentielle Programme: Modellierung, Synchronisations- und Kommunikationsprinzipien, Speicher- und Rendezvous-Synchronisation, klassische Fallbeispiele, Funktionalität, Modellierung von realen Prozessen in Organisationen (workflow)
  • Parallele Algorithmen: synchrone parallele Algorithmen, Zeit- und Prozessor-Komplexität
  • Verteilte Algorithmen: Grundannahmen und Darstellungsformen, wichtige Problemklassen, Auswahlalgorithmen, verteilter wechselseitiger Ausschluss