blob: bbb016adbaeb61c5d46a525f3e7235d11535335e [file] [log] [blame]
Alexei Starovoitov99c55f72014-09-26 00:16:57 -07001/* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
2 *
3 * This program is free software; you can redistribute it and/or
4 * modify it under the terms of version 2 of the GNU General Public
5 * License as published by the Free Software Foundation.
6 *
7 * This program is distributed in the hope that it will be useful, but
8 * WITHOUT ANY WARRANTY; without even the implied warranty of
9 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
10 * General Public License for more details.
11 */
12#include <linux/bpf.h>
13#include <linux/syscalls.h>
14#include <linux/slab.h>
Daniel Borkmannd407bd22017-01-18 15:14:17 +010015#include <linux/vmalloc.h>
16#include <linux/mmzone.h>
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070017#include <linux/anon_inodes.h>
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -070018#include <linux/file.h>
Alexei Starovoitov09756af2014-09-26 00:17:00 -070019#include <linux/license.h>
20#include <linux/filter.h>
Alexei Starovoitov25415172015-03-25 12:49:20 -070021#include <linux/version.h>
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +010022#include <linux/kernel.h>
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070023
Alexei Starovoitovb121d1e2016-03-07 21:57:13 -080024DEFINE_PER_CPU(int, bpf_prog_active);
25
Alexei Starovoitov1be7f752015-10-07 22:23:21 -070026int sysctl_unprivileged_bpf_disabled __read_mostly;
27
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070028static LIST_HEAD(bpf_map_types);
29
30static struct bpf_map *find_and_alloc_map(union bpf_attr *attr)
31{
32 struct bpf_map_type_list *tl;
33 struct bpf_map *map;
34
35 list_for_each_entry(tl, &bpf_map_types, list_node) {
36 if (tl->type == attr->map_type) {
37 map = tl->ops->map_alloc(attr);
38 if (IS_ERR(map))
39 return map;
40 map->ops = tl->ops;
41 map->map_type = attr->map_type;
42 return map;
43 }
44 }
45 return ERR_PTR(-EINVAL);
46}
47
48/* boot time registration of different map implementations */
49void bpf_register_map_type(struct bpf_map_type_list *tl)
50{
51 list_add(&tl->list_node, &bpf_map_types);
52}
53
Daniel Borkmannd407bd22017-01-18 15:14:17 +010054void *bpf_map_area_alloc(size_t size)
55{
56 /* We definitely need __GFP_NORETRY, so OOM killer doesn't
57 * trigger under memory pressure as we really just want to
58 * fail instead.
59 */
60 const gfp_t flags = __GFP_NOWARN | __GFP_NORETRY | __GFP_ZERO;
61 void *area;
62
63 if (size <= (PAGE_SIZE << PAGE_ALLOC_COSTLY_ORDER)) {
64 area = kmalloc(size, GFP_USER | flags);
65 if (area != NULL)
66 return area;
67 }
68
69 return __vmalloc(size, GFP_KERNEL | __GFP_HIGHMEM | flags,
70 PAGE_KERNEL);
71}
72
73void bpf_map_area_free(void *area)
74{
75 kvfree(area);
76}
77
Alexei Starovoitov6c905982016-03-07 21:57:15 -080078int bpf_map_precharge_memlock(u32 pages)
79{
80 struct user_struct *user = get_current_user();
81 unsigned long memlock_limit, cur;
82
83 memlock_limit = rlimit(RLIMIT_MEMLOCK) >> PAGE_SHIFT;
84 cur = atomic_long_read(&user->locked_vm);
85 free_uid(user);
86 if (cur + pages > memlock_limit)
87 return -EPERM;
88 return 0;
89}
90
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -070091static int bpf_map_charge_memlock(struct bpf_map *map)
92{
93 struct user_struct *user = get_current_user();
94 unsigned long memlock_limit;
95
96 memlock_limit = rlimit(RLIMIT_MEMLOCK) >> PAGE_SHIFT;
97
98 atomic_long_add(map->pages, &user->locked_vm);
99
100 if (atomic_long_read(&user->locked_vm) > memlock_limit) {
101 atomic_long_sub(map->pages, &user->locked_vm);
102 free_uid(user);
103 return -EPERM;
104 }
105 map->user = user;
106 return 0;
107}
108
109static void bpf_map_uncharge_memlock(struct bpf_map *map)
110{
111 struct user_struct *user = map->user;
112
113 atomic_long_sub(map->pages, &user->locked_vm);
114 free_uid(user);
115}
116
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700117/* called from workqueue */
118static void bpf_map_free_deferred(struct work_struct *work)
119{
120 struct bpf_map *map = container_of(work, struct bpf_map, work);
121
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700122 bpf_map_uncharge_memlock(map);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700123 /* implementation dependent freeing */
124 map->ops->map_free(map);
125}
126
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100127static void bpf_map_put_uref(struct bpf_map *map)
128{
129 if (atomic_dec_and_test(&map->usercnt)) {
130 if (map->map_type == BPF_MAP_TYPE_PROG_ARRAY)
131 bpf_fd_array_map_clear(map);
132 }
133}
134
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700135/* decrement map refcnt and schedule it for freeing via workqueue
136 * (unrelying map implementation ops->map_free() might sleep)
137 */
138void bpf_map_put(struct bpf_map *map)
139{
140 if (atomic_dec_and_test(&map->refcnt)) {
141 INIT_WORK(&map->work, bpf_map_free_deferred);
142 schedule_work(&map->work);
143 }
144}
145
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100146void bpf_map_put_with_uref(struct bpf_map *map)
147{
148 bpf_map_put_uref(map);
149 bpf_map_put(map);
150}
151
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700152static int bpf_map_release(struct inode *inode, struct file *filp)
153{
Daniel Borkmann61d1b6a2016-06-15 22:47:12 +0200154 struct bpf_map *map = filp->private_data;
155
156 if (map->ops->map_release)
157 map->ops->map_release(map, filp);
158
159 bpf_map_put_with_uref(map);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700160 return 0;
161}
162
Daniel Borkmannf99bf202015-11-19 11:56:22 +0100163#ifdef CONFIG_PROC_FS
164static void bpf_map_show_fdinfo(struct seq_file *m, struct file *filp)
165{
166 const struct bpf_map *map = filp->private_data;
Daniel Borkmann21116b72016-11-26 01:28:07 +0100167 const struct bpf_array *array;
168 u32 owner_prog_type = 0;
169
170 if (map->map_type == BPF_MAP_TYPE_PROG_ARRAY) {
171 array = container_of(map, struct bpf_array, map);
172 owner_prog_type = array->owner_prog_type;
173 }
Daniel Borkmannf99bf202015-11-19 11:56:22 +0100174
175 seq_printf(m,
176 "map_type:\t%u\n"
177 "key_size:\t%u\n"
178 "value_size:\t%u\n"
Daniel Borkmann322cea22016-03-25 00:30:25 +0100179 "max_entries:\t%u\n"
Daniel Borkmann21116b72016-11-26 01:28:07 +0100180 "map_flags:\t%#x\n"
181 "memlock:\t%llu\n",
Daniel Borkmannf99bf202015-11-19 11:56:22 +0100182 map->map_type,
183 map->key_size,
184 map->value_size,
Daniel Borkmann322cea22016-03-25 00:30:25 +0100185 map->max_entries,
Daniel Borkmann21116b72016-11-26 01:28:07 +0100186 map->map_flags,
187 map->pages * 1ULL << PAGE_SHIFT);
188
189 if (owner_prog_type)
190 seq_printf(m, "owner_prog_type:\t%u\n",
191 owner_prog_type);
Daniel Borkmannf99bf202015-11-19 11:56:22 +0100192}
193#endif
194
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700195static const struct file_operations bpf_map_fops = {
Daniel Borkmannf99bf202015-11-19 11:56:22 +0100196#ifdef CONFIG_PROC_FS
197 .show_fdinfo = bpf_map_show_fdinfo,
198#endif
199 .release = bpf_map_release,
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700200};
201
Daniel Borkmannb2197752015-10-29 14:58:09 +0100202int bpf_map_new_fd(struct bpf_map *map)
Daniel Borkmannaa797812015-10-29 14:58:06 +0100203{
204 return anon_inode_getfd("bpf-map", &bpf_map_fops, map,
205 O_RDWR | O_CLOEXEC);
206}
207
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700208/* helper macro to check that unused fields 'union bpf_attr' are zero */
209#define CHECK_ATTR(CMD) \
210 memchr_inv((void *) &attr->CMD##_LAST_FIELD + \
211 sizeof(attr->CMD##_LAST_FIELD), 0, \
212 sizeof(*attr) - \
213 offsetof(union bpf_attr, CMD##_LAST_FIELD) - \
214 sizeof(attr->CMD##_LAST_FIELD)) != NULL
215
Alexei Starovoitov6c905982016-03-07 21:57:15 -0800216#define BPF_MAP_CREATE_LAST_FIELD map_flags
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700217/* called via syscall */
218static int map_create(union bpf_attr *attr)
219{
220 struct bpf_map *map;
221 int err;
222
223 err = CHECK_ATTR(BPF_MAP_CREATE);
224 if (err)
225 return -EINVAL;
226
227 /* find map type and init map: hashtable vs rbtree vs bloom vs ... */
228 map = find_and_alloc_map(attr);
229 if (IS_ERR(map))
230 return PTR_ERR(map);
231
232 atomic_set(&map->refcnt, 1);
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100233 atomic_set(&map->usercnt, 1);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700234
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700235 err = bpf_map_charge_memlock(map);
236 if (err)
Daniel Borkmann20b2b242016-11-04 00:56:31 +0100237 goto free_map_nouncharge;
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700238
Daniel Borkmannaa797812015-10-29 14:58:06 +0100239 err = bpf_map_new_fd(map);
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700240 if (err < 0)
241 /* failed to allocate fd */
242 goto free_map;
243
244 return err;
245
246free_map:
Daniel Borkmann20b2b242016-11-04 00:56:31 +0100247 bpf_map_uncharge_memlock(map);
248free_map_nouncharge:
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700249 map->ops->map_free(map);
250 return err;
251}
252
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700253/* if error is returned, fd is released.
254 * On success caller should complete fd access with matching fdput()
255 */
Daniel Borkmannc2101292015-10-29 14:58:07 +0100256struct bpf_map *__bpf_map_get(struct fd f)
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700257{
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700258 if (!f.file)
259 return ERR_PTR(-EBADF);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700260 if (f.file->f_op != &bpf_map_fops) {
261 fdput(f);
262 return ERR_PTR(-EINVAL);
263 }
264
Daniel Borkmannc2101292015-10-29 14:58:07 +0100265 return f.file->private_data;
266}
267
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700268/* prog's and map's refcnt limit */
269#define BPF_MAX_REFCNT 32768
270
271struct bpf_map *bpf_map_inc(struct bpf_map *map, bool uref)
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100272{
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700273 if (atomic_inc_return(&map->refcnt) > BPF_MAX_REFCNT) {
274 atomic_dec(&map->refcnt);
275 return ERR_PTR(-EBUSY);
276 }
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100277 if (uref)
278 atomic_inc(&map->usercnt);
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700279 return map;
Daniel Borkmannc9da1612015-11-24 21:28:15 +0100280}
281
282struct bpf_map *bpf_map_get_with_uref(u32 ufd)
Daniel Borkmannc2101292015-10-29 14:58:07 +0100283{
284 struct fd f = fdget(ufd);
285 struct bpf_map *map;
286
287 map = __bpf_map_get(f);
288 if (IS_ERR(map))
289 return map;
290
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700291 map = bpf_map_inc(map, true);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100292 fdput(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700293
294 return map;
295}
296
Alexei Starovoitovb8cdc052016-03-09 18:56:49 -0800297int __weak bpf_stackmap_copy(struct bpf_map *map, void *key, void *value)
298{
299 return -ENOTSUPP;
300}
301
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700302/* last field in 'union bpf_attr' used by this command */
303#define BPF_MAP_LOOKUP_ELEM_LAST_FIELD value
304
305static int map_lookup_elem(union bpf_attr *attr)
306{
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100307 void __user *ukey = u64_to_user_ptr(attr->key);
308 void __user *uvalue = u64_to_user_ptr(attr->value);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700309 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700310 struct bpf_map *map;
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800311 void *key, *value, *ptr;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800312 u32 value_size;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200313 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700314 int err;
315
316 if (CHECK_ATTR(BPF_MAP_LOOKUP_ELEM))
317 return -EINVAL;
318
Daniel Borkmann592867b2015-09-08 18:00:09 +0200319 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100320 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700321 if (IS_ERR(map))
322 return PTR_ERR(map);
323
324 err = -ENOMEM;
325 key = kmalloc(map->key_size, GFP_USER);
326 if (!key)
327 goto err_put;
328
329 err = -EFAULT;
330 if (copy_from_user(key, ukey, map->key_size) != 0)
331 goto free_key;
332
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800333 if (map->map_type == BPF_MAP_TYPE_PERCPU_HASH ||
Martin KaFai Lau8f844932016-11-11 10:55:10 -0800334 map->map_type == BPF_MAP_TYPE_LRU_PERCPU_HASH ||
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800335 map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY)
336 value_size = round_up(map->value_size, 8) * num_possible_cpus();
337 else
338 value_size = map->value_size;
339
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800340 err = -ENOMEM;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800341 value = kmalloc(value_size, GFP_USER | __GFP_NOWARN);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700342 if (!value)
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800343 goto free_key;
344
Martin KaFai Lau8f844932016-11-11 10:55:10 -0800345 if (map->map_type == BPF_MAP_TYPE_PERCPU_HASH ||
346 map->map_type == BPF_MAP_TYPE_LRU_PERCPU_HASH) {
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800347 err = bpf_percpu_hash_copy(map, key, value);
348 } else if (map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY) {
349 err = bpf_percpu_array_copy(map, key, value);
Alexei Starovoitov557c0c62016-03-07 21:57:17 -0800350 } else if (map->map_type == BPF_MAP_TYPE_STACK_TRACE) {
351 err = bpf_stackmap_copy(map, key, value);
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800352 } else {
353 rcu_read_lock();
354 ptr = map->ops->map_lookup_elem(map, key);
355 if (ptr)
356 memcpy(value, ptr, value_size);
357 rcu_read_unlock();
358 err = ptr ? 0 : -ENOENT;
359 }
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800360
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800361 if (err)
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800362 goto free_value;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700363
364 err = -EFAULT;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800365 if (copy_to_user(uvalue, value, value_size) != 0)
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800366 goto free_value;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700367
368 err = 0;
369
Alexei Starovoitov8ebe6672015-01-22 17:11:08 -0800370free_value:
371 kfree(value);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700372free_key:
373 kfree(key);
374err_put:
375 fdput(f);
376 return err;
377}
378
Alexei Starovoitov3274f522014-11-13 17:36:44 -0800379#define BPF_MAP_UPDATE_ELEM_LAST_FIELD flags
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700380
381static int map_update_elem(union bpf_attr *attr)
382{
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100383 void __user *ukey = u64_to_user_ptr(attr->key);
384 void __user *uvalue = u64_to_user_ptr(attr->value);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700385 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700386 struct bpf_map *map;
387 void *key, *value;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800388 u32 value_size;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200389 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700390 int err;
391
392 if (CHECK_ATTR(BPF_MAP_UPDATE_ELEM))
393 return -EINVAL;
394
Daniel Borkmann592867b2015-09-08 18:00:09 +0200395 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100396 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700397 if (IS_ERR(map))
398 return PTR_ERR(map);
399
400 err = -ENOMEM;
401 key = kmalloc(map->key_size, GFP_USER);
402 if (!key)
403 goto err_put;
404
405 err = -EFAULT;
406 if (copy_from_user(key, ukey, map->key_size) != 0)
407 goto free_key;
408
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800409 if (map->map_type == BPF_MAP_TYPE_PERCPU_HASH ||
Martin KaFai Lau8f844932016-11-11 10:55:10 -0800410 map->map_type == BPF_MAP_TYPE_LRU_PERCPU_HASH ||
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800411 map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY)
412 value_size = round_up(map->value_size, 8) * num_possible_cpus();
413 else
414 value_size = map->value_size;
415
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700416 err = -ENOMEM;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800417 value = kmalloc(value_size, GFP_USER | __GFP_NOWARN);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700418 if (!value)
419 goto free_key;
420
421 err = -EFAULT;
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800422 if (copy_from_user(value, uvalue, value_size) != 0)
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700423 goto free_value;
424
Alexei Starovoitovb121d1e2016-03-07 21:57:13 -0800425 /* must increment bpf_prog_active to avoid kprobe+bpf triggering from
426 * inside bpf map update or delete otherwise deadlocks are possible
427 */
428 preempt_disable();
429 __this_cpu_inc(bpf_prog_active);
Martin KaFai Lau8f844932016-11-11 10:55:10 -0800430 if (map->map_type == BPF_MAP_TYPE_PERCPU_HASH ||
431 map->map_type == BPF_MAP_TYPE_LRU_PERCPU_HASH) {
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800432 err = bpf_percpu_hash_update(map, key, value, attr->flags);
433 } else if (map->map_type == BPF_MAP_TYPE_PERCPU_ARRAY) {
434 err = bpf_percpu_array_update(map, key, value, attr->flags);
Daniel Borkmannd056a782016-06-15 22:47:13 +0200435 } else if (map->map_type == BPF_MAP_TYPE_PERF_EVENT_ARRAY ||
Martin KaFai Lau4ed8ec52016-06-30 10:28:43 -0700436 map->map_type == BPF_MAP_TYPE_PROG_ARRAY ||
437 map->map_type == BPF_MAP_TYPE_CGROUP_ARRAY) {
Daniel Borkmannd056a782016-06-15 22:47:13 +0200438 rcu_read_lock();
439 err = bpf_fd_array_map_update_elem(map, f.file, key, value,
440 attr->flags);
441 rcu_read_unlock();
Alexei Starovoitov15a07b32016-02-01 22:39:55 -0800442 } else {
443 rcu_read_lock();
444 err = map->ops->map_update_elem(map, key, value, attr->flags);
445 rcu_read_unlock();
446 }
Alexei Starovoitovb121d1e2016-03-07 21:57:13 -0800447 __this_cpu_dec(bpf_prog_active);
448 preempt_enable();
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700449
450free_value:
451 kfree(value);
452free_key:
453 kfree(key);
454err_put:
455 fdput(f);
456 return err;
457}
458
459#define BPF_MAP_DELETE_ELEM_LAST_FIELD key
460
461static int map_delete_elem(union bpf_attr *attr)
462{
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100463 void __user *ukey = u64_to_user_ptr(attr->key);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700464 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700465 struct bpf_map *map;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200466 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700467 void *key;
468 int err;
469
470 if (CHECK_ATTR(BPF_MAP_DELETE_ELEM))
471 return -EINVAL;
472
Daniel Borkmann592867b2015-09-08 18:00:09 +0200473 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100474 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700475 if (IS_ERR(map))
476 return PTR_ERR(map);
477
478 err = -ENOMEM;
479 key = kmalloc(map->key_size, GFP_USER);
480 if (!key)
481 goto err_put;
482
483 err = -EFAULT;
484 if (copy_from_user(key, ukey, map->key_size) != 0)
485 goto free_key;
486
Alexei Starovoitovb121d1e2016-03-07 21:57:13 -0800487 preempt_disable();
488 __this_cpu_inc(bpf_prog_active);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700489 rcu_read_lock();
490 err = map->ops->map_delete_elem(map, key);
491 rcu_read_unlock();
Alexei Starovoitovb121d1e2016-03-07 21:57:13 -0800492 __this_cpu_dec(bpf_prog_active);
493 preempt_enable();
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700494
495free_key:
496 kfree(key);
497err_put:
498 fdput(f);
499 return err;
500}
501
502/* last field in 'union bpf_attr' used by this command */
503#define BPF_MAP_GET_NEXT_KEY_LAST_FIELD next_key
504
505static int map_get_next_key(union bpf_attr *attr)
506{
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100507 void __user *ukey = u64_to_user_ptr(attr->key);
508 void __user *unext_key = u64_to_user_ptr(attr->next_key);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700509 int ufd = attr->map_fd;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700510 struct bpf_map *map;
511 void *key, *next_key;
Daniel Borkmann592867b2015-09-08 18:00:09 +0200512 struct fd f;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700513 int err;
514
515 if (CHECK_ATTR(BPF_MAP_GET_NEXT_KEY))
516 return -EINVAL;
517
Daniel Borkmann592867b2015-09-08 18:00:09 +0200518 f = fdget(ufd);
Daniel Borkmannc2101292015-10-29 14:58:07 +0100519 map = __bpf_map_get(f);
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700520 if (IS_ERR(map))
521 return PTR_ERR(map);
522
523 err = -ENOMEM;
524 key = kmalloc(map->key_size, GFP_USER);
525 if (!key)
526 goto err_put;
527
528 err = -EFAULT;
529 if (copy_from_user(key, ukey, map->key_size) != 0)
530 goto free_key;
531
532 err = -ENOMEM;
533 next_key = kmalloc(map->key_size, GFP_USER);
534 if (!next_key)
535 goto free_key;
536
537 rcu_read_lock();
538 err = map->ops->map_get_next_key(map, key, next_key);
539 rcu_read_unlock();
540 if (err)
541 goto free_next_key;
542
543 err = -EFAULT;
544 if (copy_to_user(unext_key, next_key, map->key_size) != 0)
545 goto free_next_key;
546
547 err = 0;
548
549free_next_key:
550 kfree(next_key);
551free_key:
552 kfree(key);
553err_put:
554 fdput(f);
555 return err;
556}
557
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700558static LIST_HEAD(bpf_prog_types);
559
560static int find_prog_type(enum bpf_prog_type type, struct bpf_prog *prog)
561{
562 struct bpf_prog_type_list *tl;
563
564 list_for_each_entry(tl, &bpf_prog_types, list_node) {
565 if (tl->type == type) {
566 prog->aux->ops = tl->ops;
Daniel Borkmann24701ec2015-03-01 12:31:47 +0100567 prog->type = type;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700568 return 0;
569 }
570 }
Daniel Borkmann24701ec2015-03-01 12:31:47 +0100571
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700572 return -EINVAL;
573}
574
575void bpf_register_prog_type(struct bpf_prog_type_list *tl)
576{
577 list_add(&tl->list_node, &bpf_prog_types);
578}
579
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700580/* fixup insn->imm field of bpf_call instructions:
581 * if (insn->imm == BPF_FUNC_map_lookup_elem)
582 * insn->imm = bpf_map_lookup_elem - __bpf_call_base;
583 * else if (insn->imm == BPF_FUNC_map_update_elem)
584 * insn->imm = bpf_map_update_elem - __bpf_call_base;
585 * else ...
586 *
587 * this function is called after eBPF program passed verification
588 */
589static void fixup_bpf_calls(struct bpf_prog *prog)
590{
591 const struct bpf_func_proto *fn;
592 int i;
593
594 for (i = 0; i < prog->len; i++) {
595 struct bpf_insn *insn = &prog->insnsi[i];
596
597 if (insn->code == (BPF_JMP | BPF_CALL)) {
598 /* we reach here when program has bpf_call instructions
599 * and it passed bpf_check(), means that
600 * ops->get_func_proto must have been supplied, check it
601 */
602 BUG_ON(!prog->aux->ops->get_func_proto);
603
Daniel Borkmannc46646d2015-09-30 01:41:51 +0200604 if (insn->imm == BPF_FUNC_get_route_realm)
605 prog->dst_needed = 1;
Daniel Borkmann3ad00402015-10-08 01:20:39 +0200606 if (insn->imm == BPF_FUNC_get_prandom_u32)
607 bpf_user_rnd_init_once();
Martin KaFai Lau17bedab2016-12-07 15:53:11 -0800608 if (insn->imm == BPF_FUNC_xdp_adjust_head)
609 prog->xdp_adjust_head = 1;
Alexei Starovoitov04fd61ab2015-05-19 16:59:03 -0700610 if (insn->imm == BPF_FUNC_tail_call) {
611 /* mark bpf_tail_call as different opcode
612 * to avoid conditional branch in
613 * interpeter for every normal call
614 * and to prevent accidental JITing by
615 * JIT compiler that doesn't support
616 * bpf_tail_call yet
617 */
618 insn->imm = 0;
619 insn->code |= BPF_X;
620 continue;
621 }
622
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700623 fn = prog->aux->ops->get_func_proto(insn->imm);
624 /* all functions that have prototype and verifier allowed
625 * programs to call them, must be real in-kernel functions
626 */
627 BUG_ON(!fn->func);
628 insn->imm = fn->func - __bpf_call_base;
629 }
630 }
631}
632
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700633/* drop refcnt on maps used by eBPF program and free auxilary data */
634static void free_used_maps(struct bpf_prog_aux *aux)
635{
636 int i;
637
638 for (i = 0; i < aux->used_map_cnt; i++)
639 bpf_map_put(aux->used_maps[i]);
640
641 kfree(aux->used_maps);
642}
643
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100644int __bpf_prog_charge(struct user_struct *user, u32 pages)
645{
646 unsigned long memlock_limit = rlimit(RLIMIT_MEMLOCK) >> PAGE_SHIFT;
647 unsigned long user_bufs;
648
649 if (user) {
650 user_bufs = atomic_long_add_return(pages, &user->locked_vm);
651 if (user_bufs > memlock_limit) {
652 atomic_long_sub(pages, &user->locked_vm);
653 return -EPERM;
654 }
655 }
656
657 return 0;
658}
659
660void __bpf_prog_uncharge(struct user_struct *user, u32 pages)
661{
662 if (user)
663 atomic_long_sub(pages, &user->locked_vm);
664}
665
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700666static int bpf_prog_charge_memlock(struct bpf_prog *prog)
667{
668 struct user_struct *user = get_current_user();
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100669 int ret;
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700670
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100671 ret = __bpf_prog_charge(user, prog->pages);
672 if (ret) {
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700673 free_uid(user);
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100674 return ret;
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700675 }
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100676
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700677 prog->aux->user = user;
678 return 0;
679}
680
681static void bpf_prog_uncharge_memlock(struct bpf_prog *prog)
682{
683 struct user_struct *user = prog->aux->user;
684
Daniel Borkmann5ccb0712016-12-18 01:52:58 +0100685 __bpf_prog_uncharge(user, prog->pages);
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700686 free_uid(user);
687}
688
Daniel Borkmann1aacde32016-06-30 17:24:43 +0200689static void __bpf_prog_put_rcu(struct rcu_head *rcu)
Alexei Starovoitovabf2e7d2015-05-28 19:26:02 -0700690{
691 struct bpf_prog_aux *aux = container_of(rcu, struct bpf_prog_aux, rcu);
692
693 free_used_maps(aux);
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700694 bpf_prog_uncharge_memlock(aux->prog);
Alexei Starovoitovabf2e7d2015-05-28 19:26:02 -0700695 bpf_prog_free(aux->prog);
696}
697
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700698void bpf_prog_put(struct bpf_prog *prog)
699{
Daniel Borkmanne9d8afa2015-10-29 14:58:08 +0100700 if (atomic_dec_and_test(&prog->aux->refcnt))
Daniel Borkmann1aacde32016-06-30 17:24:43 +0200701 call_rcu(&prog->aux->rcu, __bpf_prog_put_rcu);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700702}
Daniel Borkmanne2e9b652015-03-01 12:31:48 +0100703EXPORT_SYMBOL_GPL(bpf_prog_put);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700704
705static int bpf_prog_release(struct inode *inode, struct file *filp)
706{
707 struct bpf_prog *prog = filp->private_data;
708
Daniel Borkmann1aacde32016-06-30 17:24:43 +0200709 bpf_prog_put(prog);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700710 return 0;
711}
712
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100713#ifdef CONFIG_PROC_FS
714static void bpf_prog_show_fdinfo(struct seq_file *m, struct file *filp)
715{
716 const struct bpf_prog *prog = filp->private_data;
Daniel Borkmannf1f77142017-01-13 23:38:15 +0100717 char prog_tag[sizeof(prog->tag) * 2 + 1] = { };
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100718
Daniel Borkmannf1f77142017-01-13 23:38:15 +0100719 bin2hex(prog_tag, prog->tag, sizeof(prog->tag));
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100720 seq_printf(m,
721 "prog_type:\t%u\n"
722 "prog_jited:\t%u\n"
Daniel Borkmannf1f77142017-01-13 23:38:15 +0100723 "prog_tag:\t%s\n"
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100724 "memlock:\t%llu\n",
725 prog->type,
726 prog->jited,
Daniel Borkmannf1f77142017-01-13 23:38:15 +0100727 prog_tag,
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100728 prog->pages * 1ULL << PAGE_SHIFT);
729}
730#endif
731
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700732static const struct file_operations bpf_prog_fops = {
Daniel Borkmann7bd509e2016-12-04 23:19:41 +0100733#ifdef CONFIG_PROC_FS
734 .show_fdinfo = bpf_prog_show_fdinfo,
735#endif
736 .release = bpf_prog_release,
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700737};
738
Daniel Borkmannb2197752015-10-29 14:58:09 +0100739int bpf_prog_new_fd(struct bpf_prog *prog)
Daniel Borkmannaa797812015-10-29 14:58:06 +0100740{
741 return anon_inode_getfd("bpf-prog", &bpf_prog_fops, prog,
742 O_RDWR | O_CLOEXEC);
743}
744
Daniel Borkmann113214b2016-06-30 17:24:44 +0200745static struct bpf_prog *____bpf_prog_get(struct fd f)
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700746{
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700747 if (!f.file)
748 return ERR_PTR(-EBADF);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700749 if (f.file->f_op != &bpf_prog_fops) {
750 fdput(f);
751 return ERR_PTR(-EINVAL);
752 }
753
Daniel Borkmannc2101292015-10-29 14:58:07 +0100754 return f.file->private_data;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700755}
756
Brenden Blanco59d36562016-07-19 12:16:46 -0700757struct bpf_prog *bpf_prog_add(struct bpf_prog *prog, int i)
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700758{
Brenden Blanco59d36562016-07-19 12:16:46 -0700759 if (atomic_add_return(i, &prog->aux->refcnt) > BPF_MAX_REFCNT) {
760 atomic_sub(i, &prog->aux->refcnt);
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700761 return ERR_PTR(-EBUSY);
762 }
763 return prog;
764}
Brenden Blanco59d36562016-07-19 12:16:46 -0700765EXPORT_SYMBOL_GPL(bpf_prog_add);
766
Daniel Borkmannc5405942016-11-09 22:02:34 +0100767void bpf_prog_sub(struct bpf_prog *prog, int i)
768{
769 /* Only to be used for undoing previous bpf_prog_add() in some
770 * error path. We still know that another entity in our call
771 * path holds a reference to the program, thus atomic_sub() can
772 * be safely used in such cases!
773 */
774 WARN_ON(atomic_sub_return(i, &prog->aux->refcnt) == 0);
775}
776EXPORT_SYMBOL_GPL(bpf_prog_sub);
777
Brenden Blanco59d36562016-07-19 12:16:46 -0700778struct bpf_prog *bpf_prog_inc(struct bpf_prog *prog)
779{
780 return bpf_prog_add(prog, 1);
781}
Daniel Borkmann97bc4022016-11-19 01:45:00 +0100782EXPORT_SYMBOL_GPL(bpf_prog_inc);
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700783
Daniel Borkmann113214b2016-06-30 17:24:44 +0200784static struct bpf_prog *__bpf_prog_get(u32 ufd, enum bpf_prog_type *type)
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700785{
786 struct fd f = fdget(ufd);
787 struct bpf_prog *prog;
788
Daniel Borkmann113214b2016-06-30 17:24:44 +0200789 prog = ____bpf_prog_get(f);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700790 if (IS_ERR(prog))
791 return prog;
Daniel Borkmann113214b2016-06-30 17:24:44 +0200792 if (type && prog->type != *type) {
793 prog = ERR_PTR(-EINVAL);
794 goto out;
795 }
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700796
Alexei Starovoitov92117d82016-04-27 18:56:20 -0700797 prog = bpf_prog_inc(prog);
Daniel Borkmann113214b2016-06-30 17:24:44 +0200798out:
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700799 fdput(f);
800 return prog;
801}
Daniel Borkmann113214b2016-06-30 17:24:44 +0200802
803struct bpf_prog *bpf_prog_get(u32 ufd)
804{
805 return __bpf_prog_get(ufd, NULL);
806}
807
808struct bpf_prog *bpf_prog_get_type(u32 ufd, enum bpf_prog_type type)
809{
810 return __bpf_prog_get(ufd, &type);
811}
812EXPORT_SYMBOL_GPL(bpf_prog_get_type);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700813
814/* last field in 'union bpf_attr' used by this command */
Alexei Starovoitov25415172015-03-25 12:49:20 -0700815#define BPF_PROG_LOAD_LAST_FIELD kern_version
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700816
817static int bpf_prog_load(union bpf_attr *attr)
818{
819 enum bpf_prog_type type = attr->prog_type;
820 struct bpf_prog *prog;
821 int err;
822 char license[128];
823 bool is_gpl;
824
825 if (CHECK_ATTR(BPF_PROG_LOAD))
826 return -EINVAL;
827
828 /* copy eBPF program license from user space */
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100829 if (strncpy_from_user(license, u64_to_user_ptr(attr->license),
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700830 sizeof(license) - 1) < 0)
831 return -EFAULT;
832 license[sizeof(license) - 1] = 0;
833
834 /* eBPF programs must be GPL compatible to use GPL-ed functions */
835 is_gpl = license_is_gpl_compatible(license);
836
Daniel Borkmannef0915c2016-12-07 01:15:44 +0100837 if (attr->insn_cnt == 0 || attr->insn_cnt > BPF_MAXINSNS)
838 return -E2BIG;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700839
Alexei Starovoitov25415172015-03-25 12:49:20 -0700840 if (type == BPF_PROG_TYPE_KPROBE &&
841 attr->kern_version != LINUX_VERSION_CODE)
842 return -EINVAL;
843
Alexei Starovoitov1be7f752015-10-07 22:23:21 -0700844 if (type != BPF_PROG_TYPE_SOCKET_FILTER && !capable(CAP_SYS_ADMIN))
845 return -EPERM;
846
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700847 /* plain bpf_prog allocation */
848 prog = bpf_prog_alloc(bpf_prog_size(attr->insn_cnt), GFP_USER);
849 if (!prog)
850 return -ENOMEM;
851
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700852 err = bpf_prog_charge_memlock(prog);
853 if (err)
854 goto free_prog_nouncharge;
855
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700856 prog->len = attr->insn_cnt;
857
858 err = -EFAULT;
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100859 if (copy_from_user(prog->insns, u64_to_user_ptr(attr->insns),
Daniel Borkmannaafe6ae2016-12-18 01:52:57 +0100860 bpf_prog_insn_size(prog)) != 0)
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700861 goto free_prog;
862
863 prog->orig_prog = NULL;
Daniel Borkmanna91263d2015-09-30 01:41:50 +0200864 prog->jited = 0;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700865
866 atomic_set(&prog->aux->refcnt, 1);
Daniel Borkmanna91263d2015-09-30 01:41:50 +0200867 prog->gpl_compatible = is_gpl ? 1 : 0;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700868
869 /* find program type: socket_filter vs tracing_filter */
870 err = find_prog_type(type, prog);
871 if (err < 0)
872 goto free_prog;
873
874 /* run eBPF verifier */
Alexei Starovoitov9bac3d62015-03-13 11:57:42 -0700875 err = bpf_check(&prog, attr);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700876 if (err < 0)
877 goto free_used_maps;
878
Alexei Starovoitov0a542a82014-09-26 00:17:01 -0700879 /* fixup BPF_CALL->imm field */
880 fixup_bpf_calls(prog);
881
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700882 /* eBPF program is ready to be JITed */
Daniel Borkmannd1c55ab2016-05-13 19:08:31 +0200883 prog = bpf_prog_select_runtime(prog, &err);
Alexei Starovoitov04fd61ab2015-05-19 16:59:03 -0700884 if (err < 0)
885 goto free_used_maps;
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700886
Daniel Borkmannaa797812015-10-29 14:58:06 +0100887 err = bpf_prog_new_fd(prog);
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700888 if (err < 0)
889 /* failed to allocate fd */
890 goto free_used_maps;
891
892 return err;
893
894free_used_maps:
895 free_used_maps(prog->aux);
896free_prog:
Alexei Starovoitovaaac3ba2015-10-07 22:23:22 -0700897 bpf_prog_uncharge_memlock(prog);
898free_prog_nouncharge:
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700899 bpf_prog_free(prog);
900 return err;
901}
902
Daniel Borkmannb2197752015-10-29 14:58:09 +0100903#define BPF_OBJ_LAST_FIELD bpf_fd
904
905static int bpf_obj_pin(const union bpf_attr *attr)
906{
907 if (CHECK_ATTR(BPF_OBJ))
908 return -EINVAL;
909
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100910 return bpf_obj_pin_user(attr->bpf_fd, u64_to_user_ptr(attr->pathname));
Daniel Borkmannb2197752015-10-29 14:58:09 +0100911}
912
913static int bpf_obj_get(const union bpf_attr *attr)
914{
915 if (CHECK_ATTR(BPF_OBJ) || attr->bpf_fd != 0)
916 return -EINVAL;
917
Mickaël Salaün535e7b4b2016-11-13 19:44:03 +0100918 return bpf_obj_get_user(u64_to_user_ptr(attr->pathname));
Daniel Borkmannb2197752015-10-29 14:58:09 +0100919}
920
Daniel Mackf4324552016-11-23 16:52:27 +0100921#ifdef CONFIG_CGROUP_BPF
922
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800923#define BPF_PROG_ATTACH_LAST_FIELD attach_flags
Daniel Mackf4324552016-11-23 16:52:27 +0100924
925static int bpf_prog_attach(const union bpf_attr *attr)
926{
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800927 enum bpf_prog_type ptype;
Daniel Mackf4324552016-11-23 16:52:27 +0100928 struct bpf_prog *prog;
929 struct cgroup *cgrp;
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800930 int ret;
Daniel Mackf4324552016-11-23 16:52:27 +0100931
932 if (!capable(CAP_NET_ADMIN))
933 return -EPERM;
934
935 if (CHECK_ATTR(BPF_PROG_ATTACH))
936 return -EINVAL;
937
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800938 if (attr->attach_flags & ~BPF_F_ALLOW_OVERRIDE)
939 return -EINVAL;
940
Daniel Mackf4324552016-11-23 16:52:27 +0100941 switch (attr->attach_type) {
942 case BPF_CGROUP_INET_INGRESS:
943 case BPF_CGROUP_INET_EGRESS:
David Ahernb2cd1252016-12-01 08:48:03 -0800944 ptype = BPF_PROG_TYPE_CGROUP_SKB;
Daniel Mackf4324552016-11-23 16:52:27 +0100945 break;
David Ahern610236582016-12-01 08:48:04 -0800946 case BPF_CGROUP_INET_SOCK_CREATE:
947 ptype = BPF_PROG_TYPE_CGROUP_SOCK;
948 break;
Daniel Mackf4324552016-11-23 16:52:27 +0100949 default:
950 return -EINVAL;
951 }
952
David Ahernb2cd1252016-12-01 08:48:03 -0800953 prog = bpf_prog_get_type(attr->attach_bpf_fd, ptype);
954 if (IS_ERR(prog))
955 return PTR_ERR(prog);
956
957 cgrp = cgroup_get_from_fd(attr->target_fd);
958 if (IS_ERR(cgrp)) {
959 bpf_prog_put(prog);
960 return PTR_ERR(cgrp);
961 }
962
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800963 ret = cgroup_bpf_update(cgrp, prog, attr->attach_type,
964 attr->attach_flags & BPF_F_ALLOW_OVERRIDE);
965 if (ret)
966 bpf_prog_put(prog);
David Ahernb2cd1252016-12-01 08:48:03 -0800967 cgroup_put(cgrp);
968
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800969 return ret;
Daniel Mackf4324552016-11-23 16:52:27 +0100970}
971
972#define BPF_PROG_DETACH_LAST_FIELD attach_type
973
974static int bpf_prog_detach(const union bpf_attr *attr)
975{
976 struct cgroup *cgrp;
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800977 int ret;
Daniel Mackf4324552016-11-23 16:52:27 +0100978
979 if (!capable(CAP_NET_ADMIN))
980 return -EPERM;
981
982 if (CHECK_ATTR(BPF_PROG_DETACH))
983 return -EINVAL;
984
985 switch (attr->attach_type) {
986 case BPF_CGROUP_INET_INGRESS:
987 case BPF_CGROUP_INET_EGRESS:
David Ahern610236582016-12-01 08:48:04 -0800988 case BPF_CGROUP_INET_SOCK_CREATE:
Daniel Mackf4324552016-11-23 16:52:27 +0100989 cgrp = cgroup_get_from_fd(attr->target_fd);
990 if (IS_ERR(cgrp))
991 return PTR_ERR(cgrp);
992
Alexei Starovoitov7f677632017-02-10 20:28:24 -0800993 ret = cgroup_bpf_update(cgrp, NULL, attr->attach_type, false);
Daniel Mackf4324552016-11-23 16:52:27 +0100994 cgroup_put(cgrp);
995 break;
996
997 default:
998 return -EINVAL;
999 }
1000
Alexei Starovoitov7f677632017-02-10 20:28:24 -08001001 return ret;
Daniel Mackf4324552016-11-23 16:52:27 +01001002}
1003#endif /* CONFIG_CGROUP_BPF */
1004
Alexei Starovoitov99c55f72014-09-26 00:16:57 -07001005SYSCALL_DEFINE3(bpf, int, cmd, union bpf_attr __user *, uattr, unsigned int, size)
1006{
1007 union bpf_attr attr = {};
1008 int err;
1009
Alexei Starovoitov1be7f752015-10-07 22:23:21 -07001010 if (!capable(CAP_SYS_ADMIN) && sysctl_unprivileged_bpf_disabled)
Alexei Starovoitov99c55f72014-09-26 00:16:57 -07001011 return -EPERM;
1012
1013 if (!access_ok(VERIFY_READ, uattr, 1))
1014 return -EFAULT;
1015
1016 if (size > PAGE_SIZE) /* silly large */
1017 return -E2BIG;
1018
1019 /* If we're handed a bigger struct than we know of,
1020 * ensure all the unknown bits are 0 - i.e. new
1021 * user-space does not rely on any kernel feature
1022 * extensions we dont know about yet.
1023 */
1024 if (size > sizeof(attr)) {
1025 unsigned char __user *addr;
1026 unsigned char __user *end;
1027 unsigned char val;
1028
1029 addr = (void __user *)uattr + sizeof(attr);
1030 end = (void __user *)uattr + size;
1031
1032 for (; addr < end; addr++) {
1033 err = get_user(val, addr);
1034 if (err)
1035 return err;
1036 if (val)
1037 return -E2BIG;
1038 }
1039 size = sizeof(attr);
1040 }
1041
1042 /* copy attributes from user space, may be less than sizeof(bpf_attr) */
1043 if (copy_from_user(&attr, uattr, size) != 0)
1044 return -EFAULT;
1045
1046 switch (cmd) {
1047 case BPF_MAP_CREATE:
1048 err = map_create(&attr);
1049 break;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -07001050 case BPF_MAP_LOOKUP_ELEM:
1051 err = map_lookup_elem(&attr);
1052 break;
1053 case BPF_MAP_UPDATE_ELEM:
1054 err = map_update_elem(&attr);
1055 break;
1056 case BPF_MAP_DELETE_ELEM:
1057 err = map_delete_elem(&attr);
1058 break;
1059 case BPF_MAP_GET_NEXT_KEY:
1060 err = map_get_next_key(&attr);
1061 break;
Alexei Starovoitov09756af2014-09-26 00:17:00 -07001062 case BPF_PROG_LOAD:
1063 err = bpf_prog_load(&attr);
1064 break;
Daniel Borkmannb2197752015-10-29 14:58:09 +01001065 case BPF_OBJ_PIN:
1066 err = bpf_obj_pin(&attr);
1067 break;
1068 case BPF_OBJ_GET:
1069 err = bpf_obj_get(&attr);
1070 break;
Daniel Mackf4324552016-11-23 16:52:27 +01001071
1072#ifdef CONFIG_CGROUP_BPF
1073 case BPF_PROG_ATTACH:
1074 err = bpf_prog_attach(&attr);
1075 break;
1076 case BPF_PROG_DETACH:
1077 err = bpf_prog_detach(&attr);
1078 break;
1079#endif
1080
Alexei Starovoitov99c55f72014-09-26 00:16:57 -07001081 default:
1082 err = -EINVAL;
1083 break;
1084 }
1085
1086 return err;
1087}