Concurrent Systems (CS) - Lecture (WS 2016/17)
Concurrent Systems (CS)
- Prof. Dr.-Ing. Wolfgang Schröder-Preikschat
für Gasthörer zugelassen, Sprache Englisch
Zeit und Ort: Di 10:15 - 11:45, 0.035
- Studienfächer / Studienrichtungen
- WPF INF-MA ab 1
On the agenda are general topics and basic principles such as the notion of concurrency, process, critical section, and elementary operation. This introduction stage will be followed by classic and folklore on blocking synchronisation, that is to say, concepts such as lock, semaphore, monitor and condition variable, and deadlock and livelock. Subsequently, avant-garde and other on non-blocking synchronisation will be presented, such as techniques that require particular memory semantics (e.g., atomic write) or special machine instructions (e.g., CAS, LL/SC), or that rely on transactional memory. The course is closed by a selection of other state of the art techniques using the example of software combining, read-copy update, or remote-core locking.
Prerequisite are hard skills (i.e., computer-science expertise) on structured computer organisation, algorithm design and development, and principles of programming in C or C++. These skills are mandatory, knowledge gaps will not be closed in the class. Further, but optional, hard skills are assembly language programming, system programming, and operating systems. As appropriate, knowledge gaps will be closed on demand by the instructors.
The slides form the thread through the lecture. They can (and shall) not replace supplementary lecture notes and full description of the topics in the technical literature (see also below).
The lecture slides are provided in PDF format, with four slides or one slide, respectively, per page. Additionally the animated slides presented in the lecture are also available.
Questions that were raised in a particular lecture and could not be answered to full satisfaction or at all for whatever reason, respectively, will be picked up off-line and are tried to be answered by the instructors. The result of this reworking is published through the "QaA" link of the corresponding lecture.
Note that the above-listed schedule of lecture topics is still under construction and may be subject to change. As preparation of the lecture and its contextual reconciliation with the exercises is still in progress, no responsibility is taken for the correctness of this information.
A reference list of relevant publications is attached to every lecture slide set. We recommend to first take a look at this selection. If, against expectation, reading could not exhaust the problematic topic, do not hesitate to contact us and we will try our best to answer still open-ended questions.