bpf, documentation: Add graph documentation for non-owning refs

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@fb.com> Link: https://lore.kernel.org/r/20230214004017.2534011-9-davemarchevsky@fb.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>

bpf, documentation: Add graph documentation for non-owning refs
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@fb.com> Link: https://lore.kernel.org/r/20230214004017.2534011-9-davemarchevsky@fb.comSigned-off-by: Alexei Starovoitov <ast@kernel.org>
c31315c3 · Dave Marchevsky · Alexei Starovoitov · 215249f6 · c31315c3 · c31315c3
Commit c31315c3 authored Feb 13, 2023 by Dave Marchevsky Committed by Alexei Starovoitov Feb 13, 2023
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 268 additions and 1 deletion

Documentation/bpf/graph_ds_impl.rst Documentation/bpf/graph_ds_impl.rst +266 -0

Documentation/bpf/other.rst Documentation/bpf/other.rst +2 -1

No files found.
--- a/Documentation/bpf/graph_ds_impl.rst
+++ b/Documentation/bpf/graph_ds_impl.rst
--- a/Documentation/bpf/other.rst
+++ b/Documentation/bpf/other.rst
@@ -6,4 +6,5 @@ Other
   :maxdepth: 1

   ringbuf
-   llvm_reloc
\ No newline at end of file
+   llvm_reloc
+   graph_ds_impl