Что такое memory model в Go?

Memory model описывает правила видимости записей в память между горутинами. Без синхронизации нет гарантий, что запись в одной горутине будет видна в другой. Go memory model определяет, какие конструкции (каналы, мьютексы, atomic) создают happens-before отношения. Документ короткий, но важный — без его понимания легко написать код с тонкими багами.