diff options
| author | Andrii Nakryiko <andriin@fb.com> | 2019-10-09 13:14:57 -0700 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2019-10-11 01:49:15 +0200 |
| commit | a23740ec43ba022dbfd139d0fe3eff193216272b (patch) | |
| tree | 618344e6da0f9b13e2a9a5527eaa4987c662a548 /Documentation/IRQ.txt | |
| parent | e0b68fb186b251374adbd870f99b1ecea236e770 (diff) | |
bpf: Track contents of read-only maps as scalars
Maps that are read-only both from BPF program side and user space side
have their contents constant, so verifier can track referenced values
precisely and use that knowledge for dead code elimination, branch
pruning, etc. This patch teaches BPF verifier how to do this.
Signed-off-by: Andrii Nakryiko <andriin@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20191009201458.2679171-2-andriin@fb.com
Diffstat (limited to 'Documentation/IRQ.txt')
0 files changed, 0 insertions, 0 deletions