Re: [RFC bpf-next 00/10] initial control flow support for eBPF verifier

2018-05-08 Thread David Miller
From: Jiong Wang Date: Mon, 7 May 2018 06:22:36 -0400 > This infrastructure comes with some memory usage and execution time cost. > Memory pool based allocation is used to avoid frequently calling of > kmalloc/free. Singly linked list and compact pointer are used to reduce > various cfg node siz

Re: [RFC bpf-next 00/10] initial control flow support for eBPF verifier

2018-05-07 Thread Jiong Wang
On 07/05/2018 11:22, Jiong Wang wrote: execution time === test_l4lb_noinline: existing check_subprog/check_cfg: ~55000 ns new infrastructure: ~135000 ns test_xdp_noinline: existing check_subprog/check_cfg: ~52000 ns new infrastructure: ~12 ns Intel(R) Xeon(R) CPU E5-2630 v4 @ 2

[RFC bpf-next 00/10] initial control flow support for eBPF verifier

2018-05-07 Thread Jiong Wang
This patch introduce initial control flow infrastructure to eBPF verifier. Various control flow information are built in an incremental way, so they could be easily maintained at various level. After this patch set, information collection on eBPF insns are centred at check_subprogs, check_cfg and