Ποια είναι η διαφορά μεταξύ της απαισιόδοξης και αισιόδοξης στρατηγικής κλειδώματος πόρων σε συστήματα;

Οι στρατηγικές κλειδώματος απαισιόδοξου και αισιόδοξου διαφέρουν στην προσέγγισή τους στη διαχείριση ταυτόχρονων προσβάσεων:

• Απαισιόδοξο κλείδωμα υποθέτει ότι θα προκύψουν συγκρούσεις πρόσβασης, γι' αυτό το πόρο κλειδώνεται αμέσως με την έναρξη της εργασίας με αυτόν. Άλλες διαδικασίες ή νήματα περιμένουν την απελευθέρωση του κλειδώματος. Αυτό μειώνει την πιθανότητα συγκρούσεων, αλλά μπορεί να οδηγήσει σε καθυστερήσεις και μπλοκαρίσματα.

• Αισιόδοξο κλείδωμα υποθέτει ότι οι συγκρούσεις είναι σπάνιες, γι' αυτό το κλείδωμα δεν εφαρμόζεται αμέσως. Αντίθετα, κατά την αποθήκευση των αλλαγών, ελέγχεται αν ο πόρος έχει αλλάξει από την ανάγνωση (π.χ., μέσω έκδοσης ή χρονικής σήμανσης). Αν ανιχνευθεί σύγκρουση, η λειτουργία επαναλαμβάνεται ή ακυρώνεται.

Στη γλώσσα Go, για παράδειγμα, το απαισιόδοξο κλείδωμα υλοποιείται μέσω mutex (sync.Mutex), και το αισιόδοξο μέσω σύγκρισης και ανταλλαγής (sync/atomic ή έλεγχος εκδόσεων).

Παράδειγμα απαισιόδοξου κλειδώματος:

var mu sync.Mutex

mu.Lock()
// εργασία με τον πόρο
mu.Unlock()

Το αισιόδοξο κλείδωμα απαιτεί πρόσθετη λογική για τον έλεγχο αλλαγών, π.χ.:

version := resource.Version
// εργασία με τον πόρο
if resource.Version != version {
    // σύγκρουση, επανάληψη της λειτουργίας
}

Η επιλογή στρατηγικής εξαρτάται από τη συχνότητα συγκρούσεων και τις απαιτήσεις απόδοσης.