128fbcfa0SAlexei Starovoitov /* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com 281ed18abSAlexei Starovoitov * Copyright (c) 2016,2017 Facebook 328fbcfa0SAlexei Starovoitov * 428fbcfa0SAlexei Starovoitov * This program is free software; you can redistribute it and/or 528fbcfa0SAlexei Starovoitov * modify it under the terms of version 2 of the GNU General Public 628fbcfa0SAlexei Starovoitov * License as published by the Free Software Foundation. 728fbcfa0SAlexei Starovoitov * 828fbcfa0SAlexei Starovoitov * This program is distributed in the hope that it will be useful, but 928fbcfa0SAlexei Starovoitov * WITHOUT ANY WARRANTY; without even the implied warranty of 1028fbcfa0SAlexei Starovoitov * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 1128fbcfa0SAlexei Starovoitov * General Public License for more details. 1228fbcfa0SAlexei Starovoitov */ 1328fbcfa0SAlexei Starovoitov #include <linux/bpf.h> 1428fbcfa0SAlexei Starovoitov #include <linux/err.h> 1528fbcfa0SAlexei Starovoitov #include <linux/slab.h> 1628fbcfa0SAlexei Starovoitov #include <linux/mm.h> 1704fd61abSAlexei Starovoitov #include <linux/filter.h> 180cdf5640SDaniel Borkmann #include <linux/perf_event.h> 1928fbcfa0SAlexei Starovoitov 2056f668dfSMartin KaFai Lau #include "map_in_map.h" 2156f668dfSMartin KaFai Lau 22a10423b8SAlexei Starovoitov static void bpf_array_free_percpu(struct bpf_array *array) 23a10423b8SAlexei Starovoitov { 24a10423b8SAlexei Starovoitov int i; 25a10423b8SAlexei Starovoitov 26a10423b8SAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 27a10423b8SAlexei Starovoitov free_percpu(array->pptrs[i]); 28a10423b8SAlexei Starovoitov } 29a10423b8SAlexei Starovoitov 30a10423b8SAlexei Starovoitov static int bpf_array_alloc_percpu(struct bpf_array *array) 31a10423b8SAlexei Starovoitov { 32a10423b8SAlexei Starovoitov void __percpu *ptr; 33a10423b8SAlexei Starovoitov int i; 34a10423b8SAlexei Starovoitov 35a10423b8SAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) { 36a10423b8SAlexei Starovoitov ptr = __alloc_percpu_gfp(array->elem_size, 8, 37a10423b8SAlexei Starovoitov GFP_USER | __GFP_NOWARN); 38a10423b8SAlexei Starovoitov if (!ptr) { 39a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 40a10423b8SAlexei Starovoitov return -ENOMEM; 41a10423b8SAlexei Starovoitov } 42a10423b8SAlexei Starovoitov array->pptrs[i] = ptr; 43a10423b8SAlexei Starovoitov } 44a10423b8SAlexei Starovoitov 45a10423b8SAlexei Starovoitov return 0; 46a10423b8SAlexei Starovoitov } 47a10423b8SAlexei Starovoitov 4828fbcfa0SAlexei Starovoitov /* Called from syscall */ 4928fbcfa0SAlexei Starovoitov static struct bpf_map *array_map_alloc(union bpf_attr *attr) 5028fbcfa0SAlexei Starovoitov { 51a10423b8SAlexei Starovoitov bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY; 52*96eabe7aSMartin KaFai Lau int numa_node = bpf_map_attr_numa_node(attr); 5328fbcfa0SAlexei Starovoitov struct bpf_array *array; 54a10423b8SAlexei Starovoitov u64 array_size; 55a10423b8SAlexei Starovoitov u32 elem_size; 5628fbcfa0SAlexei Starovoitov 5728fbcfa0SAlexei Starovoitov /* check sanity of attributes */ 5828fbcfa0SAlexei Starovoitov if (attr->max_entries == 0 || attr->key_size != 4 || 59*96eabe7aSMartin KaFai Lau attr->value_size == 0 || attr->map_flags & ~BPF_F_NUMA_NODE || 60*96eabe7aSMartin KaFai Lau (percpu && numa_node != NUMA_NO_NODE)) 6128fbcfa0SAlexei Starovoitov return ERR_PTR(-EINVAL); 6228fbcfa0SAlexei Starovoitov 637984c27cSMichal Hocko if (attr->value_size > KMALLOC_MAX_SIZE) 6401b3f521SAlexei Starovoitov /* if value_size is bigger, the user space won't be able to 6501b3f521SAlexei Starovoitov * access the elements. 6601b3f521SAlexei Starovoitov */ 6701b3f521SAlexei Starovoitov return ERR_PTR(-E2BIG); 6801b3f521SAlexei Starovoitov 6928fbcfa0SAlexei Starovoitov elem_size = round_up(attr->value_size, 8); 7028fbcfa0SAlexei Starovoitov 71a10423b8SAlexei Starovoitov array_size = sizeof(*array); 72a10423b8SAlexei Starovoitov if (percpu) 73a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * sizeof(void *); 74a10423b8SAlexei Starovoitov else 75a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size; 76a10423b8SAlexei Starovoitov 77a10423b8SAlexei Starovoitov /* make sure there is no u32 overflow later in round_up() */ 78a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE) 79daaf427cSAlexei Starovoitov return ERR_PTR(-ENOMEM); 80daaf427cSAlexei Starovoitov 8128fbcfa0SAlexei Starovoitov /* allocate all map elements and zero-initialize them */ 82*96eabe7aSMartin KaFai Lau array = bpf_map_area_alloc(array_size, numa_node); 8328fbcfa0SAlexei Starovoitov if (!array) 8428fbcfa0SAlexei Starovoitov return ERR_PTR(-ENOMEM); 8528fbcfa0SAlexei Starovoitov 8628fbcfa0SAlexei Starovoitov /* copy mandatory map attributes */ 87a10423b8SAlexei Starovoitov array->map.map_type = attr->map_type; 8828fbcfa0SAlexei Starovoitov array->map.key_size = attr->key_size; 8928fbcfa0SAlexei Starovoitov array->map.value_size = attr->value_size; 9028fbcfa0SAlexei Starovoitov array->map.max_entries = attr->max_entries; 91a316338cSDaniel Borkmann array->map.map_flags = attr->map_flags; 92*96eabe7aSMartin KaFai Lau array->map.numa_node = numa_node; 9328fbcfa0SAlexei Starovoitov array->elem_size = elem_size; 9428fbcfa0SAlexei Starovoitov 95a10423b8SAlexei Starovoitov if (!percpu) 96a10423b8SAlexei Starovoitov goto out; 97a10423b8SAlexei Starovoitov 98a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size * num_possible_cpus(); 99a10423b8SAlexei Starovoitov 100a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE || 101a10423b8SAlexei Starovoitov elem_size > PCPU_MIN_UNIT_SIZE || bpf_array_alloc_percpu(array)) { 102d407bd25SDaniel Borkmann bpf_map_area_free(array); 103a10423b8SAlexei Starovoitov return ERR_PTR(-ENOMEM); 104a10423b8SAlexei Starovoitov } 105a10423b8SAlexei Starovoitov out: 106a10423b8SAlexei Starovoitov array->map.pages = round_up(array_size, PAGE_SIZE) >> PAGE_SHIFT; 107a10423b8SAlexei Starovoitov 10828fbcfa0SAlexei Starovoitov return &array->map; 10928fbcfa0SAlexei Starovoitov } 11028fbcfa0SAlexei Starovoitov 11128fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 11228fbcfa0SAlexei Starovoitov static void *array_map_lookup_elem(struct bpf_map *map, void *key) 11328fbcfa0SAlexei Starovoitov { 11428fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 11528fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 11628fbcfa0SAlexei Starovoitov 117a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 11828fbcfa0SAlexei Starovoitov return NULL; 11928fbcfa0SAlexei Starovoitov 12028fbcfa0SAlexei Starovoitov return array->value + array->elem_size * index; 12128fbcfa0SAlexei Starovoitov } 12228fbcfa0SAlexei Starovoitov 12381ed18abSAlexei Starovoitov /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */ 12481ed18abSAlexei Starovoitov static u32 array_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf) 12581ed18abSAlexei Starovoitov { 12681ed18abSAlexei Starovoitov struct bpf_insn *insn = insn_buf; 127fad73a1aSMartin KaFai Lau u32 elem_size = round_up(map->value_size, 8); 12881ed18abSAlexei Starovoitov const int ret = BPF_REG_0; 12981ed18abSAlexei Starovoitov const int map_ptr = BPF_REG_1; 13081ed18abSAlexei Starovoitov const int index = BPF_REG_2; 13181ed18abSAlexei Starovoitov 13281ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 13381ed18abSAlexei Starovoitov *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 134fad73a1aSMartin KaFai Lau *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 3); 135fad73a1aSMartin KaFai Lau 136fad73a1aSMartin KaFai Lau if (is_power_of_2(elem_size)) { 13781ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 13881ed18abSAlexei Starovoitov } else { 13981ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 14081ed18abSAlexei Starovoitov } 14181ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 14281ed18abSAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 14381ed18abSAlexei Starovoitov *insn++ = BPF_MOV64_IMM(ret, 0); 14481ed18abSAlexei Starovoitov return insn - insn_buf; 14581ed18abSAlexei Starovoitov } 14681ed18abSAlexei Starovoitov 147a10423b8SAlexei Starovoitov /* Called from eBPF program */ 148a10423b8SAlexei Starovoitov static void *percpu_array_map_lookup_elem(struct bpf_map *map, void *key) 149a10423b8SAlexei Starovoitov { 150a10423b8SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 151a10423b8SAlexei Starovoitov u32 index = *(u32 *)key; 152a10423b8SAlexei Starovoitov 153a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 154a10423b8SAlexei Starovoitov return NULL; 155a10423b8SAlexei Starovoitov 156a10423b8SAlexei Starovoitov return this_cpu_ptr(array->pptrs[index]); 157a10423b8SAlexei Starovoitov } 158a10423b8SAlexei Starovoitov 15915a07b33SAlexei Starovoitov int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value) 16015a07b33SAlexei Starovoitov { 16115a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 16215a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 16315a07b33SAlexei Starovoitov void __percpu *pptr; 16415a07b33SAlexei Starovoitov int cpu, off = 0; 16515a07b33SAlexei Starovoitov u32 size; 16615a07b33SAlexei Starovoitov 16715a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 16815a07b33SAlexei Starovoitov return -ENOENT; 16915a07b33SAlexei Starovoitov 17015a07b33SAlexei Starovoitov /* per_cpu areas are zero-filled and bpf programs can only 17115a07b33SAlexei Starovoitov * access 'value_size' of them, so copying rounded areas 17215a07b33SAlexei Starovoitov * will not leak any kernel data 17315a07b33SAlexei Starovoitov */ 17415a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 17515a07b33SAlexei Starovoitov rcu_read_lock(); 17615a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 17715a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 17815a07b33SAlexei Starovoitov bpf_long_memcpy(value + off, per_cpu_ptr(pptr, cpu), size); 17915a07b33SAlexei Starovoitov off += size; 18015a07b33SAlexei Starovoitov } 18115a07b33SAlexei Starovoitov rcu_read_unlock(); 18215a07b33SAlexei Starovoitov return 0; 18315a07b33SAlexei Starovoitov } 18415a07b33SAlexei Starovoitov 18528fbcfa0SAlexei Starovoitov /* Called from syscall */ 18628fbcfa0SAlexei Starovoitov static int array_map_get_next_key(struct bpf_map *map, void *key, void *next_key) 18728fbcfa0SAlexei Starovoitov { 18828fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 1898fe45924STeng Qin u32 index = key ? *(u32 *)key : U32_MAX; 19028fbcfa0SAlexei Starovoitov u32 *next = (u32 *)next_key; 19128fbcfa0SAlexei Starovoitov 19228fbcfa0SAlexei Starovoitov if (index >= array->map.max_entries) { 19328fbcfa0SAlexei Starovoitov *next = 0; 19428fbcfa0SAlexei Starovoitov return 0; 19528fbcfa0SAlexei Starovoitov } 19628fbcfa0SAlexei Starovoitov 19728fbcfa0SAlexei Starovoitov if (index == array->map.max_entries - 1) 19828fbcfa0SAlexei Starovoitov return -ENOENT; 19928fbcfa0SAlexei Starovoitov 20028fbcfa0SAlexei Starovoitov *next = index + 1; 20128fbcfa0SAlexei Starovoitov return 0; 20228fbcfa0SAlexei Starovoitov } 20328fbcfa0SAlexei Starovoitov 20428fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 20528fbcfa0SAlexei Starovoitov static int array_map_update_elem(struct bpf_map *map, void *key, void *value, 20628fbcfa0SAlexei Starovoitov u64 map_flags) 20728fbcfa0SAlexei Starovoitov { 20828fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 20928fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 21028fbcfa0SAlexei Starovoitov 211a10423b8SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 21228fbcfa0SAlexei Starovoitov /* unknown flags */ 21328fbcfa0SAlexei Starovoitov return -EINVAL; 21428fbcfa0SAlexei Starovoitov 215a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 21628fbcfa0SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 21728fbcfa0SAlexei Starovoitov return -E2BIG; 21828fbcfa0SAlexei Starovoitov 219a10423b8SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 220daaf427cSAlexei Starovoitov /* all elements already exist */ 22128fbcfa0SAlexei Starovoitov return -EEXIST; 22228fbcfa0SAlexei Starovoitov 223a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 224a10423b8SAlexei Starovoitov memcpy(this_cpu_ptr(array->pptrs[index]), 225a10423b8SAlexei Starovoitov value, map->value_size); 226a10423b8SAlexei Starovoitov else 227a10423b8SAlexei Starovoitov memcpy(array->value + array->elem_size * index, 228a10423b8SAlexei Starovoitov value, map->value_size); 22928fbcfa0SAlexei Starovoitov return 0; 23028fbcfa0SAlexei Starovoitov } 23128fbcfa0SAlexei Starovoitov 23215a07b33SAlexei Starovoitov int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value, 23315a07b33SAlexei Starovoitov u64 map_flags) 23415a07b33SAlexei Starovoitov { 23515a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 23615a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 23715a07b33SAlexei Starovoitov void __percpu *pptr; 23815a07b33SAlexei Starovoitov int cpu, off = 0; 23915a07b33SAlexei Starovoitov u32 size; 24015a07b33SAlexei Starovoitov 24115a07b33SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 24215a07b33SAlexei Starovoitov /* unknown flags */ 24315a07b33SAlexei Starovoitov return -EINVAL; 24415a07b33SAlexei Starovoitov 24515a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 24615a07b33SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 24715a07b33SAlexei Starovoitov return -E2BIG; 24815a07b33SAlexei Starovoitov 24915a07b33SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 25015a07b33SAlexei Starovoitov /* all elements already exist */ 25115a07b33SAlexei Starovoitov return -EEXIST; 25215a07b33SAlexei Starovoitov 25315a07b33SAlexei Starovoitov /* the user space will provide round_up(value_size, 8) bytes that 25415a07b33SAlexei Starovoitov * will be copied into per-cpu area. bpf programs can only access 25515a07b33SAlexei Starovoitov * value_size of it. During lookup the same extra bytes will be 25615a07b33SAlexei Starovoitov * returned or zeros which were zero-filled by percpu_alloc, 25715a07b33SAlexei Starovoitov * so no kernel data leaks possible 25815a07b33SAlexei Starovoitov */ 25915a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 26015a07b33SAlexei Starovoitov rcu_read_lock(); 26115a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 26215a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 26315a07b33SAlexei Starovoitov bpf_long_memcpy(per_cpu_ptr(pptr, cpu), value + off, size); 26415a07b33SAlexei Starovoitov off += size; 26515a07b33SAlexei Starovoitov } 26615a07b33SAlexei Starovoitov rcu_read_unlock(); 26715a07b33SAlexei Starovoitov return 0; 26815a07b33SAlexei Starovoitov } 26915a07b33SAlexei Starovoitov 27028fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 27128fbcfa0SAlexei Starovoitov static int array_map_delete_elem(struct bpf_map *map, void *key) 27228fbcfa0SAlexei Starovoitov { 27328fbcfa0SAlexei Starovoitov return -EINVAL; 27428fbcfa0SAlexei Starovoitov } 27528fbcfa0SAlexei Starovoitov 27628fbcfa0SAlexei Starovoitov /* Called when map->refcnt goes to zero, either from workqueue or from syscall */ 27728fbcfa0SAlexei Starovoitov static void array_map_free(struct bpf_map *map) 27828fbcfa0SAlexei Starovoitov { 27928fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 28028fbcfa0SAlexei Starovoitov 28128fbcfa0SAlexei Starovoitov /* at this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0, 28228fbcfa0SAlexei Starovoitov * so the programs (can be more than one that used this map) were 28328fbcfa0SAlexei Starovoitov * disconnected from events. Wait for outstanding programs to complete 28428fbcfa0SAlexei Starovoitov * and free the array 28528fbcfa0SAlexei Starovoitov */ 28628fbcfa0SAlexei Starovoitov synchronize_rcu(); 28728fbcfa0SAlexei Starovoitov 288a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 289a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 290a10423b8SAlexei Starovoitov 291d407bd25SDaniel Borkmann bpf_map_area_free(array); 29228fbcfa0SAlexei Starovoitov } 29328fbcfa0SAlexei Starovoitov 29440077e0cSJohannes Berg const struct bpf_map_ops array_map_ops = { 29528fbcfa0SAlexei Starovoitov .map_alloc = array_map_alloc, 29628fbcfa0SAlexei Starovoitov .map_free = array_map_free, 29728fbcfa0SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 29828fbcfa0SAlexei Starovoitov .map_lookup_elem = array_map_lookup_elem, 29928fbcfa0SAlexei Starovoitov .map_update_elem = array_map_update_elem, 30028fbcfa0SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 30181ed18abSAlexei Starovoitov .map_gen_lookup = array_map_gen_lookup, 30228fbcfa0SAlexei Starovoitov }; 30328fbcfa0SAlexei Starovoitov 30440077e0cSJohannes Berg const struct bpf_map_ops percpu_array_map_ops = { 305a10423b8SAlexei Starovoitov .map_alloc = array_map_alloc, 306a10423b8SAlexei Starovoitov .map_free = array_map_free, 307a10423b8SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 308a10423b8SAlexei Starovoitov .map_lookup_elem = percpu_array_map_lookup_elem, 309a10423b8SAlexei Starovoitov .map_update_elem = array_map_update_elem, 310a10423b8SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 311a10423b8SAlexei Starovoitov }; 312a10423b8SAlexei Starovoitov 3132a36f0b9SWang Nan static struct bpf_map *fd_array_map_alloc(union bpf_attr *attr) 31404fd61abSAlexei Starovoitov { 3152a36f0b9SWang Nan /* only file descriptors can be stored in this type of map */ 31604fd61abSAlexei Starovoitov if (attr->value_size != sizeof(u32)) 31704fd61abSAlexei Starovoitov return ERR_PTR(-EINVAL); 31804fd61abSAlexei Starovoitov return array_map_alloc(attr); 31904fd61abSAlexei Starovoitov } 32004fd61abSAlexei Starovoitov 3212a36f0b9SWang Nan static void fd_array_map_free(struct bpf_map *map) 32204fd61abSAlexei Starovoitov { 32304fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 32404fd61abSAlexei Starovoitov int i; 32504fd61abSAlexei Starovoitov 32604fd61abSAlexei Starovoitov synchronize_rcu(); 32704fd61abSAlexei Starovoitov 32804fd61abSAlexei Starovoitov /* make sure it's empty */ 32904fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 3302a36f0b9SWang Nan BUG_ON(array->ptrs[i] != NULL); 331d407bd25SDaniel Borkmann 332d407bd25SDaniel Borkmann bpf_map_area_free(array); 33304fd61abSAlexei Starovoitov } 33404fd61abSAlexei Starovoitov 3352a36f0b9SWang Nan static void *fd_array_map_lookup_elem(struct bpf_map *map, void *key) 33604fd61abSAlexei Starovoitov { 33704fd61abSAlexei Starovoitov return NULL; 33804fd61abSAlexei Starovoitov } 33904fd61abSAlexei Starovoitov 34004fd61abSAlexei Starovoitov /* only called from syscall */ 34114dc6f04SMartin KaFai Lau int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value) 34214dc6f04SMartin KaFai Lau { 34314dc6f04SMartin KaFai Lau void **elem, *ptr; 34414dc6f04SMartin KaFai Lau int ret = 0; 34514dc6f04SMartin KaFai Lau 34614dc6f04SMartin KaFai Lau if (!map->ops->map_fd_sys_lookup_elem) 34714dc6f04SMartin KaFai Lau return -ENOTSUPP; 34814dc6f04SMartin KaFai Lau 34914dc6f04SMartin KaFai Lau rcu_read_lock(); 35014dc6f04SMartin KaFai Lau elem = array_map_lookup_elem(map, key); 35114dc6f04SMartin KaFai Lau if (elem && (ptr = READ_ONCE(*elem))) 35214dc6f04SMartin KaFai Lau *value = map->ops->map_fd_sys_lookup_elem(ptr); 35314dc6f04SMartin KaFai Lau else 35414dc6f04SMartin KaFai Lau ret = -ENOENT; 35514dc6f04SMartin KaFai Lau rcu_read_unlock(); 35614dc6f04SMartin KaFai Lau 35714dc6f04SMartin KaFai Lau return ret; 35814dc6f04SMartin KaFai Lau } 35914dc6f04SMartin KaFai Lau 36014dc6f04SMartin KaFai Lau /* only called from syscall */ 361d056a788SDaniel Borkmann int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file, 362d056a788SDaniel Borkmann void *key, void *value, u64 map_flags) 36304fd61abSAlexei Starovoitov { 36404fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3652a36f0b9SWang Nan void *new_ptr, *old_ptr; 36604fd61abSAlexei Starovoitov u32 index = *(u32 *)key, ufd; 36704fd61abSAlexei Starovoitov 36804fd61abSAlexei Starovoitov if (map_flags != BPF_ANY) 36904fd61abSAlexei Starovoitov return -EINVAL; 37004fd61abSAlexei Starovoitov 37104fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 37204fd61abSAlexei Starovoitov return -E2BIG; 37304fd61abSAlexei Starovoitov 37404fd61abSAlexei Starovoitov ufd = *(u32 *)value; 375d056a788SDaniel Borkmann new_ptr = map->ops->map_fd_get_ptr(map, map_file, ufd); 3762a36f0b9SWang Nan if (IS_ERR(new_ptr)) 3772a36f0b9SWang Nan return PTR_ERR(new_ptr); 37804fd61abSAlexei Starovoitov 3792a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, new_ptr); 3802a36f0b9SWang Nan if (old_ptr) 3812a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 38204fd61abSAlexei Starovoitov 38304fd61abSAlexei Starovoitov return 0; 38404fd61abSAlexei Starovoitov } 38504fd61abSAlexei Starovoitov 3862a36f0b9SWang Nan static int fd_array_map_delete_elem(struct bpf_map *map, void *key) 38704fd61abSAlexei Starovoitov { 38804fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3892a36f0b9SWang Nan void *old_ptr; 39004fd61abSAlexei Starovoitov u32 index = *(u32 *)key; 39104fd61abSAlexei Starovoitov 39204fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 39304fd61abSAlexei Starovoitov return -E2BIG; 39404fd61abSAlexei Starovoitov 3952a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, NULL); 3962a36f0b9SWang Nan if (old_ptr) { 3972a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 39804fd61abSAlexei Starovoitov return 0; 39904fd61abSAlexei Starovoitov } else { 40004fd61abSAlexei Starovoitov return -ENOENT; 40104fd61abSAlexei Starovoitov } 40204fd61abSAlexei Starovoitov } 40304fd61abSAlexei Starovoitov 404d056a788SDaniel Borkmann static void *prog_fd_array_get_ptr(struct bpf_map *map, 405d056a788SDaniel Borkmann struct file *map_file, int fd) 4062a36f0b9SWang Nan { 4072a36f0b9SWang Nan struct bpf_array *array = container_of(map, struct bpf_array, map); 4082a36f0b9SWang Nan struct bpf_prog *prog = bpf_prog_get(fd); 409d056a788SDaniel Borkmann 4102a36f0b9SWang Nan if (IS_ERR(prog)) 4112a36f0b9SWang Nan return prog; 4122a36f0b9SWang Nan 4132a36f0b9SWang Nan if (!bpf_prog_array_compatible(array, prog)) { 4142a36f0b9SWang Nan bpf_prog_put(prog); 4152a36f0b9SWang Nan return ERR_PTR(-EINVAL); 4162a36f0b9SWang Nan } 417d056a788SDaniel Borkmann 4182a36f0b9SWang Nan return prog; 4192a36f0b9SWang Nan } 4202a36f0b9SWang Nan 4212a36f0b9SWang Nan static void prog_fd_array_put_ptr(void *ptr) 4222a36f0b9SWang Nan { 4231aacde3dSDaniel Borkmann bpf_prog_put(ptr); 4242a36f0b9SWang Nan } 4252a36f0b9SWang Nan 42614dc6f04SMartin KaFai Lau static u32 prog_fd_array_sys_lookup_elem(void *ptr) 42714dc6f04SMartin KaFai Lau { 42814dc6f04SMartin KaFai Lau return ((struct bpf_prog *)ptr)->aux->id; 42914dc6f04SMartin KaFai Lau } 43014dc6f04SMartin KaFai Lau 43104fd61abSAlexei Starovoitov /* decrement refcnt of all bpf_progs that are stored in this map */ 4322a36f0b9SWang Nan void bpf_fd_array_map_clear(struct bpf_map *map) 43304fd61abSAlexei Starovoitov { 43404fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 43504fd61abSAlexei Starovoitov int i; 43604fd61abSAlexei Starovoitov 43704fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 4382a36f0b9SWang Nan fd_array_map_delete_elem(map, &i); 43904fd61abSAlexei Starovoitov } 44004fd61abSAlexei Starovoitov 44140077e0cSJohannes Berg const struct bpf_map_ops prog_array_map_ops = { 4422a36f0b9SWang Nan .map_alloc = fd_array_map_alloc, 4432a36f0b9SWang Nan .map_free = fd_array_map_free, 44404fd61abSAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 4452a36f0b9SWang Nan .map_lookup_elem = fd_array_map_lookup_elem, 4462a36f0b9SWang Nan .map_delete_elem = fd_array_map_delete_elem, 4472a36f0b9SWang Nan .map_fd_get_ptr = prog_fd_array_get_ptr, 4482a36f0b9SWang Nan .map_fd_put_ptr = prog_fd_array_put_ptr, 44914dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = prog_fd_array_sys_lookup_elem, 45004fd61abSAlexei Starovoitov }; 45104fd61abSAlexei Starovoitov 4523b1efb19SDaniel Borkmann static struct bpf_event_entry *bpf_event_entry_gen(struct file *perf_file, 4533b1efb19SDaniel Borkmann struct file *map_file) 454ea317b26SKaixu Xia { 4553b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4563b1efb19SDaniel Borkmann 457858d68f1SDaniel Borkmann ee = kzalloc(sizeof(*ee), GFP_ATOMIC); 4583b1efb19SDaniel Borkmann if (ee) { 4593b1efb19SDaniel Borkmann ee->event = perf_file->private_data; 4603b1efb19SDaniel Borkmann ee->perf_file = perf_file; 4613b1efb19SDaniel Borkmann ee->map_file = map_file; 4623b1efb19SDaniel Borkmann } 4633b1efb19SDaniel Borkmann 4643b1efb19SDaniel Borkmann return ee; 4653b1efb19SDaniel Borkmann } 4663b1efb19SDaniel Borkmann 4673b1efb19SDaniel Borkmann static void __bpf_event_entry_free(struct rcu_head *rcu) 4683b1efb19SDaniel Borkmann { 4693b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4703b1efb19SDaniel Borkmann 4713b1efb19SDaniel Borkmann ee = container_of(rcu, struct bpf_event_entry, rcu); 4723b1efb19SDaniel Borkmann fput(ee->perf_file); 4733b1efb19SDaniel Borkmann kfree(ee); 4743b1efb19SDaniel Borkmann } 4753b1efb19SDaniel Borkmann 4763b1efb19SDaniel Borkmann static void bpf_event_entry_free_rcu(struct bpf_event_entry *ee) 4773b1efb19SDaniel Borkmann { 4783b1efb19SDaniel Borkmann call_rcu(&ee->rcu, __bpf_event_entry_free); 479ea317b26SKaixu Xia } 480ea317b26SKaixu Xia 481d056a788SDaniel Borkmann static void *perf_event_fd_array_get_ptr(struct bpf_map *map, 482d056a788SDaniel Borkmann struct file *map_file, int fd) 483ea317b26SKaixu Xia { 4843b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4853b1efb19SDaniel Borkmann struct perf_event *event; 4863b1efb19SDaniel Borkmann struct file *perf_file; 487f91840a3SAlexei Starovoitov u64 value; 488ea317b26SKaixu Xia 4893b1efb19SDaniel Borkmann perf_file = perf_event_get(fd); 4903b1efb19SDaniel Borkmann if (IS_ERR(perf_file)) 4913b1efb19SDaniel Borkmann return perf_file; 492e03e7ee3SAlexei Starovoitov 493f91840a3SAlexei Starovoitov ee = ERR_PTR(-EOPNOTSUPP); 4943b1efb19SDaniel Borkmann event = perf_file->private_data; 495f91840a3SAlexei Starovoitov if (perf_event_read_local(event, &value) == -EOPNOTSUPP) 4963b1efb19SDaniel Borkmann goto err_out; 497ea317b26SKaixu Xia 4983b1efb19SDaniel Borkmann ee = bpf_event_entry_gen(perf_file, map_file); 4993b1efb19SDaniel Borkmann if (ee) 5003b1efb19SDaniel Borkmann return ee; 5013b1efb19SDaniel Borkmann ee = ERR_PTR(-ENOMEM); 5023b1efb19SDaniel Borkmann err_out: 5033b1efb19SDaniel Borkmann fput(perf_file); 5043b1efb19SDaniel Borkmann return ee; 505ea317b26SKaixu Xia } 506ea317b26SKaixu Xia 507ea317b26SKaixu Xia static void perf_event_fd_array_put_ptr(void *ptr) 508ea317b26SKaixu Xia { 5093b1efb19SDaniel Borkmann bpf_event_entry_free_rcu(ptr); 5103b1efb19SDaniel Borkmann } 5113b1efb19SDaniel Borkmann 5123b1efb19SDaniel Borkmann static void perf_event_fd_array_release(struct bpf_map *map, 5133b1efb19SDaniel Borkmann struct file *map_file) 5143b1efb19SDaniel Borkmann { 5153b1efb19SDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 5163b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 5173b1efb19SDaniel Borkmann int i; 5183b1efb19SDaniel Borkmann 5193b1efb19SDaniel Borkmann rcu_read_lock(); 5203b1efb19SDaniel Borkmann for (i = 0; i < array->map.max_entries; i++) { 5213b1efb19SDaniel Borkmann ee = READ_ONCE(array->ptrs[i]); 5223b1efb19SDaniel Borkmann if (ee && ee->map_file == map_file) 5233b1efb19SDaniel Borkmann fd_array_map_delete_elem(map, &i); 5243b1efb19SDaniel Borkmann } 5253b1efb19SDaniel Borkmann rcu_read_unlock(); 526ea317b26SKaixu Xia } 527ea317b26SKaixu Xia 52840077e0cSJohannes Berg const struct bpf_map_ops perf_event_array_map_ops = { 529ea317b26SKaixu Xia .map_alloc = fd_array_map_alloc, 5303b1efb19SDaniel Borkmann .map_free = fd_array_map_free, 531ea317b26SKaixu Xia .map_get_next_key = array_map_get_next_key, 532ea317b26SKaixu Xia .map_lookup_elem = fd_array_map_lookup_elem, 533ea317b26SKaixu Xia .map_delete_elem = fd_array_map_delete_elem, 534ea317b26SKaixu Xia .map_fd_get_ptr = perf_event_fd_array_get_ptr, 535ea317b26SKaixu Xia .map_fd_put_ptr = perf_event_fd_array_put_ptr, 5363b1efb19SDaniel Borkmann .map_release = perf_event_fd_array_release, 537ea317b26SKaixu Xia }; 538ea317b26SKaixu Xia 53960d20f91SSargun Dhillon #ifdef CONFIG_CGROUPS 5404ed8ec52SMartin KaFai Lau static void *cgroup_fd_array_get_ptr(struct bpf_map *map, 5414ed8ec52SMartin KaFai Lau struct file *map_file /* not used */, 5424ed8ec52SMartin KaFai Lau int fd) 5434ed8ec52SMartin KaFai Lau { 5444ed8ec52SMartin KaFai Lau return cgroup_get_from_fd(fd); 5454ed8ec52SMartin KaFai Lau } 5464ed8ec52SMartin KaFai Lau 5474ed8ec52SMartin KaFai Lau static void cgroup_fd_array_put_ptr(void *ptr) 5484ed8ec52SMartin KaFai Lau { 5494ed8ec52SMartin KaFai Lau /* cgroup_put free cgrp after a rcu grace period */ 5504ed8ec52SMartin KaFai Lau cgroup_put(ptr); 5514ed8ec52SMartin KaFai Lau } 5524ed8ec52SMartin KaFai Lau 5534ed8ec52SMartin KaFai Lau static void cgroup_fd_array_free(struct bpf_map *map) 5544ed8ec52SMartin KaFai Lau { 5554ed8ec52SMartin KaFai Lau bpf_fd_array_map_clear(map); 5564ed8ec52SMartin KaFai Lau fd_array_map_free(map); 5574ed8ec52SMartin KaFai Lau } 5584ed8ec52SMartin KaFai Lau 55940077e0cSJohannes Berg const struct bpf_map_ops cgroup_array_map_ops = { 5604ed8ec52SMartin KaFai Lau .map_alloc = fd_array_map_alloc, 5614ed8ec52SMartin KaFai Lau .map_free = cgroup_fd_array_free, 5624ed8ec52SMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 5634ed8ec52SMartin KaFai Lau .map_lookup_elem = fd_array_map_lookup_elem, 5644ed8ec52SMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 5654ed8ec52SMartin KaFai Lau .map_fd_get_ptr = cgroup_fd_array_get_ptr, 5664ed8ec52SMartin KaFai Lau .map_fd_put_ptr = cgroup_fd_array_put_ptr, 5674ed8ec52SMartin KaFai Lau }; 5684ed8ec52SMartin KaFai Lau #endif 56956f668dfSMartin KaFai Lau 57056f668dfSMartin KaFai Lau static struct bpf_map *array_of_map_alloc(union bpf_attr *attr) 57156f668dfSMartin KaFai Lau { 57256f668dfSMartin KaFai Lau struct bpf_map *map, *inner_map_meta; 57356f668dfSMartin KaFai Lau 57456f668dfSMartin KaFai Lau inner_map_meta = bpf_map_meta_alloc(attr->inner_map_fd); 57556f668dfSMartin KaFai Lau if (IS_ERR(inner_map_meta)) 57656f668dfSMartin KaFai Lau return inner_map_meta; 57756f668dfSMartin KaFai Lau 57856f668dfSMartin KaFai Lau map = fd_array_map_alloc(attr); 57956f668dfSMartin KaFai Lau if (IS_ERR(map)) { 58056f668dfSMartin KaFai Lau bpf_map_meta_free(inner_map_meta); 58156f668dfSMartin KaFai Lau return map; 58256f668dfSMartin KaFai Lau } 58356f668dfSMartin KaFai Lau 58456f668dfSMartin KaFai Lau map->inner_map_meta = inner_map_meta; 58556f668dfSMartin KaFai Lau 58656f668dfSMartin KaFai Lau return map; 58756f668dfSMartin KaFai Lau } 58856f668dfSMartin KaFai Lau 58956f668dfSMartin KaFai Lau static void array_of_map_free(struct bpf_map *map) 59056f668dfSMartin KaFai Lau { 59156f668dfSMartin KaFai Lau /* map->inner_map_meta is only accessed by syscall which 59256f668dfSMartin KaFai Lau * is protected by fdget/fdput. 59356f668dfSMartin KaFai Lau */ 59456f668dfSMartin KaFai Lau bpf_map_meta_free(map->inner_map_meta); 59556f668dfSMartin KaFai Lau bpf_fd_array_map_clear(map); 59656f668dfSMartin KaFai Lau fd_array_map_free(map); 59756f668dfSMartin KaFai Lau } 59856f668dfSMartin KaFai Lau 59956f668dfSMartin KaFai Lau static void *array_of_map_lookup_elem(struct bpf_map *map, void *key) 60056f668dfSMartin KaFai Lau { 60156f668dfSMartin KaFai Lau struct bpf_map **inner_map = array_map_lookup_elem(map, key); 60256f668dfSMartin KaFai Lau 60356f668dfSMartin KaFai Lau if (!inner_map) 60456f668dfSMartin KaFai Lau return NULL; 60556f668dfSMartin KaFai Lau 60656f668dfSMartin KaFai Lau return READ_ONCE(*inner_map); 60756f668dfSMartin KaFai Lau } 60856f668dfSMartin KaFai Lau 60940077e0cSJohannes Berg const struct bpf_map_ops array_of_maps_map_ops = { 61056f668dfSMartin KaFai Lau .map_alloc = array_of_map_alloc, 61156f668dfSMartin KaFai Lau .map_free = array_of_map_free, 61256f668dfSMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 61356f668dfSMartin KaFai Lau .map_lookup_elem = array_of_map_lookup_elem, 61456f668dfSMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 61556f668dfSMartin KaFai Lau .map_fd_get_ptr = bpf_map_fd_get_ptr, 61656f668dfSMartin KaFai Lau .map_fd_put_ptr = bpf_map_fd_put_ptr, 61714dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = bpf_map_fd_sys_lookup_elem, 61856f668dfSMartin KaFai Lau }; 619