From mboxrd@z Thu Jan  1 00:00:00 1970
From: David Miller <davem@davemloft.net>
Subject: Re: [RFC bpf-next 00/10] initial control flow support for eBPF
 verifier
Date: Tue, 08 May 2018 20:28:28 -0400 (EDT)
Message-ID: <20180508.202828.699453038949941467.davem@davemloft.net>
References: <1525688567-19618-1-git-send-email-jiong.wang@netronome.com>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Cc: alexei.starovoitov@gmail.com, daniel@iogearbox.net,
        john.fastabend@gmail.com, netdev@vger.kernel.org,
        oss-drivers@netronome.com
To: jiong.wang@netronome.com
Return-path: <netdev-owner@vger.kernel.org>
Received: from shards.monkeyblade.net ([184.105.139.130]:37734 "EHLO
        shards.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S932988AbeEIA2a (ORCPT
        <rfc822;netdev@vger.kernel.org>); Tue, 8 May 2018 20:28:30 -0400
In-Reply-To: <1525688567-19618-1-git-send-email-jiong.wang@netronome.com>
Sender: netdev-owner@vger.kernel.org
List-ID: <netdev.vger.kernel.org>

From: Jiong Wang <jiong.wang@netronome.com>
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 size.

The memory and execution time costs are unfortunate, but we will
certainly need a real control flow graph in the verifier whether we
like it or not.