|
|
|
|
|
Veranstaltungsnummer: 18.111 / 18.112 (Übungen)
Titel: Modelle für Rechensysteme
Veranstalter: Matthias Jantzen
Ort und Zeit: Mo 10-12, ESA M, D0 10-12 Erzw. Hörs.
Lernziel:
Es werden gemeinsame Begriffsbildungen und Methoden der Gebiete Betriebssysteme, Rechnerorganisation , Verteilte Systeme und parallele Programme dargestellt. Studierende sollen dadurch lernen, konkrete Erscheinungen in Informatiksystemen auf der Grundlage von strukturellen Modellen zu beurteilen.
Inhalt:
- Elementare Begriffe und Erscheinungen:
- Handlung, Auftrag, Präzedenz, S/T-Netze und Prozesse, Aufträge an Funktionseinheiten, AV-Verkehrsnetze, Verteilung und Dimensionierung von Funktionseinheiten
- Nebenläufige Prozesse:
- Unteilbare Handlungen und deren Implementation, Konsistenz von Daten, Funktionalität, strukturierte Auftragssysteme, Synchronisation, Invarianten, Verklemmungsfreiheit, Lebendigkeit, Fairneß, Sprachen für Parallelprozessoren, Kommunikation in verteilten Systemen.
- Zuverlässigkeit - stochastische Modelle:
- Fehler, Ausfall, Störung, Redundanz, stochastische Lebensdauer-Modelle, Stochastische Petri-Netze, Zuverlässigkeit von Systemen mit und ohne Fehlerbehebung.
- Auftragsverkehr:
- Elementare Wartesysteme, System und Belastung, Durchsatzgesetze, Engpaß, Verweilzeitgesetze, Grenzverhalten, Wartenetze, Auftragsverkehr und Zuverlässigkeit, Betriebsformen von Rechensystemen, konzentrierte und verteilte Systeme.
- Ablaufplanung:
- Last, verdrängende und nichtverdrängende Bedienstrategien im Warte-system M/G/1.
Voraussetzung: keine
Vorgehen:
Vorlesung mit Übungen (1 SWS) (dringend empfohlen!)
Literatur:
- E. Jessen & R. Valk: Rechensysteme, Springer, Heidelberg, New York, 1986
- F. Bause & P.S. Kritzinger: Stochastic Petri Nets, Vieweg, Wiebaden, 1996
- Marsan & Balbo: Modelling with generalized stochastic Petri nets, Wiley and Sons, 1995
Bemerkungen:
Für LehrerInnen / NebenfächlerInnen mit mathematischem Interesse geeignet, sofern die Bereitschaft vorhanden ist, sich ernsthaft mit den Grundlagen der Informatik auseinanderzusetzen.
Last Change: 17:40 05/19/2011 Imprint/Disclaimer