https://github.com/comfreek/uni-concurrent-systems-summary

Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nürnberg) on concurrency, esp. in systems programming
https://github.com/comfreek/uni-concurrent-systems-summary

cheatsheet concurrency lecture-notes summary

Last synced: 4 months ago
JSON representation

Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nürnberg) on concurrency, esp. in systems programming

• Host: GitHub
• URL: https://github.com/comfreek/uni-concurrent-systems-summary
• Owner: ComFreek
• License: other
• Created: 2021-04-09T16:17:24.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-04-09T20:18:57.000Z (about 5 years ago)
• Last Synced: 2025-08-08T12:35:46.545Z (10 months ago)
• Topics: cheatsheet, concurrency, lecture-notes, summary
• Language: HTML
• Homepage:
• Size: 1.79 MB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

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

[![View on GitHub](https://img.shields.io/badge/view%20on-GitHub-brightgreen)](https://github.com/ComFreek/uni-concurrent-systems-summary/) [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat-square)](http://makeapullrequest.com)

The lecture [*Concurrent Systems* in winter term 20/21](https://www4.cs.fau.de/Lehre/WS20/V_CS/) had been delivered by [Prof. Wolfgang Schröder-Preikschat](https://www4.cs.fau.de/~wosch/) at [FAU Erlangen-Nürnberg](https://fau.eu).

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, , and best edited in your favorite Markdown editor. The HTML files have been rendered using the Visual Studio Code extension [Markdown All in One](https://marketplace.visualstudio.com/items?itemName=yzhang.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. )

- [general: concept of concurrency, blocking vs. non-blocking synchronization, resource types, progress guarantees](./summary/general.html)

- [nbs: non-blocking synchronization](./summary/nbs.html)

- [locks: spin locks up to ticket and MCS locks](./summary/locks.html)

- [mutex-sem-monitor: mutexes, semaphores, monitors](./summary/mutex-sem-monitor.html)

- [dead-and-live-locks: deadly embrace, necessary & sufficient conditions for deadlocks, deadlock prevention/avoidance/detection](./summary/dead-and-live-locks.html)

- [misc: miscelleanous stuff](./summary/misc.html)

## 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](https://www4.cs.fau.de/Lehre/WS20/V_CS/) by [Wolfgang Schröder-Preikschat](https://www4.cs.fau.de/~wosch/) at [FAU Erlangen-Nürnberg](https://fau.eu).