Что такое happens-before relationship?

Happens-before — если событие A happens-before B, то эффекты A видны в B. В Go гарантии: запись в канал happens-before чтение из канала, Lock happens-before Unlock, запуск горутины happens-before её первой инструкции. Без happens-before связи — нет гарантий видимости. Пример: x = 1; ch <- true — получатель ch гарантированно увидит x=1. Но x = 1; go func() { print(x) }() без синхронизации — data race, может напечатать 0.