Explore BPF/eBPF Language and Capabilities

[nzhang-zh]

Explore the language feature and characteristics of BPF/eBPF as well as its capabilities before we move on to consider what and how to automatically generate BPF/eBPF code for protocol specification verification and QoS metrics measurement.

[nzhang-zh]

Some detailed steps to figure out.

• Simple packet filter demo with classic BPF
  • Write assembly in C and directly attach to socket with setsockopt(fd, SOL_SOCKET, SO_ATTACH_FILTER, ...)
• HTTP monitor demo with python BCC
  • Write restricted C for extended BPF, and attach with BCC.
  • Use eBPF maps to store states and pass data to userspace.
• Compile eBPF object files with LLVM and attach with C