Τι πρέπει να θυμάστε όταν εργάζεστε με mutexes σε Go…

Όταν εργάζεστε με mutex (sync.Mutex) στη Go, είναι σημαντικό να θυμάστε τα εξής:

Κατάκτηση και απελευθέρωση: Το mutex πρέπει οπωσδήποτε να κατακτηθεί (Lock()) πριν από την πρόσβαση σε κοινόχρηστα δεδομένα και να απελευθερωθεί (Unlock()) μετά το τέλος της εργασίας. Η χρήση του defer mu.Unlock() αμέσως μετά το mu.Lock() είναι καλή πρακτική για να αποφεύγεται η ξεχάσμα της απελευθέρωσης.
Αποκλειστική πρόσβαση: Το mutex παρέχει αποκλειστική πρόσβαση σε μια πόρο σε ένα μόνο goroutine κάθε φορά.
Κατάσταση "μπλοκαρισμένο/απεμπλοκαρισμένο": Η κλήση Lock() σε ένα ήδη μπλοκαρισμένο mutex θα μπλοκάρει το goroutine που το καλεί μέχρι να το απελευθερώσει κάποιο άλλο. Η κλήση Unlock() σε ένα μη μπλοκαρισμένο mutex προκαλεί panic κατά την εκτέλεση.
Μην αντιγράφετε mutexes: Η δομή sync.Mutex δεν προορίζεται να αντιγραφεί μετά την πρώτη χρήση. Η μεταβίβαση ενός mutex με τιμή ή η αντιγραφή της δομής που το περιέχει μπορεί να οδηγήσει σε λανθασμένο συγχρονισμό και panic.
Deadlocks (αδιέξοδα): Προκύπτουν όταν δύο ή περισσότεροι goroutines περιμένουν ο ένας τον άλλον να ελευθερώσει πόρους. Τυπικό σενάριο: ο goroutine A μπλοκάρει το R1 και περιμένει το R2, ενώ ο goroutine B μπλοκάρει το R2 και περιμένει το R1.
Livelocks (ζωντανά αδιέξοδα): Κατάσταση όπου οι goroutines αλλάζουν συνεχώς την κατάσταση τους ως απάντηση στις ενέργειες των άλλων, χωρίς να κάνουν χρήσιμη εργασία ή να προχωρούν μπροστά. Αυτό είναι λιγότερο συχνό από το deadlock.
Πείνα (starvation): Κατάσταση όπου μία ή περισσότερες goroutines δεν μπορούν να αποκτήσουν πρόσβαση σε κοινόχρηστη πόρο λόγω συνεχούς κατοχής από άλλες. Στα mutexes της Go, η πείνα δεν εγγυάται.
Χρήση sync.RWMutex για ανάγνωση/εγγραφή: Αν οι περισσότερες λειτουργίες είναι ανάγνωση και οι εγγραφές σπάνιες, το sync.RWMutex μπορεί να είναι πιο αποδοτικό. Επιτρέπει σε πολλαπλές goroutines να διαβάζουν ταυτόχρονα, αλλά μπλοκάρει κατά την εγγραφή.
Βραχυπρόθεσμα μπλοκαρίσματα: Προσπαθήστε να κρατάτε τα μπλοκαρίσματα όσο το δυνατόν πιο σύντομα. Όσο περισσότερο μπλοκάρεται ένα mutex, τόσο περισσότερες goroutines περιμένουν, μειώνοντας το παραλληλισμό.
Δοκιμές συνθήκων αγώνα: Χρησιμοποιήστε τη σημαία -race κατά την κατασκευή και την εκτέλεση δοκιμών (go test -race) για να εντοπίσετε συνθήκες αγώνα, συχνά λόγω λανθασμένης χρήσης mutex.

Παράδειγμα χρήσης του defer:

import (
	"sync"
)

type SafeCounter struct {
	mu sync.Mutex
	v  map[string]int
}

// Inc αυξάνει με ασφάλεια τον μετρητή για ένα δοσμένο κλειδί.
func (c *SafeCounter) Inc(key string) {
	c.mu.Lock()
	// Απελευθέρωση κατά την έξοδο από τη λειτουργία.
	defer c.mu.Unlock()
	c.v[key]++
}

// Value επιστρέφει την τρέχουσα τιμή του μετρητή για ένα δοσμένο κλειδί.
func (c *SafeCounter) Value(key string) int {
	c.mu.Lock()
	// Απελευθέρωση μετά την απόκτηση της τιμής.
	defer c.mu.Unlock()
	return c.v[key]
}

Τι πρέπει να θυμάστε όταν εργάζεστε με mutexes σε Go;