2022 eBPF Summit - https://ebpf.io/summit-2022/ Daniel Xu
개요
eBPF의 문제점
- Loop explosion
- Loop body에 Control flow가 많으면 M^N으로 verifier path가 증가하여 verification이 불가능해짐. Tail call도 이 문제에 대한 답이 될 수가 없으며, 특히 Overhead측면에서 큰 문제가 생긴다. 이런 문제의 해결방안으로 LBCS (bit vector match)와 같은 방법을 쓰면 된다고 한다. (JHA: bit vector로 바꾸는 것 자체가 Loop explosion을 해결한 것이 아니라 Specific한 case의 detour방안을 제시한 것 아닌가?)