Uso adecuado de las operaciones atómicas en la sincronización de Go. Una vez

En el contexto de la sincronización de Go. Una vez implementada, es fundamental comprender el distinción entre la asignación normal y la operación atómica.StoreUint32 al configurar el indicador hecho.

El incorrecto Implementación

Inicialmente, la función Do en once.go utilizó el siguiente enfoque:

if atomic.CompareAndSwapUint32(&o.done, 0, 1) {
    f()
}

Esta implementación no garantiza que la ejecución de f esté completa al regresar Do. Dos llamadas simultáneas a Do podrían dar como resultado que la primera llamada llame exitosamente a f, mientras que la segunda llamada regresa prematuramente, creyendo que f ha terminado, aunque no lo haya hecho.

Operación de almacén atómico

Para solucionar este problema, Go emplea la operación atomic.StoreUint32. A diferencia de la asignación normal, atomic.StoreUint32 garantiza la visibilidad del indicador de finalización actualizado para otras rutinas.

Consideraciones del modelo de memoria

El uso de operaciones atómicas en sincronización.Una vez es no está influenciado principalmente por el modelo de memoria de la máquina subyacente. El modelo de memoria de Go actúa como una abstracción unificadora, asegurando un comportamiento consistente en diferentes plataformas de hardware, independientemente de sus modelos de memoria específicos.

Ruta rápida optimizada

Para optimizar el rendimiento, sincroniza .Once emplea una ruta rápida para escenarios comunes donde el indicador Listo ya está configurado. Esta ruta rápida utiliza atomic.LoadUint32 para verificar el indicador listo sin adquirir el mutex. Si la bandera está configurada, la función regresa inmediatamente.

Ruta lenta con Mutex y Atomic Store

Cuando la ruta rápida falla (es decir, la opción terminada inicialmente no está configurada), Se entra en el camino lento. Se adquiere un mutex para garantizar que solo una persona que llama pueda proceder a ejecutar f. Una vez que se completa f, atomic.StoreUint32 se usa para establecer el indicador de finalización, haciéndolo visible para otras gorutinas. atómicamente, no hace que las lecturas simultáneas sean seguras. Leer el indicador fuera de la sección crítica protegida requiere el uso de atomic.LoadUint32. Sin embargo, las lecturas directas dentro de la sección crítica son seguras debido a que el mutex proporciona exclusión mutua. memoria subyacente モデル y para evitar carreras de datos. La combinación de operaciones atómicas y mutex proporciona optimizaciones de rendimiento y garantías de corrección.