[Cake] [bpf-next RFC 2/3] flow_dissector: implements eBPF parser

[Toke Høiland-Jørgensen]

Pete Heist <pete at heistp.net> writes:

> The eBPF verifier seems fragile to me, where I’d be moving lines of
> code around and getting different error messages in an alien tongue.

Well, it operates on the byte code and errs on the side of safety. I.e.,
if it can't prove your program is safe it is going to reject it. Which
can be less than helpful.

There's a mode where it can dump its state including the byte code it is
operating at, which can be helpful in figuring out why you get an error.
But it has a way to go yet compared with regular compiler error
messages... :)

-Toke