Re: [RFC PATCH bpf-next 0/3] bpf: add tracing for XDP programs using the BPF_PROG_TEST_RUN API

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 





On 20 Apr 2020, at 0:54, Alexei Starovoitov wrote:

On Sun, Apr 19, 2020 at 12:02 AM Yonghong Song <yhs@xxxxxx> wrote:



On 4/16/20 5:45 AM, Eelco Chaudron wrote:


On 23 Mar 2020, at 23:47, Yonghong Song wrote:

On 3/18/20 6:06 AM, Eelco Chaudron wrote:
I sent out this RFC to get an idea if the approach suggested here
would be something other people would also like to see. In addition,
this cover letter mentions some concerns and questions that need
answers before we can move to an acceptable implementation.

This patch adds support for tracing eBPF XDP programs that get
executed using the __BPF_PROG_RUN syscall. This is done by switching from JIT (if enabled) to executing the program using the interpreter
and record each executed instruction.

sorry for delay. I only noticed these patches after Yonghong replied.

Hi Alexei, I have to disagree with most of your comments below :) However, I think it's due to not clearly stating the main use case I have in mind for this. This is not for a developer to be used to interactively debug an issue, but for an end-user/support person to get some initial data in a live environment without affecting any live traffic (assuming the XDP use case), as this tracing is only available using the BPF_PROG_RUN API. From my previous experience as an ASIC/Microcode network datapath engineer I have found that this kind of a debug output (how low level as it looks, but with the right tooling this should not be an issue) solves +/-80% of the cases I've worked on. The remaining 20% were almost always related to "user space" applications not populating tables, and other resources correctly.

I think hacking interpreter to pr_info after every instruction is too
much of a hack.

I agree if this would be for the normal interpreter path also, but this is a separate interpreter only used for the debug path.

Not working with JIT-ed code is imo red flag for the approach as well.

How would this be an issue, this is for the debug path only, and if the jitted code behaves differently than the interpreter there is a bigger issue.

When every insn is spamming the logs the only use case I can see
is to feed the test program with one packet and read thousand lines dump.
Even that is quite user unfriendly.

The log was for the POC only, the idea is to dump this in a user buffer, and with the right tooling (bpftool prog run ... {trace}?) it can be stored in an ELF file together with the program, and input/output. Then it would be easy to dump the C and eBPF program interleaved as bpftool does. If GDB would support eBPF, the format I envision would be good enough to support the GDB record/replay functionality.


How about enabling kprobe in JITed code instead?
Then if you really need to trap and print regs for every instruction you can
still do so by placing kprobe on every JITed insn.

This would even be harder as you need to understand the ASM(PPC/ARM/x86) to eBPF mapping (registers/code), where all you are interested in is eBPF (to C). This kprobe would also affect all the instances of the program running in the system, i.e. for XDP, it could be assigned to all interfaces in the system. And for this purpose, you are only interested in the results of a run for a specific packet (in the XDP use case) using the BPF_RUN_API so you are not affecting any live traffic.

But in reality I think few kprobes in the prog will be enough
to debug the program and XDP prog may still process millions of packets
because your kprobe could be in error path and the user may want to
capture only specific things when it triggers.
kprobe bpf prog will execute in such case and it can capture necessary
state from xdp prog, from packet or from maps that xdp prog is using.
Some sort of bpf-gdb would be needed in user space.
Obviously people shouldn't be writing such kprob-bpf progs that debug
other bpf progs by hand. bpf-gdb should be able to generate them automatically.

See my opening comment. What you're describing here is more when the right developer has access to the specific system. But this might not even be possible in some environments.


Let me know if your opinion on this idea changes after reading this, or what else is needed to convince you of the need ;)





[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]


  Powered by Linux