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 22*6e71b04aSChenbo Feng #define ARRAY_CREATE_FLAG_MASK \ 23*6e71b04aSChenbo Feng (BPF_F_NUMA_NODE | BPF_F_RDONLY | BPF_F_WRONLY) 24*6e71b04aSChenbo Feng 25a10423b8SAlexei Starovoitov static void bpf_array_free_percpu(struct bpf_array *array) 26a10423b8SAlexei Starovoitov { 27a10423b8SAlexei Starovoitov int i; 28a10423b8SAlexei Starovoitov 29a10423b8SAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 30a10423b8SAlexei Starovoitov free_percpu(array->pptrs[i]); 31a10423b8SAlexei Starovoitov } 32a10423b8SAlexei Starovoitov 33a10423b8SAlexei Starovoitov static int bpf_array_alloc_percpu(struct bpf_array *array) 34a10423b8SAlexei Starovoitov { 35a10423b8SAlexei Starovoitov void __percpu *ptr; 36a10423b8SAlexei Starovoitov int i; 37a10423b8SAlexei Starovoitov 38a10423b8SAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) { 39a10423b8SAlexei Starovoitov ptr = __alloc_percpu_gfp(array->elem_size, 8, 40a10423b8SAlexei Starovoitov GFP_USER | __GFP_NOWARN); 41a10423b8SAlexei Starovoitov if (!ptr) { 42a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 43a10423b8SAlexei Starovoitov return -ENOMEM; 44a10423b8SAlexei Starovoitov } 45a10423b8SAlexei Starovoitov array->pptrs[i] = ptr; 46a10423b8SAlexei Starovoitov } 47a10423b8SAlexei Starovoitov 48a10423b8SAlexei Starovoitov return 0; 49a10423b8SAlexei Starovoitov } 50a10423b8SAlexei Starovoitov 5128fbcfa0SAlexei Starovoitov /* Called from syscall */ 5228fbcfa0SAlexei Starovoitov static struct bpf_map *array_map_alloc(union bpf_attr *attr) 5328fbcfa0SAlexei Starovoitov { 54a10423b8SAlexei Starovoitov bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY; 5596eabe7aSMartin KaFai Lau int numa_node = bpf_map_attr_numa_node(attr); 5628fbcfa0SAlexei Starovoitov struct bpf_array *array; 57a10423b8SAlexei Starovoitov u64 array_size; 58a10423b8SAlexei Starovoitov u32 elem_size; 5928fbcfa0SAlexei Starovoitov 6028fbcfa0SAlexei Starovoitov /* check sanity of attributes */ 6128fbcfa0SAlexei Starovoitov if (attr->max_entries == 0 || attr->key_size != 4 || 62*6e71b04aSChenbo Feng attr->value_size == 0 || 63*6e71b04aSChenbo Feng attr->map_flags & ~ARRAY_CREATE_FLAG_MASK || 6496eabe7aSMartin KaFai Lau (percpu && numa_node != NUMA_NO_NODE)) 6528fbcfa0SAlexei Starovoitov return ERR_PTR(-EINVAL); 6628fbcfa0SAlexei Starovoitov 677984c27cSMichal Hocko if (attr->value_size > KMALLOC_MAX_SIZE) 6801b3f521SAlexei Starovoitov /* if value_size is bigger, the user space won't be able to 6901b3f521SAlexei Starovoitov * access the elements. 7001b3f521SAlexei Starovoitov */ 7101b3f521SAlexei Starovoitov return ERR_PTR(-E2BIG); 7201b3f521SAlexei Starovoitov 7328fbcfa0SAlexei Starovoitov elem_size = round_up(attr->value_size, 8); 7428fbcfa0SAlexei Starovoitov 75a10423b8SAlexei Starovoitov array_size = sizeof(*array); 76a10423b8SAlexei Starovoitov if (percpu) 77a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * sizeof(void *); 78a10423b8SAlexei Starovoitov else 79a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size; 80a10423b8SAlexei Starovoitov 81a10423b8SAlexei Starovoitov /* make sure there is no u32 overflow later in round_up() */ 82a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE) 83daaf427cSAlexei Starovoitov return ERR_PTR(-ENOMEM); 84daaf427cSAlexei Starovoitov 8528fbcfa0SAlexei Starovoitov /* allocate all map elements and zero-initialize them */ 8696eabe7aSMartin KaFai Lau array = bpf_map_area_alloc(array_size, numa_node); 8728fbcfa0SAlexei Starovoitov if (!array) 8828fbcfa0SAlexei Starovoitov return ERR_PTR(-ENOMEM); 8928fbcfa0SAlexei Starovoitov 9028fbcfa0SAlexei Starovoitov /* copy mandatory map attributes */ 91a10423b8SAlexei Starovoitov array->map.map_type = attr->map_type; 9228fbcfa0SAlexei Starovoitov array->map.key_size = attr->key_size; 9328fbcfa0SAlexei Starovoitov array->map.value_size = attr->value_size; 9428fbcfa0SAlexei Starovoitov array->map.max_entries = attr->max_entries; 95a316338cSDaniel Borkmann array->map.map_flags = attr->map_flags; 9696eabe7aSMartin KaFai Lau array->map.numa_node = numa_node; 9728fbcfa0SAlexei Starovoitov array->elem_size = elem_size; 9828fbcfa0SAlexei Starovoitov 99a10423b8SAlexei Starovoitov if (!percpu) 100a10423b8SAlexei Starovoitov goto out; 101a10423b8SAlexei Starovoitov 102a10423b8SAlexei Starovoitov array_size += (u64) attr->max_entries * elem_size * num_possible_cpus(); 103a10423b8SAlexei Starovoitov 104a10423b8SAlexei Starovoitov if (array_size >= U32_MAX - PAGE_SIZE || 105a10423b8SAlexei Starovoitov elem_size > PCPU_MIN_UNIT_SIZE || bpf_array_alloc_percpu(array)) { 106d407bd25SDaniel Borkmann bpf_map_area_free(array); 107a10423b8SAlexei Starovoitov return ERR_PTR(-ENOMEM); 108a10423b8SAlexei Starovoitov } 109a10423b8SAlexei Starovoitov out: 110a10423b8SAlexei Starovoitov array->map.pages = round_up(array_size, PAGE_SIZE) >> PAGE_SHIFT; 111a10423b8SAlexei Starovoitov 11228fbcfa0SAlexei Starovoitov return &array->map; 11328fbcfa0SAlexei Starovoitov } 11428fbcfa0SAlexei Starovoitov 11528fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 11628fbcfa0SAlexei Starovoitov static void *array_map_lookup_elem(struct bpf_map *map, void *key) 11728fbcfa0SAlexei Starovoitov { 11828fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 11928fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 12028fbcfa0SAlexei Starovoitov 121a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 12228fbcfa0SAlexei Starovoitov return NULL; 12328fbcfa0SAlexei Starovoitov 12428fbcfa0SAlexei Starovoitov return array->value + array->elem_size * index; 12528fbcfa0SAlexei Starovoitov } 12628fbcfa0SAlexei Starovoitov 12781ed18abSAlexei Starovoitov /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */ 12881ed18abSAlexei Starovoitov static u32 array_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf) 12981ed18abSAlexei Starovoitov { 13081ed18abSAlexei Starovoitov struct bpf_insn *insn = insn_buf; 131fad73a1aSMartin KaFai Lau u32 elem_size = round_up(map->value_size, 8); 13281ed18abSAlexei Starovoitov const int ret = BPF_REG_0; 13381ed18abSAlexei Starovoitov const int map_ptr = BPF_REG_1; 13481ed18abSAlexei Starovoitov const int index = BPF_REG_2; 13581ed18abSAlexei Starovoitov 13681ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 13781ed18abSAlexei Starovoitov *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 138fad73a1aSMartin KaFai Lau *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 3); 139fad73a1aSMartin KaFai Lau 140fad73a1aSMartin KaFai Lau if (is_power_of_2(elem_size)) { 14181ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 14281ed18abSAlexei Starovoitov } else { 14381ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 14481ed18abSAlexei Starovoitov } 14581ed18abSAlexei Starovoitov *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 14681ed18abSAlexei Starovoitov *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 14781ed18abSAlexei Starovoitov *insn++ = BPF_MOV64_IMM(ret, 0); 14881ed18abSAlexei Starovoitov return insn - insn_buf; 14981ed18abSAlexei Starovoitov } 15081ed18abSAlexei Starovoitov 151a10423b8SAlexei Starovoitov /* Called from eBPF program */ 152a10423b8SAlexei Starovoitov static void *percpu_array_map_lookup_elem(struct bpf_map *map, void *key) 153a10423b8SAlexei Starovoitov { 154a10423b8SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 155a10423b8SAlexei Starovoitov u32 index = *(u32 *)key; 156a10423b8SAlexei Starovoitov 157a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 158a10423b8SAlexei Starovoitov return NULL; 159a10423b8SAlexei Starovoitov 160a10423b8SAlexei Starovoitov return this_cpu_ptr(array->pptrs[index]); 161a10423b8SAlexei Starovoitov } 162a10423b8SAlexei Starovoitov 16315a07b33SAlexei Starovoitov int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value) 16415a07b33SAlexei Starovoitov { 16515a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 16615a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 16715a07b33SAlexei Starovoitov void __percpu *pptr; 16815a07b33SAlexei Starovoitov int cpu, off = 0; 16915a07b33SAlexei Starovoitov u32 size; 17015a07b33SAlexei Starovoitov 17115a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 17215a07b33SAlexei Starovoitov return -ENOENT; 17315a07b33SAlexei Starovoitov 17415a07b33SAlexei Starovoitov /* per_cpu areas are zero-filled and bpf programs can only 17515a07b33SAlexei Starovoitov * access 'value_size' of them, so copying rounded areas 17615a07b33SAlexei Starovoitov * will not leak any kernel data 17715a07b33SAlexei Starovoitov */ 17815a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 17915a07b33SAlexei Starovoitov rcu_read_lock(); 18015a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 18115a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 18215a07b33SAlexei Starovoitov bpf_long_memcpy(value + off, per_cpu_ptr(pptr, cpu), size); 18315a07b33SAlexei Starovoitov off += size; 18415a07b33SAlexei Starovoitov } 18515a07b33SAlexei Starovoitov rcu_read_unlock(); 18615a07b33SAlexei Starovoitov return 0; 18715a07b33SAlexei Starovoitov } 18815a07b33SAlexei Starovoitov 18928fbcfa0SAlexei Starovoitov /* Called from syscall */ 19028fbcfa0SAlexei Starovoitov static int array_map_get_next_key(struct bpf_map *map, void *key, void *next_key) 19128fbcfa0SAlexei Starovoitov { 19228fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 1938fe45924STeng Qin u32 index = key ? *(u32 *)key : U32_MAX; 19428fbcfa0SAlexei Starovoitov u32 *next = (u32 *)next_key; 19528fbcfa0SAlexei Starovoitov 19628fbcfa0SAlexei Starovoitov if (index >= array->map.max_entries) { 19728fbcfa0SAlexei Starovoitov *next = 0; 19828fbcfa0SAlexei Starovoitov return 0; 19928fbcfa0SAlexei Starovoitov } 20028fbcfa0SAlexei Starovoitov 20128fbcfa0SAlexei Starovoitov if (index == array->map.max_entries - 1) 20228fbcfa0SAlexei Starovoitov return -ENOENT; 20328fbcfa0SAlexei Starovoitov 20428fbcfa0SAlexei Starovoitov *next = index + 1; 20528fbcfa0SAlexei Starovoitov return 0; 20628fbcfa0SAlexei Starovoitov } 20728fbcfa0SAlexei Starovoitov 20828fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 20928fbcfa0SAlexei Starovoitov static int array_map_update_elem(struct bpf_map *map, void *key, void *value, 21028fbcfa0SAlexei Starovoitov u64 map_flags) 21128fbcfa0SAlexei Starovoitov { 21228fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 21328fbcfa0SAlexei Starovoitov u32 index = *(u32 *)key; 21428fbcfa0SAlexei Starovoitov 215a10423b8SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 21628fbcfa0SAlexei Starovoitov /* unknown flags */ 21728fbcfa0SAlexei Starovoitov return -EINVAL; 21828fbcfa0SAlexei Starovoitov 219a10423b8SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 22028fbcfa0SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 22128fbcfa0SAlexei Starovoitov return -E2BIG; 22228fbcfa0SAlexei Starovoitov 223a10423b8SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 224daaf427cSAlexei Starovoitov /* all elements already exist */ 22528fbcfa0SAlexei Starovoitov return -EEXIST; 22628fbcfa0SAlexei Starovoitov 227a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 228a10423b8SAlexei Starovoitov memcpy(this_cpu_ptr(array->pptrs[index]), 229a10423b8SAlexei Starovoitov value, map->value_size); 230a10423b8SAlexei Starovoitov else 231a10423b8SAlexei Starovoitov memcpy(array->value + array->elem_size * index, 232a10423b8SAlexei Starovoitov value, map->value_size); 23328fbcfa0SAlexei Starovoitov return 0; 23428fbcfa0SAlexei Starovoitov } 23528fbcfa0SAlexei Starovoitov 23615a07b33SAlexei Starovoitov int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value, 23715a07b33SAlexei Starovoitov u64 map_flags) 23815a07b33SAlexei Starovoitov { 23915a07b33SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 24015a07b33SAlexei Starovoitov u32 index = *(u32 *)key; 24115a07b33SAlexei Starovoitov void __percpu *pptr; 24215a07b33SAlexei Starovoitov int cpu, off = 0; 24315a07b33SAlexei Starovoitov u32 size; 24415a07b33SAlexei Starovoitov 24515a07b33SAlexei Starovoitov if (unlikely(map_flags > BPF_EXIST)) 24615a07b33SAlexei Starovoitov /* unknown flags */ 24715a07b33SAlexei Starovoitov return -EINVAL; 24815a07b33SAlexei Starovoitov 24915a07b33SAlexei Starovoitov if (unlikely(index >= array->map.max_entries)) 25015a07b33SAlexei Starovoitov /* all elements were pre-allocated, cannot insert a new one */ 25115a07b33SAlexei Starovoitov return -E2BIG; 25215a07b33SAlexei Starovoitov 25315a07b33SAlexei Starovoitov if (unlikely(map_flags == BPF_NOEXIST)) 25415a07b33SAlexei Starovoitov /* all elements already exist */ 25515a07b33SAlexei Starovoitov return -EEXIST; 25615a07b33SAlexei Starovoitov 25715a07b33SAlexei Starovoitov /* the user space will provide round_up(value_size, 8) bytes that 25815a07b33SAlexei Starovoitov * will be copied into per-cpu area. bpf programs can only access 25915a07b33SAlexei Starovoitov * value_size of it. During lookup the same extra bytes will be 26015a07b33SAlexei Starovoitov * returned or zeros which were zero-filled by percpu_alloc, 26115a07b33SAlexei Starovoitov * so no kernel data leaks possible 26215a07b33SAlexei Starovoitov */ 26315a07b33SAlexei Starovoitov size = round_up(map->value_size, 8); 26415a07b33SAlexei Starovoitov rcu_read_lock(); 26515a07b33SAlexei Starovoitov pptr = array->pptrs[index]; 26615a07b33SAlexei Starovoitov for_each_possible_cpu(cpu) { 26715a07b33SAlexei Starovoitov bpf_long_memcpy(per_cpu_ptr(pptr, cpu), value + off, size); 26815a07b33SAlexei Starovoitov off += size; 26915a07b33SAlexei Starovoitov } 27015a07b33SAlexei Starovoitov rcu_read_unlock(); 27115a07b33SAlexei Starovoitov return 0; 27215a07b33SAlexei Starovoitov } 27315a07b33SAlexei Starovoitov 27428fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */ 27528fbcfa0SAlexei Starovoitov static int array_map_delete_elem(struct bpf_map *map, void *key) 27628fbcfa0SAlexei Starovoitov { 27728fbcfa0SAlexei Starovoitov return -EINVAL; 27828fbcfa0SAlexei Starovoitov } 27928fbcfa0SAlexei Starovoitov 28028fbcfa0SAlexei Starovoitov /* Called when map->refcnt goes to zero, either from workqueue or from syscall */ 28128fbcfa0SAlexei Starovoitov static void array_map_free(struct bpf_map *map) 28228fbcfa0SAlexei Starovoitov { 28328fbcfa0SAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 28428fbcfa0SAlexei Starovoitov 28528fbcfa0SAlexei Starovoitov /* at this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0, 28628fbcfa0SAlexei Starovoitov * so the programs (can be more than one that used this map) were 28728fbcfa0SAlexei Starovoitov * disconnected from events. Wait for outstanding programs to complete 28828fbcfa0SAlexei Starovoitov * and free the array 28928fbcfa0SAlexei Starovoitov */ 29028fbcfa0SAlexei Starovoitov synchronize_rcu(); 29128fbcfa0SAlexei Starovoitov 292a10423b8SAlexei Starovoitov if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) 293a10423b8SAlexei Starovoitov bpf_array_free_percpu(array); 294a10423b8SAlexei Starovoitov 295d407bd25SDaniel Borkmann bpf_map_area_free(array); 29628fbcfa0SAlexei Starovoitov } 29728fbcfa0SAlexei Starovoitov 29840077e0cSJohannes Berg const struct bpf_map_ops array_map_ops = { 29928fbcfa0SAlexei Starovoitov .map_alloc = array_map_alloc, 30028fbcfa0SAlexei Starovoitov .map_free = array_map_free, 30128fbcfa0SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 30228fbcfa0SAlexei Starovoitov .map_lookup_elem = array_map_lookup_elem, 30328fbcfa0SAlexei Starovoitov .map_update_elem = array_map_update_elem, 30428fbcfa0SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 30581ed18abSAlexei Starovoitov .map_gen_lookup = array_map_gen_lookup, 30628fbcfa0SAlexei Starovoitov }; 30728fbcfa0SAlexei Starovoitov 30840077e0cSJohannes Berg const struct bpf_map_ops percpu_array_map_ops = { 309a10423b8SAlexei Starovoitov .map_alloc = array_map_alloc, 310a10423b8SAlexei Starovoitov .map_free = array_map_free, 311a10423b8SAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 312a10423b8SAlexei Starovoitov .map_lookup_elem = percpu_array_map_lookup_elem, 313a10423b8SAlexei Starovoitov .map_update_elem = array_map_update_elem, 314a10423b8SAlexei Starovoitov .map_delete_elem = array_map_delete_elem, 315a10423b8SAlexei Starovoitov }; 316a10423b8SAlexei Starovoitov 3172a36f0b9SWang Nan static struct bpf_map *fd_array_map_alloc(union bpf_attr *attr) 31804fd61abSAlexei Starovoitov { 3192a36f0b9SWang Nan /* only file descriptors can be stored in this type of map */ 32004fd61abSAlexei Starovoitov if (attr->value_size != sizeof(u32)) 32104fd61abSAlexei Starovoitov return ERR_PTR(-EINVAL); 32204fd61abSAlexei Starovoitov return array_map_alloc(attr); 32304fd61abSAlexei Starovoitov } 32404fd61abSAlexei Starovoitov 3252a36f0b9SWang Nan static void fd_array_map_free(struct bpf_map *map) 32604fd61abSAlexei Starovoitov { 32704fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 32804fd61abSAlexei Starovoitov int i; 32904fd61abSAlexei Starovoitov 33004fd61abSAlexei Starovoitov synchronize_rcu(); 33104fd61abSAlexei Starovoitov 33204fd61abSAlexei Starovoitov /* make sure it's empty */ 33304fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 3342a36f0b9SWang Nan BUG_ON(array->ptrs[i] != NULL); 335d407bd25SDaniel Borkmann 336d407bd25SDaniel Borkmann bpf_map_area_free(array); 33704fd61abSAlexei Starovoitov } 33804fd61abSAlexei Starovoitov 3392a36f0b9SWang Nan static void *fd_array_map_lookup_elem(struct bpf_map *map, void *key) 34004fd61abSAlexei Starovoitov { 34104fd61abSAlexei Starovoitov return NULL; 34204fd61abSAlexei Starovoitov } 34304fd61abSAlexei Starovoitov 34404fd61abSAlexei Starovoitov /* only called from syscall */ 34514dc6f04SMartin KaFai Lau int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value) 34614dc6f04SMartin KaFai Lau { 34714dc6f04SMartin KaFai Lau void **elem, *ptr; 34814dc6f04SMartin KaFai Lau int ret = 0; 34914dc6f04SMartin KaFai Lau 35014dc6f04SMartin KaFai Lau if (!map->ops->map_fd_sys_lookup_elem) 35114dc6f04SMartin KaFai Lau return -ENOTSUPP; 35214dc6f04SMartin KaFai Lau 35314dc6f04SMartin KaFai Lau rcu_read_lock(); 35414dc6f04SMartin KaFai Lau elem = array_map_lookup_elem(map, key); 35514dc6f04SMartin KaFai Lau if (elem && (ptr = READ_ONCE(*elem))) 35614dc6f04SMartin KaFai Lau *value = map->ops->map_fd_sys_lookup_elem(ptr); 35714dc6f04SMartin KaFai Lau else 35814dc6f04SMartin KaFai Lau ret = -ENOENT; 35914dc6f04SMartin KaFai Lau rcu_read_unlock(); 36014dc6f04SMartin KaFai Lau 36114dc6f04SMartin KaFai Lau return ret; 36214dc6f04SMartin KaFai Lau } 36314dc6f04SMartin KaFai Lau 36414dc6f04SMartin KaFai Lau /* only called from syscall */ 365d056a788SDaniel Borkmann int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file, 366d056a788SDaniel Borkmann void *key, void *value, u64 map_flags) 36704fd61abSAlexei Starovoitov { 36804fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3692a36f0b9SWang Nan void *new_ptr, *old_ptr; 37004fd61abSAlexei Starovoitov u32 index = *(u32 *)key, ufd; 37104fd61abSAlexei Starovoitov 37204fd61abSAlexei Starovoitov if (map_flags != BPF_ANY) 37304fd61abSAlexei Starovoitov return -EINVAL; 37404fd61abSAlexei Starovoitov 37504fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 37604fd61abSAlexei Starovoitov return -E2BIG; 37704fd61abSAlexei Starovoitov 37804fd61abSAlexei Starovoitov ufd = *(u32 *)value; 379d056a788SDaniel Borkmann new_ptr = map->ops->map_fd_get_ptr(map, map_file, ufd); 3802a36f0b9SWang Nan if (IS_ERR(new_ptr)) 3812a36f0b9SWang Nan return PTR_ERR(new_ptr); 38204fd61abSAlexei Starovoitov 3832a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, new_ptr); 3842a36f0b9SWang Nan if (old_ptr) 3852a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 38604fd61abSAlexei Starovoitov 38704fd61abSAlexei Starovoitov return 0; 38804fd61abSAlexei Starovoitov } 38904fd61abSAlexei Starovoitov 3902a36f0b9SWang Nan static int fd_array_map_delete_elem(struct bpf_map *map, void *key) 39104fd61abSAlexei Starovoitov { 39204fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 3932a36f0b9SWang Nan void *old_ptr; 39404fd61abSAlexei Starovoitov u32 index = *(u32 *)key; 39504fd61abSAlexei Starovoitov 39604fd61abSAlexei Starovoitov if (index >= array->map.max_entries) 39704fd61abSAlexei Starovoitov return -E2BIG; 39804fd61abSAlexei Starovoitov 3992a36f0b9SWang Nan old_ptr = xchg(array->ptrs + index, NULL); 4002a36f0b9SWang Nan if (old_ptr) { 4012a36f0b9SWang Nan map->ops->map_fd_put_ptr(old_ptr); 40204fd61abSAlexei Starovoitov return 0; 40304fd61abSAlexei Starovoitov } else { 40404fd61abSAlexei Starovoitov return -ENOENT; 40504fd61abSAlexei Starovoitov } 40604fd61abSAlexei Starovoitov } 40704fd61abSAlexei Starovoitov 408d056a788SDaniel Borkmann static void *prog_fd_array_get_ptr(struct bpf_map *map, 409d056a788SDaniel Borkmann struct file *map_file, int fd) 4102a36f0b9SWang Nan { 4112a36f0b9SWang Nan struct bpf_array *array = container_of(map, struct bpf_array, map); 4122a36f0b9SWang Nan struct bpf_prog *prog = bpf_prog_get(fd); 413d056a788SDaniel Borkmann 4142a36f0b9SWang Nan if (IS_ERR(prog)) 4152a36f0b9SWang Nan return prog; 4162a36f0b9SWang Nan 4172a36f0b9SWang Nan if (!bpf_prog_array_compatible(array, prog)) { 4182a36f0b9SWang Nan bpf_prog_put(prog); 4192a36f0b9SWang Nan return ERR_PTR(-EINVAL); 4202a36f0b9SWang Nan } 421d056a788SDaniel Borkmann 4222a36f0b9SWang Nan return prog; 4232a36f0b9SWang Nan } 4242a36f0b9SWang Nan 4252a36f0b9SWang Nan static void prog_fd_array_put_ptr(void *ptr) 4262a36f0b9SWang Nan { 4271aacde3dSDaniel Borkmann bpf_prog_put(ptr); 4282a36f0b9SWang Nan } 4292a36f0b9SWang Nan 43014dc6f04SMartin KaFai Lau static u32 prog_fd_array_sys_lookup_elem(void *ptr) 43114dc6f04SMartin KaFai Lau { 43214dc6f04SMartin KaFai Lau return ((struct bpf_prog *)ptr)->aux->id; 43314dc6f04SMartin KaFai Lau } 43414dc6f04SMartin KaFai Lau 43504fd61abSAlexei Starovoitov /* decrement refcnt of all bpf_progs that are stored in this map */ 4362a36f0b9SWang Nan void bpf_fd_array_map_clear(struct bpf_map *map) 43704fd61abSAlexei Starovoitov { 43804fd61abSAlexei Starovoitov struct bpf_array *array = container_of(map, struct bpf_array, map); 43904fd61abSAlexei Starovoitov int i; 44004fd61abSAlexei Starovoitov 44104fd61abSAlexei Starovoitov for (i = 0; i < array->map.max_entries; i++) 4422a36f0b9SWang Nan fd_array_map_delete_elem(map, &i); 44304fd61abSAlexei Starovoitov } 44404fd61abSAlexei Starovoitov 44540077e0cSJohannes Berg const struct bpf_map_ops prog_array_map_ops = { 4462a36f0b9SWang Nan .map_alloc = fd_array_map_alloc, 4472a36f0b9SWang Nan .map_free = fd_array_map_free, 44804fd61abSAlexei Starovoitov .map_get_next_key = array_map_get_next_key, 4492a36f0b9SWang Nan .map_lookup_elem = fd_array_map_lookup_elem, 4502a36f0b9SWang Nan .map_delete_elem = fd_array_map_delete_elem, 4512a36f0b9SWang Nan .map_fd_get_ptr = prog_fd_array_get_ptr, 4522a36f0b9SWang Nan .map_fd_put_ptr = prog_fd_array_put_ptr, 45314dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = prog_fd_array_sys_lookup_elem, 45404fd61abSAlexei Starovoitov }; 45504fd61abSAlexei Starovoitov 4563b1efb19SDaniel Borkmann static struct bpf_event_entry *bpf_event_entry_gen(struct file *perf_file, 4573b1efb19SDaniel Borkmann struct file *map_file) 458ea317b26SKaixu Xia { 4593b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4603b1efb19SDaniel Borkmann 461858d68f1SDaniel Borkmann ee = kzalloc(sizeof(*ee), GFP_ATOMIC); 4623b1efb19SDaniel Borkmann if (ee) { 4633b1efb19SDaniel Borkmann ee->event = perf_file->private_data; 4643b1efb19SDaniel Borkmann ee->perf_file = perf_file; 4653b1efb19SDaniel Borkmann ee->map_file = map_file; 4663b1efb19SDaniel Borkmann } 4673b1efb19SDaniel Borkmann 4683b1efb19SDaniel Borkmann return ee; 4693b1efb19SDaniel Borkmann } 4703b1efb19SDaniel Borkmann 4713b1efb19SDaniel Borkmann static void __bpf_event_entry_free(struct rcu_head *rcu) 4723b1efb19SDaniel Borkmann { 4733b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4743b1efb19SDaniel Borkmann 4753b1efb19SDaniel Borkmann ee = container_of(rcu, struct bpf_event_entry, rcu); 4763b1efb19SDaniel Borkmann fput(ee->perf_file); 4773b1efb19SDaniel Borkmann kfree(ee); 4783b1efb19SDaniel Borkmann } 4793b1efb19SDaniel Borkmann 4803b1efb19SDaniel Borkmann static void bpf_event_entry_free_rcu(struct bpf_event_entry *ee) 4813b1efb19SDaniel Borkmann { 4823b1efb19SDaniel Borkmann call_rcu(&ee->rcu, __bpf_event_entry_free); 483ea317b26SKaixu Xia } 484ea317b26SKaixu Xia 485d056a788SDaniel Borkmann static void *perf_event_fd_array_get_ptr(struct bpf_map *map, 486d056a788SDaniel Borkmann struct file *map_file, int fd) 487ea317b26SKaixu Xia { 4883b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 4893b1efb19SDaniel Borkmann struct perf_event *event; 4903b1efb19SDaniel Borkmann struct file *perf_file; 491f91840a3SAlexei Starovoitov u64 value; 492ea317b26SKaixu Xia 4933b1efb19SDaniel Borkmann perf_file = perf_event_get(fd); 4943b1efb19SDaniel Borkmann if (IS_ERR(perf_file)) 4953b1efb19SDaniel Borkmann return perf_file; 496e03e7ee3SAlexei Starovoitov 497f91840a3SAlexei Starovoitov ee = ERR_PTR(-EOPNOTSUPP); 4983b1efb19SDaniel Borkmann event = perf_file->private_data; 49997562633SYonghong Song if (perf_event_read_local(event, &value, NULL, NULL) == -EOPNOTSUPP) 5003b1efb19SDaniel Borkmann goto err_out; 501ea317b26SKaixu Xia 5023b1efb19SDaniel Borkmann ee = bpf_event_entry_gen(perf_file, map_file); 5033b1efb19SDaniel Borkmann if (ee) 5043b1efb19SDaniel Borkmann return ee; 5053b1efb19SDaniel Borkmann ee = ERR_PTR(-ENOMEM); 5063b1efb19SDaniel Borkmann err_out: 5073b1efb19SDaniel Borkmann fput(perf_file); 5083b1efb19SDaniel Borkmann return ee; 509ea317b26SKaixu Xia } 510ea317b26SKaixu Xia 511ea317b26SKaixu Xia static void perf_event_fd_array_put_ptr(void *ptr) 512ea317b26SKaixu Xia { 5133b1efb19SDaniel Borkmann bpf_event_entry_free_rcu(ptr); 5143b1efb19SDaniel Borkmann } 5153b1efb19SDaniel Borkmann 5163b1efb19SDaniel Borkmann static void perf_event_fd_array_release(struct bpf_map *map, 5173b1efb19SDaniel Borkmann struct file *map_file) 5183b1efb19SDaniel Borkmann { 5193b1efb19SDaniel Borkmann struct bpf_array *array = container_of(map, struct bpf_array, map); 5203b1efb19SDaniel Borkmann struct bpf_event_entry *ee; 5213b1efb19SDaniel Borkmann int i; 5223b1efb19SDaniel Borkmann 5233b1efb19SDaniel Borkmann rcu_read_lock(); 5243b1efb19SDaniel Borkmann for (i = 0; i < array->map.max_entries; i++) { 5253b1efb19SDaniel Borkmann ee = READ_ONCE(array->ptrs[i]); 5263b1efb19SDaniel Borkmann if (ee && ee->map_file == map_file) 5273b1efb19SDaniel Borkmann fd_array_map_delete_elem(map, &i); 5283b1efb19SDaniel Borkmann } 5293b1efb19SDaniel Borkmann rcu_read_unlock(); 530ea317b26SKaixu Xia } 531ea317b26SKaixu Xia 53240077e0cSJohannes Berg const struct bpf_map_ops perf_event_array_map_ops = { 533ea317b26SKaixu Xia .map_alloc = fd_array_map_alloc, 5343b1efb19SDaniel Borkmann .map_free = fd_array_map_free, 535ea317b26SKaixu Xia .map_get_next_key = array_map_get_next_key, 536ea317b26SKaixu Xia .map_lookup_elem = fd_array_map_lookup_elem, 537ea317b26SKaixu Xia .map_delete_elem = fd_array_map_delete_elem, 538ea317b26SKaixu Xia .map_fd_get_ptr = perf_event_fd_array_get_ptr, 539ea317b26SKaixu Xia .map_fd_put_ptr = perf_event_fd_array_put_ptr, 5403b1efb19SDaniel Borkmann .map_release = perf_event_fd_array_release, 541ea317b26SKaixu Xia }; 542ea317b26SKaixu Xia 54360d20f91SSargun Dhillon #ifdef CONFIG_CGROUPS 5444ed8ec52SMartin KaFai Lau static void *cgroup_fd_array_get_ptr(struct bpf_map *map, 5454ed8ec52SMartin KaFai Lau struct file *map_file /* not used */, 5464ed8ec52SMartin KaFai Lau int fd) 5474ed8ec52SMartin KaFai Lau { 5484ed8ec52SMartin KaFai Lau return cgroup_get_from_fd(fd); 5494ed8ec52SMartin KaFai Lau } 5504ed8ec52SMartin KaFai Lau 5514ed8ec52SMartin KaFai Lau static void cgroup_fd_array_put_ptr(void *ptr) 5524ed8ec52SMartin KaFai Lau { 5534ed8ec52SMartin KaFai Lau /* cgroup_put free cgrp after a rcu grace period */ 5544ed8ec52SMartin KaFai Lau cgroup_put(ptr); 5554ed8ec52SMartin KaFai Lau } 5564ed8ec52SMartin KaFai Lau 5574ed8ec52SMartin KaFai Lau static void cgroup_fd_array_free(struct bpf_map *map) 5584ed8ec52SMartin KaFai Lau { 5594ed8ec52SMartin KaFai Lau bpf_fd_array_map_clear(map); 5604ed8ec52SMartin KaFai Lau fd_array_map_free(map); 5614ed8ec52SMartin KaFai Lau } 5624ed8ec52SMartin KaFai Lau 56340077e0cSJohannes Berg const struct bpf_map_ops cgroup_array_map_ops = { 5644ed8ec52SMartin KaFai Lau .map_alloc = fd_array_map_alloc, 5654ed8ec52SMartin KaFai Lau .map_free = cgroup_fd_array_free, 5664ed8ec52SMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 5674ed8ec52SMartin KaFai Lau .map_lookup_elem = fd_array_map_lookup_elem, 5684ed8ec52SMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 5694ed8ec52SMartin KaFai Lau .map_fd_get_ptr = cgroup_fd_array_get_ptr, 5704ed8ec52SMartin KaFai Lau .map_fd_put_ptr = cgroup_fd_array_put_ptr, 5714ed8ec52SMartin KaFai Lau }; 5724ed8ec52SMartin KaFai Lau #endif 57356f668dfSMartin KaFai Lau 57456f668dfSMartin KaFai Lau static struct bpf_map *array_of_map_alloc(union bpf_attr *attr) 57556f668dfSMartin KaFai Lau { 57656f668dfSMartin KaFai Lau struct bpf_map *map, *inner_map_meta; 57756f668dfSMartin KaFai Lau 57856f668dfSMartin KaFai Lau inner_map_meta = bpf_map_meta_alloc(attr->inner_map_fd); 57956f668dfSMartin KaFai Lau if (IS_ERR(inner_map_meta)) 58056f668dfSMartin KaFai Lau return inner_map_meta; 58156f668dfSMartin KaFai Lau 58256f668dfSMartin KaFai Lau map = fd_array_map_alloc(attr); 58356f668dfSMartin KaFai Lau if (IS_ERR(map)) { 58456f668dfSMartin KaFai Lau bpf_map_meta_free(inner_map_meta); 58556f668dfSMartin KaFai Lau return map; 58656f668dfSMartin KaFai Lau } 58756f668dfSMartin KaFai Lau 58856f668dfSMartin KaFai Lau map->inner_map_meta = inner_map_meta; 58956f668dfSMartin KaFai Lau 59056f668dfSMartin KaFai Lau return map; 59156f668dfSMartin KaFai Lau } 59256f668dfSMartin KaFai Lau 59356f668dfSMartin KaFai Lau static void array_of_map_free(struct bpf_map *map) 59456f668dfSMartin KaFai Lau { 59556f668dfSMartin KaFai Lau /* map->inner_map_meta is only accessed by syscall which 59656f668dfSMartin KaFai Lau * is protected by fdget/fdput. 59756f668dfSMartin KaFai Lau */ 59856f668dfSMartin KaFai Lau bpf_map_meta_free(map->inner_map_meta); 59956f668dfSMartin KaFai Lau bpf_fd_array_map_clear(map); 60056f668dfSMartin KaFai Lau fd_array_map_free(map); 60156f668dfSMartin KaFai Lau } 60256f668dfSMartin KaFai Lau 60356f668dfSMartin KaFai Lau static void *array_of_map_lookup_elem(struct bpf_map *map, void *key) 60456f668dfSMartin KaFai Lau { 60556f668dfSMartin KaFai Lau struct bpf_map **inner_map = array_map_lookup_elem(map, key); 60656f668dfSMartin KaFai Lau 60756f668dfSMartin KaFai Lau if (!inner_map) 60856f668dfSMartin KaFai Lau return NULL; 60956f668dfSMartin KaFai Lau 61056f668dfSMartin KaFai Lau return READ_ONCE(*inner_map); 61156f668dfSMartin KaFai Lau } 61256f668dfSMartin KaFai Lau 6137b0c2a05SDaniel Borkmann static u32 array_of_map_gen_lookup(struct bpf_map *map, 6147b0c2a05SDaniel Borkmann struct bpf_insn *insn_buf) 6157b0c2a05SDaniel Borkmann { 6167b0c2a05SDaniel Borkmann u32 elem_size = round_up(map->value_size, 8); 6177b0c2a05SDaniel Borkmann struct bpf_insn *insn = insn_buf; 6187b0c2a05SDaniel Borkmann const int ret = BPF_REG_0; 6197b0c2a05SDaniel Borkmann const int map_ptr = BPF_REG_1; 6207b0c2a05SDaniel Borkmann const int index = BPF_REG_2; 6217b0c2a05SDaniel Borkmann 6227b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value)); 6237b0c2a05SDaniel Borkmann *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0); 6247b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 5); 6257b0c2a05SDaniel Borkmann if (is_power_of_2(elem_size)) 6267b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size)); 6277b0c2a05SDaniel Borkmann else 6287b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size); 6297b0c2a05SDaniel Borkmann *insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr); 6307b0c2a05SDaniel Borkmann *insn++ = BPF_LDX_MEM(BPF_DW, ret, ret, 0); 6317b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JEQ, ret, 0, 1); 6327b0c2a05SDaniel Borkmann *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1); 6337b0c2a05SDaniel Borkmann *insn++ = BPF_MOV64_IMM(ret, 0); 6347b0c2a05SDaniel Borkmann 6357b0c2a05SDaniel Borkmann return insn - insn_buf; 6367b0c2a05SDaniel Borkmann } 6377b0c2a05SDaniel Borkmann 63840077e0cSJohannes Berg const struct bpf_map_ops array_of_maps_map_ops = { 63956f668dfSMartin KaFai Lau .map_alloc = array_of_map_alloc, 64056f668dfSMartin KaFai Lau .map_free = array_of_map_free, 64156f668dfSMartin KaFai Lau .map_get_next_key = array_map_get_next_key, 64256f668dfSMartin KaFai Lau .map_lookup_elem = array_of_map_lookup_elem, 64356f668dfSMartin KaFai Lau .map_delete_elem = fd_array_map_delete_elem, 64456f668dfSMartin KaFai Lau .map_fd_get_ptr = bpf_map_fd_get_ptr, 64556f668dfSMartin KaFai Lau .map_fd_put_ptr = bpf_map_fd_put_ptr, 64614dc6f04SMartin KaFai Lau .map_fd_sys_lookup_elem = bpf_map_fd_sys_lookup_elem, 6477b0c2a05SDaniel Borkmann .map_gen_lookup = array_of_map_gen_lookup, 64856f668dfSMartin KaFai Lau }; 649