Девиртуализация в C++, компиляторах и вашей программе (Константин Владимиров, Илья Андреев)

24 мая в Санкт-Петербурге состоялся первый System Level Meetup от компании YADRO. В рамках мероприятия спикеры из Syntacore, Константин Владимиров и Илья Андреев, выступили с докладом "Девиртуализация в C++, компиляторах и вашей программе". Они рассказали о виртуальных функциях, рассмотрели, какие проблемы те вызывают, и как эти проблемы решаются компиляторами. Обсудили спекулятивную девиртуализацию, странные случаи её несрабатывания, а также дали рекомендации для практикующих разработчиков. 00:14 - О спикерах. 00:51 - О докладе. 01:14 - Определение полиморфной функции (два полиморфизма). 03:20 - Мотивация динамического полиморфизма. 05:43 - Миф о виртуальной функции. 07:23 - Три игрока в цене любой абстракции. 08:10 - Виртуальные функции и инлайн. 09:24 - Девиртуализация. 10:37 - Внутри компилятора: фронтенд и бэкенд. 11:16 - Простая девиртуализация во фронтенде. 12:03 - Простая девиртуализация в бэкенде. 13:14 - Ещё более просто выглядящий случай. 14:20 - Идея простой девиртуализации: VCT. 15:21 - Книга "Оптимизирующие компиляторы". 15:58 - SC-Devtoolkit. 16:26 - Проблема более сложной девиртуализации. 17:28 - О решении проблемы. 18:00 - Non-Virtual Polymorphism. 20:52 - std::variant vs. Виртуальные функции. 22:50 - Таблицы виртуальных функций. 27:36 - Спекулятивная девиртуализация. 33:05 - Простой случай. 35:12 - Бенчмаркинг. 36:21 - Рекомендации. 39:25 - Вопросы участников.