Isso é resultado da otimização do compilador?

Neste trecho de código, uma goroutine é lançada e incrementa repetidamente a variável i:

package main

import "time"

func main() {
    i := 1
    go func() {
        for {
            i  
        }
    }()
    
No entanto, a saída é sempre 1. Esse comportamento pode ser atribuído ao modelo de memória Go e à implementação específica deste código.
O modelo de memória Go
O O modelo de memória Go define as condições sob as quais as leituras de uma variável em uma goroutine podem garantir a observação de valores produzidos por gravações na mesma variável em uma goroutine diferente. Ele enfatiza a importância da sincronização para acesso simultâneo a dados compartilhados.
Omitindo sincronização
No código fornecido:
A atribuição a i (ou seja, i ) não é seguido por nenhum evento de sincronização, indicando que as alterações podem não ser imediatamente visíveis para outras goroutines.
O compilador pode otimizar essa otimização de loop simplificando-o para um ambiente autônomo.
Otimização pelo compilador
Um compilador agressivo pode excluir a instrução i, reduzindo efetivamente a goroutine para:
for {}
Exemplo com sincronização
 
Para demonstrar que o problema decorre da falta de sincronização, considere o seguinte código:
package main

import (
    "sync"
    "time"
)

func main() {
    mx := new(sync.Mutex)
    i := 1
    go func() {
        for {
            mx.Lock()
            i  
            mx.Unlock()
        }
    }()
    
Nesse caso, a saída não é mais 1, mas um número grande, como esperado. O sync.Mutex fornece sincronização e garante que ambas as goroutines acessem i de maneira controlada, permitindo que a goroutine incremente i e tornando as alterações visíveis para a rotina principal.