Игорь Панасюк на GolangConf 2025

Особенности и ловушки модели памяти в Go: Пути к корректной синхронизации и ошибки в некорректной

Вопросы языкознания

Google Outlook Apple

Доклад принят в программу конференции

Мнение Программного комитета о докладе

Описание модели памяти Go начинается со слов "если вы читаете этот документ - вы излишне умный, остановитесь". Многие остановились, но Игорь - нет, он изучил модель памяти и по документам, и на практике. Теперь этот излишне умный человек готов поделиться с нами знанием!

Целевая аудитория

Go-разработчики, которым было бы интересно по-другому взглянуть на многопоточное программирование, научиться формально обосновывать корректность программ и использовать продвинутые техники

Тезисы

Большинство программистов, работая с многопоточным кодом, осведомлены о примитивах синхронизации, однако мало кто задумывается о существующей за этим сложной теорией.

В рамках доклада расскажу о моделе памяти Go, понятным языком объясню отношение happens before, затрону барьеры памяти, обычные и продвинутые (STM и flat combining) способы синхронизации

Игорь Панасюк

Яндекс

Работает в финтехе Яндекса, любит Go, преподает в университете и на частных курсах.