Extending bpftrace with user-defined functions

Bc. Tomáš Glozar

Master's thesis

Anotácia:

Práce představuje rozšíření doménově specifického jazyka bpftrace, které do jazyka přidává podporu pro uživatelské deklarace funkcí. Jazyk bpftrace slouží pro trasování v operačním systému Linux: dává uživateli možnost připojit malé kusy kódu, zvané "probes", ke specifickým místům v systému. V práci je popsán návrh a implementace daného rozšíření spolu s potřebnými detaily technologie BPF, na které je jazyk postaven. Na konci práce popisuje testování vytvořené implementace a její omezení, a to jak omezení funkce jako takové, tak její kompatibility s jinými funkcemi jazyka.

Abstract:

This thesis presents an extension to the bpftrace language that implements user-defined functions. bpftrace is a domain-specific language for tracing in the Linux operating system, which allows the user to attach small pieces of code called probes to various triggers in the system. The design and implementation of the feature are covered, along with the necessary background in the underlying BPF technology. At the end, the implementation is tested via unit and end-to-end tests, and limitations are discussed, both for the feature itself and concerning compatibility with other specific features of the language.

Keywords

BPF, bpftrace, Linux, DSL, programming languages, tracing

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 21. 5. 2024

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 6. 2024
• Vedúci: RNDr. Martin Ukrop, Ph.D.
• Oponent: PhD Lukasz Michal Chmielewski

Masaryk University

Faculty of Informatics

Master programme / odbor:
Theoretical computer science / Principles of programming languages