Топ-10 докладов FOSDEM-2023
Just code ITКаждый год в Брюсселе проходит FOSDEM (Free and Open source Software Developers' European Meeting) — встреча, где собираются разработчики (и не только) свободного и открытого ПО со всего мира.
Предыдущие два года мероприятие по причине пандемии проходило онлайн, а в этом феврале наконец-то состоялось очно. Мы смогли побывать там и составили список самых, на наш взгляд, интересных выступлений и докладов.
1. Fair threaded task scheduler verified in TLA+
Здесь разработчик из Ubisoft делится опытом создания «честного» планировщика задач (fair scheduler) для различных нужд, а также верификацией его свойств с помощью инструмента TLA+.
2. Graphing tools for scheduler tracing
Представление новых инструментов для трейсинга поведения планировщика Linux.
В этом докладе можно послушать о том, как проходят изменения ABI в дистрибутивах Linux (на примере перевода типа time_t в 64-битный формат).
4. NOVA Microhypervisor Feature Update
Доклад о новых возможностях гипервизора NOVA, спустя несколько лет после предыдущего апдейта на FOSDEM (а это было в 2020 году). В докладе есть много интересных подробностей про реализацию поддержки новых возможностей современных CPU в гипервизоре.
5. Introducing Helios Micokernel
Тот самый рассказ Дрю Деволта (Drew DeVault) о новом микроядре Helios, написанном с помощью его собственного языка Hare.
Микроядро старается заимствовать и улучшить часть дизайна seL4, а также является демонстрацией возможностей самого Hare.
6. Case study of creating and maintaining an analysis and instrumentation tool based on LLVM: PARCOACH
Доклад про написание собственных инструментов анализа и инструментации кода в пакете LLVM.
В качестве примера приводится PARCOACH.
7. Fuzzing Device Models in Rust: Common Pitfalls
Интересный доклад про (не очень удачный) опыт внедрения фаззинг-тестирования при разработке VirtIO стека в Rust-VMM.
8. How to add an GCC builtin to the RISC-V compiler
Немного затянутый, но весьма полезный доклад о том, как добавить свою встроенную функцию в компилятор GCC. Для архитектур отличных от RISC-V, процесс идентичный.
Доклад про создание эмулятора консолей Sega Dreamcast и Nintendo DS для PlayStation Portable.
Как всегда, в Emulator Development Devroom демонстрируют навык вытягивания всей возможной производительности из старого консольного железа.
10. FOSDEM infrastructure review
Традиционный завершающий Lightning talk от организаторов FOSDEM, где рассказывается об инфраструктуре, поддерживающей саму конференцию. Забавные цифры, графики и фотографии серверных с рендер-фермами :)
Записи всех докладов, а также другая информация про мероприятие ТУТ.