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; 5228fbcfa0SAlexei Starovoitov struct bpf_array *array; 53a10423b8SAlexei Starovoitov u64 array_size; 54a10423b8SAlexei Starovoitov u32 elem_size; 5528fbcfa0SAlexei Starovoitov 5628fbcfa0SAlexei Starovoitov /* check sanity of attributes */ 5728fbcfa0SAlexei Starovoitov if (attr->max_entries == 0 || attr->key_size != 4 || 58823707b6SAlexei Starovoitov attr->value_size == 0 || attr->map_flags) 5928fbcfa0SAlexei Starovoitov return ERR_PTR(-EINVAL); 6028fbcfa0SAlexei Starovoitov 617984c27cSMichal Hocko if (attr->value_size > KMALLOC_MAX_SIZE) 6201b3f521SAlexei Starovoitov /* if value_size is bigger, the user space won't be able to 6301b3f521SAlexei Starovoitov * access the elements. 6401b3f521SAlexei Starovoitov */ 6501b3f521SAlexei Starovoitov return ERR_PTR(-E2BIG); 6601b3f521SAlexei Starovoitov 6728fbcfa0SAlexei Starovoitov elem_size = round_up(attr->value_size, 8); 6828fbcfa0SAlexei Starovoitov 69a10423b8SAlexei Starovoitov array_size = sizeof(*array); 70a10423b8SAlexei Starovoitov if (percpu) 71a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * sizeof(void *); 72a10423b8SAlexei Starovoitov else 73a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size; 74a10423b8SAlexei Starovoitov 75a10423b8SAlexei Starovoitov /* make sure there is no u32 overflow later in round_up() */ 76a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE) 77daaf427cSAlexei Starovoitov return ERR_PTR(-ENOMEM); 78daaf427cSAlexei Starovoitov 7928fbcfa0SAlexei Starovoitov /* allocate all map elements and zero-initialize them */ 80d407bd25SDaniel Borkmann array = bpf_map_area_alloc(array_size); 8128fbcfa0SAlexei Starovoitov if (!array) 8228fbcfa0SAlexei Starovoitov return ERR_PTR(-ENOMEM); 8328fbcfa0SAlexei Starovoitov 8428fbcfa0SAlexei Starovoitov /* copy mandatory map attributes */ 85a10423b8SAlexei Starovoitov array->map.map_type = attr->map_type; 8628fbcfa0SAlexei Starovoitov array->map.key_size = attr->key_size; 8728fbcfa0SAlexei Starovoitov array->map.value_size = attr->value_size; 8828fbcfa0SAlexei Starovoitov array->map.max_entries = attr->max_entries; 89a316338cSDaniel Borkmann array->map.map_flags = attr->map_flags; 9028fbcfa0SAlexei Starovoitov array->elem_size = elem_size; 9128fbcfa0SAlexei Starovoitov 92a10423b8SAlexei Starovoitov if (!percpu) 93a10423b8SAlexei Starovoitov goto out; 94a10423b8SAlexei Starovoitov 95a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size * num_possible_cpus(); 96a10423b8SAlexei Starovoitov 97a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE || 98a10423b8SAlexei Starovoitov elem_size > PCPU_MIN_UNIT_SIZE || bpf_array_alloc_percpu(array)) { 99d407bd25SDaniel Borkmann bpf_map_area_free(array); 100a10423b8SAlexei Starovoitov return ERR_PTR(-ENOMEM); 101a10423b8SAlexei Starovoitov } 102a10423b8SAlexei Starovoitov out: 103a10423b8SAlexei Starovoitov array->map.pages = round_up(array_size, PAGE_SIZE) >> PAGE_SHIFT; 104a10423b8SAlexei Starovoitov 10528fbcfa0SAlexei Starovoitov return &array->map; 10628fbcfa0SAlexei Starovoitov } 10728fbcfa0SAlexei Starovoitov 10828fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 10928fbcfa0SAlexei Starovoitov static void *array_map_lookup_elem(struct bpf_map *map, void *key) 11028fbcfa0SAlexei Starovoitov { 11128fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 11228fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 11328fbcfa0SAlexei Starovoitov 114a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 11528fbcfa0SAlexei Starovoitov return NULL; 11628fbcfa0SAlexei Starovoitov 11728fbcfa0SAlexei Starovoitov return array->value + array->elem_size * index; 11828fbcfa0SAlexei Starovoitov } 11928fbcfa0SAlexei Starovoitov 12081ed18abSAlexei Starovoitov /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */ 12181ed18abSAlexei Starovoitov static u32 array_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf) 12281ed18abSAlexei Starovoitov { 12381ed18abSAlexei Starovoitov struct bpf_insn *insn = insn_buf; 124fad73a1aSMartin KaFai Lau u32 elem_size = round_up(map->value_size, 8); 12581ed18abSAlexei Starovoitov const int ret = BPF_REG_0; 12681ed18abSAlexei Starovoitov const int map_ptr = BPF_REG_1; 12781ed18abSAlexei Starovoitov const int index = BPF_REG_2; 12881ed18abSAlexei Starovoitov 12981ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 13081ed18abSAlexei Starovoitov *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 131fad73a1aSMartin KaFai Lau *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 3); 132fad73a1aSMartin KaFai Lau 133fad73a1aSMartin KaFai Lau if (is_power_of_2(elem_size)) { 13481ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 13581ed18abSAlexei Starovoitov } else { 13681ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 13781ed18abSAlexei Starovoitov } 13881ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 13981ed18abSAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 14081ed18abSAlexei Starovoitov *insn++ = BPF_MOV64_IMM(ret, 0); 14181ed18abSAlexei Starovoitov return insn - insn_buf; 14281ed18abSAlexei Starovoitov } 14381ed18abSAlexei Starovoitov 144a10423b8SAlexei Starovoitov /* Called from eBPF program */ 145a10423b8SAlexei Starovoitov static void *percpu_array_map_lookup_elem(struct bpf_map *map, void *key) 146a10423b8SAlexei Starovoitov { 147a10423b8SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 148a10423b8SAlexei Starovoitov u32 index = *(u32 *)key; 149a10423b8SAlexei Starovoitov 150a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 151a10423b8SAlexei Starovoitov return NULL; 152a10423b8SAlexei Starovoitov 153a10423b8SAlexei Starovoitov return this_cpu_ptr(array->pptrs[index]); 154a10423b8SAlexei Starovoitov } 155a10423b8SAlexei Starovoitov 15615a07b33SAlexei Starovoitov int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value) 15715a07b33SAlexei Starovoitov { 15815a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 15915a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 16015a07b33SAlexei Starovoitov void __percpu *pptr; 16115a07b33SAlexei Starovoitov int cpu, off = 0; 16215a07b33SAlexei Starovoitov u32 size; 16315a07b33SAlexei Starovoitov 16415a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 16515a07b33SAlexei Starovoitov return -ENOENT; 16615a07b33SAlexei Starovoitov 16715a07b33SAlexei Starovoitov /* per_cpu areas are zero-filled and bpf programs can only 16815a07b33SAlexei Starovoitov * access 'value_size' of them, so copying rounded areas 16915a07b33SAlexei Starovoitov * will not leak any kernel data 17015a07b33SAlexei Starovoitov */ 17115a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 17215a07b33SAlexei Starovoitov rcu_read_lock(); 17315a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 17415a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 17515a07b33SAlexei Starovoitov bpf_long_memcpy(value + off, per_cpu_ptr(pptr, cpu), size); 17615a07b33SAlexei Starovoitov off += size; 17715a07b33SAlexei Starovoitov } 17815a07b33SAlexei Starovoitov rcu_read_unlock(); 17915a07b33SAlexei Starovoitov return 0; 18015a07b33SAlexei Starovoitov } 18115a07b33SAlexei Starovoitov 18228fbcfa0SAlexei Starovoitov /* Called from syscall */ 18328fbcfa0SAlexei Starovoitov static int array_map_get_next_key(struct bpf_map *map, void *key, void *next_key) 18428fbcfa0SAlexei Starovoitov { 18528fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 1868fe45924STeng Qin u32 index = key ? *(u32 *)key : U32_MAX; 18728fbcfa0SAlexei Starovoitov u32 *next = (u32 *)next_key; 18828fbcfa0SAlexei Starovoitov 18928fbcfa0SAlexei Starovoitov if (index >= array->map.max_entries) { 19028fbcfa0SAlexei Starovoitov *next = 0; 19128fbcfa0SAlexei Starovoitov return 0; 19228fbcfa0SAlexei Starovoitov } 19328fbcfa0SAlexei Starovoitov 19428fbcfa0SAlexei Starovoitov if (index == array->map.max_entries - 1) 19528fbcfa0SAlexei Starovoitov return -ENOENT; 19628fbcfa0SAlexei Starovoitov 19728fbcfa0SAlexei Starovoitov *next = index + 1; 19828fbcfa0SAlexei Starovoitov return 0; 19928fbcfa0SAlexei Starovoitov } 20028fbcfa0SAlexei Starovoitov 20128fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 20228fbcfa0SAlexei Starovoitov static int array_map_update_elem(struct bpf_map *map, void *key, void *value, 20328fbcfa0SAlexei Starovoitov u64 map_flags) 20428fbcfa0SAlexei Starovoitov { 20528fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 20628fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 20728fbcfa0SAlexei Starovoitov 208a10423b8SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 20928fbcfa0SAlexei Starovoitov /* unknown flags */ 21028fbcfa0SAlexei Starovoitov return -EINVAL; 21128fbcfa0SAlexei Starovoitov 212a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 21328fbcfa0SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 21428fbcfa0SAlexei Starovoitov return -E2BIG; 21528fbcfa0SAlexei Starovoitov 216a10423b8SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 217daaf427cSAlexei Starovoitov /* all elements already exist */ 21828fbcfa0SAlexei Starovoitov return -EEXIST; 21928fbcfa0SAlexei Starovoitov 220a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 221a10423b8SAlexei Starovoitov memcpy(this_cpu_ptr(array->pptrs[index]), 222a10423b8SAlexei Starovoitov value, map->value_size); 223a10423b8SAlexei Starovoitov else 224a10423b8SAlexei Starovoitov memcpy(array->value + array->elem_size * index, 225a10423b8SAlexei Starovoitov value, map->value_size); 22628fbcfa0SAlexei Starovoitov return 0; 22728fbcfa0SAlexei Starovoitov } 22828fbcfa0SAlexei Starovoitov 22915a07b33SAlexei Starovoitov int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value, 23015a07b33SAlexei Starovoitov u64 map_flags) 23115a07b33SAlexei Starovoitov { 23215a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 23315a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 23415a07b33SAlexei Starovoitov void __percpu *pptr; 23515a07b33SAlexei Starovoitov int cpu, off = 0; 23615a07b33SAlexei Starovoitov u32 size; 23715a07b33SAlexei Starovoitov 23815a07b33SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 23915a07b33SAlexei Starovoitov /* unknown flags */ 24015a07b33SAlexei Starovoitov return -EINVAL; 24115a07b33SAlexei Starovoitov 24215a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 24315a07b33SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 24415a07b33SAlexei Starovoitov return -E2BIG; 24515a07b33SAlexei Starovoitov 24615a07b33SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 24715a07b33SAlexei Starovoitov /* all elements already exist */ 24815a07b33SAlexei Starovoitov return -EEXIST; 24915a07b33SAlexei Starovoitov 25015a07b33SAlexei Starovoitov /* the user space will provide round_up(value_size, 8) bytes that 25115a07b33SAlexei Starovoitov * will be copied into per-cpu area. bpf programs can only access 25215a07b33SAlexei Starovoitov * value_size of it. During lookup the same extra bytes will be 25315a07b33SAlexei Starovoitov * returned or zeros which were zero-filled by percpu_alloc, 25415a07b33SAlexei Starovoitov * so no kernel data leaks possible 25515a07b33SAlexei Starovoitov */ 25615a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 25715a07b33SAlexei Starovoitov rcu_read_lock(); 25815a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 25915a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 26015a07b33SAlexei Starovoitov bpf_long_memcpy(per_cpu_ptr(pptr, cpu), value + off, size); 26115a07b33SAlexei Starovoitov off += size; 26215a07b33SAlexei Starovoitov } 26315a07b33SAlexei Starovoitov rcu_read_unlock(); 26415a07b33SAlexei Starovoitov return 0; 26515a07b33SAlexei Starovoitov } 26615a07b33SAlexei Starovoitov 26728fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 26828fbcfa0SAlexei Starovoitov static int array_map_delete_elem(struct bpf_map *map, void *key) 26928fbcfa0SAlexei Starovoitov { 27028fbcfa0SAlexei Starovoitov return -EINVAL; 27128fbcfa0SAlexei Starovoitov } 27228fbcfa0SAlexei Starovoitov 27328fbcfa0SAlexei Starovoitov /* Called when map->refcnt goes to zero, either from workqueue or from syscall */ 27428fbcfa0SAlexei Starovoitov static void array_map_free(struct bpf_map *map) 27528fbcfa0SAlexei Starovoitov { 27628fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 27728fbcfa0SAlexei Starovoitov 27828fbcfa0SAlexei Starovoitov /* at this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0, 27928fbcfa0SAlexei Starovoitov * so the programs (can be more than one that used this map) were 28028fbcfa0SAlexei Starovoitov * disconnected from events. Wait for outstanding programs to complete 28128fbcfa0SAlexei Starovoitov * and free the array 28228fbcfa0SAlexei Starovoitov */ 28328fbcfa0SAlexei Starovoitov synchronize_rcu(); 28428fbcfa0SAlexei Starovoitov 285a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 286a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 287a10423b8SAlexei Starovoitov 288d407bd25SDaniel Borkmann bpf_map_area_free(array); 28928fbcfa0SAlexei Starovoitov } 29028fbcfa0SAlexei Starovoitov 29140077e0cSJohannes Berg const struct bpf_map_ops array_map_ops = { 29228fbcfa0SAlexei Starovoitov .map_alloc = array_map_alloc, 29328fbcfa0SAlexei Starovoitov .map_free = array_map_free, 29428fbcfa0SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 29528fbcfa0SAlexei Starovoitov .map_lookup_elem = array_map_lookup_elem, 29628fbcfa0SAlexei Starovoitov .map_update_elem = array_map_update_elem, 29728fbcfa0SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 29881ed18abSAlexei Starovoitov .map_gen_lookup = array_map_gen_lookup, 29928fbcfa0SAlexei Starovoitov }; 30028fbcfa0SAlexei Starovoitov 30140077e0cSJohannes Berg const struct bpf_map_ops percpu_array_map_ops = { 302a10423b8SAlexei Starovoitov .map_alloc = array_map_alloc, 303a10423b8SAlexei Starovoitov .map_free = array_map_free, 304a10423b8SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 305a10423b8SAlexei Starovoitov .map_lookup_elem = percpu_array_map_lookup_elem, 306a10423b8SAlexei Starovoitov .map_update_elem = array_map_update_elem, 307a10423b8SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 308a10423b8SAlexei Starovoitov }; 309a10423b8SAlexei Starovoitov 3102a36f0b9SWang Nan static struct bpf_map *fd_array_map_alloc(union bpf_attr *attr) 31104fd61abSAlexei Starovoitov { 3122a36f0b9SWang Nan /* only file descriptors can be stored in this type of map */ 31304fd61abSAlexei Starovoitov if (attr->value_size != sizeof(u32)) 31404fd61abSAlexei Starovoitov return ERR_PTR(-EINVAL); 31504fd61abSAlexei Starovoitov return array_map_alloc(attr); 31604fd61abSAlexei Starovoitov } 31704fd61abSAlexei Starovoitov 3182a36f0b9SWang Nan static void fd_array_map_free(struct bpf_map *map) 31904fd61abSAlexei Starovoitov { 32004fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 32104fd61abSAlexei Starovoitov int i; 32204fd61abSAlexei Starovoitov 32304fd61abSAlexei Starovoitov synchronize_rcu(); 32404fd61abSAlexei Starovoitov 32504fd61abSAlexei Starovoitov /* make sure it's empty */ 32604fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 3272a36f0b9SWang Nan BUG_ON(array->ptrs[i] != NULL); 328d407bd25SDaniel Borkmann 329d407bd25SDaniel Borkmann bpf_map_area_free(array); 33004fd61abSAlexei Starovoitov } 33104fd61abSAlexei Starovoitov 3322a36f0b9SWang Nan static void *fd_array_map_lookup_elem(struct bpf_map *map, void *key) 33304fd61abSAlexei Starovoitov { 33404fd61abSAlexei Starovoitov return NULL; 33504fd61abSAlexei Starovoitov } 33604fd61abSAlexei Starovoitov 33704fd61abSAlexei Starovoitov /* only called from syscall */ 338*14dc6f04SMartin KaFai Lau int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value) 339*14dc6f04SMartin KaFai Lau { 340*14dc6f04SMartin KaFai Lau void **elem, *ptr; 341*14dc6f04SMartin KaFai Lau int ret = 0; 342*14dc6f04SMartin KaFai Lau 343*14dc6f04SMartin KaFai Lau if (!map->ops->map_fd_sys_lookup_elem) 344*14dc6f04SMartin KaFai Lau return -ENOTSUPP; 345*14dc6f04SMartin KaFai Lau 346*14dc6f04SMartin KaFai Lau rcu_read_lock(); 347*14dc6f04SMartin KaFai Lau elem = array_map_lookup_elem(map, key); 348*14dc6f04SMartin KaFai Lau if (elem && (ptr = READ_ONCE(*elem))) 349*14dc6f04SMartin KaFai Lau *value = map->ops->map_fd_sys_lookup_elem(ptr); 350*14dc6f04SMartin KaFai Lau else 351*14dc6f04SMartin KaFai Lau ret = -ENOENT; 352*14dc6f04SMartin KaFai Lau rcu_read_unlock(); 353*14dc6f04SMartin KaFai Lau 354*14dc6f04SMartin KaFai Lau return ret; 355*14dc6f04SMartin KaFai Lau } 356*14dc6f04SMartin KaFai Lau 357*14dc6f04SMartin KaFai Lau /* only called from syscall */ 358d056a788SDaniel Borkmann int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file, 359d056a788SDaniel Borkmann void *key, void *value, u64 map_flags) 36004fd61abSAlexei Starovoitov { 36104fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3622a36f0b9SWang Nan void *new_ptr, *old_ptr; 36304fd61abSAlexei Starovoitov u32 index = *(u32 *)key, ufd; 36404fd61abSAlexei Starovoitov 36504fd61abSAlexei Starovoitov if (map_flags != BPF_ANY) 36604fd61abSAlexei Starovoitov return -EINVAL; 36704fd61abSAlexei Starovoitov 36804fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 36904fd61abSAlexei Starovoitov return -E2BIG; 37004fd61abSAlexei Starovoitov 37104fd61abSAlexei Starovoitov ufd = *(u32 *)value; 372d056a788SDaniel Borkmann new_ptr = map->ops->map_fd_get_ptr(map, map_file, ufd); 3732a36f0b9SWang Nan if (IS_ERR(new_ptr)) 3742a36f0b9SWang Nan return PTR_ERR(new_ptr); 37504fd61abSAlexei Starovoitov 3762a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, new_ptr); 3772a36f0b9SWang Nan if (old_ptr) 3782a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 37904fd61abSAlexei Starovoitov 38004fd61abSAlexei Starovoitov return 0; 38104fd61abSAlexei Starovoitov } 38204fd61abSAlexei Starovoitov 3832a36f0b9SWang Nan static int fd_array_map_delete_elem(struct bpf_map *map, void *key) 38404fd61abSAlexei Starovoitov { 38504fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3862a36f0b9SWang Nan void *old_ptr; 38704fd61abSAlexei Starovoitov u32 index = *(u32 *)key; 38804fd61abSAlexei Starovoitov 38904fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 39004fd61abSAlexei Starovoitov return -E2BIG; 39104fd61abSAlexei Starovoitov 3922a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, NULL); 3932a36f0b9SWang Nan if (old_ptr) { 3942a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 39504fd61abSAlexei Starovoitov return 0; 39604fd61abSAlexei Starovoitov } else { 39704fd61abSAlexei Starovoitov return -ENOENT; 39804fd61abSAlexei Starovoitov } 39904fd61abSAlexei Starovoitov } 40004fd61abSAlexei Starovoitov 401d056a788SDaniel Borkmann static void *prog_fd_array_get_ptr(struct bpf_map *map, 402d056a788SDaniel Borkmann struct file *map_file, int fd) 4032a36f0b9SWang Nan { 4042a36f0b9SWang Nan struct bpf_array *array = container_of(map, struct bpf_array, map); 4052a36f0b9SWang Nan struct bpf_prog *prog = bpf_prog_get(fd); 406d056a788SDaniel Borkmann 4072a36f0b9SWang Nan if (IS_ERR(prog)) 4082a36f0b9SWang Nan return prog; 4092a36f0b9SWang Nan 4102a36f0b9SWang Nan if (!bpf_prog_array_compatible(array, prog)) { 4112a36f0b9SWang Nan bpf_prog_put(prog); 4122a36f0b9SWang Nan return ERR_PTR(-EINVAL); 4132a36f0b9SWang Nan } 414d056a788SDaniel Borkmann 4152a36f0b9SWang Nan return prog; 4162a36f0b9SWang Nan } 4172a36f0b9SWang Nan 4182a36f0b9SWang Nan static void prog_fd_array_put_ptr(void *ptr) 4192a36f0b9SWang Nan { 4201aacde3dSDaniel Borkmann bpf_prog_put(ptr); 4212a36f0b9SWang Nan } 4222a36f0b9SWang Nan 423*14dc6f04SMartin KaFai Lau static u32 prog_fd_array_sys_lookup_elem(void *ptr) 424*14dc6f04SMartin KaFai Lau { 425*14dc6f04SMartin KaFai Lau return ((struct bpf_prog *)ptr)->aux->id; 426*14dc6f04SMartin KaFai Lau } 427*14dc6f04SMartin KaFai Lau 42804fd61abSAlexei Starovoitov /* decrement refcnt of all bpf_progs that are stored in this map */ 4292a36f0b9SWang Nan void bpf_fd_array_map_clear(struct bpf_map *map) 43004fd61abSAlexei Starovoitov { 43104fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 43204fd61abSAlexei Starovoitov int i; 43304fd61abSAlexei Starovoitov 43404fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 4352a36f0b9SWang Nan fd_array_map_delete_elem(map, &i); 43604fd61abSAlexei Starovoitov } 43704fd61abSAlexei Starovoitov 43840077e0cSJohannes Berg const struct bpf_map_ops prog_array_map_ops = { 4392a36f0b9SWang Nan .map_alloc = fd_array_map_alloc, 4402a36f0b9SWang Nan .map_free = fd_array_map_free, 44104fd61abSAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 4422a36f0b9SWang Nan .map_lookup_elem = fd_array_map_lookup_elem, 4432a36f0b9SWang Nan .map_delete_elem = fd_array_map_delete_elem, 4442a36f0b9SWang Nan .map_fd_get_ptr = prog_fd_array_get_ptr, 4452a36f0b9SWang Nan .map_fd_put_ptr = prog_fd_array_put_ptr, 446*14dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = prog_fd_array_sys_lookup_elem, 44704fd61abSAlexei Starovoitov }; 44804fd61abSAlexei Starovoitov 4493b1efb19SDaniel Borkmann static struct bpf_event_entry *bpf_event_entry_gen(struct file *perf_file, 4503b1efb19SDaniel Borkmann struct file *map_file) 451ea317b26SKaixu Xia { 4523b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4533b1efb19SDaniel Borkmann 454858d68f1SDaniel Borkmann ee = kzalloc(sizeof(*ee), GFP_ATOMIC); 4553b1efb19SDaniel Borkmann if (ee) { 4563b1efb19SDaniel Borkmann ee->event = perf_file->private_data; 4573b1efb19SDaniel Borkmann ee->perf_file = perf_file; 4583b1efb19SDaniel Borkmann ee->map_file = map_file; 4593b1efb19SDaniel Borkmann } 4603b1efb19SDaniel Borkmann 4613b1efb19SDaniel Borkmann return ee; 4623b1efb19SDaniel Borkmann } 4633b1efb19SDaniel Borkmann 4643b1efb19SDaniel Borkmann static void __bpf_event_entry_free(struct rcu_head *rcu) 4653b1efb19SDaniel Borkmann { 4663b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4673b1efb19SDaniel Borkmann 4683b1efb19SDaniel Borkmann ee = container_of(rcu, struct bpf_event_entry, rcu); 4693b1efb19SDaniel Borkmann fput(ee->perf_file); 4703b1efb19SDaniel Borkmann kfree(ee); 4713b1efb19SDaniel Borkmann } 4723b1efb19SDaniel Borkmann 4733b1efb19SDaniel Borkmann static void bpf_event_entry_free_rcu(struct bpf_event_entry *ee) 4743b1efb19SDaniel Borkmann { 4753b1efb19SDaniel Borkmann call_rcu(&ee->rcu, __bpf_event_entry_free); 476ea317b26SKaixu Xia } 477ea317b26SKaixu Xia 478d056a788SDaniel Borkmann static void *perf_event_fd_array_get_ptr(struct bpf_map *map, 479d056a788SDaniel Borkmann struct file *map_file, int fd) 480ea317b26SKaixu Xia { 4813b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4823b1efb19SDaniel Borkmann struct perf_event *event; 4833b1efb19SDaniel Borkmann struct file *perf_file; 484f91840a3SAlexei Starovoitov u64 value; 485ea317b26SKaixu Xia 4863b1efb19SDaniel Borkmann perf_file = perf_event_get(fd); 4873b1efb19SDaniel Borkmann if (IS_ERR(perf_file)) 4883b1efb19SDaniel Borkmann return perf_file; 489e03e7ee3SAlexei Starovoitov 490f91840a3SAlexei Starovoitov ee = ERR_PTR(-EOPNOTSUPP); 4913b1efb19SDaniel Borkmann event = perf_file->private_data; 492f91840a3SAlexei Starovoitov if (perf_event_read_local(event, &value) == -EOPNOTSUPP) 4933b1efb19SDaniel Borkmann goto err_out; 494ea317b26SKaixu Xia 4953b1efb19SDaniel Borkmann ee = bpf_event_entry_gen(perf_file, map_file); 4963b1efb19SDaniel Borkmann if (ee) 4973b1efb19SDaniel Borkmann return ee; 4983b1efb19SDaniel Borkmann ee = ERR_PTR(-ENOMEM); 4993b1efb19SDaniel Borkmann err_out: 5003b1efb19SDaniel Borkmann fput(perf_file); 5013b1efb19SDaniel Borkmann return ee; 502ea317b26SKaixu Xia } 503ea317b26SKaixu Xia 504ea317b26SKaixu Xia static void perf_event_fd_array_put_ptr(void *ptr) 505ea317b26SKaixu Xia { 5063b1efb19SDaniel Borkmann bpf_event_entry_free_rcu(ptr); 5073b1efb19SDaniel Borkmann } 5083b1efb19SDaniel Borkmann 5093b1efb19SDaniel Borkmann static void perf_event_fd_array_release(struct bpf_map *map, 5103b1efb19SDaniel Borkmann struct file *map_file) 5113b1efb19SDaniel Borkmann { 5123b1efb19SDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 5133b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 5143b1efb19SDaniel Borkmann int i; 5153b1efb19SDaniel Borkmann 5163b1efb19SDaniel Borkmann rcu_read_lock(); 5173b1efb19SDaniel Borkmann for (i = 0; i < array->map.max_entries; i++) { 5183b1efb19SDaniel Borkmann ee = READ_ONCE(array->ptrs[i]); 5193b1efb19SDaniel Borkmann if (ee && ee->map_file == map_file) 5203b1efb19SDaniel Borkmann fd_array_map_delete_elem(map, &i); 5213b1efb19SDaniel Borkmann } 5223b1efb19SDaniel Borkmann rcu_read_unlock(); 523ea317b26SKaixu Xia } 524ea317b26SKaixu Xia 52540077e0cSJohannes Berg const struct bpf_map_ops perf_event_array_map_ops = { 526ea317b26SKaixu Xia .map_alloc = fd_array_map_alloc, 5273b1efb19SDaniel Borkmann .map_free = fd_array_map_free, 528ea317b26SKaixu Xia .map_get_next_key = array_map_get_next_key, 529ea317b26SKaixu Xia .map_lookup_elem = fd_array_map_lookup_elem, 530ea317b26SKaixu Xia .map_delete_elem = fd_array_map_delete_elem, 531ea317b26SKaixu Xia .map_fd_get_ptr = perf_event_fd_array_get_ptr, 532ea317b26SKaixu Xia .map_fd_put_ptr = perf_event_fd_array_put_ptr, 5333b1efb19SDaniel Borkmann .map_release = perf_event_fd_array_release, 534ea317b26SKaixu Xia }; 535ea317b26SKaixu Xia 53660d20f91SSargun Dhillon #ifdef CONFIG_CGROUPS 5374ed8ec52SMartin KaFai Lau static void *cgroup_fd_array_get_ptr(struct bpf_map *map, 5384ed8ec52SMartin KaFai Lau struct file *map_file /* not used */, 5394ed8ec52SMartin KaFai Lau int fd) 5404ed8ec52SMartin KaFai Lau { 5414ed8ec52SMartin KaFai Lau return cgroup_get_from_fd(fd); 5424ed8ec52SMartin KaFai Lau } 5434ed8ec52SMartin KaFai Lau 5444ed8ec52SMartin KaFai Lau static void cgroup_fd_array_put_ptr(void *ptr) 5454ed8ec52SMartin KaFai Lau { 5464ed8ec52SMartin KaFai Lau /* cgroup_put free cgrp after a rcu grace period */ 5474ed8ec52SMartin KaFai Lau cgroup_put(ptr); 5484ed8ec52SMartin KaFai Lau } 5494ed8ec52SMartin KaFai Lau 5504ed8ec52SMartin KaFai Lau static void cgroup_fd_array_free(struct bpf_map *map) 5514ed8ec52SMartin KaFai Lau { 5524ed8ec52SMartin KaFai Lau bpf_fd_array_map_clear(map); 5534ed8ec52SMartin KaFai Lau fd_array_map_free(map); 5544ed8ec52SMartin KaFai Lau } 5554ed8ec52SMartin KaFai Lau 55640077e0cSJohannes Berg const struct bpf_map_ops cgroup_array_map_ops = { 5574ed8ec52SMartin KaFai Lau .map_alloc = fd_array_map_alloc, 5584ed8ec52SMartin KaFai Lau .map_free = cgroup_fd_array_free, 5594ed8ec52SMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 5604ed8ec52SMartin KaFai Lau .map_lookup_elem = fd_array_map_lookup_elem, 5614ed8ec52SMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 5624ed8ec52SMartin KaFai Lau .map_fd_get_ptr = cgroup_fd_array_get_ptr, 5634ed8ec52SMartin KaFai Lau .map_fd_put_ptr = cgroup_fd_array_put_ptr, 5644ed8ec52SMartin KaFai Lau }; 5654ed8ec52SMartin KaFai Lau #endif 56656f668dfSMartin KaFai Lau 56756f668dfSMartin KaFai Lau static struct bpf_map *array_of_map_alloc(union bpf_attr *attr) 56856f668dfSMartin KaFai Lau { 56956f668dfSMartin KaFai Lau struct bpf_map *map, *inner_map_meta; 57056f668dfSMartin KaFai Lau 57156f668dfSMartin KaFai Lau inner_map_meta = bpf_map_meta_alloc(attr->inner_map_fd); 57256f668dfSMartin KaFai Lau if (IS_ERR(inner_map_meta)) 57356f668dfSMartin KaFai Lau return inner_map_meta; 57456f668dfSMartin KaFai Lau 57556f668dfSMartin KaFai Lau map = fd_array_map_alloc(attr); 57656f668dfSMartin KaFai Lau if (IS_ERR(map)) { 57756f668dfSMartin KaFai Lau bpf_map_meta_free(inner_map_meta); 57856f668dfSMartin KaFai Lau return map; 57956f668dfSMartin KaFai Lau } 58056f668dfSMartin KaFai Lau 58156f668dfSMartin KaFai Lau map->inner_map_meta = inner_map_meta; 58256f668dfSMartin KaFai Lau 58356f668dfSMartin KaFai Lau return map; 58456f668dfSMartin KaFai Lau } 58556f668dfSMartin KaFai Lau 58656f668dfSMartin KaFai Lau static void array_of_map_free(struct bpf_map *map) 58756f668dfSMartin KaFai Lau { 58856f668dfSMartin KaFai Lau /* map->inner_map_meta is only accessed by syscall which 58956f668dfSMartin KaFai Lau * is protected by fdget/fdput. 59056f668dfSMartin KaFai Lau */ 59156f668dfSMartin KaFai Lau bpf_map_meta_free(map->inner_map_meta); 59256f668dfSMartin KaFai Lau bpf_fd_array_map_clear(map); 59356f668dfSMartin KaFai Lau fd_array_map_free(map); 59456f668dfSMartin KaFai Lau } 59556f668dfSMartin KaFai Lau 59656f668dfSMartin KaFai Lau static void *array_of_map_lookup_elem(struct bpf_map *map, void *key) 59756f668dfSMartin KaFai Lau { 59856f668dfSMartin KaFai Lau struct bpf_map **inner_map = array_map_lookup_elem(map, key); 59956f668dfSMartin KaFai Lau 60056f668dfSMartin KaFai Lau if (!inner_map) 60156f668dfSMartin KaFai Lau return NULL; 60256f668dfSMartin KaFai Lau 60356f668dfSMartin KaFai Lau return READ_ONCE(*inner_map); 60456f668dfSMartin KaFai Lau } 60556f668dfSMartin KaFai Lau 60640077e0cSJohannes Berg const struct bpf_map_ops array_of_maps_map_ops = { 60756f668dfSMartin KaFai Lau .map_alloc = array_of_map_alloc, 60856f668dfSMartin KaFai Lau .map_free = array_of_map_free, 60956f668dfSMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 61056f668dfSMartin KaFai Lau .map_lookup_elem = array_of_map_lookup_elem, 61156f668dfSMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 61256f668dfSMartin KaFai Lau .map_fd_get_ptr = bpf_map_fd_get_ptr, 61356f668dfSMartin KaFai Lau .map_fd_put_ptr = bpf_map_fd_put_ptr, 614*14dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = bpf_map_fd_sys_lookup_elem, 61556f668dfSMartin KaFai Lau }; 616