Come evitare una situazione di deadlock in un programma Go?

Il blocco mutuo in Go si verifica più frequentemente a causa di un uso scorretto di mutex e canali. Può essere evitato con i seguenti metodi:

• Acquisizione ordinata dei mutex: Quando si acquisiscono più mutex, farlo sempre nello stesso ordine in tutte le goroutine.
• Timeout per i blocchi: Usa contesti con timeout durante l'attesa di blocchi o ricezioni da canali, per evitare attese infinite.
• Canali non bufferizzati: Comprendi che i canali non bufferizzati richiedono sia il mittente che il ricevente per continuare l'esecuzione. Un uso scorretto può portare a blocchi.
• Canali bufferizzati: Scegli correttamente la dimensione del buffer del canale. Un buffer troppo piccolo può causare blocchi se mittenti e ricevitori non sono sincronizzati.
• Utilizzo di select: Quando lavori con più canali, usa l'operatore select con una clausola default o timeout, per non bloccarti in attesa di un solo canale.
• Analisi del codice: Usa analisi statica (go vet, staticcheck) e strumenti per rilevare condizioni di gara (go run -race), che possono anche aiutare a identificare potenziali punti di blocco mutuo.
• Gerarchia delle risorse: Se le risorse hanno una gerarchia, acquisiscile dall'alto verso il basso.
• Evitare dipendenze cicliche: Non creare situazioni in cui la goroutine A aspetta una risorsa occupata da B, e B aspetta una risorsa occupata da A.

Esempio di utilizzo di select con timeout:

import (
	"context"
	"time"
)

func esempio(ch chan int) {
	ctx, cancel := context.WithTimeout(context.Background(), 100*time.Millisecond)
	defer cancel()

	select {
	case val := <-ch:
		// Elaborazione del valore
		_ = val
	case <-ctx.Done():
		// Timeout avvenuto
	}
}