Go의 동시 실행으로 인해 예상치 못한 변수 값이 발생할 수 있는 이유는 무엇입니까?

GoLang의 잘못된 동기화

GoLang 메모리 모델 문서에 따르면 다음 코드는 g 인쇄 2 다음에 0이 나올 수 있다고 나와 있습니다.

var a, b int

func f() {
    a = 1
    b = 2
}

func g() {
    print(b)
    print(a)
}

func main() {
    go f()
    g()
}

잘못된 동기화의 원인

이 동작은 비동기식으로 인해 발생합니다. Go 루틴의 성격. 함수 실행 전에 변수 a와 b는 각각 0 값(0)으로 초기화됩니다. f() 함수는 이러한 변수를 수정하고 g() 함수는 이후 해당 값을 인쇄합니다.

고루틴 내에서 언어 사양은 프로그램에서 지정한 순서대로 읽기 및 쓰기가 발생하도록 보장합니다. 그러나 작업 순서 변경은 고루틴의 동작에 영향을 주지 않고 발생할 수 있습니다.

f() 고루틴에서 컴파일러는 b와 a에 대한 할당 순서를 변경하여 최적화할 수 있습니다. 고루틴은 할당 후 이러한 변수를 사용하지 않으므로 재정렬이 동작에 영향을 미치지 않습니다.

동기화 고려 사항

반면, 고루틴 간의 동기화에는 일관성이 필요합니다. 동기화 지점에서 컴파일러는 모든 할당이 완료되었음을 보장하여 g() 고루틴이 읽을 때 a와 b 모두 할당된 값을 갖도록 보장합니다. 이렇게 하면 수정된 값(2 및 1)이 올바르게 인쇄됩니다.

위 내용은 Go의 동시 실행으로 인해 예상치 못한 변수 값이 발생할 수 있는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!