В състава на GCC е приет бекенд за компилация в eBPF

Част от пакета компилатори GCC приет код за компилиране на програми за вграден в ядрото Linux интерпретатор на байткод eBPF. Благодарение на прилагането на JIT-компилация, в ядрото байткодът се трансформира в машинни инструкции в реално време и се изпълнява с производителността на нативен код. Пачове с поддръжка на eBPF приети в клон, на базата на който се развива версията на GCC 10.

Освен бекенда за генериране на байткод, в GCC е включен портът libgcc за eBPF и средства за формиране на ELF-файлове, които дават възможност за изпълнение на код в виртуалната машина eBPF с помощта на доставените от ядрото загрузчици. Пачовете за поддръжка на eBPF в GCC са подготвени от инженери от компанията Oracle, които преди това вече осигуриха поддръжка на eBPF в GNU binutils. В разработка е също симулатор и пачове за GDB, които ще позволят отстраняване на грешки в eBPF-програми без загрузка в ядрото.

Програмите за eBPF могат да бъдат дефинирани на подмножество от езика C, компилирани и заредени в ядрото. Преди изпълнение интерпретаторът eBPF проверява байткода за наличие на позволени инструкции и налага определени правила на кода (например, отсъствие на цикли).
Първоначално за компилация на eBPF в Linux се използваше инструментариум на базата на LLVM. Поддръжката на eBPF в GCC представлява интерес, тъй като позволява да се използва един инструментариум за изграждане на ядрото на Linux и eBPF-програми, без инсталиране на допълнителни зависимости.

Във форма на eBPF програми могат да се създават обработвачи на мрежови операции, да се филтрира трафик, да се управлява пропускната способност, да се следи работата на системите, да се перехващат системни извиквания, да се контролира достъп, да се брои честота и време на изпълнение на операции, да се изпълнява трасировка с помощта на kprobes/uprobes/tracepoints.

Източник: opennet.ru