diff options
| author | Dave Marchevsky <davemarchevsky@fb.com> | 2023-02-13 16:40:17 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-02-13 19:40:53 -0800 |
| commit | c31315c3aa09297d99cb39e837185ef225586d2b (patch) | |
| tree | f1b9066aa67ec9e0dde41fb157452f4df3f04d82 /Documentation/bpf/other.rst | |
| parent | 215249f6adc0359e3546829e7ee622b5e309b0ad (diff) | |
| download | linux-c31315c3aa09297d99cb39e837185ef225586d2b.tar.gz linux-c31315c3aa09297d99cb39e837185ef225586d2b.tar.bz2 linux-c31315c3aa09297d99cb39e837185ef225586d2b.zip | |
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.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'Documentation/bpf/other.rst')
| -rw-r--r-- | Documentation/bpf/other.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/bpf/other.rst b/Documentation/bpf/other.rst index 3d61963403b4..7e6b12018802 100644 --- 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 |