blob: 7f9691c86b6e04c39b46fdf058e5f8d746006560 [file] [log] [blame]
Alexei Starovoitov25415172015-03-25 12:49:20 -07001/* Copyright (c) 2011-2015 PLUMgrid, http://plumgrid.com
Alexei Starovoitov0515e592016-09-01 18:37:22 -07002 * Copyright (c) 2016 Facebook
Alexei Starovoitov25415172015-03-25 12:49:20 -07003 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of version 2 of the GNU General Public
6 * License as published by the Free Software Foundation.
7 */
8#include <linux/kernel.h>
9#include <linux/types.h>
10#include <linux/slab.h>
11#include <linux/bpf.h>
Alexei Starovoitov0515e592016-09-01 18:37:22 -070012#include <linux/bpf_perf_event.h>
Alexei Starovoitov25415172015-03-25 12:49:20 -070013#include <linux/filter.h>
14#include <linux/uaccess.h>
Alexei Starovoitov9c959c82015-03-25 12:49:22 -070015#include <linux/ctype.h>
Josef Bacik9802d862017-12-11 11:36:48 -050016#include <linux/kprobes.h>
Masami Hiramatsu540adea2018-01-13 02:55:03 +090017#include <linux/error-injection.h>
Josef Bacik9802d862017-12-11 11:36:48 -050018
19#include "trace_probe.h"
Alexei Starovoitov25415172015-03-25 12:49:20 -070020#include "trace.h"
21
Gianluca Borello035226b2017-10-26 01:47:42 +000022u64 bpf_get_stackid(u64 r1, u64 r2, u64 r3, u64 r4, u64 r5);
23
Alexei Starovoitov25415172015-03-25 12:49:20 -070024/**
25 * trace_call_bpf - invoke BPF program
Yonghong Songe87c6bc2017-10-23 23:53:08 -070026 * @call: tracepoint event
Alexei Starovoitov25415172015-03-25 12:49:20 -070027 * @ctx: opaque context pointer
28 *
29 * kprobe handlers execute BPF programs via this helper.
30 * Can be used from static tracepoints in the future.
31 *
32 * Return: BPF programs always return an integer which is interpreted by
33 * kprobe handler as:
34 * 0 - return from kprobe (event is filtered out)
35 * 1 - store kprobe event into ring buffer
36 * Other values are reserved and currently alias to 1
37 */
Yonghong Songe87c6bc2017-10-23 23:53:08 -070038unsigned int trace_call_bpf(struct trace_event_call *call, void *ctx)
Alexei Starovoitov25415172015-03-25 12:49:20 -070039{
40 unsigned int ret;
41
42 if (in_nmi()) /* not supported yet */
43 return 1;
44
45 preempt_disable();
46
47 if (unlikely(__this_cpu_inc_return(bpf_prog_active) != 1)) {
48 /*
49 * since some bpf program is already running on this cpu,
50 * don't call into another bpf program (same or different)
51 * and don't send kprobe event into ring-buffer,
52 * so return zero here
53 */
54 ret = 0;
55 goto out;
56 }
57
Yonghong Songe87c6bc2017-10-23 23:53:08 -070058 /*
59 * Instead of moving rcu_read_lock/rcu_dereference/rcu_read_unlock
60 * to all call sites, we did a bpf_prog_array_valid() there to check
61 * whether call->prog_array is empty or not, which is
62 * a heurisitc to speed up execution.
63 *
64 * If bpf_prog_array_valid() fetched prog_array was
65 * non-NULL, we go into trace_call_bpf() and do the actual
66 * proper rcu_dereference() under RCU lock.
67 * If it turns out that prog_array is NULL then, we bail out.
68 * For the opposite, if the bpf_prog_array_valid() fetched pointer
69 * was NULL, you'll skip the prog_array with the risk of missing
70 * out of events when it was updated in between this and the
71 * rcu_dereference() which is accepted risk.
72 */
73 ret = BPF_PROG_RUN_ARRAY_CHECK(call->prog_array, ctx, BPF_PROG_RUN);
Alexei Starovoitov25415172015-03-25 12:49:20 -070074
75 out:
76 __this_cpu_dec(bpf_prog_active);
77 preempt_enable();
78
79 return ret;
80}
81EXPORT_SYMBOL_GPL(trace_call_bpf);
82
Josef Bacik9802d862017-12-11 11:36:48 -050083#ifdef CONFIG_BPF_KPROBE_OVERRIDE
84BPF_CALL_2(bpf_override_return, struct pt_regs *, regs, unsigned long, rc)
85{
Josef Bacik9802d862017-12-11 11:36:48 -050086 regs_set_return_value(regs, rc);
Masami Hiramatsu540adea2018-01-13 02:55:03 +090087 override_function_with_return(regs);
Josef Bacik9802d862017-12-11 11:36:48 -050088 return 0;
89}
90
91static const struct bpf_func_proto bpf_override_return_proto = {
92 .func = bpf_override_return,
93 .gpl_only = true,
94 .ret_type = RET_INTEGER,
95 .arg1_type = ARG_PTR_TO_CTX,
96 .arg2_type = ARG_ANYTHING,
97};
98#endif
99
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200100BPF_CALL_3(bpf_probe_read, void *, dst, u32, size, const void *, unsafe_ptr)
Alexei Starovoitov25415172015-03-25 12:49:20 -0700101{
Gianluca Borelloeb33f2c2017-11-22 18:32:54 +0000102 int ret;
Alexei Starovoitov25415172015-03-25 12:49:20 -0700103
Daniel Borkmann074f528e2016-04-13 00:10:52 +0200104 ret = probe_kernel_read(dst, unsafe_ptr, size);
105 if (unlikely(ret < 0))
106 memset(dst, 0, size);
107
108 return ret;
Alexei Starovoitov25415172015-03-25 12:49:20 -0700109}
110
111static const struct bpf_func_proto bpf_probe_read_proto = {
112 .func = bpf_probe_read,
113 .gpl_only = true,
114 .ret_type = RET_INTEGER,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800115 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
Yonghong Song9c019e22017-11-12 14:49:10 -0800116 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitov25415172015-03-25 12:49:20 -0700117 .arg3_type = ARG_ANYTHING,
118};
119
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200120BPF_CALL_3(bpf_probe_write_user, void *, unsafe_ptr, const void *, src,
121 u32, size)
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700122{
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700123 /*
124 * Ensure we're in user context which is safe for the helper to
125 * run. This helper has no business in a kthread.
126 *
127 * access_ok() should prevent writing to non-user memory, but in
128 * some situations (nommu, temporary switch, etc) access_ok() does
129 * not provide enough validation, hence the check on KERNEL_DS.
130 */
131
132 if (unlikely(in_interrupt() ||
133 current->flags & (PF_KTHREAD | PF_EXITING)))
134 return -EPERM;
Al Virodb68ce12017-03-20 21:08:07 -0400135 if (unlikely(uaccess_kernel()))
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700136 return -EPERM;
137 if (!access_ok(VERIFY_WRITE, unsafe_ptr, size))
138 return -EPERM;
139
140 return probe_kernel_write(unsafe_ptr, src, size);
141}
142
143static const struct bpf_func_proto bpf_probe_write_user_proto = {
144 .func = bpf_probe_write_user,
145 .gpl_only = true,
146 .ret_type = RET_INTEGER,
147 .arg1_type = ARG_ANYTHING,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800148 .arg2_type = ARG_PTR_TO_MEM,
149 .arg3_type = ARG_CONST_SIZE,
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700150};
151
152static const struct bpf_func_proto *bpf_get_probe_write_proto(void)
153{
154 pr_warn_ratelimited("%s[%d] is installing a program with bpf_probe_write_user helper that may corrupt user memory!",
155 current->comm, task_pid_nr(current));
156
157 return &bpf_probe_write_user_proto;
158}
159
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700160/*
John Fastabend7bda4b42017-07-02 02:13:29 +0200161 * Only limited trace_printk() conversion specifiers allowed:
162 * %d %i %u %x %ld %li %lu %lx %lld %lli %llu %llx %p %s
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700163 */
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200164BPF_CALL_5(bpf_trace_printk, char *, fmt, u32, fmt_size, u64, arg1,
165 u64, arg2, u64, arg3)
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700166{
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700167 bool str_seen = false;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700168 int mod[3] = {};
169 int fmt_cnt = 0;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700170 u64 unsafe_addr;
171 char buf[64];
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700172 int i;
173
174 /*
175 * bpf_check()->check_func_arg()->check_stack_boundary()
176 * guarantees that fmt points to bpf program stack,
177 * fmt_size bytes of it were initialized and fmt_size > 0
178 */
179 if (fmt[--fmt_size] != 0)
180 return -EINVAL;
181
182 /* check format string for allowed specifiers */
183 for (i = 0; i < fmt_size; i++) {
184 if ((!isprint(fmt[i]) && !isspace(fmt[i])) || !isascii(fmt[i]))
185 return -EINVAL;
186
187 if (fmt[i] != '%')
188 continue;
189
190 if (fmt_cnt >= 3)
191 return -EINVAL;
192
193 /* fmt[i] != 0 && fmt[last] == 0, so we can access fmt[i + 1] */
194 i++;
195 if (fmt[i] == 'l') {
196 mod[fmt_cnt]++;
197 i++;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700198 } else if (fmt[i] == 'p' || fmt[i] == 's') {
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700199 mod[fmt_cnt]++;
200 i++;
201 if (!isspace(fmt[i]) && !ispunct(fmt[i]) && fmt[i] != 0)
202 return -EINVAL;
203 fmt_cnt++;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700204 if (fmt[i - 1] == 's') {
205 if (str_seen)
206 /* allow only one '%s' per fmt string */
207 return -EINVAL;
208 str_seen = true;
209
210 switch (fmt_cnt) {
211 case 1:
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200212 unsafe_addr = arg1;
213 arg1 = (long) buf;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700214 break;
215 case 2:
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200216 unsafe_addr = arg2;
217 arg2 = (long) buf;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700218 break;
219 case 3:
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200220 unsafe_addr = arg3;
221 arg3 = (long) buf;
Alexei Starovoitov8d3b7dc2015-08-28 15:56:23 -0700222 break;
223 }
224 buf[0] = 0;
225 strncpy_from_unsafe(buf,
226 (void *) (long) unsafe_addr,
227 sizeof(buf));
228 }
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700229 continue;
230 }
231
232 if (fmt[i] == 'l') {
233 mod[fmt_cnt]++;
234 i++;
235 }
236
John Fastabend7bda4b42017-07-02 02:13:29 +0200237 if (fmt[i] != 'i' && fmt[i] != 'd' &&
238 fmt[i] != 'u' && fmt[i] != 'x')
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700239 return -EINVAL;
240 fmt_cnt++;
241 }
242
Daniel Borkmann88a5c692017-08-16 01:45:33 +0200243/* Horrid workaround for getting va_list handling working with different
244 * argument type combinations generically for 32 and 64 bit archs.
245 */
246#define __BPF_TP_EMIT() __BPF_ARG3_TP()
247#define __BPF_TP(...) \
Yonghong Songeefa864a2018-01-17 09:19:32 -0800248 __trace_printk(0 /* Fake ip */, \
Daniel Borkmann88a5c692017-08-16 01:45:33 +0200249 fmt, ##__VA_ARGS__)
250
251#define __BPF_ARG1_TP(...) \
252 ((mod[0] == 2 || (mod[0] == 1 && __BITS_PER_LONG == 64)) \
253 ? __BPF_TP(arg1, ##__VA_ARGS__) \
254 : ((mod[0] == 1 || (mod[0] == 0 && __BITS_PER_LONG == 32)) \
255 ? __BPF_TP((long)arg1, ##__VA_ARGS__) \
256 : __BPF_TP((u32)arg1, ##__VA_ARGS__)))
257
258#define __BPF_ARG2_TP(...) \
259 ((mod[1] == 2 || (mod[1] == 1 && __BITS_PER_LONG == 64)) \
260 ? __BPF_ARG1_TP(arg2, ##__VA_ARGS__) \
261 : ((mod[1] == 1 || (mod[1] == 0 && __BITS_PER_LONG == 32)) \
262 ? __BPF_ARG1_TP((long)arg2, ##__VA_ARGS__) \
263 : __BPF_ARG1_TP((u32)arg2, ##__VA_ARGS__)))
264
265#define __BPF_ARG3_TP(...) \
266 ((mod[2] == 2 || (mod[2] == 1 && __BITS_PER_LONG == 64)) \
267 ? __BPF_ARG2_TP(arg3, ##__VA_ARGS__) \
268 : ((mod[2] == 1 || (mod[2] == 0 && __BITS_PER_LONG == 32)) \
269 ? __BPF_ARG2_TP((long)arg3, ##__VA_ARGS__) \
270 : __BPF_ARG2_TP((u32)arg3, ##__VA_ARGS__)))
271
272 return __BPF_TP_EMIT();
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700273}
274
275static const struct bpf_func_proto bpf_trace_printk_proto = {
276 .func = bpf_trace_printk,
277 .gpl_only = true,
278 .ret_type = RET_INTEGER,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800279 .arg1_type = ARG_PTR_TO_MEM,
280 .arg2_type = ARG_CONST_SIZE,
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700281};
282
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700283const struct bpf_func_proto *bpf_get_trace_printk_proto(void)
284{
285 /*
286 * this program might be calling bpf_trace_printk,
287 * so allocate per-cpu printk buffers
288 */
289 trace_printk_init_buffers();
290
291 return &bpf_trace_printk_proto;
292}
293
Yonghong Song908432c2017-10-05 09:19:20 -0700294static __always_inline int
295get_map_perf_counter(struct bpf_map *map, u64 flags,
296 u64 *value, u64 *enabled, u64 *running)
Kaixu Xia35578d72015-08-06 07:02:35 +0000297{
Kaixu Xia35578d72015-08-06 07:02:35 +0000298 struct bpf_array *array = container_of(map, struct bpf_array, map);
Daniel Borkmann6816a7f2016-06-28 12:18:25 +0200299 unsigned int cpu = smp_processor_id();
300 u64 index = flags & BPF_F_INDEX_MASK;
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200301 struct bpf_event_entry *ee;
Kaixu Xia35578d72015-08-06 07:02:35 +0000302
Daniel Borkmann6816a7f2016-06-28 12:18:25 +0200303 if (unlikely(flags & ~(BPF_F_INDEX_MASK)))
304 return -EINVAL;
305 if (index == BPF_F_CURRENT_CPU)
306 index = cpu;
Kaixu Xia35578d72015-08-06 07:02:35 +0000307 if (unlikely(index >= array->map.max_entries))
308 return -E2BIG;
309
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200310 ee = READ_ONCE(array->ptrs[index]);
Daniel Borkmann1ca1cc92016-06-28 12:18:23 +0200311 if (!ee)
Kaixu Xia35578d72015-08-06 07:02:35 +0000312 return -ENOENT;
313
Yonghong Song908432c2017-10-05 09:19:20 -0700314 return perf_event_read_local(ee->event, value, enabled, running);
315}
316
317BPF_CALL_2(bpf_perf_event_read, struct bpf_map *, map, u64, flags)
318{
319 u64 value = 0;
320 int err;
321
322 err = get_map_perf_counter(map, flags, &value, NULL, NULL);
Kaixu Xia35578d72015-08-06 07:02:35 +0000323 /*
Alexei Starovoitovf91840a2017-06-02 21:03:52 -0700324 * this api is ugly since we miss [-22..-2] range of valid
325 * counter values, but that's uapi
Kaixu Xia35578d72015-08-06 07:02:35 +0000326 */
Alexei Starovoitovf91840a2017-06-02 21:03:52 -0700327 if (err)
328 return err;
329 return value;
Kaixu Xia35578d72015-08-06 07:02:35 +0000330}
331
Alexei Starovoitov62544ce2015-10-22 17:10:14 -0700332static const struct bpf_func_proto bpf_perf_event_read_proto = {
Kaixu Xia35578d72015-08-06 07:02:35 +0000333 .func = bpf_perf_event_read,
Alexei Starovoitov1075ef52015-10-23 14:58:19 -0700334 .gpl_only = true,
Kaixu Xia35578d72015-08-06 07:02:35 +0000335 .ret_type = RET_INTEGER,
336 .arg1_type = ARG_CONST_MAP_PTR,
337 .arg2_type = ARG_ANYTHING,
338};
339
Yonghong Song908432c2017-10-05 09:19:20 -0700340BPF_CALL_4(bpf_perf_event_read_value, struct bpf_map *, map, u64, flags,
341 struct bpf_perf_event_value *, buf, u32, size)
342{
343 int err = -EINVAL;
344
345 if (unlikely(size != sizeof(struct bpf_perf_event_value)))
346 goto clear;
347 err = get_map_perf_counter(map, flags, &buf->counter, &buf->enabled,
348 &buf->running);
349 if (unlikely(err))
350 goto clear;
351 return 0;
352clear:
353 memset(buf, 0, size);
354 return err;
355}
356
357static const struct bpf_func_proto bpf_perf_event_read_value_proto = {
358 .func = bpf_perf_event_read_value,
359 .gpl_only = true,
360 .ret_type = RET_INTEGER,
361 .arg1_type = ARG_CONST_MAP_PTR,
362 .arg2_type = ARG_ANYTHING,
363 .arg3_type = ARG_PTR_TO_UNINIT_MEM,
364 .arg4_type = ARG_CONST_SIZE,
365};
366
Daniel Borkmann283ca522017-12-12 02:25:30 +0100367static DEFINE_PER_CPU(struct perf_sample_data, bpf_trace_sd);
Daniel Borkmann20b9d7a2017-06-11 00:50:40 +0200368
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200369static __always_inline u64
370__bpf_perf_event_output(struct pt_regs *regs, struct bpf_map *map,
Daniel Borkmann283ca522017-12-12 02:25:30 +0100371 u64 flags, struct perf_sample_data *sd)
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700372{
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700373 struct bpf_array *array = container_of(map, struct bpf_array, map);
Daniel Borkmannd7931332016-06-28 12:18:24 +0200374 unsigned int cpu = smp_processor_id();
Daniel Borkmann1e337592016-04-18 21:01:23 +0200375 u64 index = flags & BPF_F_INDEX_MASK;
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200376 struct bpf_event_entry *ee;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700377 struct perf_event *event;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700378
Daniel Borkmann1e337592016-04-18 21:01:23 +0200379 if (index == BPF_F_CURRENT_CPU)
Daniel Borkmannd7931332016-06-28 12:18:24 +0200380 index = cpu;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700381 if (unlikely(index >= array->map.max_entries))
382 return -E2BIG;
383
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200384 ee = READ_ONCE(array->ptrs[index]);
Daniel Borkmann1ca1cc92016-06-28 12:18:23 +0200385 if (!ee)
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700386 return -ENOENT;
387
Daniel Borkmann3b1efb12016-06-15 22:47:14 +0200388 event = ee->event;
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700389 if (unlikely(event->attr.type != PERF_TYPE_SOFTWARE ||
390 event->attr.config != PERF_COUNT_SW_BPF_OUTPUT))
391 return -EINVAL;
392
Daniel Borkmannd7931332016-06-28 12:18:24 +0200393 if (unlikely(event->oncpu != cpu))
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700394 return -EOPNOTSUPP;
395
Daniel Borkmann20b9d7a2017-06-11 00:50:40 +0200396 perf_event_output(event, sd, regs);
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700397 return 0;
398}
399
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200400BPF_CALL_5(bpf_perf_event_output, struct pt_regs *, regs, struct bpf_map *, map,
401 u64, flags, void *, data, u64, size)
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200402{
Daniel Borkmann283ca522017-12-12 02:25:30 +0100403 struct perf_sample_data *sd = this_cpu_ptr(&bpf_trace_sd);
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200404 struct perf_raw_record raw = {
405 .frag = {
406 .size = size,
407 .data = data,
408 },
409 };
410
411 if (unlikely(flags & ~(BPF_F_INDEX_MASK)))
412 return -EINVAL;
413
Daniel Borkmann283ca522017-12-12 02:25:30 +0100414 perf_sample_data_init(sd, 0, 0);
415 sd->raw = &raw;
416
417 return __bpf_perf_event_output(regs, map, flags, sd);
Daniel Borkmann8e7a3922016-07-14 18:08:04 +0200418}
419
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700420static const struct bpf_func_proto bpf_perf_event_output_proto = {
421 .func = bpf_perf_event_output,
Alexei Starovoitov1075ef52015-10-23 14:58:19 -0700422 .gpl_only = true,
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700423 .ret_type = RET_INTEGER,
424 .arg1_type = ARG_PTR_TO_CTX,
425 .arg2_type = ARG_CONST_MAP_PTR,
426 .arg3_type = ARG_ANYTHING,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800427 .arg4_type = ARG_PTR_TO_MEM,
Gianluca Borelloa60dd352017-11-22 18:32:56 +0000428 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700429};
430
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200431static DEFINE_PER_CPU(struct pt_regs, bpf_pt_regs);
Daniel Borkmann283ca522017-12-12 02:25:30 +0100432static DEFINE_PER_CPU(struct perf_sample_data, bpf_misc_sd);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200433
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200434u64 bpf_event_output(struct bpf_map *map, u64 flags, void *meta, u64 meta_size,
435 void *ctx, u64 ctx_size, bpf_ctx_copy_t ctx_copy)
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200436{
Daniel Borkmann283ca522017-12-12 02:25:30 +0100437 struct perf_sample_data *sd = this_cpu_ptr(&bpf_misc_sd);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200438 struct pt_regs *regs = this_cpu_ptr(&bpf_pt_regs);
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200439 struct perf_raw_frag frag = {
440 .copy = ctx_copy,
441 .size = ctx_size,
442 .data = ctx,
443 };
444 struct perf_raw_record raw = {
445 .frag = {
Andrew Morton183fc152016-07-18 15:50:58 -0700446 {
447 .next = ctx_size ? &frag : NULL,
448 },
Daniel Borkmann555c8a82016-07-14 18:08:05 +0200449 .size = meta_size,
450 .data = meta,
451 },
452 };
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200453
454 perf_fetch_caller_regs(regs);
Daniel Borkmann283ca522017-12-12 02:25:30 +0100455 perf_sample_data_init(sd, 0, 0);
456 sd->raw = &raw;
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200457
Daniel Borkmann283ca522017-12-12 02:25:30 +0100458 return __bpf_perf_event_output(regs, map, flags, sd);
Daniel Borkmannbd570ff2016-04-18 21:01:24 +0200459}
460
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200461BPF_CALL_0(bpf_get_current_task)
Alexei Starovoitov606274c2016-07-06 22:38:36 -0700462{
463 return (long) current;
464}
465
466static const struct bpf_func_proto bpf_get_current_task_proto = {
467 .func = bpf_get_current_task,
468 .gpl_only = true,
469 .ret_type = RET_INTEGER,
470};
471
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200472BPF_CALL_2(bpf_current_task_under_cgroup, struct bpf_map *, map, u32, idx)
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700473{
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700474 struct bpf_array *array = container_of(map, struct bpf_array, map);
475 struct cgroup *cgrp;
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700476
477 if (unlikely(in_interrupt()))
478 return -EINVAL;
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700479 if (unlikely(idx >= array->map.max_entries))
480 return -E2BIG;
481
482 cgrp = READ_ONCE(array->ptrs[idx]);
483 if (unlikely(!cgrp))
484 return -EAGAIN;
485
486 return task_under_cgroup_hierarchy(current, cgrp);
487}
488
489static const struct bpf_func_proto bpf_current_task_under_cgroup_proto = {
490 .func = bpf_current_task_under_cgroup,
491 .gpl_only = false,
492 .ret_type = RET_INTEGER,
493 .arg1_type = ARG_CONST_MAP_PTR,
494 .arg2_type = ARG_ANYTHING,
495};
496
Gianluca Borelloa5e8c072017-01-18 17:55:49 +0000497BPF_CALL_3(bpf_probe_read_str, void *, dst, u32, size,
498 const void *, unsafe_ptr)
499{
500 int ret;
501
502 /*
503 * The strncpy_from_unsafe() call will likely not fill the entire
504 * buffer, but that's okay in this circumstance as we're probing
505 * arbitrary memory anyway similar to bpf_probe_read() and might
506 * as well probe the stack. Thus, memory is explicitly cleared
507 * only in error case, so that improper users ignoring return
508 * code altogether don't copy garbage; otherwise length of string
509 * is returned that can be used for bpf_perf_event_output() et al.
510 */
511 ret = strncpy_from_unsafe(dst, unsafe_ptr, size);
512 if (unlikely(ret < 0))
513 memset(dst, 0, size);
514
515 return ret;
516}
517
518static const struct bpf_func_proto bpf_probe_read_str_proto = {
519 .func = bpf_probe_read_str,
520 .gpl_only = true,
521 .ret_type = RET_INTEGER,
522 .arg1_type = ARG_PTR_TO_UNINIT_MEM,
Gianluca Borello5c4e1202017-11-22 18:32:55 +0000523 .arg2_type = ARG_CONST_SIZE_OR_ZERO,
Gianluca Borelloa5e8c072017-01-18 17:55:49 +0000524 .arg3_type = ARG_ANYTHING,
525};
526
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700527static const struct bpf_func_proto *tracing_func_proto(enum bpf_func_id func_id)
Alexei Starovoitov25415172015-03-25 12:49:20 -0700528{
529 switch (func_id) {
530 case BPF_FUNC_map_lookup_elem:
531 return &bpf_map_lookup_elem_proto;
532 case BPF_FUNC_map_update_elem:
533 return &bpf_map_update_elem_proto;
534 case BPF_FUNC_map_delete_elem:
535 return &bpf_map_delete_elem_proto;
536 case BPF_FUNC_probe_read:
537 return &bpf_probe_read_proto;
Alexei Starovoitovd9847d32015-03-25 12:49:21 -0700538 case BPF_FUNC_ktime_get_ns:
539 return &bpf_ktime_get_ns_proto;
Alexei Starovoitov04fd61ab2015-05-19 16:59:03 -0700540 case BPF_FUNC_tail_call:
541 return &bpf_tail_call_proto;
Alexei Starovoitovffeedaf2015-06-12 19:39:12 -0700542 case BPF_FUNC_get_current_pid_tgid:
543 return &bpf_get_current_pid_tgid_proto;
Alexei Starovoitov606274c2016-07-06 22:38:36 -0700544 case BPF_FUNC_get_current_task:
545 return &bpf_get_current_task_proto;
Alexei Starovoitovffeedaf2015-06-12 19:39:12 -0700546 case BPF_FUNC_get_current_uid_gid:
547 return &bpf_get_current_uid_gid_proto;
548 case BPF_FUNC_get_current_comm:
549 return &bpf_get_current_comm_proto;
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700550 case BPF_FUNC_trace_printk:
Alexei Starovoitov0756ea32015-06-12 19:39:13 -0700551 return bpf_get_trace_printk_proto();
Alexei Starovoitovab1973d2015-06-12 19:39:14 -0700552 case BPF_FUNC_get_smp_processor_id:
553 return &bpf_get_smp_processor_id_proto;
Daniel Borkmann2d0e30c2016-10-21 12:46:33 +0200554 case BPF_FUNC_get_numa_node_id:
555 return &bpf_get_numa_node_id_proto;
Kaixu Xia35578d72015-08-06 07:02:35 +0000556 case BPF_FUNC_perf_event_read:
557 return &bpf_perf_event_read_proto;
Sargun Dhillon96ae5222016-07-25 05:54:46 -0700558 case BPF_FUNC_probe_write_user:
559 return bpf_get_probe_write_proto();
Sargun Dhillon60d20f92016-08-12 08:56:52 -0700560 case BPF_FUNC_current_task_under_cgroup:
561 return &bpf_current_task_under_cgroup_proto;
Alexei Starovoitov8937bd82016-08-11 18:17:18 -0700562 case BPF_FUNC_get_prandom_u32:
563 return &bpf_get_prandom_u32_proto;
Gianluca Borelloa5e8c072017-01-18 17:55:49 +0000564 case BPF_FUNC_probe_read_str:
565 return &bpf_probe_read_str_proto;
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700566 default:
567 return NULL;
568 }
569}
570
571static const struct bpf_func_proto *kprobe_prog_func_proto(enum bpf_func_id func_id)
572{
573 switch (func_id) {
Alexei Starovoitova43eec32015-10-20 20:02:34 -0700574 case BPF_FUNC_perf_event_output:
575 return &bpf_perf_event_output_proto;
Alexei Starovoitovd5a3b1f2016-02-17 19:58:58 -0800576 case BPF_FUNC_get_stackid:
577 return &bpf_get_stackid_proto;
Yonghong Song908432c2017-10-05 09:19:20 -0700578 case BPF_FUNC_perf_event_read_value:
579 return &bpf_perf_event_read_value_proto;
Josef Bacik9802d862017-12-11 11:36:48 -0500580#ifdef CONFIG_BPF_KPROBE_OVERRIDE
581 case BPF_FUNC_override_return:
582 return &bpf_override_return_proto;
583#endif
Alexei Starovoitov25415172015-03-25 12:49:20 -0700584 default:
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700585 return tracing_func_proto(func_id);
Alexei Starovoitov25415172015-03-25 12:49:20 -0700586 }
587}
588
589/* bpf+kprobe programs can access fields of 'struct pt_regs' */
Alexei Starovoitov19de99f2016-06-15 18:25:38 -0700590static bool kprobe_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Yonghong Song23994632017-06-22 15:07:39 -0700591 struct bpf_insn_access_aux *info)
Alexei Starovoitov25415172015-03-25 12:49:20 -0700592{
Alexei Starovoitov25415172015-03-25 12:49:20 -0700593 if (off < 0 || off >= sizeof(struct pt_regs))
594 return false;
Alexei Starovoitov25415172015-03-25 12:49:20 -0700595 if (type != BPF_READ)
596 return false;
Alexei Starovoitov25415172015-03-25 12:49:20 -0700597 if (off % size != 0)
598 return false;
Daniel Borkmann2d071c62017-01-15 01:34:25 +0100599 /*
600 * Assertion for 32 bit to make sure last 8 byte access
601 * (BPF_DW) to the last 4 byte member is disallowed.
602 */
603 if (off + size > sizeof(struct pt_regs))
604 return false;
605
Alexei Starovoitov25415172015-03-25 12:49:20 -0700606 return true;
607}
608
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700609const struct bpf_verifier_ops kprobe_verifier_ops = {
Alexei Starovoitov25415172015-03-25 12:49:20 -0700610 .get_func_proto = kprobe_prog_func_proto,
611 .is_valid_access = kprobe_prog_is_valid_access,
612};
613
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700614const struct bpf_prog_ops kprobe_prog_ops = {
615};
616
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200617BPF_CALL_5(bpf_perf_event_output_tp, void *, tp_buff, struct bpf_map *, map,
618 u64, flags, void *, data, u64, size)
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700619{
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200620 struct pt_regs *regs = *(struct pt_regs **)tp_buff;
621
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700622 /*
623 * r1 points to perf tracepoint buffer where first 8 bytes are hidden
624 * from bpf program and contain a pointer to 'struct pt_regs'. Fetch it
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200625 * from there and call the same bpf_perf_event_output() helper inline.
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700626 */
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200627 return ____bpf_perf_event_output(regs, map, flags, data, size);
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700628}
629
630static const struct bpf_func_proto bpf_perf_event_output_proto_tp = {
631 .func = bpf_perf_event_output_tp,
632 .gpl_only = true,
633 .ret_type = RET_INTEGER,
634 .arg1_type = ARG_PTR_TO_CTX,
635 .arg2_type = ARG_CONST_MAP_PTR,
636 .arg3_type = ARG_ANYTHING,
Alexei Starovoitov39f19ebb2017-01-09 10:19:50 -0800637 .arg4_type = ARG_PTR_TO_MEM,
Gianluca Borelloa60dd352017-11-22 18:32:56 +0000638 .arg5_type = ARG_CONST_SIZE_OR_ZERO,
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700639};
640
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200641BPF_CALL_3(bpf_get_stackid_tp, void *, tp_buff, struct bpf_map *, map,
642 u64, flags)
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700643{
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200644 struct pt_regs *regs = *(struct pt_regs **)tp_buff;
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700645
Daniel Borkmannf3694e02016-09-09 02:45:31 +0200646 /*
647 * Same comment as in bpf_perf_event_output_tp(), only that this time
648 * the other helper's function body cannot be inlined due to being
649 * external, thus we need to call raw helper function.
650 */
651 return bpf_get_stackid((unsigned long) regs, (unsigned long) map,
652 flags, 0, 0);
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700653}
654
655static const struct bpf_func_proto bpf_get_stackid_proto_tp = {
656 .func = bpf_get_stackid_tp,
657 .gpl_only = true,
658 .ret_type = RET_INTEGER,
659 .arg1_type = ARG_PTR_TO_CTX,
660 .arg2_type = ARG_CONST_MAP_PTR,
661 .arg3_type = ARG_ANYTHING,
662};
663
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700664static const struct bpf_func_proto *tp_prog_func_proto(enum bpf_func_id func_id)
665{
666 switch (func_id) {
667 case BPF_FUNC_perf_event_output:
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700668 return &bpf_perf_event_output_proto_tp;
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700669 case BPF_FUNC_get_stackid:
Alexei Starovoitov9940d672016-04-06 18:43:27 -0700670 return &bpf_get_stackid_proto_tp;
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700671 default:
672 return tracing_func_proto(func_id);
673 }
674}
675
Alexei Starovoitov19de99f2016-06-15 18:25:38 -0700676static bool tp_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Yonghong Song23994632017-06-22 15:07:39 -0700677 struct bpf_insn_access_aux *info)
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700678{
679 if (off < sizeof(void *) || off >= PERF_MAX_TRACE_SIZE)
680 return false;
681 if (type != BPF_READ)
682 return false;
683 if (off % size != 0)
684 return false;
Daniel Borkmann2d071c62017-01-15 01:34:25 +0100685
686 BUILD_BUG_ON(PERF_MAX_TRACE_SIZE % sizeof(__u64));
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700687 return true;
688}
689
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700690const struct bpf_verifier_ops tracepoint_verifier_ops = {
Alexei Starovoitov9fd82b612016-04-06 18:43:26 -0700691 .get_func_proto = tp_prog_func_proto,
692 .is_valid_access = tp_prog_is_valid_access,
693};
694
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700695const struct bpf_prog_ops tracepoint_prog_ops = {
696};
697
Yonghong Songf005afe2018-03-20 11:19:17 -0700698BPF_CALL_3(bpf_perf_prog_read_value, struct bpf_perf_event_data_kern *, ctx,
699 struct bpf_perf_event_value *, buf, u32, size)
700{
701 int err = -EINVAL;
702
703 if (unlikely(size != sizeof(struct bpf_perf_event_value)))
704 goto clear;
705 err = perf_event_read_local(ctx->event, &buf->counter, &buf->enabled,
706 &buf->running);
707 if (unlikely(err))
708 goto clear;
709 return 0;
710clear:
711 memset(buf, 0, size);
712 return err;
713}
714
715static const struct bpf_func_proto bpf_perf_prog_read_value_proto = {
716 .func = bpf_perf_prog_read_value,
717 .gpl_only = true,
718 .ret_type = RET_INTEGER,
719 .arg1_type = ARG_PTR_TO_CTX,
720 .arg2_type = ARG_PTR_TO_UNINIT_MEM,
721 .arg3_type = ARG_CONST_SIZE,
722};
723
724static const struct bpf_func_proto *pe_prog_func_proto(enum bpf_func_id func_id)
725{
726 switch (func_id) {
727 case BPF_FUNC_perf_event_output:
728 return &bpf_perf_event_output_proto_tp;
729 case BPF_FUNC_get_stackid:
730 return &bpf_get_stackid_proto_tp;
731 case BPF_FUNC_perf_prog_read_value:
732 return &bpf_perf_prog_read_value_proto;
733 default:
734 return tracing_func_proto(func_id);
735 }
736}
737
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700738static bool pe_prog_is_valid_access(int off, int size, enum bpf_access_type type,
Yonghong Song23994632017-06-22 15:07:39 -0700739 struct bpf_insn_access_aux *info)
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700740{
Teng Qin95da0cd2018-03-06 10:55:01 -0800741 const int size_u64 = sizeof(u64);
Yonghong Song31fd8582017-06-13 15:52:13 -0700742
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700743 if (off < 0 || off >= sizeof(struct bpf_perf_event_data))
744 return false;
745 if (type != BPF_READ)
746 return false;
747 if (off % size != 0)
748 return false;
Yonghong Song31fd8582017-06-13 15:52:13 -0700749
Daniel Borkmannf96da092017-07-02 02:13:27 +0200750 switch (off) {
751 case bpf_ctx_range(struct bpf_perf_event_data, sample_period):
Teng Qin95da0cd2018-03-06 10:55:01 -0800752 bpf_ctx_record_field_size(info, size_u64);
753 if (!bpf_ctx_narrow_access_ok(off, size, size_u64))
754 return false;
755 break;
756 case bpf_ctx_range(struct bpf_perf_event_data, addr):
757 bpf_ctx_record_field_size(info, size_u64);
758 if (!bpf_ctx_narrow_access_ok(off, size, size_u64))
Yonghong Song23994632017-06-22 15:07:39 -0700759 return false;
Daniel Borkmannf96da092017-07-02 02:13:27 +0200760 break;
761 default:
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700762 if (size != sizeof(long))
763 return false;
764 }
Daniel Borkmannf96da092017-07-02 02:13:27 +0200765
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700766 return true;
767}
768
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100769static u32 pe_prog_convert_ctx_access(enum bpf_access_type type,
770 const struct bpf_insn *si,
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700771 struct bpf_insn *insn_buf,
Daniel Borkmannf96da092017-07-02 02:13:27 +0200772 struct bpf_prog *prog, u32 *target_size)
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700773{
774 struct bpf_insn *insn = insn_buf;
775
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100776 switch (si->off) {
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700777 case offsetof(struct bpf_perf_event_data, sample_period):
Daniel Borkmannf035a512016-09-09 02:45:29 +0200778 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100779 data), si->dst_reg, si->src_reg,
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700780 offsetof(struct bpf_perf_event_data_kern, data));
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100781 *insn++ = BPF_LDX_MEM(BPF_DW, si->dst_reg, si->dst_reg,
Daniel Borkmannf96da092017-07-02 02:13:27 +0200782 bpf_target_off(struct perf_sample_data, period, 8,
783 target_size));
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700784 break;
Teng Qin95da0cd2018-03-06 10:55:01 -0800785 case offsetof(struct bpf_perf_event_data, addr):
786 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
787 data), si->dst_reg, si->src_reg,
788 offsetof(struct bpf_perf_event_data_kern, data));
789 *insn++ = BPF_LDX_MEM(BPF_DW, si->dst_reg, si->dst_reg,
790 bpf_target_off(struct perf_sample_data, addr, 8,
791 target_size));
792 break;
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700793 default:
Daniel Borkmannf035a512016-09-09 02:45:29 +0200794 *insn++ = BPF_LDX_MEM(BPF_FIELD_SIZEOF(struct bpf_perf_event_data_kern,
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100795 regs), si->dst_reg, si->src_reg,
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700796 offsetof(struct bpf_perf_event_data_kern, regs));
Daniel Borkmann6b8cc1d2017-01-12 11:51:32 +0100797 *insn++ = BPF_LDX_MEM(BPF_SIZEOF(long), si->dst_reg, si->dst_reg,
798 si->off);
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700799 break;
800 }
801
802 return insn - insn_buf;
803}
804
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700805const struct bpf_verifier_ops perf_event_verifier_ops = {
Yonghong Songf005afe2018-03-20 11:19:17 -0700806 .get_func_proto = pe_prog_func_proto,
Alexei Starovoitov0515e592016-09-01 18:37:22 -0700807 .is_valid_access = pe_prog_is_valid_access,
808 .convert_ctx_access = pe_prog_convert_ctx_access,
809};
Jakub Kicinski7de16e32017-10-16 16:40:53 -0700810
811const struct bpf_prog_ops perf_event_prog_ops = {
812};
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700813
814static DEFINE_MUTEX(bpf_event_mutex);
815
Yonghong Songc8c088b2017-11-30 13:47:54 -0800816#define BPF_TRACE_MAX_PROGS 64
817
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700818int perf_event_attach_bpf_prog(struct perf_event *event,
819 struct bpf_prog *prog)
820{
821 struct bpf_prog_array __rcu *old_array;
822 struct bpf_prog_array *new_array;
823 int ret = -EEXIST;
824
Josef Bacik9802d862017-12-11 11:36:48 -0500825 /*
Masami Hiramatsub4da3342018-01-13 02:54:04 +0900826 * Kprobe override only works if they are on the function entry,
827 * and only if they are on the opt-in list.
Josef Bacik9802d862017-12-11 11:36:48 -0500828 */
829 if (prog->kprobe_override &&
Masami Hiramatsub4da3342018-01-13 02:54:04 +0900830 (!trace_kprobe_on_func_entry(event->tp_event) ||
Josef Bacik9802d862017-12-11 11:36:48 -0500831 !trace_kprobe_error_injectable(event->tp_event)))
832 return -EINVAL;
833
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700834 mutex_lock(&bpf_event_mutex);
835
836 if (event->prog)
Yonghong Song07c41a22017-10-30 13:50:22 -0700837 goto unlock;
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700838
Yonghong Song07c41a22017-10-30 13:50:22 -0700839 old_array = event->tp_event->prog_array;
Yonghong Songc8c088b2017-11-30 13:47:54 -0800840 if (old_array &&
841 bpf_prog_array_length(old_array) >= BPF_TRACE_MAX_PROGS) {
842 ret = -E2BIG;
843 goto unlock;
844 }
845
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700846 ret = bpf_prog_array_copy(old_array, NULL, prog, &new_array);
847 if (ret < 0)
Yonghong Song07c41a22017-10-30 13:50:22 -0700848 goto unlock;
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700849
850 /* set the new array to event->tp_event and set event->prog */
851 event->prog = prog;
852 rcu_assign_pointer(event->tp_event->prog_array, new_array);
853 bpf_prog_array_free(old_array);
854
Yonghong Song07c41a22017-10-30 13:50:22 -0700855unlock:
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700856 mutex_unlock(&bpf_event_mutex);
857 return ret;
858}
859
860void perf_event_detach_bpf_prog(struct perf_event *event)
861{
862 struct bpf_prog_array __rcu *old_array;
863 struct bpf_prog_array *new_array;
864 int ret;
865
866 mutex_lock(&bpf_event_mutex);
867
868 if (!event->prog)
Yonghong Song07c41a22017-10-30 13:50:22 -0700869 goto unlock;
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700870
Yonghong Song07c41a22017-10-30 13:50:22 -0700871 old_array = event->tp_event->prog_array;
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700872 ret = bpf_prog_array_copy(old_array, event->prog, NULL, &new_array);
873 if (ret < 0) {
874 bpf_prog_array_delete_safe(old_array, event->prog);
875 } else {
876 rcu_assign_pointer(event->tp_event->prog_array, new_array);
877 bpf_prog_array_free(old_array);
878 }
879
880 bpf_prog_put(event->prog);
881 event->prog = NULL;
882
Yonghong Song07c41a22017-10-30 13:50:22 -0700883unlock:
Yonghong Songe87c6bc2017-10-23 23:53:08 -0700884 mutex_unlock(&bpf_event_mutex);
885}
Yonghong Songf371b302017-12-11 11:39:02 -0800886
Yonghong Songf4e22982017-12-13 10:35:37 -0800887int perf_event_query_prog_array(struct perf_event *event, void __user *info)
Yonghong Songf371b302017-12-11 11:39:02 -0800888{
889 struct perf_event_query_bpf __user *uquery = info;
890 struct perf_event_query_bpf query = {};
891 int ret;
892
893 if (!capable(CAP_SYS_ADMIN))
894 return -EPERM;
895 if (event->attr.type != PERF_TYPE_TRACEPOINT)
896 return -EINVAL;
897 if (copy_from_user(&query, uquery, sizeof(query)))
898 return -EFAULT;
Daniel Borkmann9c481b92018-02-14 15:31:00 +0100899 if (query.ids_len > BPF_TRACE_MAX_PROGS)
900 return -E2BIG;
Yonghong Songf371b302017-12-11 11:39:02 -0800901
902 mutex_lock(&bpf_event_mutex);
903 ret = bpf_prog_array_copy_info(event->tp_event->prog_array,
904 uquery->ids,
905 query.ids_len,
906 &uquery->prog_cnt);
907 mutex_unlock(&bpf_event_mutex);
908
909 return ret;
910}