[Christian-Albrechts-Universität] [Technical Faculty]

Nebenläufige und verteilte Programmierung
Seminar im Sommersemester 2007


Vorbesprechung: Freitag, 13. April 2007, 12:00 Uhr in CAP4 (Hochhaus), Raum 1210
Termin: n.V. (Blockseminar in der zweiten Hälfte des Semesters)
Beginn: n.V.
Ort: n.V.
Dozent: Willem-Paul de Roever und Mitarbeiter

Die vollständigen studientechnischen Daten sind über das Univis-System zu erfragen.

Bei Fragen zum Seminar, email an Heiko Schmidt oder Andreas Grüner



Durch die universelle Verbreitung des Internets und verteilter Systeme ist der Entwurf nebenläufiger und verteilter Systeme nicht länger eine Spezialdisziplin für wenige Experten, sondern eine der Kernaufgaben jeden Informatikers.

Das Seminar richtet sich an Studenten im Hauptstudium, speziell an Teilnehmer aus der gleichnamingen Hauptstudiumsvorlesung des Wintersemesters. In dem Seminar werden nicht behandelte Kapitel aus dem Buch Foundations of Multithreaded, Parallel, and Distributed Programming von Gregory R. Andrews bearbeitet (vor allem Kapitel 11 und 12). Desweiteren werden ausgewählte Kapitel aus Concurrency: State Models and Java Programming von Jeff Magee und Jeff Kramer behandelt, sowie weitere Themen in Zusammenhang mit modernen nebenläufigen und verteilten Anwendungen, etwa aus dem Buch Concurrent Programming in Java von Doug Lea.

Mögliche Vortragsthemenbereiche sind

Anmeldung und Themen

Am Montag, den 29. Januar wird auf dieser Webseite eine Liste von möglichen Seminarthemen veröffentlicht. Ab dem Zeitpunkt können gewünschte Vortragsthemen verbindlich gewählt werden. Dafür am besten bei Heiko (Raum 1215) oder Andreas (Raum 1212) vorbeikommen. Die Anmeldung ist auch bei der Vorbesprechung am 13. April 2007 möglich, aber es gilt first come first serve bei der Themenvergabe.

Bei Teilnahme bitte auch in die StudiDB eintragen.

Liste der Vortragsthemen:
Termin Vortragender Thema Quelle(n) Betreuer Folien
Mo, 16.7., 12:00 Jan Jörke Modeling processes and concurrency [MK], Kap. 2 und 3 Heiko  
Mo, 16.7., ca. 13:00 Nils Beckel Safety and liveness properties [MK], Kap. 7 (basiert auf 2, 3) Heiko  
Mo, 16.7., ca. 14:00 Hannes Fabian Model-based design [MK], Kap. 8 (basiert auf 2, 3, 7) Heiko  
Mo, 23.7. Matthias Rassy Timed systems [MK], Kap. 12 (basiert auf 2, 3, 7) Heiko  
Fr, 20.7., 12:00 Per Broman Program verification [MK], Kap. 13 (basiert auf 2, 3, 7) Heiko  
Fr, 20.7., ca. 13:00 Mathias Lichtner Logical properties [MK], Kap. 14 (basiert auf 2, 3, 7, 13) Heiko  
    Locks: Utilities and design patterns [L], Kap. 2.5, [McK] Heiko  
    Active objects using JCSP [L], Kap. 4.5, CSP-Book Heiko  
Fr, 13.7., 12:00 Andreas Brosche Grid Computations [An], Kap. 11.1 Andreas  
Fr, 13.7., ca. 13:00 Frank Gosch Partical Computations [An], Kap. 11.2 Andreas  
Fr, 13.7., ca. 14:00 Oliver Fleischmann An Axiomatic Proof Techinque for Parallel Programs I [OG] Andreas  
Fr, 20.7., ca. 14:00 Ove Soerensen Broadcast Algorithms and Logical Clocks [An], Kap. 9.4.1–9.5.1, [Lam] Andreas  
    Formalising Java RMI with Explicit Code Mobility [AY] Andreas  
    CREOL: An async. comm. model for distributed concurrent objects [JO] Andreas  
    ASP calculus [CH], Kap. 3–4 Andreas  
    Reo: A Channel-based Coord. Model for Comp. Composition [Ar] Andreas  
Mo, 23.7. Torben Rabe Ein Thema aus dem Bereich Verteilte Algorithmen      
[An]
Gregory R. Andrews, Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000
[MK]
Jeff Magee and Jeff Kramer, Concurrency: State models & Java Programming, Wiley, 2006
[L]
Doug Lea, Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley, 2000
[McK]
Paul E. McKenney, Selecting Locking Primitives for Parallel Programming, in Communications of the ACM, 39(10): 75-82, 1996
[OG]
Susan Owicki and David Gries, An Axiomatic Proof Technique for Parallel Programs I, in Acta Informatica 6, 310–340, 1976
[La]
Leslie Lamport, Time, Clocks, and the Ordering of Events in a Distributed System, in Communications of the ACM 21(7): 558–565, 1978
[AY]
Alexander Ahern and Nobuko Yoshida, Formalising Java RMI with Explicit Code Mobility, in Proceedings of the 20th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005)
[JO]
Einar Broch Johnsen and Olaf Owe, An asynchronous communication model for distributed concurrent objects, in Software and Systems Modeling, 2006
[CH]
Denis Caromel and Ludovic Henrio, A Theory of Distributed Objects, Springer, 2005
[Ar]
Farhad Arbab, Reo: A Channel-based Coord. Model for Comp. Composition, in Mathematical Structures in Computer Science, 4(3): 329 – 366, 2004

Scheinkriterium

Verlangt ist die Ausarbeitung eines Vortrags (mit Hilfestellung natürlich) und seine Präsentation über das gewählte Thema. Relevant sind Daneben wird regelmäßige Teilnahme am Seminar vorrausgesetzt.

Ausdrücklich empfohlen ist das rechtzeitige Durchsprechen der vorbereiteten Präsentationsfolien mit dem jeweiligen Betreuer, allerspätestens sollte dieses drei Tage vor dem Vortragstermin geschehen.





This document was translated from LATEX by HEVEA.