Kunt u uitleggen wat een deadlock is in besturingssystemen en hoe het ontstaat?

Deadlock (dodelock) is een situatie in het besturingssysteem waarin twee of meer processen elkaar voor altijd blokkeren, wachtend op het vrijmaken van resources die door elkaar worden gebruikt.

Het ontstaat wanneer tegelijkertijd aan vier voorwaarden wordt voldaan:

1. Wederzijdse uitsluiting — een resource kan slechts door één proces tegelijk worden vastgehouden.
2. Vasthouden en wachten — een proces houdt een resource vast en wacht op een andere.
3. Onmogelijk om geforceerd vrij te geven — een proces kan niet worden gedwongen een resource vrij te geven.
4. Circulaire wacht — er bestaat een cyclus van processen, elk wachtend op een resource die wordt vastgehouden door de volgende in de cyclus.

Voorbeeld: proces A heeft resource 1 vastgehouden en wacht op resource 2, terwijl proces B resource 2 heeft vastgehouden en wacht op resource 1 — beide zijn voor altijd geblokkeerd.