Мнение Программного комитета о докладе
Если вы хотите узнать, как проверить валидность того, что вы написали. И даже до того, как написан код.
От алгоритма до прода: как подойти к верификации распределенных систем
Доклад принят в программу конференции
Целевая аудитория
Разработчики распределенных систем / баз данных.
Тезисы
Команда инфраструктуры ВКонтакте разрабатывает распределенные системы, цена ошибки в которых очень велика, потому что это фундамент для бесперебойной работы всего vk.com. В докладе поделюсь опытом, который мы наработали в ходе верификации наших систем. Расскажу, как проверяем, что система будет отвечать заданным требованиям даже в случае различных повреждений в кластере — от сети до дисков.
Пройдемся по всем этапам от зарождения идеи до ее реализации и разберём, как на каждом из них понять, что корректность не нарушена. Поговорим про TLA/TLC+, fuzzing и причинах, почему нам пришлось написать "свой" Jepsen.
Вот уже больше 8 лет плотно сидит на Go. Пишет разной степени сложности бэкенды и насаждает Effective Go где только возможно :)
VK, Вконтакте
ВКонтакте — крупнейшая социальная сеть в России и странах СНГ. Их миссия — соединять людей, сервисы и компании, создавая простые и удобные инструменты коммуникации.
Видео
Другие доклады секции
Архитектуры и масштабируемость
