15b497af4SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 228fbcfa0SAlexei Starovoitov /* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com 381ed18abSAlexei Starovoitov * Copyright (c) 2016,2017 Facebook 428fbcfa0SAlexei Starovoitov */ 528fbcfa0SAlexei Starovoitov #include <linux/bpf.h> 6a26ca7c9SMartin KaFai Lau #include <linux/btf.h> 728fbcfa0SAlexei Starovoitov #include <linux/err.h> 828fbcfa0SAlexei Starovoitov #include <linux/slab.h> 928fbcfa0SAlexei Starovoitov #include <linux/mm.h> 1004fd61abSAlexei Starovoitov #include <linux/filter.h> 110cdf5640SDaniel Borkmann #include <linux/perf_event.h> 12a26ca7c9SMartin KaFai Lau #include <uapi/linux/btf.h> 131e6c62a8SAlexei Starovoitov #include <linux/rcupdate_trace.h> 1428fbcfa0SAlexei Starovoitov 1556f668dfSMartin KaFai Lau #include "map_in_map.h" 1656f668dfSMartin KaFai Lau 176e71b04aSChenbo Feng #define ARRAY_CREATE_FLAG_MASK \ 18792cacccSSong Liu (BPF_F_NUMA_NODE | BPF_F_MMAPABLE | BPF_F_ACCESS_MASK | \ 194a8f87e6SDaniel Borkmann BPF_F_PRESERVE_ELEMS | BPF_F_INNER_MAP) 206e71b04aSChenbo Feng 21a10423b8SAlexei Starovoitov static void bpf_array_free_percpu(struct bpf_array *array) 22a10423b8SAlexei Starovoitov { 23a10423b8SAlexei Starovoitov int i; 24a10423b8SAlexei Starovoitov 2532fff239SEric Dumazet for (i = 0; i < array->map.max_entries; i++) { 26a10423b8SAlexei Starovoitov free_percpu(array->pptrs[i]); 2732fff239SEric Dumazet cond_resched(); 2832fff239SEric Dumazet } 29a10423b8SAlexei Starovoitov } 30a10423b8SAlexei Starovoitov 31a10423b8SAlexei Starovoitov static int bpf_array_alloc_percpu(struct bpf_array *array) 32a10423b8SAlexei Starovoitov { 33a10423b8SAlexei Starovoitov void __percpu *ptr; 34a10423b8SAlexei Starovoitov int i; 35a10423b8SAlexei Starovoitov 36a10423b8SAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) { 376d192c79SRoman Gushchin ptr = bpf_map_alloc_percpu(&array->map, array->elem_size, 8, 38a10423b8SAlexei Starovoitov GFP_USER | __GFP_NOWARN); 39a10423b8SAlexei Starovoitov if (!ptr) { 40a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 41a10423b8SAlexei Starovoitov return -ENOMEM; 42a10423b8SAlexei Starovoitov } 43a10423b8SAlexei Starovoitov array->pptrs[i] = ptr; 4432fff239SEric Dumazet cond_resched(); 45a10423b8SAlexei Starovoitov } 46a10423b8SAlexei Starovoitov 47a10423b8SAlexei Starovoitov return 0; 48a10423b8SAlexei Starovoitov } 49a10423b8SAlexei Starovoitov 5028fbcfa0SAlexei Starovoitov /* Called from syscall */ 515dc4c4b7SMartin KaFai Lau int array_map_alloc_check(union bpf_attr *attr) 52ad46061fSJakub Kicinski { 53ad46061fSJakub Kicinski bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY; 54ad46061fSJakub Kicinski int numa_node = bpf_map_attr_numa_node(attr); 55ad46061fSJakub Kicinski 56ad46061fSJakub Kicinski /* check sanity of attributes */ 57ad46061fSJakub Kicinski if (attr->max_entries == 0 || attr->key_size != 4 || 58ad46061fSJakub Kicinski attr->value_size == 0 || 59ad46061fSJakub Kicinski attr->map_flags & ~ARRAY_CREATE_FLAG_MASK || 60591fe988SDaniel Borkmann !bpf_map_flags_access_ok(attr->map_flags) || 61ad46061fSJakub Kicinski (percpu && numa_node != NUMA_NO_NODE)) 62ad46061fSJakub Kicinski return -EINVAL; 63ad46061fSJakub Kicinski 64fc970227SAndrii Nakryiko if (attr->map_type != BPF_MAP_TYPE_ARRAY && 654a8f87e6SDaniel Borkmann attr->map_flags & (BPF_F_MMAPABLE | BPF_F_INNER_MAP)) 66fc970227SAndrii Nakryiko return -EINVAL; 67fc970227SAndrii Nakryiko 68792cacccSSong Liu if (attr->map_type != BPF_MAP_TYPE_PERF_EVENT_ARRAY && 69792cacccSSong Liu attr->map_flags & BPF_F_PRESERVE_ELEMS) 70792cacccSSong Liu return -EINVAL; 71792cacccSSong Liu 72ad46061fSJakub Kicinski if (attr->value_size > KMALLOC_MAX_SIZE) 73ad46061fSJakub Kicinski /* if value_size is bigger, the user space won't be able to 74ad46061fSJakub Kicinski * access the elements. 75ad46061fSJakub Kicinski */ 76ad46061fSJakub Kicinski return -E2BIG; 77ad46061fSJakub Kicinski 78ad46061fSJakub Kicinski return 0; 79ad46061fSJakub Kicinski } 80ad46061fSJakub Kicinski 8128fbcfa0SAlexei Starovoitov static struct bpf_map *array_map_alloc(union bpf_attr *attr) 8228fbcfa0SAlexei Starovoitov { 83a10423b8SAlexei Starovoitov bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY; 841bc59756SRoman Gushchin int numa_node = bpf_map_attr_numa_node(attr); 85b2157399SAlexei Starovoitov u32 elem_size, index_mask, max_entries; 862c78ee89SAlexei Starovoitov bool bypass_spec_v1 = bpf_bypass_spec_v1(); 871bc59756SRoman Gushchin u64 array_size, mask64; 8828fbcfa0SAlexei Starovoitov struct bpf_array *array; 8928fbcfa0SAlexei Starovoitov 9028fbcfa0SAlexei Starovoitov elem_size = round_up(attr->value_size, 8); 9128fbcfa0SAlexei Starovoitov 92b2157399SAlexei Starovoitov max_entries = attr->max_entries; 93b2157399SAlexei Starovoitov 94bbeb6e43SDaniel Borkmann /* On 32 bit archs roundup_pow_of_two() with max_entries that has 95bbeb6e43SDaniel Borkmann * upper most bit set in u32 space is undefined behavior due to 96bbeb6e43SDaniel Borkmann * resulting 1U << 32, so do it manually here in u64 space. 97bbeb6e43SDaniel Borkmann */ 98bbeb6e43SDaniel Borkmann mask64 = fls_long(max_entries - 1); 99bbeb6e43SDaniel Borkmann mask64 = 1ULL << mask64; 100bbeb6e43SDaniel Borkmann mask64 -= 1; 101bbeb6e43SDaniel Borkmann 102bbeb6e43SDaniel Borkmann index_mask = mask64; 1032c78ee89SAlexei Starovoitov if (!bypass_spec_v1) { 104b2157399SAlexei Starovoitov /* round up array size to nearest power of 2, 105b2157399SAlexei Starovoitov * since cpu will speculate within index_mask limits 106b2157399SAlexei Starovoitov */ 107b2157399SAlexei Starovoitov max_entries = index_mask + 1; 108bbeb6e43SDaniel Borkmann /* Check for overflows. */ 109bbeb6e43SDaniel Borkmann if (max_entries < attr->max_entries) 110bbeb6e43SDaniel Borkmann return ERR_PTR(-E2BIG); 111bbeb6e43SDaniel Borkmann } 112b2157399SAlexei Starovoitov 113a10423b8SAlexei Starovoitov array_size = sizeof(*array); 114fc970227SAndrii Nakryiko if (percpu) { 115b2157399SAlexei Starovoitov array_size += (u64) max_entries * sizeof(void *); 116fc970227SAndrii Nakryiko } else { 117fc970227SAndrii Nakryiko /* rely on vmalloc() to return page-aligned memory and 118fc970227SAndrii Nakryiko * ensure array->value is exactly page-aligned 119fc970227SAndrii Nakryiko */ 120fc970227SAndrii Nakryiko if (attr->map_flags & BPF_F_MMAPABLE) { 121fc970227SAndrii Nakryiko array_size = PAGE_ALIGN(array_size); 122fc970227SAndrii Nakryiko array_size += PAGE_ALIGN((u64) max_entries * elem_size); 123fc970227SAndrii Nakryiko } else { 124b2157399SAlexei Starovoitov array_size += (u64) max_entries * elem_size; 125fc970227SAndrii Nakryiko } 126fc970227SAndrii Nakryiko } 127a10423b8SAlexei Starovoitov 12828fbcfa0SAlexei Starovoitov /* allocate all map elements and zero-initialize them */ 129fc970227SAndrii Nakryiko if (attr->map_flags & BPF_F_MMAPABLE) { 130fc970227SAndrii Nakryiko void *data; 131fc970227SAndrii Nakryiko 132fc970227SAndrii Nakryiko /* kmalloc'ed memory can't be mmap'ed, use explicit vmalloc */ 133fc970227SAndrii Nakryiko data = bpf_map_area_mmapable_alloc(array_size, numa_node); 1341bc59756SRoman Gushchin if (!data) 135fc970227SAndrii Nakryiko return ERR_PTR(-ENOMEM); 136fc970227SAndrii Nakryiko array = data + PAGE_ALIGN(sizeof(struct bpf_array)) 137fc970227SAndrii Nakryiko - offsetof(struct bpf_array, value); 138fc970227SAndrii Nakryiko } else { 13996eabe7aSMartin KaFai Lau array = bpf_map_area_alloc(array_size, numa_node); 140fc970227SAndrii Nakryiko } 1411bc59756SRoman Gushchin if (!array) 14228fbcfa0SAlexei Starovoitov return ERR_PTR(-ENOMEM); 143b2157399SAlexei Starovoitov array->index_mask = index_mask; 1442c78ee89SAlexei Starovoitov array->map.bypass_spec_v1 = bypass_spec_v1; 14528fbcfa0SAlexei Starovoitov 14628fbcfa0SAlexei Starovoitov /* copy mandatory map attributes */ 14732852649SJakub Kicinski bpf_map_init_from_attr(&array->map, attr); 14828fbcfa0SAlexei Starovoitov array->elem_size = elem_size; 14928fbcfa0SAlexei Starovoitov 1509c2d63b8SDaniel Borkmann if (percpu && bpf_array_alloc_percpu(array)) { 151d407bd25SDaniel Borkmann bpf_map_area_free(array); 152a10423b8SAlexei Starovoitov return ERR_PTR(-ENOMEM); 153a10423b8SAlexei Starovoitov } 154a10423b8SAlexei Starovoitov 15528fbcfa0SAlexei Starovoitov return &array->map; 15628fbcfa0SAlexei Starovoitov } 15728fbcfa0SAlexei Starovoitov 15828fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 15928fbcfa0SAlexei Starovoitov static void *array_map_lookup_elem(struct bpf_map *map, void *key) 16028fbcfa0SAlexei Starovoitov { 16128fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 16228fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 16328fbcfa0SAlexei Starovoitov 164a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 16528fbcfa0SAlexei Starovoitov return NULL; 16628fbcfa0SAlexei Starovoitov 167b2157399SAlexei Starovoitov return array->value + array->elem_size * (index & array->index_mask); 16828fbcfa0SAlexei Starovoitov } 16928fbcfa0SAlexei Starovoitov 170d8eca5bbSDaniel Borkmann static int array_map_direct_value_addr(const struct bpf_map *map, u64 *imm, 171d8eca5bbSDaniel Borkmann u32 off) 172d8eca5bbSDaniel Borkmann { 173d8eca5bbSDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 174d8eca5bbSDaniel Borkmann 175d8eca5bbSDaniel Borkmann if (map->max_entries != 1) 176d8eca5bbSDaniel Borkmann return -ENOTSUPP; 177d8eca5bbSDaniel Borkmann if (off >= map->value_size) 178d8eca5bbSDaniel Borkmann return -EINVAL; 179d8eca5bbSDaniel Borkmann 180d8eca5bbSDaniel Borkmann *imm = (unsigned long)array->value; 181d8eca5bbSDaniel Borkmann return 0; 182d8eca5bbSDaniel Borkmann } 183d8eca5bbSDaniel Borkmann 184d8eca5bbSDaniel Borkmann static int array_map_direct_value_meta(const struct bpf_map *map, u64 imm, 185d8eca5bbSDaniel Borkmann u32 *off) 186d8eca5bbSDaniel Borkmann { 187d8eca5bbSDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 188d8eca5bbSDaniel Borkmann u64 base = (unsigned long)array->value; 189d8eca5bbSDaniel Borkmann u64 range = array->elem_size; 190d8eca5bbSDaniel Borkmann 191d8eca5bbSDaniel Borkmann if (map->max_entries != 1) 192d8eca5bbSDaniel Borkmann return -ENOTSUPP; 193d8eca5bbSDaniel Borkmann if (imm < base || imm >= base + range) 194d8eca5bbSDaniel Borkmann return -ENOENT; 195d8eca5bbSDaniel Borkmann 196d8eca5bbSDaniel Borkmann *off = imm - base; 197d8eca5bbSDaniel Borkmann return 0; 198d8eca5bbSDaniel Borkmann } 199d8eca5bbSDaniel Borkmann 20081ed18abSAlexei Starovoitov /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */ 2014a8f87e6SDaniel Borkmann static int array_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf) 20281ed18abSAlexei Starovoitov { 203b2157399SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 20481ed18abSAlexei Starovoitov struct bpf_insn *insn = insn_buf; 205fad73a1aSMartin KaFai Lau u32 elem_size = round_up(map->value_size, 8); 20681ed18abSAlexei Starovoitov const int ret = BPF_REG_0; 20781ed18abSAlexei Starovoitov const int map_ptr = BPF_REG_1; 20881ed18abSAlexei Starovoitov const int index = BPF_REG_2; 20981ed18abSAlexei Starovoitov 2104a8f87e6SDaniel Borkmann if (map->map_flags & BPF_F_INNER_MAP) 2114a8f87e6SDaniel Borkmann return -EOPNOTSUPP; 2124a8f87e6SDaniel Borkmann 21381ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 21481ed18abSAlexei Starovoitov *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 2152c78ee89SAlexei Starovoitov if (!map->bypass_spec_v1) { 216b2157399SAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 4); 217b2157399SAlexei Starovoitov *insn++ = BPF_ALU32_IMM(BPF_AND, ret, array->index_mask); 218b2157399SAlexei Starovoitov } else { 219fad73a1aSMartin KaFai Lau *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 3); 220b2157399SAlexei Starovoitov } 221fad73a1aSMartin KaFai Lau 222fad73a1aSMartin KaFai Lau if (is_power_of_2(elem_size)) { 22381ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 22481ed18abSAlexei Starovoitov } else { 22581ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 22681ed18abSAlexei Starovoitov } 22781ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 22881ed18abSAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 22981ed18abSAlexei Starovoitov *insn++ = BPF_MOV64_IMM(ret, 0); 23081ed18abSAlexei Starovoitov return insn - insn_buf; 23181ed18abSAlexei Starovoitov } 23281ed18abSAlexei Starovoitov 233a10423b8SAlexei Starovoitov /* Called from eBPF program */ 234a10423b8SAlexei Starovoitov static void *percpu_array_map_lookup_elem(struct bpf_map *map, void *key) 235a10423b8SAlexei Starovoitov { 236a10423b8SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 237a10423b8SAlexei Starovoitov u32 index = *(u32 *)key; 238a10423b8SAlexei Starovoitov 239a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 240a10423b8SAlexei Starovoitov return NULL; 241a10423b8SAlexei Starovoitov 242b2157399SAlexei Starovoitov return this_cpu_ptr(array->pptrs[index & array->index_mask]); 243a10423b8SAlexei Starovoitov } 244a10423b8SAlexei Starovoitov 24515a07b33SAlexei Starovoitov int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value) 24615a07b33SAlexei Starovoitov { 24715a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 24815a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 24915a07b33SAlexei Starovoitov void __percpu *pptr; 25015a07b33SAlexei Starovoitov int cpu, off = 0; 25115a07b33SAlexei Starovoitov u32 size; 25215a07b33SAlexei Starovoitov 25315a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 25415a07b33SAlexei Starovoitov return -ENOENT; 25515a07b33SAlexei Starovoitov 25615a07b33SAlexei Starovoitov /* per_cpu areas are zero-filled and bpf programs can only 25715a07b33SAlexei Starovoitov * access 'value_size' of them, so copying rounded areas 25815a07b33SAlexei Starovoitov * will not leak any kernel data 25915a07b33SAlexei Starovoitov */ 26015a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 26115a07b33SAlexei Starovoitov rcu_read_lock(); 262b2157399SAlexei Starovoitov pptr = array->pptrs[index & array->index_mask]; 26315a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 26415a07b33SAlexei Starovoitov bpf_long_memcpy(value + off, per_cpu_ptr(pptr, cpu), size); 26515a07b33SAlexei Starovoitov off += size; 26615a07b33SAlexei Starovoitov } 26715a07b33SAlexei Starovoitov rcu_read_unlock(); 26815a07b33SAlexei Starovoitov return 0; 26915a07b33SAlexei Starovoitov } 27015a07b33SAlexei Starovoitov 27128fbcfa0SAlexei Starovoitov /* Called from syscall */ 27228fbcfa0SAlexei Starovoitov static int array_map_get_next_key(struct bpf_map *map, void *key, void *next_key) 27328fbcfa0SAlexei Starovoitov { 27428fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 2758fe45924STeng Qin u32 index = key ? *(u32 *)key : U32_MAX; 27628fbcfa0SAlexei Starovoitov u32 *next = (u32 *)next_key; 27728fbcfa0SAlexei Starovoitov 27828fbcfa0SAlexei Starovoitov if (index >= array->map.max_entries) { 27928fbcfa0SAlexei Starovoitov *next = 0; 28028fbcfa0SAlexei Starovoitov return 0; 28128fbcfa0SAlexei Starovoitov } 28228fbcfa0SAlexei Starovoitov 28328fbcfa0SAlexei Starovoitov if (index == array->map.max_entries - 1) 28428fbcfa0SAlexei Starovoitov return -ENOENT; 28528fbcfa0SAlexei Starovoitov 28628fbcfa0SAlexei Starovoitov *next = index + 1; 28728fbcfa0SAlexei Starovoitov return 0; 28828fbcfa0SAlexei Starovoitov } 28928fbcfa0SAlexei Starovoitov 29028fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 29128fbcfa0SAlexei Starovoitov static int array_map_update_elem(struct bpf_map *map, void *key, void *value, 29228fbcfa0SAlexei Starovoitov u64 map_flags) 29328fbcfa0SAlexei Starovoitov { 29428fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 29528fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 29696049f3aSAlexei Starovoitov char *val; 29728fbcfa0SAlexei Starovoitov 29896049f3aSAlexei Starovoitov if (unlikely((map_flags & ~BPF_F_LOCK) > BPF_EXIST)) 29928fbcfa0SAlexei Starovoitov /* unknown flags */ 30028fbcfa0SAlexei Starovoitov return -EINVAL; 30128fbcfa0SAlexei Starovoitov 302a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 30328fbcfa0SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 30428fbcfa0SAlexei Starovoitov return -E2BIG; 30528fbcfa0SAlexei Starovoitov 30696049f3aSAlexei Starovoitov if (unlikely(map_flags & BPF_NOEXIST)) 307daaf427cSAlexei Starovoitov /* all elements already exist */ 30828fbcfa0SAlexei Starovoitov return -EEXIST; 30928fbcfa0SAlexei Starovoitov 31096049f3aSAlexei Starovoitov if (unlikely((map_flags & BPF_F_LOCK) && 31196049f3aSAlexei Starovoitov !map_value_has_spin_lock(map))) 31296049f3aSAlexei Starovoitov return -EINVAL; 31396049f3aSAlexei Starovoitov 31496049f3aSAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) { 315b2157399SAlexei Starovoitov memcpy(this_cpu_ptr(array->pptrs[index & array->index_mask]), 316a10423b8SAlexei Starovoitov value, map->value_size); 31796049f3aSAlexei Starovoitov } else { 31896049f3aSAlexei Starovoitov val = array->value + 31996049f3aSAlexei Starovoitov array->elem_size * (index & array->index_mask); 32096049f3aSAlexei Starovoitov if (map_flags & BPF_F_LOCK) 32196049f3aSAlexei Starovoitov copy_map_value_locked(map, val, value, false); 322a10423b8SAlexei Starovoitov else 32396049f3aSAlexei Starovoitov copy_map_value(map, val, value); 32496049f3aSAlexei Starovoitov } 32528fbcfa0SAlexei Starovoitov return 0; 32628fbcfa0SAlexei Starovoitov } 32728fbcfa0SAlexei Starovoitov 32815a07b33SAlexei Starovoitov int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value, 32915a07b33SAlexei Starovoitov u64 map_flags) 33015a07b33SAlexei Starovoitov { 33115a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 33215a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 33315a07b33SAlexei Starovoitov void __percpu *pptr; 33415a07b33SAlexei Starovoitov int cpu, off = 0; 33515a07b33SAlexei Starovoitov u32 size; 33615a07b33SAlexei Starovoitov 33715a07b33SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 33815a07b33SAlexei Starovoitov /* unknown flags */ 33915a07b33SAlexei Starovoitov return -EINVAL; 34015a07b33SAlexei Starovoitov 34115a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 34215a07b33SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 34315a07b33SAlexei Starovoitov return -E2BIG; 34415a07b33SAlexei Starovoitov 34515a07b33SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 34615a07b33SAlexei Starovoitov /* all elements already exist */ 34715a07b33SAlexei Starovoitov return -EEXIST; 34815a07b33SAlexei Starovoitov 34915a07b33SAlexei Starovoitov /* the user space will provide round_up(value_size, 8) bytes that 35015a07b33SAlexei Starovoitov * will be copied into per-cpu area. bpf programs can only access 35115a07b33SAlexei Starovoitov * value_size of it. During lookup the same extra bytes will be 35215a07b33SAlexei Starovoitov * returned or zeros which were zero-filled by percpu_alloc, 35315a07b33SAlexei Starovoitov * so no kernel data leaks possible 35415a07b33SAlexei Starovoitov */ 35515a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 35615a07b33SAlexei Starovoitov rcu_read_lock(); 357b2157399SAlexei Starovoitov pptr = array->pptrs[index & array->index_mask]; 35815a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 35915a07b33SAlexei Starovoitov bpf_long_memcpy(per_cpu_ptr(pptr, cpu), value + off, size); 36015a07b33SAlexei Starovoitov off += size; 36115a07b33SAlexei Starovoitov } 36215a07b33SAlexei Starovoitov rcu_read_unlock(); 36315a07b33SAlexei Starovoitov return 0; 36415a07b33SAlexei Starovoitov } 36515a07b33SAlexei Starovoitov 36628fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 36728fbcfa0SAlexei Starovoitov static int array_map_delete_elem(struct bpf_map *map, void *key) 36828fbcfa0SAlexei Starovoitov { 36928fbcfa0SAlexei Starovoitov return -EINVAL; 37028fbcfa0SAlexei Starovoitov } 37128fbcfa0SAlexei Starovoitov 372fc970227SAndrii Nakryiko static void *array_map_vmalloc_addr(struct bpf_array *array) 373fc970227SAndrii Nakryiko { 374fc970227SAndrii Nakryiko return (void *)round_down((unsigned long)array, PAGE_SIZE); 375fc970227SAndrii Nakryiko } 376fc970227SAndrii Nakryiko 37728fbcfa0SAlexei Starovoitov /* Called when map->refcnt goes to zero, either from workqueue or from syscall */ 37828fbcfa0SAlexei Starovoitov static void array_map_free(struct bpf_map *map) 37928fbcfa0SAlexei Starovoitov { 38028fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 38128fbcfa0SAlexei Starovoitov 382a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 383a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 384a10423b8SAlexei Starovoitov 385fc970227SAndrii Nakryiko if (array->map.map_flags & BPF_F_MMAPABLE) 386fc970227SAndrii Nakryiko bpf_map_area_free(array_map_vmalloc_addr(array)); 387fc970227SAndrii Nakryiko else 388d407bd25SDaniel Borkmann bpf_map_area_free(array); 38928fbcfa0SAlexei Starovoitov } 39028fbcfa0SAlexei Starovoitov 391a26ca7c9SMartin KaFai Lau static void array_map_seq_show_elem(struct bpf_map *map, void *key, 392a26ca7c9SMartin KaFai Lau struct seq_file *m) 393a26ca7c9SMartin KaFai Lau { 394a26ca7c9SMartin KaFai Lau void *value; 395a26ca7c9SMartin KaFai Lau 396a26ca7c9SMartin KaFai Lau rcu_read_lock(); 397a26ca7c9SMartin KaFai Lau 398a26ca7c9SMartin KaFai Lau value = array_map_lookup_elem(map, key); 399a26ca7c9SMartin KaFai Lau if (!value) { 400a26ca7c9SMartin KaFai Lau rcu_read_unlock(); 401a26ca7c9SMartin KaFai Lau return; 402a26ca7c9SMartin KaFai Lau } 403a26ca7c9SMartin KaFai Lau 4042824ecb7SDaniel Borkmann if (map->btf_key_type_id) 405a26ca7c9SMartin KaFai Lau seq_printf(m, "%u: ", *(u32 *)key); 4069b2cf328SMartin KaFai Lau btf_type_seq_show(map->btf, map->btf_value_type_id, value, m); 407a26ca7c9SMartin KaFai Lau seq_puts(m, "\n"); 408a26ca7c9SMartin KaFai Lau 409a26ca7c9SMartin KaFai Lau rcu_read_unlock(); 410a26ca7c9SMartin KaFai Lau } 411a26ca7c9SMartin KaFai Lau 412c7b27c37SYonghong Song static void percpu_array_map_seq_show_elem(struct bpf_map *map, void *key, 413c7b27c37SYonghong Song struct seq_file *m) 414c7b27c37SYonghong Song { 415c7b27c37SYonghong Song struct bpf_array *array = container_of(map, struct bpf_array, map); 416c7b27c37SYonghong Song u32 index = *(u32 *)key; 417c7b27c37SYonghong Song void __percpu *pptr; 418c7b27c37SYonghong Song int cpu; 419c7b27c37SYonghong Song 420c7b27c37SYonghong Song rcu_read_lock(); 421c7b27c37SYonghong Song 422c7b27c37SYonghong Song seq_printf(m, "%u: {\n", *(u32 *)key); 423c7b27c37SYonghong Song pptr = array->pptrs[index & array->index_mask]; 424c7b27c37SYonghong Song for_each_possible_cpu(cpu) { 425c7b27c37SYonghong Song seq_printf(m, "\tcpu%d: ", cpu); 426c7b27c37SYonghong Song btf_type_seq_show(map->btf, map->btf_value_type_id, 427c7b27c37SYonghong Song per_cpu_ptr(pptr, cpu), m); 428c7b27c37SYonghong Song seq_puts(m, "\n"); 429c7b27c37SYonghong Song } 430c7b27c37SYonghong Song seq_puts(m, "}\n"); 431c7b27c37SYonghong Song 432c7b27c37SYonghong Song rcu_read_unlock(); 433c7b27c37SYonghong Song } 434c7b27c37SYonghong Song 435e8d2bec0SDaniel Borkmann static int array_map_check_btf(const struct bpf_map *map, 4361b2b234bSRoman Gushchin const struct btf *btf, 437e8d2bec0SDaniel Borkmann const struct btf_type *key_type, 438e8d2bec0SDaniel Borkmann const struct btf_type *value_type) 439a26ca7c9SMartin KaFai Lau { 440a26ca7c9SMartin KaFai Lau u32 int_data; 441a26ca7c9SMartin KaFai Lau 4422824ecb7SDaniel Borkmann /* One exception for keyless BTF: .bss/.data/.rodata map */ 4432824ecb7SDaniel Borkmann if (btf_type_is_void(key_type)) { 4442824ecb7SDaniel Borkmann if (map->map_type != BPF_MAP_TYPE_ARRAY || 4452824ecb7SDaniel Borkmann map->max_entries != 1) 4462824ecb7SDaniel Borkmann return -EINVAL; 4472824ecb7SDaniel Borkmann 4482824ecb7SDaniel Borkmann if (BTF_INFO_KIND(value_type->info) != BTF_KIND_DATASEC) 4492824ecb7SDaniel Borkmann return -EINVAL; 4502824ecb7SDaniel Borkmann 4512824ecb7SDaniel Borkmann return 0; 4522824ecb7SDaniel Borkmann } 4532824ecb7SDaniel Borkmann 454e8d2bec0SDaniel Borkmann if (BTF_INFO_KIND(key_type->info) != BTF_KIND_INT) 455a26ca7c9SMartin KaFai Lau return -EINVAL; 456a26ca7c9SMartin KaFai Lau 457a26ca7c9SMartin KaFai Lau int_data = *(u32 *)(key_type + 1); 458e8d2bec0SDaniel Borkmann /* bpf array can only take a u32 key. This check makes sure 459e8d2bec0SDaniel Borkmann * that the btf matches the attr used during map_create. 460a26ca7c9SMartin KaFai Lau */ 461e8d2bec0SDaniel Borkmann if (BTF_INT_BITS(int_data) != 32 || BTF_INT_OFFSET(int_data)) 462a26ca7c9SMartin KaFai Lau return -EINVAL; 463a26ca7c9SMartin KaFai Lau 464a26ca7c9SMartin KaFai Lau return 0; 465a26ca7c9SMartin KaFai Lau } 466a26ca7c9SMartin KaFai Lau 467b2e2f0e6SYueHaibing static int array_map_mmap(struct bpf_map *map, struct vm_area_struct *vma) 468fc970227SAndrii Nakryiko { 469fc970227SAndrii Nakryiko struct bpf_array *array = container_of(map, struct bpf_array, map); 470fc970227SAndrii Nakryiko pgoff_t pgoff = PAGE_ALIGN(sizeof(*array)) >> PAGE_SHIFT; 471fc970227SAndrii Nakryiko 472fc970227SAndrii Nakryiko if (!(map->map_flags & BPF_F_MMAPABLE)) 473fc970227SAndrii Nakryiko return -EINVAL; 474fc970227SAndrii Nakryiko 475333291ceSAndrii Nakryiko if (vma->vm_pgoff * PAGE_SIZE + (vma->vm_end - vma->vm_start) > 476333291ceSAndrii Nakryiko PAGE_ALIGN((u64)array->map.max_entries * array->elem_size)) 477333291ceSAndrii Nakryiko return -EINVAL; 478333291ceSAndrii Nakryiko 479333291ceSAndrii Nakryiko return remap_vmalloc_range(vma, array_map_vmalloc_addr(array), 480333291ceSAndrii Nakryiko vma->vm_pgoff + pgoff); 481fc970227SAndrii Nakryiko } 482fc970227SAndrii Nakryiko 483134fede4SMartin KaFai Lau static bool array_map_meta_equal(const struct bpf_map *meta0, 484134fede4SMartin KaFai Lau const struct bpf_map *meta1) 485134fede4SMartin KaFai Lau { 4864a8f87e6SDaniel Borkmann if (!bpf_map_meta_equal(meta0, meta1)) 4874a8f87e6SDaniel Borkmann return false; 4884a8f87e6SDaniel Borkmann return meta0->map_flags & BPF_F_INNER_MAP ? true : 4894a8f87e6SDaniel Borkmann meta0->max_entries == meta1->max_entries; 490134fede4SMartin KaFai Lau } 491134fede4SMartin KaFai Lau 492d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info { 493d3cc2ab5SYonghong Song struct bpf_map *map; 494d3cc2ab5SYonghong Song void *percpu_value_buf; 495d3cc2ab5SYonghong Song u32 index; 496d3cc2ab5SYonghong Song }; 497d3cc2ab5SYonghong Song 498d3cc2ab5SYonghong Song static void *bpf_array_map_seq_start(struct seq_file *seq, loff_t *pos) 499d3cc2ab5SYonghong Song { 500d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info *info = seq->private; 501d3cc2ab5SYonghong Song struct bpf_map *map = info->map; 502d3cc2ab5SYonghong Song struct bpf_array *array; 503d3cc2ab5SYonghong Song u32 index; 504d3cc2ab5SYonghong Song 505d3cc2ab5SYonghong Song if (info->index >= map->max_entries) 506d3cc2ab5SYonghong Song return NULL; 507d3cc2ab5SYonghong Song 508d3cc2ab5SYonghong Song if (*pos == 0) 509d3cc2ab5SYonghong Song ++*pos; 510d3cc2ab5SYonghong Song array = container_of(map, struct bpf_array, map); 511d3cc2ab5SYonghong Song index = info->index & array->index_mask; 512d3cc2ab5SYonghong Song if (info->percpu_value_buf) 513d3cc2ab5SYonghong Song return array->pptrs[index]; 514d3cc2ab5SYonghong Song return array->value + array->elem_size * index; 515d3cc2ab5SYonghong Song } 516d3cc2ab5SYonghong Song 517d3cc2ab5SYonghong Song static void *bpf_array_map_seq_next(struct seq_file *seq, void *v, loff_t *pos) 518d3cc2ab5SYonghong Song { 519d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info *info = seq->private; 520d3cc2ab5SYonghong Song struct bpf_map *map = info->map; 521d3cc2ab5SYonghong Song struct bpf_array *array; 522d3cc2ab5SYonghong Song u32 index; 523d3cc2ab5SYonghong Song 524d3cc2ab5SYonghong Song ++*pos; 525d3cc2ab5SYonghong Song ++info->index; 526d3cc2ab5SYonghong Song if (info->index >= map->max_entries) 527d3cc2ab5SYonghong Song return NULL; 528d3cc2ab5SYonghong Song 529d3cc2ab5SYonghong Song array = container_of(map, struct bpf_array, map); 530d3cc2ab5SYonghong Song index = info->index & array->index_mask; 531d3cc2ab5SYonghong Song if (info->percpu_value_buf) 532d3cc2ab5SYonghong Song return array->pptrs[index]; 533d3cc2ab5SYonghong Song return array->value + array->elem_size * index; 534d3cc2ab5SYonghong Song } 535d3cc2ab5SYonghong Song 536d3cc2ab5SYonghong Song static int __bpf_array_map_seq_show(struct seq_file *seq, void *v) 537d3cc2ab5SYonghong Song { 538d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info *info = seq->private; 539d3cc2ab5SYonghong Song struct bpf_iter__bpf_map_elem ctx = {}; 540d3cc2ab5SYonghong Song struct bpf_map *map = info->map; 541d3cc2ab5SYonghong Song struct bpf_iter_meta meta; 542d3cc2ab5SYonghong Song struct bpf_prog *prog; 543d3cc2ab5SYonghong Song int off = 0, cpu = 0; 544d3cc2ab5SYonghong Song void __percpu **pptr; 545d3cc2ab5SYonghong Song u32 size; 546d3cc2ab5SYonghong Song 547d3cc2ab5SYonghong Song meta.seq = seq; 548d3cc2ab5SYonghong Song prog = bpf_iter_get_info(&meta, v == NULL); 549d3cc2ab5SYonghong Song if (!prog) 550d3cc2ab5SYonghong Song return 0; 551d3cc2ab5SYonghong Song 552d3cc2ab5SYonghong Song ctx.meta = &meta; 553d3cc2ab5SYonghong Song ctx.map = info->map; 554d3cc2ab5SYonghong Song if (v) { 555d3cc2ab5SYonghong Song ctx.key = &info->index; 556d3cc2ab5SYonghong Song 557d3cc2ab5SYonghong Song if (!info->percpu_value_buf) { 558d3cc2ab5SYonghong Song ctx.value = v; 559d3cc2ab5SYonghong Song } else { 560d3cc2ab5SYonghong Song pptr = v; 561d3cc2ab5SYonghong Song size = round_up(map->value_size, 8); 562d3cc2ab5SYonghong Song for_each_possible_cpu(cpu) { 563d3cc2ab5SYonghong Song bpf_long_memcpy(info->percpu_value_buf + off, 564d3cc2ab5SYonghong Song per_cpu_ptr(pptr, cpu), 565d3cc2ab5SYonghong Song size); 566d3cc2ab5SYonghong Song off += size; 567d3cc2ab5SYonghong Song } 568d3cc2ab5SYonghong Song ctx.value = info->percpu_value_buf; 569d3cc2ab5SYonghong Song } 570d3cc2ab5SYonghong Song } 571d3cc2ab5SYonghong Song 572d3cc2ab5SYonghong Song return bpf_iter_run_prog(prog, &ctx); 573d3cc2ab5SYonghong Song } 574d3cc2ab5SYonghong Song 575d3cc2ab5SYonghong Song static int bpf_array_map_seq_show(struct seq_file *seq, void *v) 576d3cc2ab5SYonghong Song { 577d3cc2ab5SYonghong Song return __bpf_array_map_seq_show(seq, v); 578d3cc2ab5SYonghong Song } 579d3cc2ab5SYonghong Song 580d3cc2ab5SYonghong Song static void bpf_array_map_seq_stop(struct seq_file *seq, void *v) 581d3cc2ab5SYonghong Song { 582d3cc2ab5SYonghong Song if (!v) 583d3cc2ab5SYonghong Song (void)__bpf_array_map_seq_show(seq, NULL); 584d3cc2ab5SYonghong Song } 585d3cc2ab5SYonghong Song 586d3cc2ab5SYonghong Song static int bpf_iter_init_array_map(void *priv_data, 587d3cc2ab5SYonghong Song struct bpf_iter_aux_info *aux) 588d3cc2ab5SYonghong Song { 589d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info *seq_info = priv_data; 590d3cc2ab5SYonghong Song struct bpf_map *map = aux->map; 591d3cc2ab5SYonghong Song void *value_buf; 592d3cc2ab5SYonghong Song u32 buf_size; 593d3cc2ab5SYonghong Song 594d3cc2ab5SYonghong Song if (map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY) { 595d3cc2ab5SYonghong Song buf_size = round_up(map->value_size, 8) * num_possible_cpus(); 596d3cc2ab5SYonghong Song value_buf = kmalloc(buf_size, GFP_USER | __GFP_NOWARN); 597d3cc2ab5SYonghong Song if (!value_buf) 598d3cc2ab5SYonghong Song return -ENOMEM; 599d3cc2ab5SYonghong Song 600d3cc2ab5SYonghong Song seq_info->percpu_value_buf = value_buf; 601d3cc2ab5SYonghong Song } 602d3cc2ab5SYonghong Song 603d3cc2ab5SYonghong Song seq_info->map = map; 604d3cc2ab5SYonghong Song return 0; 605d3cc2ab5SYonghong Song } 606d3cc2ab5SYonghong Song 607d3cc2ab5SYonghong Song static void bpf_iter_fini_array_map(void *priv_data) 608d3cc2ab5SYonghong Song { 609d3cc2ab5SYonghong Song struct bpf_iter_seq_array_map_info *seq_info = priv_data; 610d3cc2ab5SYonghong Song 611d3cc2ab5SYonghong Song kfree(seq_info->percpu_value_buf); 612d3cc2ab5SYonghong Song } 613d3cc2ab5SYonghong Song 614d3cc2ab5SYonghong Song static const struct seq_operations bpf_array_map_seq_ops = { 615d3cc2ab5SYonghong Song .start = bpf_array_map_seq_start, 616d3cc2ab5SYonghong Song .next = bpf_array_map_seq_next, 617d3cc2ab5SYonghong Song .stop = bpf_array_map_seq_stop, 618d3cc2ab5SYonghong Song .show = bpf_array_map_seq_show, 619d3cc2ab5SYonghong Song }; 620d3cc2ab5SYonghong Song 621d3cc2ab5SYonghong Song static const struct bpf_iter_seq_info iter_seq_info = { 622d3cc2ab5SYonghong Song .seq_ops = &bpf_array_map_seq_ops, 623d3cc2ab5SYonghong Song .init_seq_private = bpf_iter_init_array_map, 624d3cc2ab5SYonghong Song .fini_seq_private = bpf_iter_fini_array_map, 625d3cc2ab5SYonghong Song .seq_priv_size = sizeof(struct bpf_iter_seq_array_map_info), 626d3cc2ab5SYonghong Song }; 627d3cc2ab5SYonghong Song 628*06dcdcd4SYonghong Song static int bpf_for_each_array_elem(struct bpf_map *map, void *callback_fn, 629*06dcdcd4SYonghong Song void *callback_ctx, u64 flags) 630*06dcdcd4SYonghong Song { 631*06dcdcd4SYonghong Song u32 i, key, num_elems = 0; 632*06dcdcd4SYonghong Song struct bpf_array *array; 633*06dcdcd4SYonghong Song bool is_percpu; 634*06dcdcd4SYonghong Song u64 ret = 0; 635*06dcdcd4SYonghong Song void *val; 636*06dcdcd4SYonghong Song 637*06dcdcd4SYonghong Song if (flags != 0) 638*06dcdcd4SYonghong Song return -EINVAL; 639*06dcdcd4SYonghong Song 640*06dcdcd4SYonghong Song is_percpu = map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY; 641*06dcdcd4SYonghong Song array = container_of(map, struct bpf_array, map); 642*06dcdcd4SYonghong Song if (is_percpu) 643*06dcdcd4SYonghong Song migrate_disable(); 644*06dcdcd4SYonghong Song for (i = 0; i < map->max_entries; i++) { 645*06dcdcd4SYonghong Song if (is_percpu) 646*06dcdcd4SYonghong Song val = this_cpu_ptr(array->pptrs[i]); 647*06dcdcd4SYonghong Song else 648*06dcdcd4SYonghong Song val = array->value + array->elem_size * i; 649*06dcdcd4SYonghong Song num_elems++; 650*06dcdcd4SYonghong Song key = i; 651*06dcdcd4SYonghong Song ret = BPF_CAST_CALL(callback_fn)((u64)(long)map, 652*06dcdcd4SYonghong Song (u64)(long)&key, (u64)(long)val, 653*06dcdcd4SYonghong Song (u64)(long)callback_ctx, 0); 654*06dcdcd4SYonghong Song /* return value: 0 - continue, 1 - stop and return */ 655*06dcdcd4SYonghong Song if (ret) 656*06dcdcd4SYonghong Song break; 657*06dcdcd4SYonghong Song } 658*06dcdcd4SYonghong Song 659*06dcdcd4SYonghong Song if (is_percpu) 660*06dcdcd4SYonghong Song migrate_enable(); 661*06dcdcd4SYonghong Song return num_elems; 662*06dcdcd4SYonghong Song } 663*06dcdcd4SYonghong Song 66441c48f3aSAndrey Ignatov static int array_map_btf_id; 66540077e0cSJohannes Berg const struct bpf_map_ops array_map_ops = { 666134fede4SMartin KaFai Lau .map_meta_equal = array_map_meta_equal, 667ad46061fSJakub Kicinski .map_alloc_check = array_map_alloc_check, 66828fbcfa0SAlexei Starovoitov .map_alloc = array_map_alloc, 66928fbcfa0SAlexei Starovoitov .map_free = array_map_free, 67028fbcfa0SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 67128fbcfa0SAlexei Starovoitov .map_lookup_elem = array_map_lookup_elem, 67228fbcfa0SAlexei Starovoitov .map_update_elem = array_map_update_elem, 67328fbcfa0SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 67481ed18abSAlexei Starovoitov .map_gen_lookup = array_map_gen_lookup, 675d8eca5bbSDaniel Borkmann .map_direct_value_addr = array_map_direct_value_addr, 676d8eca5bbSDaniel Borkmann .map_direct_value_meta = array_map_direct_value_meta, 677fc970227SAndrii Nakryiko .map_mmap = array_map_mmap, 678a26ca7c9SMartin KaFai Lau .map_seq_show_elem = array_map_seq_show_elem, 679a26ca7c9SMartin KaFai Lau .map_check_btf = array_map_check_btf, 680c60f2d28SBrian Vazquez .map_lookup_batch = generic_map_lookup_batch, 681c60f2d28SBrian Vazquez .map_update_batch = generic_map_update_batch, 682*06dcdcd4SYonghong Song .map_set_for_each_callback_args = map_set_for_each_callback_args, 683*06dcdcd4SYonghong Song .map_for_each_callback = bpf_for_each_array_elem, 68441c48f3aSAndrey Ignatov .map_btf_name = "bpf_array", 68541c48f3aSAndrey Ignatov .map_btf_id = &array_map_btf_id, 686d3cc2ab5SYonghong Song .iter_seq_info = &iter_seq_info, 68728fbcfa0SAlexei Starovoitov }; 68828fbcfa0SAlexei Starovoitov 6892872e9acSAndrey Ignatov static int percpu_array_map_btf_id; 69040077e0cSJohannes Berg const struct bpf_map_ops percpu_array_map_ops = { 691f4d05259SMartin KaFai Lau .map_meta_equal = bpf_map_meta_equal, 692ad46061fSJakub Kicinski .map_alloc_check = array_map_alloc_check, 693a10423b8SAlexei Starovoitov .map_alloc = array_map_alloc, 694a10423b8SAlexei Starovoitov .map_free = array_map_free, 695a10423b8SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 696a10423b8SAlexei Starovoitov .map_lookup_elem = percpu_array_map_lookup_elem, 697a10423b8SAlexei Starovoitov .map_update_elem = array_map_update_elem, 698a10423b8SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 699c7b27c37SYonghong Song .map_seq_show_elem = percpu_array_map_seq_show_elem, 700e8d2bec0SDaniel Borkmann .map_check_btf = array_map_check_btf, 701*06dcdcd4SYonghong Song .map_set_for_each_callback_args = map_set_for_each_callback_args, 702*06dcdcd4SYonghong Song .map_for_each_callback = bpf_for_each_array_elem, 7032872e9acSAndrey Ignatov .map_btf_name = "bpf_array", 7042872e9acSAndrey Ignatov .map_btf_id = &percpu_array_map_btf_id, 705d3cc2ab5SYonghong Song .iter_seq_info = &iter_seq_info, 706a10423b8SAlexei Starovoitov }; 707a10423b8SAlexei Starovoitov 708ad46061fSJakub Kicinski static int fd_array_map_alloc_check(union bpf_attr *attr) 70904fd61abSAlexei Starovoitov { 7102a36f0b9SWang Nan /* only file descriptors can be stored in this type of map */ 71104fd61abSAlexei Starovoitov if (attr->value_size != sizeof(u32)) 712ad46061fSJakub Kicinski return -EINVAL; 713591fe988SDaniel Borkmann /* Program read-only/write-only not supported for special maps yet. */ 714591fe988SDaniel Borkmann if (attr->map_flags & (BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG)) 715591fe988SDaniel Borkmann return -EINVAL; 716ad46061fSJakub Kicinski return array_map_alloc_check(attr); 71704fd61abSAlexei Starovoitov } 71804fd61abSAlexei Starovoitov 7192a36f0b9SWang Nan static void fd_array_map_free(struct bpf_map *map) 72004fd61abSAlexei Starovoitov { 72104fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 72204fd61abSAlexei Starovoitov int i; 72304fd61abSAlexei Starovoitov 72404fd61abSAlexei Starovoitov /* make sure it's empty */ 72504fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 7262a36f0b9SWang Nan BUG_ON(array->ptrs[i] != NULL); 727d407bd25SDaniel Borkmann 728d407bd25SDaniel Borkmann bpf_map_area_free(array); 72904fd61abSAlexei Starovoitov } 73004fd61abSAlexei Starovoitov 7312a36f0b9SWang Nan static void *fd_array_map_lookup_elem(struct bpf_map *map, void *key) 73204fd61abSAlexei Starovoitov { 7333b4a63f6SPrashant Bhole return ERR_PTR(-EOPNOTSUPP); 73404fd61abSAlexei Starovoitov } 73504fd61abSAlexei Starovoitov 73604fd61abSAlexei Starovoitov /* only called from syscall */ 73714dc6f04SMartin KaFai Lau int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value) 73814dc6f04SMartin KaFai Lau { 73914dc6f04SMartin KaFai Lau void **elem, *ptr; 74014dc6f04SMartin KaFai Lau int ret = 0; 74114dc6f04SMartin KaFai Lau 74214dc6f04SMartin KaFai Lau if (!map->ops->map_fd_sys_lookup_elem) 74314dc6f04SMartin KaFai Lau return -ENOTSUPP; 74414dc6f04SMartin KaFai Lau 74514dc6f04SMartin KaFai Lau rcu_read_lock(); 74614dc6f04SMartin KaFai Lau elem = array_map_lookup_elem(map, key); 74714dc6f04SMartin KaFai Lau if (elem && (ptr = READ_ONCE(*elem))) 74814dc6f04SMartin KaFai Lau *value = map->ops->map_fd_sys_lookup_elem(ptr); 74914dc6f04SMartin KaFai Lau else 75014dc6f04SMartin KaFai Lau ret = -ENOENT; 75114dc6f04SMartin KaFai Lau rcu_read_unlock(); 75214dc6f04SMartin KaFai Lau 75314dc6f04SMartin KaFai Lau return ret; 75414dc6f04SMartin KaFai Lau } 75514dc6f04SMartin KaFai Lau 75614dc6f04SMartin KaFai Lau /* only called from syscall */ 757d056a788SDaniel Borkmann int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file, 758d056a788SDaniel Borkmann void *key, void *value, u64 map_flags) 75904fd61abSAlexei Starovoitov { 76004fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 7612a36f0b9SWang Nan void *new_ptr, *old_ptr; 76204fd61abSAlexei Starovoitov u32 index = *(u32 *)key, ufd; 76304fd61abSAlexei Starovoitov 76404fd61abSAlexei Starovoitov if (map_flags != BPF_ANY) 76504fd61abSAlexei Starovoitov return -EINVAL; 76604fd61abSAlexei Starovoitov 76704fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 76804fd61abSAlexei Starovoitov return -E2BIG; 76904fd61abSAlexei Starovoitov 77004fd61abSAlexei Starovoitov ufd = *(u32 *)value; 771d056a788SDaniel Borkmann new_ptr = map->ops->map_fd_get_ptr(map, map_file, ufd); 7722a36f0b9SWang Nan if (IS_ERR(new_ptr)) 7732a36f0b9SWang Nan return PTR_ERR(new_ptr); 77404fd61abSAlexei Starovoitov 775da765a2fSDaniel Borkmann if (map->ops->map_poke_run) { 776da765a2fSDaniel Borkmann mutex_lock(&array->aux->poke_mutex); 7772a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, new_ptr); 778da765a2fSDaniel Borkmann map->ops->map_poke_run(map, index, old_ptr, new_ptr); 779da765a2fSDaniel Borkmann mutex_unlock(&array->aux->poke_mutex); 780da765a2fSDaniel Borkmann } else { 781da765a2fSDaniel Borkmann old_ptr = xchg(array->ptrs + index, new_ptr); 782da765a2fSDaniel Borkmann } 783da765a2fSDaniel Borkmann 7842a36f0b9SWang Nan if (old_ptr) 7852a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 78604fd61abSAlexei Starovoitov return 0; 78704fd61abSAlexei Starovoitov } 78804fd61abSAlexei Starovoitov 7892a36f0b9SWang Nan static int fd_array_map_delete_elem(struct bpf_map *map, void *key) 79004fd61abSAlexei Starovoitov { 79104fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 7922a36f0b9SWang Nan void *old_ptr; 79304fd61abSAlexei Starovoitov u32 index = *(u32 *)key; 79404fd61abSAlexei Starovoitov 79504fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 79604fd61abSAlexei Starovoitov return -E2BIG; 79704fd61abSAlexei Starovoitov 798da765a2fSDaniel Borkmann if (map->ops->map_poke_run) { 799da765a2fSDaniel Borkmann mutex_lock(&array->aux->poke_mutex); 8002a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, NULL); 801da765a2fSDaniel Borkmann map->ops->map_poke_run(map, index, old_ptr, NULL); 802da765a2fSDaniel Borkmann mutex_unlock(&array->aux->poke_mutex); 803da765a2fSDaniel Borkmann } else { 804da765a2fSDaniel Borkmann old_ptr = xchg(array->ptrs + index, NULL); 805da765a2fSDaniel Borkmann } 806da765a2fSDaniel Borkmann 8072a36f0b9SWang Nan if (old_ptr) { 8082a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 80904fd61abSAlexei Starovoitov return 0; 81004fd61abSAlexei Starovoitov } else { 81104fd61abSAlexei Starovoitov return -ENOENT; 81204fd61abSAlexei Starovoitov } 81304fd61abSAlexei Starovoitov } 81404fd61abSAlexei Starovoitov 815d056a788SDaniel Borkmann static void *prog_fd_array_get_ptr(struct bpf_map *map, 816d056a788SDaniel Borkmann struct file *map_file, int fd) 8172a36f0b9SWang Nan { 8182a36f0b9SWang Nan struct bpf_array *array = container_of(map, struct bpf_array, map); 8192a36f0b9SWang Nan struct bpf_prog *prog = bpf_prog_get(fd); 820d056a788SDaniel Borkmann 8212a36f0b9SWang Nan if (IS_ERR(prog)) 8222a36f0b9SWang Nan return prog; 8232a36f0b9SWang Nan 8242a36f0b9SWang Nan if (!bpf_prog_array_compatible(array, prog)) { 8252a36f0b9SWang Nan bpf_prog_put(prog); 8262a36f0b9SWang Nan return ERR_PTR(-EINVAL); 8272a36f0b9SWang Nan } 828d056a788SDaniel Borkmann 8292a36f0b9SWang Nan return prog; 8302a36f0b9SWang Nan } 8312a36f0b9SWang Nan 8322a36f0b9SWang Nan static void prog_fd_array_put_ptr(void *ptr) 8332a36f0b9SWang Nan { 8341aacde3dSDaniel Borkmann bpf_prog_put(ptr); 8352a36f0b9SWang Nan } 8362a36f0b9SWang Nan 83714dc6f04SMartin KaFai Lau static u32 prog_fd_array_sys_lookup_elem(void *ptr) 83814dc6f04SMartin KaFai Lau { 83914dc6f04SMartin KaFai Lau return ((struct bpf_prog *)ptr)->aux->id; 84014dc6f04SMartin KaFai Lau } 84114dc6f04SMartin KaFai Lau 84204fd61abSAlexei Starovoitov /* decrement refcnt of all bpf_progs that are stored in this map */ 843ba6b8de4SJohn Fastabend static void bpf_fd_array_map_clear(struct bpf_map *map) 84404fd61abSAlexei Starovoitov { 84504fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 84604fd61abSAlexei Starovoitov int i; 84704fd61abSAlexei Starovoitov 84804fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 8492a36f0b9SWang Nan fd_array_map_delete_elem(map, &i); 85004fd61abSAlexei Starovoitov } 85104fd61abSAlexei Starovoitov 852a7c19db3SYonghong Song static void prog_array_map_seq_show_elem(struct bpf_map *map, void *key, 853a7c19db3SYonghong Song struct seq_file *m) 854a7c19db3SYonghong Song { 855a7c19db3SYonghong Song void **elem, *ptr; 856a7c19db3SYonghong Song u32 prog_id; 857a7c19db3SYonghong Song 858a7c19db3SYonghong Song rcu_read_lock(); 859a7c19db3SYonghong Song 860a7c19db3SYonghong Song elem = array_map_lookup_elem(map, key); 861a7c19db3SYonghong Song if (elem) { 862a7c19db3SYonghong Song ptr = READ_ONCE(*elem); 863a7c19db3SYonghong Song if (ptr) { 864a7c19db3SYonghong Song seq_printf(m, "%u: ", *(u32 *)key); 865a7c19db3SYonghong Song prog_id = prog_fd_array_sys_lookup_elem(ptr); 866a7c19db3SYonghong Song btf_type_seq_show(map->btf, map->btf_value_type_id, 867a7c19db3SYonghong Song &prog_id, m); 868a7c19db3SYonghong Song seq_puts(m, "\n"); 869a7c19db3SYonghong Song } 870a7c19db3SYonghong Song } 871a7c19db3SYonghong Song 872a7c19db3SYonghong Song rcu_read_unlock(); 873a7c19db3SYonghong Song } 874a7c19db3SYonghong Song 875da765a2fSDaniel Borkmann struct prog_poke_elem { 876da765a2fSDaniel Borkmann struct list_head list; 877da765a2fSDaniel Borkmann struct bpf_prog_aux *aux; 878da765a2fSDaniel Borkmann }; 879da765a2fSDaniel Borkmann 880da765a2fSDaniel Borkmann static int prog_array_map_poke_track(struct bpf_map *map, 881da765a2fSDaniel Borkmann struct bpf_prog_aux *prog_aux) 882da765a2fSDaniel Borkmann { 883da765a2fSDaniel Borkmann struct prog_poke_elem *elem; 884da765a2fSDaniel Borkmann struct bpf_array_aux *aux; 885da765a2fSDaniel Borkmann int ret = 0; 886da765a2fSDaniel Borkmann 887da765a2fSDaniel Borkmann aux = container_of(map, struct bpf_array, map)->aux; 888da765a2fSDaniel Borkmann mutex_lock(&aux->poke_mutex); 889da765a2fSDaniel Borkmann list_for_each_entry(elem, &aux->poke_progs, list) { 890da765a2fSDaniel Borkmann if (elem->aux == prog_aux) 891da765a2fSDaniel Borkmann goto out; 892da765a2fSDaniel Borkmann } 893da765a2fSDaniel Borkmann 894da765a2fSDaniel Borkmann elem = kmalloc(sizeof(*elem), GFP_KERNEL); 895da765a2fSDaniel Borkmann if (!elem) { 896da765a2fSDaniel Borkmann ret = -ENOMEM; 897da765a2fSDaniel Borkmann goto out; 898da765a2fSDaniel Borkmann } 899da765a2fSDaniel Borkmann 900da765a2fSDaniel Borkmann INIT_LIST_HEAD(&elem->list); 901da765a2fSDaniel Borkmann /* We must track the program's aux info at this point in time 902da765a2fSDaniel Borkmann * since the program pointer itself may not be stable yet, see 903da765a2fSDaniel Borkmann * also comment in prog_array_map_poke_run(). 904da765a2fSDaniel Borkmann */ 905da765a2fSDaniel Borkmann elem->aux = prog_aux; 906da765a2fSDaniel Borkmann 907da765a2fSDaniel Borkmann list_add_tail(&elem->list, &aux->poke_progs); 908da765a2fSDaniel Borkmann out: 909da765a2fSDaniel Borkmann mutex_unlock(&aux->poke_mutex); 910da765a2fSDaniel Borkmann return ret; 911da765a2fSDaniel Borkmann } 912da765a2fSDaniel Borkmann 913da765a2fSDaniel Borkmann static void prog_array_map_poke_untrack(struct bpf_map *map, 914da765a2fSDaniel Borkmann struct bpf_prog_aux *prog_aux) 915da765a2fSDaniel Borkmann { 916da765a2fSDaniel Borkmann struct prog_poke_elem *elem, *tmp; 917da765a2fSDaniel Borkmann struct bpf_array_aux *aux; 918da765a2fSDaniel Borkmann 919da765a2fSDaniel Borkmann aux = container_of(map, struct bpf_array, map)->aux; 920da765a2fSDaniel Borkmann mutex_lock(&aux->poke_mutex); 921da765a2fSDaniel Borkmann list_for_each_entry_safe(elem, tmp, &aux->poke_progs, list) { 922da765a2fSDaniel Borkmann if (elem->aux == prog_aux) { 923da765a2fSDaniel Borkmann list_del_init(&elem->list); 924da765a2fSDaniel Borkmann kfree(elem); 925da765a2fSDaniel Borkmann break; 926da765a2fSDaniel Borkmann } 927da765a2fSDaniel Borkmann } 928da765a2fSDaniel Borkmann mutex_unlock(&aux->poke_mutex); 929da765a2fSDaniel Borkmann } 930da765a2fSDaniel Borkmann 931da765a2fSDaniel Borkmann static void prog_array_map_poke_run(struct bpf_map *map, u32 key, 932da765a2fSDaniel Borkmann struct bpf_prog *old, 933da765a2fSDaniel Borkmann struct bpf_prog *new) 934da765a2fSDaniel Borkmann { 935ebf7d1f5SMaciej Fijalkowski u8 *old_addr, *new_addr, *old_bypass_addr; 936da765a2fSDaniel Borkmann struct prog_poke_elem *elem; 937da765a2fSDaniel Borkmann struct bpf_array_aux *aux; 938da765a2fSDaniel Borkmann 939da765a2fSDaniel Borkmann aux = container_of(map, struct bpf_array, map)->aux; 940da765a2fSDaniel Borkmann WARN_ON_ONCE(!mutex_is_locked(&aux->poke_mutex)); 941da765a2fSDaniel Borkmann 942da765a2fSDaniel Borkmann list_for_each_entry(elem, &aux->poke_progs, list) { 943da765a2fSDaniel Borkmann struct bpf_jit_poke_descriptor *poke; 944da765a2fSDaniel Borkmann int i, ret; 945da765a2fSDaniel Borkmann 946da765a2fSDaniel Borkmann for (i = 0; i < elem->aux->size_poke_tab; i++) { 947da765a2fSDaniel Borkmann poke = &elem->aux->poke_tab[i]; 948da765a2fSDaniel Borkmann 949da765a2fSDaniel Borkmann /* Few things to be aware of: 950da765a2fSDaniel Borkmann * 951da765a2fSDaniel Borkmann * 1) We can only ever access aux in this context, but 952da765a2fSDaniel Borkmann * not aux->prog since it might not be stable yet and 953da765a2fSDaniel Borkmann * there could be danger of use after free otherwise. 954da765a2fSDaniel Borkmann * 2) Initially when we start tracking aux, the program 955da765a2fSDaniel Borkmann * is not JITed yet and also does not have a kallsyms 956cf71b174SMaciej Fijalkowski * entry. We skip these as poke->tailcall_target_stable 957cf71b174SMaciej Fijalkowski * is not active yet. The JIT will do the final fixup 958cf71b174SMaciej Fijalkowski * before setting it stable. The various 959cf71b174SMaciej Fijalkowski * poke->tailcall_target_stable are successively 960cf71b174SMaciej Fijalkowski * activated, so tail call updates can arrive from here 961cf71b174SMaciej Fijalkowski * while JIT is still finishing its final fixup for 962cf71b174SMaciej Fijalkowski * non-activated poke entries. 963da765a2fSDaniel Borkmann * 3) On program teardown, the program's kallsym entry gets 964da765a2fSDaniel Borkmann * removed out of RCU callback, but we can only untrack 965da765a2fSDaniel Borkmann * from sleepable context, therefore bpf_arch_text_poke() 966da765a2fSDaniel Borkmann * might not see that this is in BPF text section and 967da765a2fSDaniel Borkmann * bails out with -EINVAL. As these are unreachable since 968da765a2fSDaniel Borkmann * RCU grace period already passed, we simply skip them. 969da765a2fSDaniel Borkmann * 4) Also programs reaching refcount of zero while patching 970da765a2fSDaniel Borkmann * is in progress is okay since we're protected under 971da765a2fSDaniel Borkmann * poke_mutex and untrack the programs before the JIT 972da765a2fSDaniel Borkmann * buffer is freed. When we're still in the middle of 973da765a2fSDaniel Borkmann * patching and suddenly kallsyms entry of the program 974da765a2fSDaniel Borkmann * gets evicted, we just skip the rest which is fine due 975da765a2fSDaniel Borkmann * to point 3). 976da765a2fSDaniel Borkmann * 5) Any other error happening below from bpf_arch_text_poke() 977da765a2fSDaniel Borkmann * is a unexpected bug. 978da765a2fSDaniel Borkmann */ 979cf71b174SMaciej Fijalkowski if (!READ_ONCE(poke->tailcall_target_stable)) 980da765a2fSDaniel Borkmann continue; 981da765a2fSDaniel Borkmann if (poke->reason != BPF_POKE_REASON_TAIL_CALL) 982da765a2fSDaniel Borkmann continue; 983da765a2fSDaniel Borkmann if (poke->tail_call.map != map || 984da765a2fSDaniel Borkmann poke->tail_call.key != key) 985da765a2fSDaniel Borkmann continue; 986da765a2fSDaniel Borkmann 987ebf7d1f5SMaciej Fijalkowski old_bypass_addr = old ? NULL : poke->bypass_addr; 988ebf7d1f5SMaciej Fijalkowski old_addr = old ? (u8 *)old->bpf_func + poke->adj_off : NULL; 989ebf7d1f5SMaciej Fijalkowski new_addr = new ? (u8 *)new->bpf_func + poke->adj_off : NULL; 990ebf7d1f5SMaciej Fijalkowski 991ebf7d1f5SMaciej Fijalkowski if (new) { 992ebf7d1f5SMaciej Fijalkowski ret = bpf_arch_text_poke(poke->tailcall_target, 993ebf7d1f5SMaciej Fijalkowski BPF_MOD_JUMP, 994ebf7d1f5SMaciej Fijalkowski old_addr, new_addr); 995da765a2fSDaniel Borkmann BUG_ON(ret < 0 && ret != -EINVAL); 996ebf7d1f5SMaciej Fijalkowski if (!old) { 997ebf7d1f5SMaciej Fijalkowski ret = bpf_arch_text_poke(poke->tailcall_bypass, 998ebf7d1f5SMaciej Fijalkowski BPF_MOD_JUMP, 999ebf7d1f5SMaciej Fijalkowski poke->bypass_addr, 1000ebf7d1f5SMaciej Fijalkowski NULL); 1001ebf7d1f5SMaciej Fijalkowski BUG_ON(ret < 0 && ret != -EINVAL); 1002ebf7d1f5SMaciej Fijalkowski } 1003ebf7d1f5SMaciej Fijalkowski } else { 1004ebf7d1f5SMaciej Fijalkowski ret = bpf_arch_text_poke(poke->tailcall_bypass, 1005ebf7d1f5SMaciej Fijalkowski BPF_MOD_JUMP, 1006ebf7d1f5SMaciej Fijalkowski old_bypass_addr, 1007ebf7d1f5SMaciej Fijalkowski poke->bypass_addr); 1008ebf7d1f5SMaciej Fijalkowski BUG_ON(ret < 0 && ret != -EINVAL); 1009ebf7d1f5SMaciej Fijalkowski /* let other CPUs finish the execution of program 1010ebf7d1f5SMaciej Fijalkowski * so that it will not possible to expose them 1011ebf7d1f5SMaciej Fijalkowski * to invalid nop, stack unwind, nop state 1012ebf7d1f5SMaciej Fijalkowski */ 1013ebf7d1f5SMaciej Fijalkowski if (!ret) 1014ebf7d1f5SMaciej Fijalkowski synchronize_rcu(); 1015ebf7d1f5SMaciej Fijalkowski ret = bpf_arch_text_poke(poke->tailcall_target, 1016ebf7d1f5SMaciej Fijalkowski BPF_MOD_JUMP, 1017ebf7d1f5SMaciej Fijalkowski old_addr, NULL); 1018ebf7d1f5SMaciej Fijalkowski BUG_ON(ret < 0 && ret != -EINVAL); 1019ebf7d1f5SMaciej Fijalkowski } 1020da765a2fSDaniel Borkmann } 1021da765a2fSDaniel Borkmann } 1022da765a2fSDaniel Borkmann } 1023da765a2fSDaniel Borkmann 1024da765a2fSDaniel Borkmann static void prog_array_map_clear_deferred(struct work_struct *work) 1025da765a2fSDaniel Borkmann { 1026da765a2fSDaniel Borkmann struct bpf_map *map = container_of(work, struct bpf_array_aux, 1027da765a2fSDaniel Borkmann work)->map; 1028da765a2fSDaniel Borkmann bpf_fd_array_map_clear(map); 1029da765a2fSDaniel Borkmann bpf_map_put(map); 1030da765a2fSDaniel Borkmann } 1031da765a2fSDaniel Borkmann 1032da765a2fSDaniel Borkmann static void prog_array_map_clear(struct bpf_map *map) 1033da765a2fSDaniel Borkmann { 1034da765a2fSDaniel Borkmann struct bpf_array_aux *aux = container_of(map, struct bpf_array, 1035da765a2fSDaniel Borkmann map)->aux; 1036da765a2fSDaniel Borkmann bpf_map_inc(map); 1037da765a2fSDaniel Borkmann schedule_work(&aux->work); 1038da765a2fSDaniel Borkmann } 1039da765a2fSDaniel Borkmann 10402beee5f5SDaniel Borkmann static struct bpf_map *prog_array_map_alloc(union bpf_attr *attr) 10412beee5f5SDaniel Borkmann { 10422beee5f5SDaniel Borkmann struct bpf_array_aux *aux; 10432beee5f5SDaniel Borkmann struct bpf_map *map; 10442beee5f5SDaniel Borkmann 10456d192c79SRoman Gushchin aux = kzalloc(sizeof(*aux), GFP_KERNEL_ACCOUNT); 10462beee5f5SDaniel Borkmann if (!aux) 10472beee5f5SDaniel Borkmann return ERR_PTR(-ENOMEM); 10482beee5f5SDaniel Borkmann 1049da765a2fSDaniel Borkmann INIT_WORK(&aux->work, prog_array_map_clear_deferred); 1050da765a2fSDaniel Borkmann INIT_LIST_HEAD(&aux->poke_progs); 1051da765a2fSDaniel Borkmann mutex_init(&aux->poke_mutex); 1052da765a2fSDaniel Borkmann 10532beee5f5SDaniel Borkmann map = array_map_alloc(attr); 10542beee5f5SDaniel Borkmann if (IS_ERR(map)) { 10552beee5f5SDaniel Borkmann kfree(aux); 10562beee5f5SDaniel Borkmann return map; 10572beee5f5SDaniel Borkmann } 10582beee5f5SDaniel Borkmann 10592beee5f5SDaniel Borkmann container_of(map, struct bpf_array, map)->aux = aux; 1060da765a2fSDaniel Borkmann aux->map = map; 1061da765a2fSDaniel Borkmann 10622beee5f5SDaniel Borkmann return map; 10632beee5f5SDaniel Borkmann } 10642beee5f5SDaniel Borkmann 10652beee5f5SDaniel Borkmann static void prog_array_map_free(struct bpf_map *map) 10662beee5f5SDaniel Borkmann { 1067da765a2fSDaniel Borkmann struct prog_poke_elem *elem, *tmp; 10682beee5f5SDaniel Borkmann struct bpf_array_aux *aux; 10692beee5f5SDaniel Borkmann 10702beee5f5SDaniel Borkmann aux = container_of(map, struct bpf_array, map)->aux; 1071da765a2fSDaniel Borkmann list_for_each_entry_safe(elem, tmp, &aux->poke_progs, list) { 1072da765a2fSDaniel Borkmann list_del_init(&elem->list); 1073da765a2fSDaniel Borkmann kfree(elem); 1074da765a2fSDaniel Borkmann } 10752beee5f5SDaniel Borkmann kfree(aux); 10762beee5f5SDaniel Borkmann fd_array_map_free(map); 10772beee5f5SDaniel Borkmann } 10782beee5f5SDaniel Borkmann 1079f4d05259SMartin KaFai Lau /* prog_array->aux->{type,jited} is a runtime binding. 1080f4d05259SMartin KaFai Lau * Doing static check alone in the verifier is not enough. 1081f4d05259SMartin KaFai Lau * Thus, prog_array_map cannot be used as an inner_map 1082f4d05259SMartin KaFai Lau * and map_meta_equal is not implemented. 1083f4d05259SMartin KaFai Lau */ 10842872e9acSAndrey Ignatov static int prog_array_map_btf_id; 108540077e0cSJohannes Berg const struct bpf_map_ops prog_array_map_ops = { 1086ad46061fSJakub Kicinski .map_alloc_check = fd_array_map_alloc_check, 10872beee5f5SDaniel Borkmann .map_alloc = prog_array_map_alloc, 10882beee5f5SDaniel Borkmann .map_free = prog_array_map_free, 1089da765a2fSDaniel Borkmann .map_poke_track = prog_array_map_poke_track, 1090da765a2fSDaniel Borkmann .map_poke_untrack = prog_array_map_poke_untrack, 1091da765a2fSDaniel Borkmann .map_poke_run = prog_array_map_poke_run, 109204fd61abSAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 10932a36f0b9SWang Nan .map_lookup_elem = fd_array_map_lookup_elem, 10942a36f0b9SWang Nan .map_delete_elem = fd_array_map_delete_elem, 10952a36f0b9SWang Nan .map_fd_get_ptr = prog_fd_array_get_ptr, 10962a36f0b9SWang Nan .map_fd_put_ptr = prog_fd_array_put_ptr, 109714dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = prog_fd_array_sys_lookup_elem, 1098da765a2fSDaniel Borkmann .map_release_uref = prog_array_map_clear, 1099a7c19db3SYonghong Song .map_seq_show_elem = prog_array_map_seq_show_elem, 11002872e9acSAndrey Ignatov .map_btf_name = "bpf_array", 11012872e9acSAndrey Ignatov .map_btf_id = &prog_array_map_btf_id, 110204fd61abSAlexei Starovoitov }; 110304fd61abSAlexei Starovoitov 11043b1efb19SDaniel Borkmann static struct bpf_event_entry *bpf_event_entry_gen(struct file *perf_file, 11053b1efb19SDaniel Borkmann struct file *map_file) 1106ea317b26SKaixu Xia { 11073b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 11083b1efb19SDaniel Borkmann 1109858d68f1SDaniel Borkmann ee = kzalloc(sizeof(*ee), GFP_ATOMIC); 11103b1efb19SDaniel Borkmann if (ee) { 11113b1efb19SDaniel Borkmann ee->event = perf_file->private_data; 11123b1efb19SDaniel Borkmann ee->perf_file = perf_file; 11133b1efb19SDaniel Borkmann ee->map_file = map_file; 11143b1efb19SDaniel Borkmann } 11153b1efb19SDaniel Borkmann 11163b1efb19SDaniel Borkmann return ee; 11173b1efb19SDaniel Borkmann } 11183b1efb19SDaniel Borkmann 11193b1efb19SDaniel Borkmann static void __bpf_event_entry_free(struct rcu_head *rcu) 11203b1efb19SDaniel Borkmann { 11213b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 11223b1efb19SDaniel Borkmann 11233b1efb19SDaniel Borkmann ee = container_of(rcu, struct bpf_event_entry, rcu); 11243b1efb19SDaniel Borkmann fput(ee->perf_file); 11253b1efb19SDaniel Borkmann kfree(ee); 11263b1efb19SDaniel Borkmann } 11273b1efb19SDaniel Borkmann 11283b1efb19SDaniel Borkmann static void bpf_event_entry_free_rcu(struct bpf_event_entry *ee) 11293b1efb19SDaniel Borkmann { 11303b1efb19SDaniel Borkmann call_rcu(&ee->rcu, __bpf_event_entry_free); 1131ea317b26SKaixu Xia } 1132ea317b26SKaixu Xia 1133d056a788SDaniel Borkmann static void *perf_event_fd_array_get_ptr(struct bpf_map *map, 1134d056a788SDaniel Borkmann struct file *map_file, int fd) 1135ea317b26SKaixu Xia { 11363b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 11373b1efb19SDaniel Borkmann struct perf_event *event; 11383b1efb19SDaniel Borkmann struct file *perf_file; 1139f91840a3SAlexei Starovoitov u64 value; 1140ea317b26SKaixu Xia 11413b1efb19SDaniel Borkmann perf_file = perf_event_get(fd); 11423b1efb19SDaniel Borkmann if (IS_ERR(perf_file)) 11433b1efb19SDaniel Borkmann return perf_file; 1144e03e7ee3SAlexei Starovoitov 1145f91840a3SAlexei Starovoitov ee = ERR_PTR(-EOPNOTSUPP); 11463b1efb19SDaniel Borkmann event = perf_file->private_data; 114797562633SYonghong Song if (perf_event_read_local(event, &value, NULL, NULL) == -EOPNOTSUPP) 11483b1efb19SDaniel Borkmann goto err_out; 1149ea317b26SKaixu Xia 11503b1efb19SDaniel Borkmann ee = bpf_event_entry_gen(perf_file, map_file); 11513b1efb19SDaniel Borkmann if (ee) 11523b1efb19SDaniel Borkmann return ee; 11533b1efb19SDaniel Borkmann ee = ERR_PTR(-ENOMEM); 11543b1efb19SDaniel Borkmann err_out: 11553b1efb19SDaniel Borkmann fput(perf_file); 11563b1efb19SDaniel Borkmann return ee; 1157ea317b26SKaixu Xia } 1158ea317b26SKaixu Xia 1159ea317b26SKaixu Xia static void perf_event_fd_array_put_ptr(void *ptr) 1160ea317b26SKaixu Xia { 11613b1efb19SDaniel Borkmann bpf_event_entry_free_rcu(ptr); 11623b1efb19SDaniel Borkmann } 11633b1efb19SDaniel Borkmann 11643b1efb19SDaniel Borkmann static void perf_event_fd_array_release(struct bpf_map *map, 11653b1efb19SDaniel Borkmann struct file *map_file) 11663b1efb19SDaniel Borkmann { 11673b1efb19SDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 11683b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 11693b1efb19SDaniel Borkmann int i; 11703b1efb19SDaniel Borkmann 1171792cacccSSong Liu if (map->map_flags & BPF_F_PRESERVE_ELEMS) 1172792cacccSSong Liu return; 1173792cacccSSong Liu 11743b1efb19SDaniel Borkmann rcu_read_lock(); 11753b1efb19SDaniel Borkmann for (i = 0; i < array->map.max_entries; i++) { 11763b1efb19SDaniel Borkmann ee = READ_ONCE(array->ptrs[i]); 11773b1efb19SDaniel Borkmann if (ee && ee->map_file == map_file) 11783b1efb19SDaniel Borkmann fd_array_map_delete_elem(map, &i); 11793b1efb19SDaniel Borkmann } 11803b1efb19SDaniel Borkmann rcu_read_unlock(); 1181ea317b26SKaixu Xia } 1182ea317b26SKaixu Xia 1183792cacccSSong Liu static void perf_event_fd_array_map_free(struct bpf_map *map) 1184792cacccSSong Liu { 1185792cacccSSong Liu if (map->map_flags & BPF_F_PRESERVE_ELEMS) 1186792cacccSSong Liu bpf_fd_array_map_clear(map); 1187792cacccSSong Liu fd_array_map_free(map); 1188792cacccSSong Liu } 1189792cacccSSong Liu 11902872e9acSAndrey Ignatov static int perf_event_array_map_btf_id; 119140077e0cSJohannes Berg const struct bpf_map_ops perf_event_array_map_ops = { 1192f4d05259SMartin KaFai Lau .map_meta_equal = bpf_map_meta_equal, 1193ad46061fSJakub Kicinski .map_alloc_check = fd_array_map_alloc_check, 1194ad46061fSJakub Kicinski .map_alloc = array_map_alloc, 1195792cacccSSong Liu .map_free = perf_event_fd_array_map_free, 1196ea317b26SKaixu Xia .map_get_next_key = array_map_get_next_key, 1197ea317b26SKaixu Xia .map_lookup_elem = fd_array_map_lookup_elem, 1198ea317b26SKaixu Xia .map_delete_elem = fd_array_map_delete_elem, 1199ea317b26SKaixu Xia .map_fd_get_ptr = perf_event_fd_array_get_ptr, 1200ea317b26SKaixu Xia .map_fd_put_ptr = perf_event_fd_array_put_ptr, 12013b1efb19SDaniel Borkmann .map_release = perf_event_fd_array_release, 1202e8d2bec0SDaniel Borkmann .map_check_btf = map_check_no_btf, 12032872e9acSAndrey Ignatov .map_btf_name = "bpf_array", 12042872e9acSAndrey Ignatov .map_btf_id = &perf_event_array_map_btf_id, 1205ea317b26SKaixu Xia }; 1206ea317b26SKaixu Xia 120760d20f91SSargun Dhillon #ifdef CONFIG_CGROUPS 12084ed8ec52SMartin KaFai Lau static void *cgroup_fd_array_get_ptr(struct bpf_map *map, 12094ed8ec52SMartin KaFai Lau struct file *map_file /* not used */, 12104ed8ec52SMartin KaFai Lau int fd) 12114ed8ec52SMartin KaFai Lau { 12124ed8ec52SMartin KaFai Lau return cgroup_get_from_fd(fd); 12134ed8ec52SMartin KaFai Lau } 12144ed8ec52SMartin KaFai Lau 12154ed8ec52SMartin KaFai Lau static void cgroup_fd_array_put_ptr(void *ptr) 12164ed8ec52SMartin KaFai Lau { 12174ed8ec52SMartin KaFai Lau /* cgroup_put free cgrp after a rcu grace period */ 12184ed8ec52SMartin KaFai Lau cgroup_put(ptr); 12194ed8ec52SMartin KaFai Lau } 12204ed8ec52SMartin KaFai Lau 12214ed8ec52SMartin KaFai Lau static void cgroup_fd_array_free(struct bpf_map *map) 12224ed8ec52SMartin KaFai Lau { 12234ed8ec52SMartin KaFai Lau bpf_fd_array_map_clear(map); 12244ed8ec52SMartin KaFai Lau fd_array_map_free(map); 12254ed8ec52SMartin KaFai Lau } 12264ed8ec52SMartin KaFai Lau 12272872e9acSAndrey Ignatov static int cgroup_array_map_btf_id; 122840077e0cSJohannes Berg const struct bpf_map_ops cgroup_array_map_ops = { 1229f4d05259SMartin KaFai Lau .map_meta_equal = bpf_map_meta_equal, 1230ad46061fSJakub Kicinski .map_alloc_check = fd_array_map_alloc_check, 1231ad46061fSJakub Kicinski .map_alloc = array_map_alloc, 12324ed8ec52SMartin KaFai Lau .map_free = cgroup_fd_array_free, 12334ed8ec52SMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 12344ed8ec52SMartin KaFai Lau .map_lookup_elem = fd_array_map_lookup_elem, 12354ed8ec52SMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 12364ed8ec52SMartin KaFai Lau .map_fd_get_ptr = cgroup_fd_array_get_ptr, 12374ed8ec52SMartin KaFai Lau .map_fd_put_ptr = cgroup_fd_array_put_ptr, 1238e8d2bec0SDaniel Borkmann .map_check_btf = map_check_no_btf, 12392872e9acSAndrey Ignatov .map_btf_name = "bpf_array", 12402872e9acSAndrey Ignatov .map_btf_id = &cgroup_array_map_btf_id, 12414ed8ec52SMartin KaFai Lau }; 12424ed8ec52SMartin KaFai Lau #endif 124356f668dfSMartin KaFai Lau 124456f668dfSMartin KaFai Lau static struct bpf_map *array_of_map_alloc(union bpf_attr *attr) 124556f668dfSMartin KaFai Lau { 124656f668dfSMartin KaFai Lau struct bpf_map *map, *inner_map_meta; 124756f668dfSMartin KaFai Lau 124856f668dfSMartin KaFai Lau inner_map_meta = bpf_map_meta_alloc(attr->inner_map_fd); 124956f668dfSMartin KaFai Lau if (IS_ERR(inner_map_meta)) 125056f668dfSMartin KaFai Lau return inner_map_meta; 125156f668dfSMartin KaFai Lau 1252ad46061fSJakub Kicinski map = array_map_alloc(attr); 125356f668dfSMartin KaFai Lau if (IS_ERR(map)) { 125456f668dfSMartin KaFai Lau bpf_map_meta_free(inner_map_meta); 125556f668dfSMartin KaFai Lau return map; 125656f668dfSMartin KaFai Lau } 125756f668dfSMartin KaFai Lau 125856f668dfSMartin KaFai Lau map->inner_map_meta = inner_map_meta; 125956f668dfSMartin KaFai Lau 126056f668dfSMartin KaFai Lau return map; 126156f668dfSMartin KaFai Lau } 126256f668dfSMartin KaFai Lau 126356f668dfSMartin KaFai Lau static void array_of_map_free(struct bpf_map *map) 126456f668dfSMartin KaFai Lau { 126556f668dfSMartin KaFai Lau /* map->inner_map_meta is only accessed by syscall which 126656f668dfSMartin KaFai Lau * is protected by fdget/fdput. 126756f668dfSMartin KaFai Lau */ 126856f668dfSMartin KaFai Lau bpf_map_meta_free(map->inner_map_meta); 126956f668dfSMartin KaFai Lau bpf_fd_array_map_clear(map); 127056f668dfSMartin KaFai Lau fd_array_map_free(map); 127156f668dfSMartin KaFai Lau } 127256f668dfSMartin KaFai Lau 127356f668dfSMartin KaFai Lau static void *array_of_map_lookup_elem(struct bpf_map *map, void *key) 127456f668dfSMartin KaFai Lau { 127556f668dfSMartin KaFai Lau struct bpf_map **inner_map = array_map_lookup_elem(map, key); 127656f668dfSMartin KaFai Lau 127756f668dfSMartin KaFai Lau if (!inner_map) 127856f668dfSMartin KaFai Lau return NULL; 127956f668dfSMartin KaFai Lau 128056f668dfSMartin KaFai Lau return READ_ONCE(*inner_map); 128156f668dfSMartin KaFai Lau } 128256f668dfSMartin KaFai Lau 12834a8f87e6SDaniel Borkmann static int array_of_map_gen_lookup(struct bpf_map *map, 12847b0c2a05SDaniel Borkmann struct bpf_insn *insn_buf) 12857b0c2a05SDaniel Borkmann { 1286b2157399SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 12877b0c2a05SDaniel Borkmann u32 elem_size = round_up(map->value_size, 8); 12887b0c2a05SDaniel Borkmann struct bpf_insn *insn = insn_buf; 12897b0c2a05SDaniel Borkmann const int ret = BPF_REG_0; 12907b0c2a05SDaniel Borkmann const int map_ptr = BPF_REG_1; 12917b0c2a05SDaniel Borkmann const int index = BPF_REG_2; 12927b0c2a05SDaniel Borkmann 12937b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 12947b0c2a05SDaniel Borkmann *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 12952c78ee89SAlexei Starovoitov if (!map->bypass_spec_v1) { 1296b2157399SAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 6); 1297b2157399SAlexei Starovoitov *insn++ = BPF_ALU32_IMM(BPF_AND, ret, array->index_mask); 1298b2157399SAlexei Starovoitov } else { 12997b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 5); 1300b2157399SAlexei Starovoitov } 13017b0c2a05SDaniel Borkmann if (is_power_of_2(elem_size)) 13027b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 13037b0c2a05SDaniel Borkmann else 13047b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 13057b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 13067b0c2a05SDaniel Borkmann *insn++ = BPF_LDX_MEM(BPF_DW, ret, ret, 0); 13077b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JEQ, ret, 0, 1); 13087b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 13097b0c2a05SDaniel Borkmann *insn++ = BPF_MOV64_IMM(ret, 0); 13107b0c2a05SDaniel Borkmann 13117b0c2a05SDaniel Borkmann return insn - insn_buf; 13127b0c2a05SDaniel Borkmann } 13137b0c2a05SDaniel Borkmann 13142872e9acSAndrey Ignatov static int array_of_maps_map_btf_id; 131540077e0cSJohannes Berg const struct bpf_map_ops array_of_maps_map_ops = { 1316ad46061fSJakub Kicinski .map_alloc_check = fd_array_map_alloc_check, 131756f668dfSMartin KaFai Lau .map_alloc = array_of_map_alloc, 131856f668dfSMartin KaFai Lau .map_free = array_of_map_free, 131956f668dfSMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 132056f668dfSMartin KaFai Lau .map_lookup_elem = array_of_map_lookup_elem, 132156f668dfSMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 132256f668dfSMartin KaFai Lau .map_fd_get_ptr = bpf_map_fd_get_ptr, 132356f668dfSMartin KaFai Lau .map_fd_put_ptr = bpf_map_fd_put_ptr, 132414dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = bpf_map_fd_sys_lookup_elem, 13257b0c2a05SDaniel Borkmann .map_gen_lookup = array_of_map_gen_lookup, 1326e8d2bec0SDaniel Borkmann .map_check_btf = map_check_no_btf, 13272872e9acSAndrey Ignatov .map_btf_name = "bpf_array", 13282872e9acSAndrey Ignatov .map_btf_id = &array_of_maps_map_btf_id, 132956f668dfSMartin KaFai Lau }; 1330