Доклады и подкасты
2022, Highload: О чём я говорю, когда говорю о фаззинге компиляторов
Материалы: cлайды.
Любая программа, запущенная на компьютере, была создана компилятором и, так как
компиляторы являются важной частью инфраструктуры для создания программного
обеспечения, их корректность имеет первостепенное значение. Чтобы проверить и
повысить правильность поведения компиляторов, значительные усилия во время
разработки направлены на тестирование компиляторов.
В Tarantool за поддержку языка Lua отвечает LuaJIT, который включает в себя как
среду исполнения языка, так и трассирующий JIT-компилятор. Мы решили
использовать фаззинг-тестирование для LuaJIT, потому что стандартное
тестирование не позволяет выявить все проблемы во время разработки. Несмотря на
популярность рандомизированного тестирования и множество доступных инструментов
для фаззинга, нам пришлось изучить методы, показавшие эффективность при
тестировании других компиляторов, и разработать собственные инструменты. Мы
попробовали фаззинг без грамматики, фаззинг с грамматикой на основе LibFuzzer и
LibProtobufMutator, собственный мутатор для Lua-программ и проверку оптимизаций
с помощью SMT-решателя.
В докладе я расскажу про различные аспекты проблемы тестирования корректности
компилятора, в том числе то, как генерировать случайные программы, какие
тестовые оракулы использовать для определения того, правильно ли ведет себя
компилятор, как эффективно выполнять тесты компилятора и эффективных методах
тестированиях компиляторов на основе нашего опыта тестирования LuaJIT.
Тезисы доклада на сайте конференции.
2022, Heisenbug: Делаем фаззер для Lua на основе LibFuzzer
Материалы: cлайды.
Один из компонентов СУБД Tarantool — это сервер приложений на Lua, который
предоставляет Lua API к самой СУБД и четырем десяткам вспомогательных модулей.
До сих пор тестирование функциональности с помощью Lua ограничивалось
тестированием на основе примеров. Рандомизированное тестирование было
ограничено из-за отсутствия поддержки Lua в фаззерах. Спикер реализовал
поддержку фаззинга Lua-скриптов в популярных движках American Fuzzy Lop и
libFuzzer, что позволило найти проблемы, которые не находили другие тесты.
Доклад будет интересен всем, кто разрабатывает серверное ПО, интересуется
рандомизированным тестированием или планирует добавить поддержку нового языка в
AFL или libFuzzer. Знание Lua не потребуется.
Тезисы доклада на сайте конференции.
2022, Highload: Jepsen с человеческим лицом
Материалы: видео, cлайды
2020, Подкаст GenericTalks: S02E07 - Тестирование Системного Програмного Обеспечения
2016, Heisenbug: Просто о сложном в тестировании СУБД на примере PostgreSQL
Материалы: видео, слайды.
В наше время базы данных используются повсеместно: от интернет-форума для
хранения сообщений пользователей до распределённых поисковых систем для
хранения индексов отсканированных веб-страниц. Да что там говорить — сейчас
встраиваемые БД есть в любом телефоне. PostgreSQL давно заняла нишу надёжной,
расширяемой, реляционной базы данных, которая находит применение и в простом
интернет-сервисе, и в высоконагруженном портале, как Avito или Яндекс.Почта. В
компании PostgresPro Сергей и команда занимаются разработкой новой
функциональности для PostgreSQL под нужды заказчиков. Сергей расскажет о
проблематике тестирования баз данных и о своём опыте того, как добивается
качества в разработке PostgreSQL.
2016, Интервью в журнале “Linux Format”: №01 (204) Январь 2016
Материалы: вырезка из журнала.
2016, Подкаст SDCast: Выпуск № 47: в гостях Сергей Бронников и Владимир Порохов, ребята из команды OpenVZ/Virtuozzo
Эпизод на сайте подкаста
2015, Linux Plumbers: Containers in the upstream kernel
Материалы: слайды.
2015, ВМК МГУ: Как разрабатывать коммерческое ПО с высокой долей инноваций
Материалы: видео (часть 1, часть 2), слайды.
2015, OSDEVCONF: Когда уже OpenVZ будет в основном Linux ядре?
Материалы: YouTube, 0x1.tv,
слайды.
Доклад о том, что делать форк открытого проекта вредно для здоровья, потому что
поддержка форка требует больших усилий.
Докладчик расскажет об опыте работы с разработчиками основной ветки Linux ядра
в плане интеграции патчей для контейнерной виртуализации, наших успехах в этом
направлении и предстоящих планах.
2015, LVEE: Мифы и легенды о проекте OpenVZ
Материалы: YouTube, 0x1.tv, слайды.
В 1999 году в компании SWsoft (Parallels) родилась концепция контейнерной
виртуализации. Сотрудники компании сформулировали три главных компонента,
составляющих контейнеры: набор процессов с изоляцией пространства имен,
файловая система для разделения кода и памяти и изоляция ресурсов. В 2000 году
сотрудники компании подготовили концепт коммерческого продукта Virtuozzo,
который позволял создавать в ОС Linux изолированные окружения (контейнеры). В
2002 году компания выпускает публичную версию Virtuozzo и в том же году
появляются первые коммерческие пользователи. В 2005 году компания Parallels
запускает проект OpenVZ для разработки открытой реализации Linux контейнеров. В
рамках этого проекта команда проекта разрабатывает Linux ядро с поддержкой
контейнеров, утилиту для управления контейнерами и другие вспомогательные
утилиты. За прошедшие 10 лет проект приобрёл популярность. OpenVZ используют не
только как платформу для хостинга, но и для инфраструктурных задач, требующих
изоляции приложений. За время существования проекта появились мифы и
заблуждения о проекте, которые не получилось развенчать ответами на форумах, в
блогах и почтовых переписках. Одни и те же вопросы возникают снова и снова.
Этот доклад призван окончательно развенчать мифы о проекте OpenVZ.
Тезисы на сайте конференции.
2015, РИФ: Семь проблем Linux контейнеров
Материалы: видео,
слайды.