Расскажи про модель памяти в Go — как она устроена?

Модель памяти в Go определяет, как операции чтения и записи переменных видны разным горутинам в условиях конкурентного выполнения. В Go модель памяти основана на принципах последовательной согласованности (sequential consistency) с некоторыми упрощениями.

Основные моменты:

• Горутины и память: Горутины могут работать с общими переменными, но без синхронизации изменения могут быть не видны другим горутинам.
• Синхронизация: Для гарантированной видимости изменений между горутинами нужно использовать механизмы синхронизации из пакета sync (например, мьютексы, условные переменные) или каналы.
• Память и операции: Операции записи в память и чтения из неё могут быть переупорядочены компилятором или процессором, если нет синхронизации.
• Память и каналы: Отправка и получение по каналу создают «памятные барьеры», обеспечивая видимость изменений.

Пример:

var x int
var wg sync.WaitGroup

func writer() {
    x = 42
    wg.Done()
}

func reader() {
    wg.Wait()
    fmt.Println(x) // гарантированно увидит 42
}

wg.Add(1)
go writer()
go reader()

Здесь wg гарантирует, что запись x=42 завершится до чтения, обеспечивая корректную видимость.

Таким образом, модель памяти Go требует явной синхронизации для корректного обмена данными между горутинами.