Девять лет в распределённых системах

Здравствуйте! Я Владимир Савкин, системный архитектор и технический руководитель. Девять лет проектирую высоконагруженные распределённые системы: связь, страхование, авиаперевозки, промышленное производство.

По образованию математик-программист. Там, где считаются деньги, цена ошибки измеряется в миллионах, поэтому я не полагаюсь только на тесты: правила обращения с деньгами доказываю формально, ещё на этапе проектирования.

Образование

Омский государственный технический университет. Магистр по направлению «Математическое обеспечение и администрирование информационных систем» (2017) и магистр факультета элитного образования по фундаментальной информатике (2019). Английский — B2 (продолжаю практиковать).

Работа

White-label платформа дистрибуции eSIM · 2025–2026

Пришёл старшим разработчиком, через три месяца стал системным архитектором и техническим руководителем. SaaS-агрегатор eSIM: платформа подключает провайдеров связи, забирает их тарифы и поток трафика, а партнёры перепродают eSIM под своим брендом. Наценка каскадно начисляется по иерархии в четыре уровня поверх тарифа провайдера, трафик тарифицируется почти в реальном времени. Деньги считаются на каждом уровне, и ошибка в копейку разрастается по всей цепочке.

• Отказался от развития старой системы в пользу новой архитектуры. Прежняя версия держала не больше трёх партнёров одновременно; новая рассчитана на миллионы профилей и выдерживает пиковые выгрузки провайдера без потери данных.
• Пересобрал объём контракта на ядро и приращения: приёмка началась раньше готовности всего объёма. Дополнительные работы по безопасности и целостности данных уместились в исходный бюджет, потому что были заложены при проектировании.
• Спроектировал и вёл шесть сервисов на .NET 8 плюс сервис обработки трафика на Go. Четыре из них написал в одиночку.
• Конвейер тарификации: с ~100 до ~2 860 сообщений в секунду. Потолок в 5–7 млн профилей посчитан по реальному потоку, момент апгрейда определён заранее.
• 302 формально доказанных утверждения о работе платформы в 16 моделях на SMT-решателе. 2943 автотеста на каждом изменении за четыре минуты — в прежней версии тестов не было.
• Выкладка на прод: с 50 минут с простоями до 3–5 минут без простоя.
• Выстроил процесс поставки с нуля, провёл найм тестировщика, вывел фронтенд-разработчика из замороженного проекта. После ухода технического директора вёл проект целиком.

Раньше

Проекты для S7 Airlines и Ингосстраха · 2021–2024

• Платформа закупок S7: авиакомпания публикует потребности, поставщики отвечают предложениями. MVP с нуля за полгода. Ответы китайских поставщиков приходили письмами и вносились вручную по полчаса каждое — стали разбираться автоматически.
• Учёт трудозатрат S7 показывал данные двенадцатичасовой давности — стал показывать их сразу, без изменения устройства системы.
• Ингосстрах: обнаружил, что пуш-уведомления в мобильном приложении не работали около года и никто об этом не знал. Восстановил, переписал, рассчитал под пиковые рассылки. Внедрил вход через Госуслуги.
• Наставлял начинающих разработчиков на каждом проекте, проводил собеседования, замещал руководителя команды.

Измерительное оборудование · 2019–2021

• Довёл точность стендов развал-схождения до уровня мирового лидера отрасли. Компания получила отраслевой сертификат.
• Спроектировал подсистему измерений с запасом под будущие модели оборудования.
• Переписал около половины кодовой базы под модульные тесты, внедрил непрерывную сборку.

Проект для Газпром нефти · 2017–2019

• Система планирования производства: оптимизировал математическую модель на симплекс-методе и внёс в неё ограничения, которые до этого обходились эвристиками.
• Написал модуль работы с временными интервалами — ядро планирования: расписания, окна доступности оборудования.

Как работаю

Архитектура — это решения, которые дорого менять потом. Отсюда правила:

• Каждое значимое решение записываю: контекст, варианты, выбор, последствия — включая негативные. Через год документ отвечает на вопрос «почему так» без моего участия.
• Сначала модель, потом код. Перед чтением чужой системы моделирую, как она должна работать: какие операции есть, какая у каждой обратная, кто что теряет, если операция пойдёт не так. Потом читаю код и ищу расхождения.
• Машина состояний — это спецификация. Читаю её как бизнес-требования: есть ли тупики, копятся ли сущности без пути назад, есть ли статус, который открывает всё.
• Проверка описывается до прогона: ожидание пишется раньше факта, иначе факт подгоняется под ожидание. Один этап работы — один этап проверки, сразу.
• Задачи режу на куски не длиннее рабочего дня. Так видно движение, и не копится незавершённое.
• Риски приношу заказчику письменно, заранее и с вариантами решения — до того, как они станут срывом.

Инструменты

.NET 8 и C# как основной стек, Go — там, где нужен поток данных. PostgreSQL, ClickHouse, RabbitMQ, Docker, Kubernetes. Формальная верификация — Z3 и SMT-LIB.

Разработка с ИИ-агентом

На последнем проекте выстроил процесс, в котором агент пишет код в рамках принятой архитектуры. Для этого написал собственный набор из полутора десятков навыков: как заводить сущность, репозиторий, контроллер, доменное событие; как писать тесты; как проводить ревью по решениям проекта; какой паттерн выбирать и когда не выбирать никакой. Отдельный навык задаёт дисциплину длинной работы: план с состояниями и критериями завершения, проверка каждого этапа сразу, а не в конце. Результат агента проходит тесты и ручное ревью — он ускоряет написание, но не заменяет проверку.

Тем же способом написаны SMT-спецификации и код по ним. Спецификация и реализация шли из одного источника, совпадение проверялось тестами и вручную — поэтому они не разъехались за время разработки.

Дообучение моделей и оркестрация процессов — отдельный интерес, в рабочих задачах применяю по мере необходимости.

Открытый код

• Web Holy Grail — мой флагманский продукт: фундамент для собственных сайтов на Next.js 15 и Payload CMS 3. Сайт растёт от визитки до портала внутри одного репозитория, без переезда на другой стек. Публичная документация с обоснованием выбора стека. Лицензия MIT. На нём работает и эта страница.
• DotNetSolutionKit — шаблон солюшена микросервисной системы на .NET 8, лицензия MIT. Первый прогон разворачивает каркас, каждый следующий добавляет сервис. На нём построена платформа, о которой сказано выше: инфраструктуру развернули за сутки, дальше команда писала бизнес-логику.