Why Might Go의 `go f(); g()` \'21\' 대신 \'20\'을 인쇄하시겠습니까?

Go Lang의 잘못된 동기화

Go 메모리 모델 문서에서는 다음 코드로 인해 g 인쇄 2가 발생할 수 있다고 설명합니다. 0:

var a, b int

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

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

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

설명:

• 변수 a와 b는 함수가 실행되기 전에 0 값(0)으로 초기화됩니다.
• Go 메모리 모델 내의 Happens Before 규칙을 사용하면 컴파일러와 프로세서가 단일 고루틴 내에서 작업 순서를 변경할 수 있습니다. 재정렬이 동작에 영향을 주지 않는 경우.
• f() 함수에서 재정렬이 해당 고루틴에 차이를 만들지 않으면 a와 b에 대한 할당이 지정된 순서로 발생하지 않을 수 있습니다.
• 할당은 f() 함수에 영향을 미치지 않으므로 컴파일러는 효율성을 위해 순서를 변경할 수 있습니다.
• 둘 사이에 동기화가 없기 때문에 제공된 예의 고루틴(예: f() 및 g())에서는 컴파일러가 이들 사이의 일관성을 보장하려고 시도하지 않습니다.
• 그러나 고루틴 간에 동기화를 도입하는 경우 컴파일러는 다음을 보장합니다. 동기화 지점에서 두 할당이 모두 "완료"됩니다. 이는 올바른 값(2와 1)이 g()에 인쇄된다는 의미입니다.

위 내용은 Why Might Go의 `go f(); g()` \'21\' 대신 \'20\'을 인쇄하시겠습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!