Atomic.StoreUint32와 Sync.Once의 일반 할당 비교

Go의 sync.Once 컨텍스트에서omic.StoreUint32 작업은 다음과 같습니다. done 필드를 1로 설정하는 일반 할당보다 선호됩니다. 이 기본 설정은 sync.Once.

Sync.Once 보장

Sync.Once는 Do 메서드에 전달된 함수가 한 번만 실행되도록 합니다. 이 보장을 유지하려면 함수가 이미 실행되었는지 여부를 나타내는 done 필드를 원자적으로 업데이트해야 합니다.

일반 할당의 제한

정상 할당의 경우 사용되었으므로(o.done = 1과 동일) 메모리 모델이 약한 아키텍처에서는 이 보장을 보장할 수 없습니다. 이러한 아키텍처에서는 하나의 고루틴에 의한 변경 사항이 다른 고루틴에 즉시 표시되지 않을 수 있으며, 이로 인해 여러 고루틴이 일회성 실행 요구 사항을 위반하여 함수를 호출하게 될 수 있습니다.

Atomic.StoreUint32 작업

atomic.StoreUint32는 모든 고루틴에서 쓰기의 가시성을 보장하는 원자적 작업입니다. 이를 사용하여 완료 필드를 설정함으로써 sync.Once는 함수를 완료로 표시하기 전에 모든 고루틴이 함수 실행의 효과를 관찰하도록 보장합니다.

원자적 연산 범위

sync.Once에 사용되는 원자적 작업은 주로 빠른 경로를 최적화하는 데 사용된다는 점에 유의하는 것이 중요합니다. o.m.Lock() 및 o.m.Unlock()을 통해 동기화된 뮤텍스 외부의 완료 플래그에 대한 액세스는 엄격하게 순서가 아닌 안전만 필요합니다. 이 최적화를 통해 정확성을 희생하지 않고 핫 경로에서 효율적인 실행이 가능합니다.

동시 액세스 고려 사항

함수 실행이 뮤텍스로 보호되더라도 완료 필드를 읽는 것은 데이터 경주. 결과적으로, 올바른 가시성을 보장하기 위해 필드를 읽는 데omic.LoadUint32가 사용됩니다. 마찬가지로, atomic.StoreUint32는 함수 실행 후 필드를 업데이트하는 데 사용되어 완료 플래그가 설정되기 전에 다른 고루틴이 함수 완료를 관찰하도록 보장합니다.

요약하자면, 일반 할당보다omic.StoreUint32가 선호됩니다. sync.Once는 그것이 제공하는 원자 가시성으로 인해 메모리 모델이 약한 아키텍처에서도 함수가 한 번만 실행된다는 보장을 유지합니다. 이 최적화는 빠른 경로의 성능을 향상시키기 위해 적용됩니다.