blob: d555c0d8657dad8414adf7a88ea0020c046f12c6 [file] [log] [blame]
Thomas Gleixner25763b32019-05-28 10:10:09 -07001// SPDX-License-Identifier: GPL-2.0-only
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07002/* Copyright (c) 2017 Facebook
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -07003 */
4#include <linux/bpf.h>
5#include <linux/slab.h>
6#include <linux/vmalloc.h>
7#include <linux/etherdevice.h>
8#include <linux/filter.h>
9#include <linux/sched/signal.h>
Martin KaFai Lau6ac99e82019-04-26 16:39:39 -070010#include <net/bpf_sk_storage.h>
Song Liu2cb494a2018-10-19 09:57:58 -070011#include <net/sock.h>
12#include <net/tcp.h>
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070013
Matt Mullinse950e842019-04-26 11:49:51 -070014#define CREATE_TRACE_POINTS
15#include <trace/events/bpf_test_run.h>
16
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080017static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
Björn Töpelf23c4b32019-12-13 18:51:10 +010018 u32 *retval, u32 *time, bool xdp)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070019{
Bo YU71b91a52019-03-08 01:45:51 -050020 struct bpf_cgroup_storage *storage[MAX_BPF_CGROUP_STORAGE_TYPE] = { NULL };
Roman Gushchin8bad74f2018-09-28 14:45:36 +000021 enum bpf_cgroup_storage_type stype;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070022 u64 time_start, time_spent = 0;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080023 int ret = 0;
Roman Gushchindcb40592018-12-01 10:39:44 -080024 u32 i;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070025
Roman Gushchin8bad74f2018-09-28 14:45:36 +000026 for_each_cgroup_storage_type(stype) {
27 storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
28 if (IS_ERR(storage[stype])) {
29 storage[stype] = NULL;
30 for_each_cgroup_storage_type(stype)
31 bpf_cgroup_storage_free(storage[stype]);
32 return -ENOMEM;
33 }
34 }
Roman Gushchinf42ee092018-08-02 14:27:27 -070035
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070036 if (!repeat)
37 repeat = 1;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080038
39 rcu_read_lock();
40 preempt_disable();
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070041 time_start = ktime_get_ns();
42 for (i = 0; i < repeat; i++) {
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080043 bpf_cgroup_storage_set(storage);
Björn Töpelf23c4b32019-12-13 18:51:10 +010044
45 if (xdp)
46 *retval = bpf_prog_run_xdp(prog, ctx);
47 else
48 *retval = BPF_PROG_RUN(prog, ctx);
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080049
50 if (signal_pending(current)) {
51 ret = -EINTR;
52 break;
53 }
54
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070055 if (need_resched()) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070056 time_spent += ktime_get_ns() - time_start;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080057 preempt_enable();
58 rcu_read_unlock();
59
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070060 cond_resched();
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080061
62 rcu_read_lock();
63 preempt_disable();
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070064 time_start = ktime_get_ns();
65 }
66 }
67 time_spent += ktime_get_ns() - time_start;
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080068 preempt_enable();
69 rcu_read_unlock();
70
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070071 do_div(time_spent, repeat);
72 *time = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
73
Roman Gushchin8bad74f2018-09-28 14:45:36 +000074 for_each_cgroup_storage_type(stype)
75 bpf_cgroup_storage_free(storage[stype]);
Roman Gushchinf42ee092018-08-02 14:27:27 -070076
Stanislav Fomichevdf1a2cb2019-02-12 15:42:38 -080077 return ret;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070078}
79
David Miller78e52272017-05-02 11:36:33 -040080static int bpf_test_finish(const union bpf_attr *kattr,
81 union bpf_attr __user *uattr, const void *data,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070082 u32 size, u32 retval, u32 duration)
83{
David Miller78e52272017-05-02 11:36:33 -040084 void __user *data_out = u64_to_user_ptr(kattr->test.data_out);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070085 int err = -EFAULT;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +000086 u32 copy_size = size;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070087
Lorenz Bauerb5a36b12018-12-03 11:31:23 +000088 /* Clamp copy if the user has provided a size hint, but copy the full
89 * buffer if not to retain old behaviour.
90 */
91 if (kattr->test.data_size_out &&
92 copy_size > kattr->test.data_size_out) {
93 copy_size = kattr->test.data_size_out;
94 err = -ENOSPC;
95 }
96
97 if (data_out && copy_to_user(data_out, data, copy_size))
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -070098 goto out;
99 if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size)))
100 goto out;
101 if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
102 goto out;
103 if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration)))
104 goto out;
Lorenz Bauerb5a36b12018-12-03 11:31:23 +0000105 if (err != -ENOSPC)
106 err = 0;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700107out:
Matt Mullinse950e842019-04-26 11:49:51 -0700108 trace_bpf_test_finish(&err);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700109 return err;
110}
111
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800112/* Integer types of various sizes and pointer combinations cover variety of
113 * architecture dependent calling conventions. 7+ can be supported in the
114 * future.
115 */
116int noinline bpf_fentry_test1(int a)
117{
118 return a + 1;
119}
120
121int noinline bpf_fentry_test2(int a, u64 b)
122{
123 return a + b;
124}
125
126int noinline bpf_fentry_test3(char a, int b, u64 c)
127{
128 return a + b + c;
129}
130
131int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
132{
133 return (long)a + b + c + d;
134}
135
136int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
137{
138 return a + (long)b + c + d + e;
139}
140
141int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
142{
143 return a + (long)b + c + d + (long)e + f;
144}
145
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700146static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
147 u32 headroom, u32 tailroom)
148{
149 void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
150 void *data;
151
152 if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
153 return ERR_PTR(-EINVAL);
154
155 data = kzalloc(size + headroom + tailroom, GFP_USER);
156 if (!data)
157 return ERR_PTR(-ENOMEM);
158
159 if (copy_from_user(data + headroom, data_in, size)) {
160 kfree(data);
161 return ERR_PTR(-EFAULT);
162 }
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800163 if (bpf_fentry_test1(1) != 2 ||
164 bpf_fentry_test2(2, 3) != 5 ||
165 bpf_fentry_test3(4, 5, 6) != 15 ||
166 bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
167 bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
Colin Ian Kinga25ecd92019-11-18 11:40:59 +0000168 bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111) {
169 kfree(data);
Alexei Starovoitovfaeb2dc2019-11-14 10:57:08 -0800170 return ERR_PTR(-EFAULT);
Colin Ian Kinga25ecd92019-11-18 11:40:59 +0000171 }
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700172 return data;
173}
174
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700175static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
176{
177 void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
178 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
179 u32 size = kattr->test.ctx_size_in;
180 void *data;
181 int err;
182
183 if (!data_in && !data_out)
184 return NULL;
185
186 data = kzalloc(max_size, GFP_USER);
187 if (!data)
188 return ERR_PTR(-ENOMEM);
189
190 if (data_in) {
191 err = bpf_check_uarg_tail_zero(data_in, max_size, size);
192 if (err) {
193 kfree(data);
194 return ERR_PTR(err);
195 }
196
197 size = min_t(u32, max_size, size);
198 if (copy_from_user(data, data_in, size)) {
199 kfree(data);
200 return ERR_PTR(-EFAULT);
201 }
202 }
203 return data;
204}
205
206static int bpf_ctx_finish(const union bpf_attr *kattr,
207 union bpf_attr __user *uattr, const void *data,
208 u32 size)
209{
210 void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
211 int err = -EFAULT;
212 u32 copy_size = size;
213
214 if (!data || !data_out)
215 return 0;
216
217 if (copy_size > kattr->test.ctx_size_out) {
218 copy_size = kattr->test.ctx_size_out;
219 err = -ENOSPC;
220 }
221
222 if (copy_to_user(data_out, data, copy_size))
223 goto out;
224 if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
225 goto out;
226 if (err != -ENOSPC)
227 err = 0;
228out:
229 return err;
230}
231
232/**
233 * range_is_zero - test whether buffer is initialized
234 * @buf: buffer to check
235 * @from: check from this position
236 * @to: check up until (excluding) this position
237 *
238 * This function returns true if the there is a non-zero byte
239 * in the buf in the range [from,to).
240 */
241static inline bool range_is_zero(void *buf, size_t from, size_t to)
242{
243 return !memchr_inv((u8 *)buf + from, 0, to - from);
244}
245
246static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
247{
248 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
249
250 if (!__skb)
251 return 0;
252
253 /* make sure the fields we don't use are zeroed */
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800254 if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
255 return -EINVAL;
256
257 /* mark is allowed */
258
259 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
260 offsetof(struct __sk_buff, priority)))
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700261 return -EINVAL;
262
263 /* priority is allowed */
264
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800265 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700266 offsetof(struct __sk_buff, cb)))
267 return -EINVAL;
268
269 /* cb is allowed */
270
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800271 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
Stanislav Fomichevba940942019-10-15 11:31:24 -0700272 offsetof(struct __sk_buff, tstamp)))
273 return -EINVAL;
274
275 /* tstamp is allowed */
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800276 /* wire_len is allowed */
277 /* gso_segs is allowed */
Stanislav Fomichevba940942019-10-15 11:31:24 -0700278
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800279 if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700280 sizeof(struct __sk_buff)))
281 return -EINVAL;
282
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800283 skb->mark = __skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700284 skb->priority = __skb->priority;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700285 skb->tstamp = __skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700286 memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
287
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800288 if (__skb->wire_len == 0) {
289 cb->pkt_len = skb->len;
290 } else {
291 if (__skb->wire_len < skb->len ||
292 __skb->wire_len > GSO_MAX_SIZE)
293 return -EINVAL;
294 cb->pkt_len = __skb->wire_len;
295 }
296
297 if (__skb->gso_segs > GSO_MAX_SEGS)
298 return -EINVAL;
299 skb_shinfo(skb)->gso_segs = __skb->gso_segs;
300
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700301 return 0;
302}
303
304static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
305{
306 struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
307
308 if (!__skb)
309 return;
310
Nikita V. Shirokov6de6c1f2019-12-18 12:57:47 -0800311 __skb->mark = skb->mark;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700312 __skb->priority = skb->priority;
Stanislav Fomichevba940942019-10-15 11:31:24 -0700313 __skb->tstamp = skb->tstamp;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700314 memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
Stanislav Fomichev850a88c2019-12-13 14:30:27 -0800315 __skb->wire_len = cb->pkt_len;
316 __skb->gso_segs = skb_shinfo(skb)->gso_segs;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700317}
318
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700319int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
320 union bpf_attr __user *uattr)
321{
322 bool is_l2 = false, is_direct_pkt_access = false;
323 u32 size = kattr->test.data_size_in;
324 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700325 struct __sk_buff *ctx = NULL;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700326 u32 retval, duration;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200327 int hh_len = ETH_HLEN;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700328 struct sk_buff *skb;
Song Liu2cb494a2018-10-19 09:57:58 -0700329 struct sock *sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700330 void *data;
331 int ret;
332
David Miller586f8522017-05-02 11:36:45 -0400333 data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700334 SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
335 if (IS_ERR(data))
336 return PTR_ERR(data);
337
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700338 ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
339 if (IS_ERR(ctx)) {
340 kfree(data);
341 return PTR_ERR(ctx);
342 }
343
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700344 switch (prog->type) {
345 case BPF_PROG_TYPE_SCHED_CLS:
346 case BPF_PROG_TYPE_SCHED_ACT:
347 is_l2 = true;
348 /* fall through */
349 case BPF_PROG_TYPE_LWT_IN:
350 case BPF_PROG_TYPE_LWT_OUT:
351 case BPF_PROG_TYPE_LWT_XMIT:
352 is_direct_pkt_access = true;
353 break;
354 default:
355 break;
356 }
357
Song Liu2cb494a2018-10-19 09:57:58 -0700358 sk = kzalloc(sizeof(struct sock), GFP_USER);
359 if (!sk) {
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700360 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700361 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700362 return -ENOMEM;
363 }
Song Liu2cb494a2018-10-19 09:57:58 -0700364 sock_net_set(sk, current->nsproxy->net_ns);
365 sock_init_data(NULL, sk);
366
367 skb = build_skb(data, 0);
368 if (!skb) {
369 kfree(data);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700370 kfree(ctx);
Song Liu2cb494a2018-10-19 09:57:58 -0700371 kfree(sk);
372 return -ENOMEM;
373 }
374 skb->sk = sk;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700375
David Miller586f8522017-05-02 11:36:45 -0400376 skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700377 __skb_put(skb, size);
378 skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev);
379 skb_reset_network_header(skb);
380
381 if (is_l2)
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200382 __skb_push(skb, hh_len);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700383 if (is_direct_pkt_access)
Daniel Borkmann6aaae2b2017-09-25 02:25:50 +0200384 bpf_compute_data_pointers(skb);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700385 ret = convert___skb_to_skb(skb, ctx);
386 if (ret)
387 goto out;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100388 ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700389 if (ret)
390 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200391 if (!is_l2) {
392 if (skb_headroom(skb) < hh_len) {
393 int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
394
395 if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700396 ret = -ENOMEM;
397 goto out;
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200398 }
399 }
400 memset(__skb_push(skb, hh_len), 0, hh_len);
401 }
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700402 convert_skb_to___skb(skb, ctx);
Daniel Borkmann6e6fddc2018-07-11 15:30:14 +0200403
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700404 size = skb->len;
405 /* bpf program can never convert linear skb to non-linear */
406 if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
407 size = skb_headlen(skb);
David Miller78e52272017-05-02 11:36:33 -0400408 ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700409 if (!ret)
410 ret = bpf_ctx_finish(kattr, uattr, ctx,
411 sizeof(struct __sk_buff));
412out:
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700413 kfree_skb(skb);
Martin KaFai Lau6ac99e82019-04-26 16:39:39 -0700414 bpf_sk_storage_free(sk);
Song Liu2cb494a2018-10-19 09:57:58 -0700415 kfree(sk);
Stanislav Fomichevb0b93952019-04-09 11:49:09 -0700416 kfree(ctx);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700417 return ret;
418}
419
420int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
421 union bpf_attr __user *uattr)
422{
423 u32 size = kattr->test.data_size_in;
424 u32 repeat = kattr->test.repeat;
Daniel Borkmann65073a62018-01-31 12:58:56 +0100425 struct netdev_rx_queue *rxqueue;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700426 struct xdp_buff xdp = {};
427 u32 retval, duration;
428 void *data;
429 int ret;
430
Stanislav Fomichev947e8b52019-04-11 15:47:07 -0700431 if (kattr->test.ctx_in || kattr->test.ctx_out)
432 return -EINVAL;
433
David Miller586f8522017-05-02 11:36:45 -0400434 data = bpf_test_init(kattr, size, XDP_PACKET_HEADROOM + NET_IP_ALIGN, 0);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700435 if (IS_ERR(data))
436 return PTR_ERR(data);
437
438 xdp.data_hard_start = data;
David Miller586f8522017-05-02 11:36:45 -0400439 xdp.data = data + XDP_PACKET_HEADROOM + NET_IP_ALIGN;
Daniel Borkmannde8f3a82017-09-25 02:25:51 +0200440 xdp.data_meta = xdp.data;
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700441 xdp.data_end = xdp.data + size;
442
Daniel Borkmann65073a62018-01-31 12:58:56 +0100443 rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
444 xdp.rxq = &rxqueue->xdp_rxq;
Björn Töpelf23c4b32019-12-13 18:51:10 +0100445 bpf_prog_change_xdp(NULL, prog);
446 ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
Roman Gushchindcb40592018-12-01 10:39:44 -0800447 if (ret)
448 goto out;
Nikita V. Shirokov587b80c2018-04-17 21:42:21 -0700449 if (xdp.data != data + XDP_PACKET_HEADROOM + NET_IP_ALIGN ||
450 xdp.data_end != xdp.data + size)
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700451 size = xdp.data_end - xdp.data;
David Miller78e52272017-05-02 11:36:33 -0400452 ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration);
Roman Gushchindcb40592018-12-01 10:39:44 -0800453out:
Björn Töpelf23c4b32019-12-13 18:51:10 +0100454 bpf_prog_change_xdp(prog, NULL);
Alexei Starovoitov1cf1cae2017-03-30 21:45:38 -0700455 kfree(data);
456 return ret;
457}
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800458
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700459static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
460{
461 /* make sure the fields we don't use are zeroed */
462 if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
463 return -EINVAL;
464
465 /* flags is allowed */
466
Stanislav Fomichevb590cb52019-12-10 11:19:33 -0800467 if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700468 sizeof(struct bpf_flow_keys)))
469 return -EINVAL;
470
471 return 0;
472}
473
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800474int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
475 const union bpf_attr *kattr,
476 union bpf_attr __user *uattr)
477{
478 u32 size = kattr->test.data_size_in;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700479 struct bpf_flow_dissector ctx = {};
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800480 u32 repeat = kattr->test.repeat;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700481 struct bpf_flow_keys *user_ctx;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800482 struct bpf_flow_keys flow_keys;
483 u64 time_start, time_spent = 0;
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700484 const struct ethhdr *eth;
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700485 unsigned int flags = 0;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800486 u32 retval, duration;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800487 void *data;
488 int ret;
489 u32 i;
490
491 if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
492 return -EINVAL;
493
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700494 if (size < ETH_HLEN)
495 return -EINVAL;
496
497 data = bpf_test_init(kattr, size, 0, 0);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800498 if (IS_ERR(data))
499 return PTR_ERR(data);
500
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700501 eth = (struct ethhdr *)data;
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800502
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800503 if (!repeat)
504 repeat = 1;
505
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700506 user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
507 if (IS_ERR(user_ctx)) {
508 kfree(data);
509 return PTR_ERR(user_ctx);
510 }
511 if (user_ctx) {
512 ret = verify_user_bpf_flow_keys(user_ctx);
513 if (ret)
514 goto out;
515 flags = user_ctx->flags;
516 }
517
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700518 ctx.flow_keys = &flow_keys;
519 ctx.data = data;
520 ctx.data_end = (__u8 *)data + size;
521
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800522 rcu_read_lock();
523 preempt_disable();
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800524 time_start = ktime_get_ns();
525 for (i = 0; i < repeat; i++) {
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700526 retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700527 size, flags);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700528
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800529 if (signal_pending(current)) {
530 preempt_enable();
531 rcu_read_unlock();
532
533 ret = -EINTR;
534 goto out;
535 }
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800536
537 if (need_resched()) {
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800538 time_spent += ktime_get_ns() - time_start;
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800539 preempt_enable();
540 rcu_read_unlock();
541
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800542 cond_resched();
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800543
544 rcu_read_lock();
545 preempt_disable();
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800546 time_start = ktime_get_ns();
547 }
548 }
549 time_spent += ktime_get_ns() - time_start;
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800550 preempt_enable();
551 rcu_read_unlock();
552
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800553 do_div(time_spent, repeat);
554 duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
555
556 ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
557 retval, duration);
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700558 if (!ret)
559 ret = bpf_ctx_finish(kattr, uattr, user_ctx,
560 sizeof(struct bpf_flow_keys));
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800561
Stanislav Fomicheva4391842019-02-19 10:54:17 -0800562out:
Stanislav Fomichevb2ca4e12019-07-25 15:52:27 -0700563 kfree(user_ctx);
Stanislav Fomichev7b8a1302019-04-22 08:55:45 -0700564 kfree(data);
Stanislav Fomichevb7a18482019-01-28 08:53:54 -0800565 return ret;
566}