This patch set adds support for generating and deduplicating split BTF. This
is an enhancement to the BTF, which allows to designate one BTF as the "base
BTF" (e.g., vmlinux BTF), and one or more other BTFs as "split BTF" (e.g.,
kernel module BTF), which are building upon and extending base BTF with extra
types and strings.
Once loaded, split BTF appears as a single unified BTF superset of base BTF,
with continuous and transparent numbering scheme. This allows all the existing
users of BTF to work correctly and stay agnostic to the base/split BTFs
composition. The only difference is in how to instantiate split BTF: it
requires base BTF to be alread instantiated and passed to btf__new_xxx_split()
or btf__parse_xxx_split() "constructors" explicitly.
This split approach is necessary if we are to have a reasonably-sized kernel
module BTFs. By deduping each kernel module's BTF individually, resulting
module BTFs contain copies of a lot of kernel types that are already present
in vmlinux BTF. Even those single copies result in a big BTF size bloat. On my
kernel configuration with 700 modules built, non-split BTF approach results in
115MBs of BTFs across all modules. With split BTF deduplication approach,
total size is down to 5.2MBs total, which is on part with vmlinux BTF (at
around 4MBs). This seems reasonable and practical. As to why we'd need kernel
module BTFs, that should be pretty obvious to anyone using BPF at this point,
as it allows all the BTF-powered features to be used with kernel modules:
tp_btf, fentry/fexit/fmod_ret, lsm, bpf_iter, etc.
This patch set is a pre-requisite to adding split BTF support to pahole, which
is a prerequisite to integrating split BTF into the Linux kernel build setup
to generate BTF for kernel modules. The latter will come as a follow-up patch
series once this series makes it to the libbpf and pahole makes use of it.
Patch #4 introduces necessary basic support for split BTF into libbpf APIs.
Patch #8 implements minimal changes to BTF dedup algorithm to allow
deduplicating split BTFs. Patch #11 adds extra -B flag to bpftool to allow to
specify the path to base BTF for cases when one wants to dump or inspect split
BTF. All the rest are refactorings, clean ups, bug fixes and selftests.
Andrii Nakryiko (11):
libbpf: factor out common operations in BTF writing APIs
selftest/bpf: relax btf_dedup test checks
libbpf: unify and speed up BTF string deduplication
libbpf: implement basic split BTF support
selftests/bpf: add split BTF basic test
selftests/bpf: add checking of raw type dump in BTF writer APIs
selftests
libbpf: fix BTF data layout checks and allow empty BTF
libbpf: support BTF dedup of split BTFs
libbpf: accomodate DWARF/compiler bug with duplicated identical arrays
selftests/bpf: add split BTF dedup selftests
tools/bpftool: add bpftool support for split BTF
tools/bpf/bpftool/btf.c | 9 +-
tools/bpf/bpftool/main.c | 15 +-
tools/bpf/bpftool/main.h | 1 +
tools/lib/bpf/btf.c | 814 ++++++++++--------
tools/lib/bpf/btf.h | 8 +
tools/lib/bpf/libbpf.map | 9 +
tools/testing/selftests/bpf/Makefile | 2 +-
tools/testing/selftests/bpf/btf_helpers.c | 259 ++++++
tools/testing/selftests/bpf/btf_helpers.h | 19 +
tools/testing/selftests/bpf/prog_tests/btf.c | 34 +-
.../bpf/prog_tests/btf_dedup_split.c | 326 +++++++
.../selftests/bpf/prog_tests/btf_split.c | 99 +++
.../selftests/bpf/prog_tests/btf_write.c | 48 +-
tools/testing/selftests/bpf/test_progs.h | 11 +
14 files changed, 1294 insertions(+), 360 deletions(-)
create mode 100644 tools/testing/selftests/bpf/btf_helpers.c
create mode 100644 tools/testing/selftests/bpf/btf_helpers.h
create mode 100644 tools/testing/selftests/bpf/prog_tests/btf_dedup_split.c
create mode 100644 tools/testing/selftests/bpf/prog_tests/btf_split.c
--
2.24.1
