동시 goroutine이 공유 변수를 증가시킬 때 Go 프로그램의 출력이 항상 1인 이유는 무엇입니까?

go 컴파일러가 코드를 최적화했기 때문일까요?

제공되는 Go 코드에서 변수 i는 메인 고루틴과 go func() { ... }()를 사용하여 생성된 동시 고루틴. 동시 고루틴의 목적은 i를 무한정 증가시키는 것입니다. 그러나 프로그램을 실행할 때 동시 고루틴에는 i를 여러 번 증가시킬 충분한 시간이 있기 때문에 훨씬 더 큰 숫자를 예상했음에도 불구하고 출력이 항상 1이라는 것을 알 수 있습니다.

이 동작을 이해하려면 다음을 수행해야 합니다. Go 메모리 모델과 컴파일러의 최적화를 고려하십시오.

Go 메모리 모델

Go 메모리 모델은 하나의 고루틴에서 변수 읽기가 보장될 수 있는 조건을 지정합니다. 다른 고루틴에서 동일한 변수에 대한 쓰기로 생성된 값을 관찰합니다.

Go 메모리 모델에 따르면, 공유 변수의 변경 사항이 고루틴 전체에 표시되려면 다음과 같은 동기화 이벤트가 뒤따라야 합니다. 채널 작업 또는 뮤텍스 잠금.

컴파일러 최적화

귀하의 예에서 동시 goroutine 내에서 i에 대한 할당 뒤에는 동기화 이벤트가 발생하지 않습니다. 결과적으로 메인 고루틴에서 할당이 관찰된다는 보장이 없으며 컴파일러는 적합하다고 판단되는 대로 코드를 자유롭게 최적화할 수 있습니다.

공격적인 컴파일러는 증분 연산을 완전히 제거하여 코드를 최적화할 수 있습니다. , 동시 고루틴을 아무것도 하지 않는 무한 루프로 효과적으로 줄입니다. 이 최적화는 메인 고루틴이 동시 고루틴에 의해 수행된 증분을 절대 관찰하지 않기 때문에 출력이 항상 1인 이유를 설명합니다.

공유 변수에 대한 업데이트가 고루틴 전체에 올바르게 전파되도록 하려면 액세스를 동기화하는 것이 중요합니다. Go의 동기화 및 동기화/원자 패키지에서 제공하는 채널, 뮤텍스 또는 기타 동기화 프리미티브를 사용하여 해당 변수에 적용합니다.

위 내용은 동시 goroutine이 공유 변수를 증가시킬 때 Go 프로그램의 출력이 항상 1인 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!