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 14 |
| Veranstaltungsumfang | |
| Leistungspunkte | 5 |
| Anmeldemodalität | Register via KVV (Sakai) and Campus Management. |
| Raum | Takustraße 9 HS 003 |
| Beginn | 16.04.2014 | 14:00 |
| Zeit | Office Hours: Thursday, 13-14 Tutorials
The first tutorials take place on Thursday, April 17. It is important to visit the first session. If you cannot come, send an e-mail to your Tutor via the Sakai system. 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
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
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.