F4

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