Доклады

Цель доклада — познакомить с подноготной базовой реализации type erasure (т.н. «стирание типов») в C++, а также придать уверенности при возможном взаимодействии с подобным кодом.

Используя реализацию обертки с семантикой значения в качестве примера, мы посмотрим на то, как работает type erasure, похожий на std::any.

Рассмотрим новый инструмент профилирования памяти LLVM MemProf и узнаем, что у него под капотом. Обсудим и другие подходы к этой задаче.

Посмотрим, как использовать профиль в оптимизациях и как без профиля помочь компилятору.

Очевидные и не очень проблемы использования Conan в больших экосистемах. И решения, без которых интеграция пакетного менеджера сделает только хуже.

Расскажу о весьма сложных проблемах, с которыми мы столкнулись при разработке userver, и о неожиданно простых решениях.

Расскажу о важности небольших оптимизаций, которые могут значительно повысить производительность. Будет много примеров оптимизаций различных приложений, включая ClickHouse.

Откуда компилятор знает, что значат все эти слова в программе? Давайте высним.

Основные понятия и операции в Asio на примере корутин.

На основе преподавания курса Compiler Construction в ведущих ИТ-университетах страны обсудим важнейшие аспекты дизайна такого курса — фундаментальные основания, предпосылки и подходы к организации занятий, включая практические задания для студентов.

Рассмотрим мотивацию модулей в C++, их взаимодействие с разрешением имен и сложности поддержки в инструментах разработки.

Мой доклад посвящен производительности серверов на C++ с использованием альтернативы boost::asio для массово параллельной сетевой работы.

Boost::asio — фактически стандарт для сетевого кода на C++, но в редких случаях он недоступен или недостаточен по разным причинам. Используя опыт работы над высокопроизводительными проектами, я разработал новый алгоритм планирования задач, построил на его основе сетевую библиотеку и представляю их в докладе. Самые интересные детали — справедливое распределение нагрузки на процессор, поддержка C++ корутин, формальная верификация на TLA+ и воспроизводимые бенчмарки, показывающие ускорение в N раз от boost::asio.

Проект в открытом доступе: https://github.com/Gerold103/serverbox.

Расскажу про то, как в userver писался кодген С++ кода по описанию JSON Schema, с какими проблемами столкнулся и какие интересные решения получились. Рассказ будет интересен всем, кто интересуется С++ шаблонами и их использованием в продакшен-коде.

Расскажу о том, как компиляторы на основе LLVM (например, Clang) моделируют неопределенное поведение и как извлекают из него пользу.

Рассказ про эволюцию работы над производительностью мобильного приложения 2ГИС: какие инструменты используем, как выстроен процесс, чего добились.

Несколько классических алгоритмов, ускоренных с помощью векторизации. memcmp, copy_if, set_intersection, sort. Все на картинках.

Современные процессоры являются крайне сложными устройствами, заточенными на получение максимальной производительности из того кода, который мы запускаем на них. Понятия Out of Order (OoO), Super Scalar на слуху, и многие знают про Branch predictor, но мало кто представляет, как он устроен. Так давайте разберемся как он устроен, и откуда процессор берет производительность!