Работа посвящена исследованию архитектуры безопасного доступа к полям структур хранилища в высоконагруженных микросервисах на Go. В условиях обработки сотен тысяч запросов стандартные механизмы синхронизации (sync.RWMutex, атомики) создают узкие места. Для решения проблемы предлагается архитектурный подход, разделяющий код на пакеты только для чтения и только для записи. В режиме чтения горутины обращаются к полям без блокировок, в режиме записи данные изменяет только одна горутина, что исключает условия для гонки данных. Для контроля соблюдения правил разработан статический анализатор (линтер), который проверяет синтаксическое дерево на наличие запрещенных записей в пакетах, предотвращая косвенное изменение. Доказана работоспособность архитектуры и создан инструмент для её внедрения.

Веселов И.П. (науч. рук. Петухов П.Н.) Исследование архитектуры безопасного доступа к полям структур хранилища и статического анализа гонок через линтер в проектах на go // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2026]. URL: https://kmu.itmo.ru/digests/article/16392