Αδιέξοδο

To αδιέξοδο παρουσιάζεται όταν κάθε υπολογιστής περιμένει για έναν πόρο που κρατά μια άλλη διαδικασία. Είναι σημαντικό το αδιέξοδο να αποφεύγεται προτού προκύψει. Ο προγραμματισμός εργασιών πόρων μπορεί να ανιχνεύσει μια εμφάνιση αδιεξόδου, κάτι που βοηθά το λειτουργικό σύστημα να παρακολουθεί τους πόρους που έχουν κατανεμηθεί σε διαφορετικές διεργασίες. Αδιέξοδο μπορεί να προκύψει εάν ισχύουν ταυτόχρονα οι ακόλουθες τέσσερις συνθήκες:

•Καμία προληπτική ενέργεια - Ένας πόρος μπορεί να αποδεσμευτεί μόνον οικειοθελώς από τη διεργασία που τον δεσμεύει, αφού η διεργασία ολοκληρώσει την εργασία της.

•Αμοιβαία εξαίρεση – Ένας ειδικός τύπος δυαδικού σηματοφορέα που χρησιμοποιείται για τον έλεγχο πρόσβασης στον κοινόχρηστο πόρο. Επιτρέπει στις τρέχουσες εργασίες υψηλότερης προτεραιότητας να παραμένουν μπλοκαρισμένες για το μικρότερο δυνατό χρονικό διάστημα.

•Δέσμευση και αναμονή – Σε αυτήν την κατάσταση, οι διεργασίες πρέπει να διακόψουν τη δέσμευση μεμονωμένων ή πολλαπλών πόρων όταν αναμένουν ταυτόχρονα έναν ή περισσότερους άλλους πόρους.

•Κυκλική αναμονή – Επιβάλλει μια συνολική σειρά όλων των τύπων πόρων. Η κυκλική αναμονή απαιτεί επίσης κάθε διεργασία να αιτείται πόρους με αύξοντα αριθμό σειράς.

Υπάρχουν τρεις τρόποι χειρισμού ενός αδιεξόδου:

•Μην αφήνετε το σύστημα σε κατάσταση αδιεξόδου.

•Αφήστε να προκύψει το αδιέξοδο και, στη συνέχεια, χειριστείτε το προληπτικά όταν προκύψει.

•Εάν προκύψει αδιέξοδο, επανεκκινήστε το σύστημα.