Quantitative Methoden

Quantitative Methoden der Betriebssysteme-Konstruktion

Anliegen:

Ziel der Lehrveranstaltung ist es, den in der Pflichtvorlesung "Betriebssysteme" vermittelten Stoff vor allem bezüglich theoretischer Fundierung (formale Beschreibung, Äquivalenz- und Korrektheitsbeweise), aber auch im Hinblick auf Sachkenntnis zu vertiefen und zu erweitern. Dies betrifft sowohl klassische Bereiche der Betriebssysteme (Wechselwirkungen in Systemen paralleler Prozesse, Speicherverwaltung, quantitative Leistungsanalyse) als auch moderne Teilgebiete bis hin zu aktuellen Forschungsaufgaben (Zeit in verteilten Systemen, Scheduling in Echtzeitsystemen, Ressourcenreservierung in Multimedia-Systemen). Die Auswahl der einzelnen Problemkreise soll zugleich die Vielfalt des verwendbaren mathematischen Instrumentariums verdeutlichen. So werden als Modellierungsmittel Methoden der Höheren Algebra (Halbordnungen, Graphentheorie), Stochastik, Bedienungsmodelle und modifizierte Petri-Netze eingesetzt.

Parallel zur Vorlesung (mit geringem Vorlauf) wird ein Scriptum bereitgestellt und über die unten angegebene Mail-Liste verteilt, zu dessen Inhalt und Form Hinweise per e-Mail erbeten sind (auch zu eventuellen Druckproblemen).

Durchführung im Sommersemester 2005:

Die Vorlesung im Umfang von 2V, 1Ü findet montags in der 3. und 4. DS im Raum GRU 370 statt. Sie beginnt am 4. April in der 4. DS.

Die weiteren Termine sind (nach derzeitigem Stand):

Monat	Tag	3. DS	4. DS
April	4.	-	x
	11.	x	-
	18.	x	x
	25.	-	-
Mai	2.	x	x
	9.	x	-
	16.	-	-
	23.	x	-
	30.	x	x
Juni	6.	x	x
	13.	x	-
	20.	x	x
	27.	x	x
Juli	4.	x	x
	11.	x	-

Gliederung:

• Einführung
• Theorie paralleler Betriebssystemprozesse
  Prozeßsysteme und ihre Beschreibung
  Determiniertheit
  Synchronisation
• Prozeßverklemmungen
  Charakterisierung mittels Petri-Netzen
  Verklemmungen bei seriell wiederverwendbaren Betriebsmitteln
• Leistungsanalyse von Betriebssystem-Komponenten
  Speicherverwaltung
  Externspeicherzugriff
  Dateisysteme
• Echtzeit-Systeme
  Scheduling, SRMS, Imprecise Computations, Quality Assuring Scheduling: Teil1, Teil2, Schedulingmodell für DROPS
  Ereignisströme in Multimedia-Systemen
• Virtuelle Zeit in verteilten Systemen
• Zuverlässigkeit komplexer Systeme
• Warteschlangen
  Bedienungssysteme und Bedienungsnetze
  Analyse ausgewählter Scheduling-Strategien

Mailing-Liste

Zur Lehrveranstaltung gibt es auch eine Mailing-Liste, worauf sich alle Beteiligten einschreiben sollten (nur mit *.tu-dresden.de-Adressen): qum2005.