¿Esto se debe a que el compilador de Go optimizó el código?

El problema no es una optimización por parte del compilador de Go, sino más bien una falta de sincronización. La asignación a i no va seguida de ningún evento de sincronización, por lo que no se garantiza que sea observada por ninguna otra rutina. De hecho, un compilador agresivo podría eliminar toda la declaración i.

El modelo de memoria Go

El modelo de memoria Go especifica las condiciones bajo las cuales se lee una variable en una Se puede garantizar que la rutina observe los valores producidos por las escrituras en la misma variable en una rutina diferente.

Para serializar el acceso, proteja los datos con operaciones de canal u otras primitivas de sincronización como las de los paquetes sync y sync/atomic.

Si debes leer el resto de este documento para comprender el comportamiento de tu programa, estás siendo demasiado inteligente. No seas inteligente.

Sincronización

En el siguiente ejemplo, la asignación a a no va seguida de ningún evento de sincronización, por lo que no se garantiza que se observe por cualquier otra rutina. De hecho, un compilador agresivo podría eliminar toda la declaración go.

var a string

func hello() {
  go func() { a = "hello" }()
  print(a)
}

El siguiente ejemplo muestra cómo serializar el acceso a i usando un paquete sync.Mutex.

package main

import (
    "sync"
    "time"
)

func main() {
    mx := new(sync.Mutex)
    i := 1
    go func() {
        for {
            mx.Lock()
            i  
            mx.Unlock()
        }
    }()