Τι είναι το deadlock;

Ο deadlock (αμοιβαία αποκλεισμός) είναι μια κατάσταση σε συστήματα πολλαπλών νημάτων ή κατανεμημένα συστήματα όπου δύο ή περισσότεροι διαδικασίες (ή νήματα) βρίσκονται σε κατάσταση αναμονής πόρων που κατέχουν άλλες, και καμία από αυτές δεν μπορεί να συνεχίσει.

Παραδοσιακό παράδειγμα deadlock:

• Η διαδικασία A έχει αποκτήσει τον πόρο 1 και περιμένει τον πόρο 2.
• Η διαδικασία B έχει αποκτήσει τον πόρο 2 και περιμένει τον πόρο 1.

Οι δύο διαδικασίες μπλοκάρουν η μία την άλλη επ' αόριστον.

Για την αποφυγή deadlock, εφαρμόζονται:

• Ιεραρχία απόκτησης πόρων (όλες οι διαδικασίες αποκτούν πόρους με την ίδια σειρά).
• Χρονικά όρια αναμονής.
• Αλγόριθμοι ανίχνευσης και επίλυσης deadlock.

Στη δοκιμή, είναι σημαντικό να ελέγχετε σενάρια που μπορούν να οδηγήσουν σε deadlock, για να διασφαλίσετε τη σταθερότητα και την ανθεκτικότητα του συστήματος.