On 1/31/23 1:00 PM, Dave Marchevsky wrote: > It is difficult to intuit the semantics of owning and non-owning > references from verifier code. In order to keep the high-level details > from being lost in the mailing list, this patch adds documentation > explaining semantics and details. > > The target audience of doc added in this patch is folks working on BPF > internals, as there's focus on "what should the verifier do here". Via > reorganization or copy-and-paste, much of the content can probably be > repurposed for BPF program writer audience as well. > > Signed-off-by: Dave Marchevsky <davemarchevsky@xxxxxx> > --- Whoops, I forgot to rebase in some of the changes David requested into this patch. Since I'm sending v4 soon I will add those in. Probably worth waiting until v4 to look at this patch.
