xref: /linux-6.15/kernel/bpf/arraymap.c (revision 96eabe7a)
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