Friedrich-Alexander-Universität UnivisSuche FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
Proseminar KVBK
 
  Themen
  Betreuer
  Termine
  Hinweise
  Literatur
  UnivIS-Infos
Department Informatik  >  Informatik 4  >  Lehre  >  SS 2013  >  PS KVBK

Konzepte von Betriebssystem-Komponenten: Konkurrenz und Koordinierung in Manycore-Systemen (SS 2013)

Aktuelles

18.07.2013  Letzter Abgabetermin für die Ausarbeitungen: Die Annahme des Angebots von Vorkorrekturen wird von unserer Seite ausdrücklich begrüßt.
08.04.2013  Die Uhrzeit für den Vorbepsrechungstermin hat sich geändert! Die Vorbesprechung findet nun am 18.04.2013, 12:00 - 14:00, Raum 0.035 RRZE statt.

Themenbereiche und -vorschläge

Das Seminar beschäftigt sich mit klassischen Problemen aus dem Themenbereich "Konkurrenz und Koordinierung". Konkurrenz entsteht, wenn gleichzeitige Aktivitäten Zugriff auf dasselbe Betriebsmittel wünschen, Koordinierung bezeichnet den geordneten Umgang mit solchen Konkurrenzsituationen. Vor allem im Hinblick auf die aktuelle technische Entwicklung im Bereich von Multi- und Manycore-Systemen (Mehrkern- und Vielkernssystemen) erlangt diese Problematik verstärkt Bedeutung, weil diese nur durch ein hohes Maß an gleichzeitiger, paralleler Ausführung vernünftig genutzt werden können.

Die folgende Themenliste ist als Vorschlag zu verstehen; über weitere Ideen sind wir dankbar und ggf. an einer Integration in das Seminar interessiert.

Themenvorschläge

  • Monitor-Konzepte


  • Thema 4: Semaphore: Paper 1 Paper 2 Paper 3


  • Thema 5: Bedingungsvariablen: Paper


  • Thema 6: Communicating Sequential Processes: Paper


  • Thema 7: Path Expressions: Paper


  • Nicht-blockierende Synchronisation
    • Thema 8: Transactional Memory: Paper
    • Thema 9: Warte-freie Synchronisation: Paper


  • Echtzeitfähige Synchronisationsprotokolle
    • Thema 10: Prioritätsvererbung und Prioritätsobergrenzen: Paper
    • Thema 11: Stapel-basierte Betriebsmittelvergabe: Paper


  • Anwendungsspezifische Koordinierung


Betreuer

Prof. Dr.-Ing. Wolfgang Schröder-Preikschat Dr.-Ing. Fabian Scheler Tobias Klaus

Terminplan

Datum Thema Folien Ausarbeitung Vortragender Betreuer
18.04. Vorbesprechung, Themenauswahl

25.04. Allgemeines zur Vortragstechnik PDF Tobias
02.05. Pause
09.05. Christi Himmelfahrt
Erste Runde
16.05. Thema 08: Transactional Memory Simon Schuster Tobias
Thema 09: Warte-freie Synchronisation Ralph Mück Fabian
23.05. Thema 05: Bedingungsvariablen Sebastian Rachuj wosch
Thema 07: Path Expressions Thao-Nguyen Do Fabian
30.05. Fronleichnam
06.06 Thema 12: Leser und Schreiber Michail Nowak Fabian
Thema 13: Read-Copy-Update Alex Richardson Tobias
13.06. Thema 01: Monitore nach Hoare Lukáš Šára Tobias
Thema 02: Monitore nach Brinch Hansen Krzysztof Mazur wosch
20.06. Thema 04: Semaphore Michael Gunselmann wosch
Zweite Runde
20.06. Thema 05: Bedingungsvariablen PDF Sebastian Rachuj wosch
27.06. Thema 08: Transactional Memory PDF Simon Schuster Tobias
Thema 09: Warte-freie Synchronisation PDF Ralph Mück Fabian
04.07. Thema 04: Semaphore PDF Michael Gunselmann wosch
Thema 07: Path Expressions PDF Thao-Nguyen Do Fabian
11.07. Thema 12: Leser und Schreiber PDF Michail Nowak Fabian
Thema 13: Read-Copy-Update PDF Alex Richardson Tobias
18.07. Thema 02: Monitore nach Brinch Hansen PDF Krzysztof Mazur wosch

Hinweise

Links und Literatur

An dieser Stelle geben die Betreuer Hinweise zu weiterführenden Informationen in Form von Links und Buchreferenzen. Dies ist nur als Orientierung gedacht und kann und soll eine weitergehende Literaturrecherche durch den Referenten nicht ersetzen!

Allgemein: Vortragsgestaltung, wissenschaftliches Arbeiten

UnivIS-Informationen zum Seminar

Konzepte von Betriebssystem-Komponenten (Konkurrenz und Koordinierung in Manycore-Systemen) (KVBK)

Dozentinnen/Dozenten
Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Fabian Scheler, Dipl.-Ing. Tobias Klaus

Angaben
Seminar, 4 SWS, ECTS-Studium, ECTS-Credits: 5
für Anfänger geeignet, nur Fachstudium, Sprache Deutsch
Zeit und Ort: Do 10:00 - 12:00, 0.035 (außer Do 23.5.2013); Einzeltermin am 25.4.2013 10:00 - 12:00, 00.151-113
ab 2.5.2013
Vorbesprechung: 18.4.2013, 12:00 - 14:00 Uhr, Raum 0.035

Studienfächer / Studienrichtungen
WPF INF-BA-SEM 3

Voraussetzungen / Organisatorisches
Anmeldung:
  • per E-Mail an einen der Betreuer

Scheinerwerb: Vortrag, Ausarbeitung und regelmäßige, aktive Teilnahme