Maison > Article > développement back-end > Pourquoi ma Goroutine incrémentant une variable produit-elle des résultats inattendus ?
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 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.
Dans le code donné :
Un compilateur agressif peut supprimer l'instruction i, réduisant ainsi la goroutine à :
<code class="go">for {}</code>
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!