Come si possono prevenire i deadlock in un ambiente multithread?

Per prevenire deadlock in ambienti multithread, si possono adottare diversi approcci:

• Evitare blocchi annidati: cercare di non acquisire più mutex contemporaneamente.
• Definire un ordine per l'acquisizione delle risorse: bloccare i mutex nello stesso ordine in tutti i thread.
• Usare timeout durante l'acquisizione dei blocchi: se il blocco non viene ottenuto in un tempo stabilito, rilasciare le risorse già acquisite e riprovare.
• Applicare strutture di sincronizzazione di livello superiore: ad esempio, i canali in Go, che evitano blocchi espliciti.

Esempio di acquisizione ordinata di mutex in Go:

var mu1, mu2 sync.Mutex

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

    mu2.Lock()
    defer mu2.Unlock()

    // lavoro con le risorse
}

È importante che tutte le funzioni che acquisiscono questi mutex lo facciano nello stesso ordine.