Pourquoi le code utilisant des verrous est-il parfois conduit à la panique?

Serrures et panique dans la programmation simultanée du langage GO: une analyse de cas

Cet article traite d'un problème de programmation de concurrence en langage GO commun: Même si Mutex est utilisé, le code peut toujours avoir panic: send on closed channel . Analysons l'extrait de code suivant:

 package principal

importer (
    "contexte"
    "FMT"
    "sync"
)

Var Lock Sync.Mutex

func main () {
    C: = Make (Chan Int, 10)
    wg: = sync.waitgroup {}
    ctx, annuler: = context.withcancel (context.todo ())

    wg.add (1)
    aller func () {
        différer wg.done ()
        lock.lock ()
        Annuler()
        fermer (c)
        lock.unlock ()
    } ()

    // ... (Certains du code des expéditeurs sont omis) ...
}

Dans ce code, un Goroutine est responsable de la fermeture du canal c et de l'utilisation lock pour protéger la section critique. Cependant, même avec la protection des serrures, panic: send on closed channel peut toujours apparaître.

La raison en est le comportement non déterministe de l'instruction GO Language select . La spécification du langage GO indique que s'il y a plusieurs cas dans l'instruction select qui peuvent être exécutés, le GO Runtime sélectionnera au hasard une exécution. Par conséquent, même si close(c) a été exécuté, une autre instruction select (expéditeurs) peut toujours essayer d'envoyer des données à c , entraînant une panique.

Même si lock garantit que close(c) et les opérations d'envoi ne se produisent pas simultanément, la fonction de sélection aléatoire de l'instruction select permet d'essayer d'envoyer des données après close(c) , en particulier dans des environnements de concurrence élevés.

Par conséquent, la solution n'est pas seulement une serrure. Une approche plus sûre est:

• Vérifiez si le canal est fermé avant d'envoyer des données: Utiliser if !isClosed := c == nil; isClosed pour vérifier l'état du canal.
• Utilisez un canal tamponné et contrôlez la taille du tampon: définissez la taille du tampon raisonnablement pour réduire la concurrence.
• Contrôle de concurrence plus clair: repenser la logique de code pour éviter le traitement simultanément des opérations d'envoi et de réception dans des instructions select . Par exemple, utilisez un canal séparé pour coordonner l'exécution du goroutine.

En bref, dans la programmation simultanée, se fier uniquement aux serrures n'évite pas complètement toutes les situations de panique. Il est nécessaire de combiner les caractéristiques du modèle de concurrence du langage GO et de sélectionner les stratégies de contrôle de concurrence appropriées pour rédiger des programmes de concurrence robustes et fiables.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!