Summary of Lecture Concurrent Systems (winter term 20/21)

The lecture Concurrent Systems in winter term 20/21 had been delivered by Prof. Wolfgang Schröder-Preikschat at FAU Erlangen-Nürnberg.
This repository contains a summary (in German) which I had created as part of my exam preparation.

The summary is best viewed on GitHub pages, https://comfreek.github.io/uni-concurrent-systems-summary, and best edited in your favorite Markdown editor. The HTML files have been rendered using the Visual Studio Code extension Markdown All in One, and manually edited to correct wrongfully inserted absolute paths to my hard disk.

Table of Contents

(links only work when served from GitHub pages, i.e. https://comfreek.github.io/uni-concurrent-systems-summary)

• general: concept of concurrency, blocking vs. non-blocking synchronization, resource types, progress guarantees
• nbs: non-blocking synchronization
• locks: spin locks up to ticket and MCS locks
• mutex-sem-monitor: mutexes, semaphores, monitors
• dead-and-live-locks: deadly embrace, necessary & sufficient conditions for deadlocks, deadlock prevention/avoidance/detection
• misc: miscelleanous stuff

License

• All files except media/_nice_slide-*:

  Summary of “Concurrent Systems” (winter term 20/21) by Navid Roux is licensed under CC BY-SA 4.0

• Files media/nice-slide-*: copied from the lecture Concurrent Systems delivered in winter term 2020/21 by Wolfgang Schröder-Preikschat at FAU Erlangen-Nürnberg.