Πώς μπορούν να αποτραπούν οι αμοιβαίες ακινητοποιήσεις σε ένα περιβάλλον πολλαπλών νημάτων;

Για την αποφυγή αδιεξόδων (deadlocks) σε περιβάλλον πολλαπλών νημάτων, μπορούν να χρησιμοποιηθούν διάφορες προσεγγίσεις:

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

Παράδειγμα διατεταγμένης απόκτησης mutex στο Go:

var mu1, mu2 sync.Mutex

func safeFunc() {
    mu1.Lock()
    defer mu1.Unlock()

    mu2.Lock()
    defer mu2.Unlock()

    // εργασία με πόρους
}

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