OS35: Deadlocks

Ο τυπικός ορισμός αδιεξόδου αφορά σε ένα σύνολο μπλοκαρισμένων διεργασιών που περιμένουν κάποιο συμβάν. Τα συμβάντα αυτά παράγονται μόνο εσωτερικά.

Αρκεί μία συνθήκη του Coffman για να έχουμε αδιέξοδο πόρων.

Η πρώτη συνθήκη του Coffman (αμοιβαίος αποκλεισμός) απαγορεύει τον καταμερισμό πόρων.

Η δεύτερη συνθήκη του Coffman (δέσμευση και αναμονή) δεν επιτρέπει σε διεργασίες με εκχωρημένους πόρους να ζητήσουν επιπλέον πόρους.

Η τρίτη συνθήκη του Coffman (μη προεκτόπιση) δεν επιτρέπει σε διεργασίες να αφαιρούν ήδη εκχωρημένους πόρους.

Η τέταρτη συνθήκη του Coffman (κυκλική αναμονή) αφορά μια σειριακή λίστα διεργασιών που κάθε μία περιμένει την προηγούμενή της.