ebpf 中的有界循环。现在验证者检查程序是否是 DAG？

Question

由于现在 ebpf 程序中允许有界循环https://git.kernel.org/pub/scm/linux/kernel/git/davem/net-next.git/commit/?id=2589726d12a1b12eaaa93c7f1ea64287e383c7a5 验证程序是否仍然检查如果程序控制流是有向无环图，则第一遍？

Answer 1

是的，它仍然如此，并且在两种情况下拒绝具有后沿的程序：

• 如果该程序是由非特权用户加载的。布尔env->allow_ptr_leaks值表示特权用户。
• 如果使用调用来执行后沿。只有正常的跳转才能进行有界循环（这并不意味着您不能在有界循环内执行 bpf 到 bpf 调用）。