Особенности и ловушки модели памяти в Go: Пути к корректной синхронизации и ошибки в некорректной
Доклад принят в программу конференции
Целевая аудитория
Go разработчики, которым было бы интересно по-другому взглянуть на параллельное программирование в Go
Тезисы
Большинство программистов на Go, когда пишут параллельный код, знают о примитивах синхронизации, но даже не задумываются о том, что за всем этим стоит формальная теория.
В докладе расскажу про memory model Go, сравню её с другими языками программирования, затрону теорию линеаризации и расскажу про барьеры памяти.
На практике разберу нетривиальные примеры корректной и некорректной синхронизации
Работает в финтехе Яндекса, любит Go, преподает в университете и на частных курсах.
Яндекс
Яндекс — технологическая компания, которая создает инновационные продукты на основе машинного обучения и нейронных сетей. Команда талантливых математиков и программистов развивает самую популярную в России поисковую систему и более 85 пользовательских сервисов, которые помогают людям в повседневных заботах.
