Konsistenz Verteilter Speichersysteme und Transaktionaler Speicher

Hauptseminar / WS 2009/2010 / CS 5900.048

Angaben

Nummer/Titel

5900.048 / Konsistenz Verteilter Speichersysteme und Transaktionaler Speicher, TS / Transactional Storage and Consistency of VM Systems

Dozent

Prof. Dr. Peter Schulthess

Betreuer

Steffen Gerhold, Thilo Schmitt

SWS/Leistungspunkte

2/4

Vorbesprechung, Themenvergabe und Terminfestlegung

Dienstag, 13.10.2009, 12:00, O27/342

Zuordnung

Dipl. Inf.: Hauptseminar
Ba. Inf. (PO 2001): Hauptseminar
Ma. Inf. (PO 2001): Hauptseminar
Ba. Inf. (PO 2008): Seminar Informatik
Ba. Medieninf. (PO 2008): Seminar Medieninformatik
Dipl. Medieninf.: Hauptseminar

Sprache

Unterrichtssprache ist Deutsch

Teilnehmeranzahl

max. 10

Überblick

Mit dem Aufkommen der Multikern-Prozessoren gewinnt eine effiziente Parallelisierung von Rechenabläufen ein immer stärkeres Gewicht. Durch die erhöhte Anzahl parallel laufender Aktivitätsträger steigt aber ebenfalls der Aufwand zur Synchronisierung und die Komplexität. Ein Ansatz zu einer einfacherern Handhabung der Synchronisierung stellt das Konzept des transaktionalen Speichers dar. Dieses Seminar diskutiert verschiedene Themen, die mit herkömmlicher Synchronisierung und/oder transaktionalem Speicher in Zusammenhang stehen.

Ablauf/Formales

Der Schein wird auf Anwesenheit, Vortrag, Ausarbeitung und Diskussionsbereitschaft erteilt. Die Themenvergabe findet am ersten Veranstaltungstermin statt; eine Anmeldung zum Hauptseminar mit Themenwunsch ist auch vor der ersten Veranstaltung per Email an Steffen Gerhold oder Thilo Schmitt möglich. Die Deadlines sind auf jeden Fall einzuhalten.

Die Ausarbeitung muss dem ACM SIG Proceedings Style folgen (LaTeX Vorlage, Word Vorlage)

Deadlines

• Besprechung des Themas mit Betreuer mind. 4 Wochen vor dem Vortragstermin
• Abgabe der fertigen Ausarbeitung mind. 2 Wochen vor dem Vortragstermin
• Abgabe der fertigen Folien mind. 1 Woche vor dem Vortragstermin

Themen und Vorträge

Voranmeldung (gerne auch mit Themenwunsch) sind per Email an Steffen Gerhold oder an Thilo Schmitt oder durch Eintrag in die aushängende Liste möglich

Datum	Thema	Referent	Ausarbeitung	Folien
	Wissenschaftliches Arbeiten - Schriftliche Ausarbeitung	Guido de Melo	PDF	PDF
	Wissenschaftliches Arbeiten - Präsentation	Guido de Melo		PDF
	Einführung	Steffen Gerhold
	Multiprozessoren und SMP	N.N.
	Kohärenz und Konsistenz bei Caches	N.N.
	STM-Compiler (1): Glasgow Haskell Compiler	N.N.
	STM-Compiler (2): Intel STM Compiler	N.N.
	Checkpointing (1): Usermode-Checkpointing	N.N.
	Checkpointing (2): Kernelmode-Checkpointing	N.N.
	Checkpointing (3): Verteiltes Checkpointing	N.N.
	Checkpointing (4): Checkpointing bei transaktionaler Konsistenz	N.N.