동기화의 원자 메모리 순서.Once

동기화의 소스 코드를 탐색하는 동안 우리는 원자를 사용하는 이유를 우연히 발견했습니다. o.done = 1과 같은 표준 할당 대신 StoreUint32.

Go의 메모리 순서 지정

동시 프로그래밍의 기본 개념은 메모리 순서 지정으로, 이는 공유 메모리를 보장합니다. 액세스는 모든 프로세서에서 일관되게 관찰됩니다. 그러나 다양한 아키텍처는 메모리 순서를 다르게 구현하므로 프로그래머에게 문제가 됩니다.

Go는 균일한 메모리 모델을 제공하고 편안하지만 일관된 메모리 순서를 적용하여 이 문제를 해결합니다. 모든 메모리 액세스는 비동기식으로 간주되며 원자성이나 순서가 보장되지 않습니다.

동기화의 원자적 작업.Once

완벽한 메모리 모델에도 불구하고 Go는 다음을 요구합니다. 지원되는 모든 아키텍처에서 정확성을 보장하기 위해 공유 메모리 액세스에 원자적 작업을 사용합니다. sync.Once에서는 done 플래그를 안전하게 업데이트하기 위해atom.StoreUint32가 사용되어 플래그가 1로 설정되기 전에 다른 고루틴이 f()의 효과를 관찰할 수 있도록 보장합니다.

빠른 경로 최적화

atomic.StoreUint32는 빠른 동기화 경로에 활용됩니다.Once는 안전을 유지하면서 성능을 최적화합니다. 완료 플래그는 먼저 원자.LoadUint32로 확인한 다음 원자.StoreUint32로 작성합니다. 쓰기와 동시에 플래그를 읽는 것은 데이터 경쟁이기 때문입니다.

뮤텍스 보호

doSlow에서 사용되는 뮤텍스는 동시 쓰기로부터 완료 플래그를 보호하는 역할을 합니다. 읽기 작업이므로 뮤텍스 없이도 플래그를 읽을 수 있지만 데이터 손상을 방지하려면 동시 쓰기를 동기화해야 합니다.

요약하면 sync.Once에서omic.StoreUint32를 사용하는 것은 다음과 같은 결과입니다. Go의 편안한 메모리 모델과 지원되는 모든 아키텍처에서 스레드 안전성을 보장해야 하는 필요성. 원자성 작업을 사용함으로써 sync.Once는 공유 메모리에 대한 동시 액세스를 안전하게 조정하는 동시에 빠른 경로에서 성능을 최적화할 수 있습니다.