{"id":30071072,"url":"https://github.com/comfreek/uni-concurrent-systems-summary","last_synced_at":"2026-02-11T17:02:28.798Z","repository":{"id":148529970,"uuid":"356331314","full_name":"ComFreek/uni-concurrent-systems-summary","owner":"ComFreek","description":"Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nürnberg) on concurrency, esp. in systems programming","archived":false,"fork":false,"pushed_at":"2021-04-09T20:18:57.000Z","size":1873,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-08-08T12:35:46.545Z","etag":null,"topics":["cheatsheet","concurrency","lecture-notes","summary"],"latest_commit_sha":null,"homepage":"","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ComFreek.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-04-09T16:17:24.000Z","updated_at":"2023-05-09T06:23:03.000Z","dependencies_parsed_at":"2023-05-20T10:15:46.628Z","dependency_job_id":null,"html_url":"https://github.com/ComFreek/uni-concurrent-systems-summary","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/ComFreek/uni-concurrent-systems-summary","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComFreek%2Funi-concurrent-systems-summary","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComFreek%2Funi-concurrent-systems-summary/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComFreek%2Funi-concurrent-systems-summary/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComFreek%2Funi-concurrent-systems-summary/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ComFreek","download_url":"https://codeload.github.com/ComFreek/uni-concurrent-systems-summary/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComFreek%2Funi-concurrent-systems-summary/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29338668,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-11T16:14:43.024Z","status":"ssl_error","status_checked_at":"2026-02-11T16:14:15.258Z","response_time":97,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cheatsheet","concurrency","lecture-notes","summary"],"created_at":"2025-08-08T12:16:51.102Z","updated_at":"2026-02-11T17:02:28.793Z","avatar_url":"https://github.com/ComFreek.png","language":"HTML","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Summary of Lecture *Concurrent Systems* (winter term 20/21)\n\n[![View on GitHub](https://img.shields.io/badge/view%20on-GitHub-brightgreen)](https://github.com/ComFreek/uni-concurrent-systems-summary/)\u0026nbsp;[![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat-square)](http://makeapullrequest.com)\n\nThe 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).\nThis repository contains a summary (in German) which I had created as part of my exam preparation.\n\nThe summary is best viewed on GitHub pages, \u003chttps://comfreek.github.io/uni-concurrent-systems-summary/\u003e, 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.\n\n## Table of Contents\n\n(links only work when served from GitHub pages, i.e. \u003chttps://comfreek.github.io/uni-concurrent-systems-summary/\u003e)\n\n- [general: concept of concurrency, blocking vs. non-blocking synchronization, resource types, progress guarantees](./summary/general.html)\n- [nbs: non-blocking synchronization](./summary/nbs.html)\n- [locks: spin locks up to ticket and MCS locks](./summary/locks.html)\n- [mutex-sem-monitor: mutexes, semaphores, monitors](./summary/mutex-sem-monitor.html)\n- [dead-and-live-locks: deadly embrace, necessary \u0026 sufficient conditions for deadlocks, deadlock prevention/avoidance/detection](./summary/dead-and-live-locks.html)\n- [misc: miscelleanous stuff](./summary/misc.html)\n\n## License\n\n- All files except `media/_nice_slide-*`:\n\n  \u003cp xmlns:cc=\"http://creativecommons.org/ns#\" xmlns:dct=\"http://purl.org/dc/terms/\"\u003e\u003ca property=\"dct:title\" rel=\"cc:attributionURL\" href=\"https://github.com/ComFreek/uni-concurrent-systems-exam-summary/tree/master\"\u003eSummary of \"Concurrent Systems\" (winter term 20/21)\u003c/a\u003e by \u003ca rel=\"cc:attributionURL dct:creator\" property=\"cc:attributionName\" href=\"https://github.com/ComFreek\"\u003eNavid Roux\u003c/a\u003e is licensed under \u003ca href=\"http://creativecommons.org/licenses/by-sa/4.0/?ref=chooser-v1\" target=\"_blank\" rel=\"license noopener noreferrer\" style=\"display:inline-block;\"\u003eCC BY-SA 4.0\u0026nbsp;\u003cimg height=\"22\" src=\"https://mirrors.creativecommons.org/presskit/icons/cc.svg?ref=chooser-v1\"\u003e\u003cimg height=\"22\" src=\"https://mirrors.creativecommons.org/presskit/icons/by.svg?ref=chooser-v1\"\u003e\u003cimg height=\"22\" src=\"https://mirrors.creativecommons.org/presskit/icons/sa.svg?ref=chooser-v1\"\u003e\u003c/a\u003e\u003c/p\u003e\n\n- 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).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcomfreek%2Funi-concurrent-systems-summary","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcomfreek%2Funi-concurrent-systems-summary","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcomfreek%2Funi-concurrent-systems-summary/lists"}