RU

Я написал верификатор eBPF для микроконтроллера. А потом ядро Linux объяснило мне, где я неправ

Ученики подарили мне ESP32. В коробке было всё, что обычно: датчик температуры, реле, горсть светодиодов, круглый дисплей и провода, которых, как вы…

ebpfверификаторesp32микроконтроллерыlinux kernelкомпиляторинтерпретатор
Habr
RU

Один BPF-объект, два верификатора, разные вердикты: разбираемся, кто прав

eBPF-программы проходят статический анализ до загрузки в ядро Linux. Верификатор должен доказать, что программа не выходит за границы памяти, не раб…

верификация кодалинуксebpfxdpядро linuxядро линуксбезопасность linuxверификация программ
Habr
RU

Кэши, режимы нагрузки и ловушка среднего, или Почему storage-бенчмарки врут

Представьте, разработчики добавили прозрачное шифрование в файловую систему, собрали ядро и прогнали Fio — пропускная способность не изменилась. Одн…

системы хранения данныхпроизводительностьпрофилированиеfioиерархия памятиstorage stackstorage-бенчмаркингebpfтесты производительности
Habr
RU

(Не)безопасный eBPF: что маркетологи забыли упомянуть об уязвимостях

eBPF называют «безопасным по умолчанию». Но что, если это не так? Все хвалят eBPF за «безопасность и изоляцию». Но что если данные из вашей eBPF-мап…

ebpfмониторингбезопасность linuxуязвимостиинформационная безопасностьсистемное программирование
Habr