AG Technische Informatik

ALP IV: Nicht-sequentielle Programmierung (2,N)

Nichtsequentielle Programmierung befasst sich mit den Datenstrukturen und Algorithmen zur Synchronisation nebenläufiger Prozesse, die auf gemeinsame Daten zugreifen oder miteinander kommunizieren. Die Vorlesung stellt die grundlegenden Konzepte und Methoden der Programmierung nebenläufiger Systeme im Zusammenhang dar. Sie setzt den (auf sequentielle Programmierung beschränkten) Zyklus Algorithmen und Programmierung I-III fort und ist Voraussetzung für verschiedene Veranstaltungen des Hauptstudiums wie z.B. Netzprogrammierung, Betriebssysteme, Verteilte Systeme und Parallele Algorithmen.

(19513)

Typ

Vorlesung

Dozent/in

Prof. Dr. Marcel Kyas

Institution

Institute of Computer Science

Freie Universität Berlin

Semester

SS 12

Veranstaltungsumfang

Leistungspunkte

5

Raum

Takustraße 9

HS 003

Zeit

 Office Hours: Tuesday, 14-15
Time:
Wednesday, 16-18

Tutorials

  • Monday, 10-12, Takustraße 9, SR006 (TBA)
  • Monday, 10-12, Takustraße 9, SR046 (TBA)
  • Monday, 12-14, Takustraße 9, SR055 (TBA)
  • Monday, 14-16, Arnimallee 6, SR025/026 (TBA)
  • Monday, 16-18, Takustraße 9, SR046 (TBA)
  • Tuesday, 08-10, Takustraße 9, SR046 (TBA)

The first tutorials take place on Monday, April 19. It is important to visit the first session. If you cannot come, send an e-mail. Otherwise we have to assume that you are not interested in your seat in the tutorial and may give it away to students who need it.

Zielgruppe

2nd year BSc students

Voraussetzungen

ALP 3

Literaturliste

Basic text books for this course

  • Andrews, G.R.: Foundations of multithreaded, parallel and distributed programming. Addison-Wesley, 2000
  • G. Taubenfeld, Synchronisation Algorithms and Concurrent Programming, Prentice Hall, 2006

Supplementary text books for this course

  • A. Wellings, Concurrent and Real-Time Programming in Java, Wiley & Sons, 2004
  • Lea, D.: Concurrent Programming in Java (2. ed.). Addison-Wesley, 1999

Textbooks on Hoare logic

  • K.R. Apt, E.-R. Olderog, F.S. de Boer, Verification of Sequential and Concurrent Programs, 2nd Edition, Springer, 2008
  • R.D. Tennent, Specifying Software, Cambridge University Press, 2001
  • W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, J. Zwiers, Concurrency Verification, Cambridge University Press, 2001 

KVV page, Learning Management System

Lecturer's Assistance

If you encounter problems regarding your tutor, assignments, etc,  please contact Marcel Kyas.

I urge all students which already have fulfilled the criteria of active participation or which attempt to achieve a diploma instead of a B.Sc. or M.Sc. to not register for a tutorial. Send an email to Marcel Kyas to indicate your intention to write the exam.

Written Examination

Register in the Learning Management System

  • July 14, 2010 Physiologie-HS, 16:00. We meet 15:45 in front of the lecture hall.
  • October 1, 2010 Physiologie-HS, 14:00. We meet 13:45 in front of the lecture hall.