L'affectation des variables Golang est-elle atomique ?

En golang, l'affectation des variables n'est pas atomique. La raison en est la suivante : en programmation simultanée, une opération atomique fait référence à une opération qui ne sera pas interrompue par un autre code exécuté simultanément pendant l'exécution. L'opération d'affectation de variable peut impliquer plusieurs étapes, telles que l'allocation de mémoire, l'écriture de valeurs, etc. Ces étapes ne sont pas atomiques.

Le système d'exploitation de ce tutoriel : système windows10, version go1.20.1, ordinateur Dell G3.

En langage Go, l'affectation des variables n'est pas atomique.

Dans la programmation simultanée, les opérations atomiques font référence à des opérations qui ne seront pas interrompues par d'autres codes exécutés simultanément pendant l'exécution. L'opération d'affectation de variable peut impliquer plusieurs étapes, telles que l'allocation de mémoire, l'écriture de valeurs, etc. Ces étapes ne sont pas atomiques.

Par conséquent, en programmation simultanée, si plusieurs goroutines attribuent des valeurs à la même variable en même temps, cela peut entraîner des problèmes de condition de concurrence. Afin de résoudre ce problème, le langage Go fournit des primitives de concurrence telles que mutex et package atomique pour synchroniser et protéger lors de l'accès aux variables partagées.

Ce qui suit est un exemple de code qui illustre la situation dans laquelle l'affectation de variable n'est pas atomique :

go

package main  
  
import (  
 "fmt"  
 "sync"  
)  
  
var (  
 counter int  
 mutex   sync.Mutex  
)  
  
func main() {  
 var wg sync.WaitGroup  
 for i := 0; i < 1000; i++ {  
 wg.Add(1)  
 go func() {  
 defer wg.Done()  
 mutex.Lock()  
 counter++  
 mutex.Unlock()  
 }()  
 }  
 wg.Wait()  
 fmt.Println(counter) // 输出结果可能不是1000，因为多个goroutine同时修改counter会导致竞态条件。  
}

Dans l'exemple ci-dessus, plusieurs goroutines ajoutent 1 à la variable du compteur en même temps puisqu'aucun mutex n'est utilisé pour la protection. , cela provoquera une condition de concurrence critique. Le résultat de sortie peut ne pas être 1000. Le résultat spécifique dépend de l'ordre d'exécution et de l'heure de goroutine. Afin de garantir l'exactitude de la variable compteur, nous utilisons un mutex mutex pour protéger l'accès au compteur.

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!