Для eBPF появился новый язык, который обещает убрать лишний C-код

Вышел KernelScript 0.1 - первый публичный релиз экспериментального open-source-языка для разработки под eBPF в Linux. Проект распространяется под лицензией Apache 2.0 и описывается как типобезопасный DSL, который позволяет писать eBPF-, userspace- и kernelspace-логику в одной кодовой базе.

Идея KernelScript в том, чтобы заменить ручную сборку из нескольких частей: eBPF-программы на C, userspace-загрузчика, Makefile и интеграции с kernel modules. Вместо этого разработчик пишет один исходный файл, а язык генерирует нужный C-код, userspace-программы, Makefiles и связку для работы с модулем ядра.

eBPF широко используется для сетевой фильтрации, трассировки, observability, безопасности и анализа производительности. Но вход в разработку остается высоким: нужно понимать ограничения verifier, BPF helpers, maps, загрузку программ и взаимодействие с libbpf. KernelScript пытается закрыть эту сложность более высокоуровневым синтаксисом, заточенным под eBPF-сценарии.

В версии 0.1 поддерживаются основные типы eBPF-программ: XDP для обработки пакетов, TC для управления трафиком, probes для трассировки функций ядра и perf event programs для счетчиков производительности. Также есть встроенная поддержка eBPF maps, включая hash maps, per-CPU arrays, LRU maps и pinned maps, которые можно использовать как переменные языка для обмена состоянием между eBPF и userspace-кодом.

Разработчики также добавили автоматическую оркестрацию tail calls, transparent dynptr handling, проверки жизненного цикла программ, struct_ops и встроенную интеграцию с kfunc. Но релиз пока не рассчитан на production: репозиторий помечает KernelScript как beta software, а синтаксис, API и функции могут меняться без обратной совместимости.

Для Linux-разработчиков это скорее ранний технический сигнал, чем готовая замена C и libbpf. Если подход приживется, eBPF-разработка может стать доступнее для команд, которым нужны сетевые фильтры, мониторинг и runtime-защита в ядре, но которые не хотят каждый раз собирать инфраструктурный код вручную.