История для тех, кто может в С++ 🦾Решили мы прокачать базы данных ВКонтакте, чтобы работали быстрее и надёжнее, — переписали рантайм движков, заодно и кодить стало проще. Только много получилось конкурентных структур данных, а их перед выводом в прод надо верифицировать.
Читайте увлекательную статью разработчика Ильи Кокорина о том, как его команда вместе со студентами ИТМО и СПбГУ проверяла конкурентные структуры данных, приручала корутины в С++ и ловила хитрую ошибку в новом рантайме БД.