Hello Blaise,
On Thu, Jan 09, 2025 at 01:43:42PM -0800, Blaise Boscaccy wrote:
>
> This is a proof-of-concept, based off of bpf-next-6.13. The
> implementation will need additional work. The goal of this prototype was
> to be able load raw elf object files directly into the kernel and have
> the kernel perform all the necessary instruction rewriting and
> relocation calculations. Having a file descriptor tied to a bpf program
> allowed us to have tighter integration with the existing LSM
> infrastructure. Additionally, it opens the door for signature and provenance
> checking, along with loading programs without a functioning userspace.
>
> The main goal of this RFC is to get some feedback on the overall
> approach and feasibility of this design.
>
> A new subcommand BPF_LOAD_FD is introduced. This subcommand takes a file
> descriptor to an elf object file, along with an array of map fds, and a
> sysfs entry to associate programs and metadata with. The kernel then
> performs all the relocation calculations and instruction rewriting
> inside the kernel. Later BPF_PROG_LOAD can reference this sysfs entry
> and load/attach previously loaded programs by name. Userspace is
> responsible for generating and populating maps.
>
> CO-RE relocation support already existed in the kernel. Support for
> everything else, maps, externs, etc., was added. In the same vein as
> 29db4bea1d10 ("bpf: Prepare relo_core.c for kernel duty.")
> this prototype directly uses code from libbpf.
>
> One of the challenges encountered was having different elf and btf
> abstractions utilized in the kernel vs libpf. Missing btf functionality
> was ported over to the kernel while trying to minimize the number of
> changes required to the libpf code. As a result, there is some code
> duplication and obvious refactoring opportunities. Additionally, being
> able to directly share code between userspace and kernelspace in a
> similar fashion to relo_core.c would be a TODO.
I recently became aware of this patchset through Alexei's reference
in another thread, and I apologize for my delayed involvement.
Upon reviewing your proposed changes, I have concerns about the scope
of the kernel modifications. This implementation appears to introduce
substantial code changes to the kernel (estimated at approximately
1,000+ lines, though a git diff stat wasn't provided).
If the primary objective is eBPF program signing, I would like to
propose an alternative approach: a two-phase signing mechanism that
eliminates the need for kernel modifications. My solution leverages
the existing eBPF infrastructure, particularly the BPF LSM framework.
So the fundamental architectural difference between these two approaches
is pretty much kernel-based versus userspace implementation, which has
been extensively discussed and debated within the kernel community.
I have also developed a proof-of-concept implementation, which is
available for review at: https://github.com/congwang/ebpf-2-phase-signing
I welcome your thoughts and feedback on this alternative approach.
Thanks!
