Pourquoi ma Goroutine incrémentant une variable produit-elle des résultats inattendus ?

Est-ce un résultat de l'optimisation du compilateur ?

Dans cet extrait de code, une goroutine est lancée et incrémente à plusieurs reprises la variable i :

<code class="go">package main

import "time"

func main() {
    i := 1
    go func() {
        for {
            i++
        }
    }()
    <-time.After(1 * time.Second)
    println(i)
}</code>

Cependant, la sortie est toujours 1. Ce comportement peut être attribué au modèle de mémoire Go et à l'implémentation spécifique de ce code.

Le modèle de mémoire Go

Le modèle de mémoire Go définit les conditions sous lequel les lectures d'une variable dans un goroutine peuvent être garanties pour observer les valeurs produites par les écritures dans la même variable dans un goroutine différent. Il souligne l'importance de la synchronisation pour l'accès simultané aux données partagées.

Omettre la synchronisation

Dans le code donné :

• L'affectation à i (c'est-à-dire i ) n'est suivi d'aucun événement de synchronisation, indiquant que les modifications peuvent ne pas être immédiatement visibles par les autres goroutines.
• Le compilateur peut optimiser cette optimisation de boucle en la simplifiant à un non-op.

Optimisation par le compilateur

Un compilateur agressif peut supprimer l'instruction i, réduisant ainsi la goroutine à :

<code class="go">for {}</code>

Exemple avec synchronisation

Pour démontrer que le problème provient du manque de synchronisation, considérons le code suivant :

<code class="go">package main

import (
    "sync"
    "time"
)

func main() {
    mx := new(sync.Mutex)
    i := 1
    go func() {
        for {
            mx.Lock()
            i++
            mx.Unlock()
        }
    }()
    <-time.After(1 * time.Second)
    mx.Lock()
    println(i)
    mx.Unlock()
}</code>

Dans ce cas, la sortie n'est plus 1, mais un grand nombre, comme prévu. Le sync.Mutex assure la synchronisation et garantit que les deux goroutines accèdent à i de manière contrôlée, permettant à la goroutine d'incrémenter i et rendant les modifications visibles à la routine principale.

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!