Application Traffic with eBPF
thebsdbox.co.uk
thebsdbox.co.uk
We use eBPF to achieve non-intrusive (we call it `zero-code`) observability without modifying any application code, and have implemented three core features: Universal Map, Distributed Tracing, and Continuous Profiling.
Yes, we have implemented *Distributed* tracing using eBPF. Because of this achievement, we have also published a paper in ACM SIGCOMM 2023.
As in https://www.cncf.io/
I don't recall people throwing Cloud Native as a term before k8s or outside that space. Google trends seems to confirm they emerged at the same time:
https://trends.google.com/trends/explore?date=all&q=Cloud%20...
I recall hearing cloud native compared to lift and shift regarding migrating to AWS ~2012-2013.
It compiles your filter expression into a series of instructions, using libpcap. For instance, the output of `tcpdump -d -y EN10MB 'ip and tcp port 80' (which is rather similar to the use case in the OP, but not identical, since it doesn't strip headers), on my machine, is:
# Load the 2-byte ethernet protocol into A (the accumulator register).
(000) ldh [12]
# If IPv4, continue to line 2. Else, jump to line 12.
(001) jeq #0x800 jt 2 jf 12
# Load the one-byte IP protocol into A.
(002) ldb [23]
# If TCP, continue. Else, jump to line 12.
(003) jeq #0x6 jt 4 jf 12
# Load the 2 bytes corresponding to IP flags / fragment offset into A.
(004) ldh [20]
# If the fragment offset is nonzero, jump to line 12. Else, continue.
(005) jset #0x1fff jt 12 jf 6
# Load the internet header length into X. (Note that this is the bottom 4
# bits of the first byte of the IPv4 header, expressed in 4-byte words)
(006) ldxb 4*([14]&0xf)
# Load the source port into A.
(007) ldh [x + 14]
# If 80, jump to 11. Else, continue.
(008) jeq #0x50 jt 11 jf 9
# Load the dest port into A.
(009) ldh [x + 16]
# If 80, jump to 11. Else, jump to 12.
(010) jeq #0x50 jt 11 jf 12
# Accept. Return 262144 bytes, the default snaplen.
(011) ret #262144
# Reject. Literally, return 0 bytes.
(012) ret #0
If you know how to read assembly, it should be fairly straightforward to follow a typical program (you'll need various protocol header wire formats handy if you haven't memorized the offsets).Meanwhile, the verification that an eBPF program terminates is dependent on the correctness of the verifier, and similarly there's no guarantee that a program with appropriately-bounded complexity will be accepted by the verifier.
To be clear: I'm not trying to throw shade at the verifier; to the contrary, I think it's an impressive piece of software. But there's a difference between being able to prove in one sentence that a program always terminates, and needing to rely on the correctness of some verification software.
But I believe tcpdump just opens a AF_PACKET socket, and it will add a BPF filter if one is specified.
I don't know enough to say how this relates to the eBPF stuff, but I think internally the kernel may convert the BPF program to eBPF.
Edit: netpeek looks cool, thanks for sharing!