Что гарантирует happens-before?

Happens-before — это отношение между событиями: если A happens-before B, то эффекты A видны в B. Например: Unlock mutex happens-before следующий Lock того же mutex. Отправка в канал happens-before приём из этого канала. go f() happens-before начало выполнения f(). Без этих гарантий нет никаких обещаний о видимости данных между горутинами.