125763b3cSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 21cf1cae9SAlexei Starovoitov /* Copyright (c) 2017 Facebook 31cf1cae9SAlexei Starovoitov */ 41cf1cae9SAlexei Starovoitov #include <linux/bpf.h> 51cf1cae9SAlexei Starovoitov #include <linux/slab.h> 61cf1cae9SAlexei Starovoitov #include <linux/vmalloc.h> 71cf1cae9SAlexei Starovoitov #include <linux/etherdevice.h> 81cf1cae9SAlexei Starovoitov #include <linux/filter.h> 91cf1cae9SAlexei Starovoitov #include <linux/sched/signal.h> 106ac99e8fSMartin KaFai Lau #include <net/bpf_sk_storage.h> 112cb494a3SSong Liu #include <net/sock.h> 122cb494a3SSong Liu #include <net/tcp.h> 133d08b6f2SKP Singh #include <linux/error-injection.h> 141cf1cae9SAlexei Starovoitov 15e950e843SMatt Mullins #define CREATE_TRACE_POINTS 16e950e843SMatt Mullins #include <trace/events/bpf_test_run.h> 17e950e843SMatt Mullins 18df1a2cb7SStanislav Fomichev static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat, 19f23c4b39SBjörn Töpel u32 *retval, u32 *time, bool xdp) 201cf1cae9SAlexei Starovoitov { 2171b91a50SBo YU struct bpf_cgroup_storage *storage[MAX_BPF_CGROUP_STORAGE_TYPE] = { NULL }; 228bad74f9SRoman Gushchin enum bpf_cgroup_storage_type stype; 231cf1cae9SAlexei Starovoitov u64 time_start, time_spent = 0; 24df1a2cb7SStanislav Fomichev int ret = 0; 25dcb40590SRoman Gushchin u32 i; 261cf1cae9SAlexei Starovoitov 278bad74f9SRoman Gushchin for_each_cgroup_storage_type(stype) { 288bad74f9SRoman Gushchin storage[stype] = bpf_cgroup_storage_alloc(prog, stype); 298bad74f9SRoman Gushchin if (IS_ERR(storage[stype])) { 308bad74f9SRoman Gushchin storage[stype] = NULL; 318bad74f9SRoman Gushchin for_each_cgroup_storage_type(stype) 328bad74f9SRoman Gushchin bpf_cgroup_storage_free(storage[stype]); 338bad74f9SRoman Gushchin return -ENOMEM; 348bad74f9SRoman Gushchin } 358bad74f9SRoman Gushchin } 36f42ee093SRoman Gushchin 371cf1cae9SAlexei Starovoitov if (!repeat) 381cf1cae9SAlexei Starovoitov repeat = 1; 39df1a2cb7SStanislav Fomichev 40df1a2cb7SStanislav Fomichev rcu_read_lock(); 416eac7795SDavid Miller migrate_disable(); 421cf1cae9SAlexei Starovoitov time_start = ktime_get_ns(); 431cf1cae9SAlexei Starovoitov for (i = 0; i < repeat; i++) { 44df1a2cb7SStanislav Fomichev bpf_cgroup_storage_set(storage); 45f23c4b39SBjörn Töpel 46f23c4b39SBjörn Töpel if (xdp) 47f23c4b39SBjörn Töpel *retval = bpf_prog_run_xdp(prog, ctx); 48f23c4b39SBjörn Töpel else 49df1a2cb7SStanislav Fomichev *retval = BPF_PROG_RUN(prog, ctx); 50df1a2cb7SStanislav Fomichev 51df1a2cb7SStanislav Fomichev if (signal_pending(current)) { 52df1a2cb7SStanislav Fomichev ret = -EINTR; 531cf1cae9SAlexei Starovoitov break; 54df1a2cb7SStanislav Fomichev } 55df1a2cb7SStanislav Fomichev 56df1a2cb7SStanislav Fomichev if (need_resched()) { 571cf1cae9SAlexei Starovoitov time_spent += ktime_get_ns() - time_start; 586eac7795SDavid Miller migrate_enable(); 59df1a2cb7SStanislav Fomichev rcu_read_unlock(); 60df1a2cb7SStanislav Fomichev 611cf1cae9SAlexei Starovoitov cond_resched(); 62df1a2cb7SStanislav Fomichev 63df1a2cb7SStanislav Fomichev rcu_read_lock(); 646eac7795SDavid Miller migrate_disable(); 651cf1cae9SAlexei Starovoitov time_start = ktime_get_ns(); 661cf1cae9SAlexei Starovoitov } 671cf1cae9SAlexei Starovoitov } 681cf1cae9SAlexei Starovoitov time_spent += ktime_get_ns() - time_start; 696eac7795SDavid Miller migrate_enable(); 70df1a2cb7SStanislav Fomichev rcu_read_unlock(); 71df1a2cb7SStanislav Fomichev 721cf1cae9SAlexei Starovoitov do_div(time_spent, repeat); 731cf1cae9SAlexei Starovoitov *time = time_spent > U32_MAX ? U32_MAX : (u32)time_spent; 741cf1cae9SAlexei Starovoitov 758bad74f9SRoman Gushchin for_each_cgroup_storage_type(stype) 768bad74f9SRoman Gushchin bpf_cgroup_storage_free(storage[stype]); 77f42ee093SRoman Gushchin 78df1a2cb7SStanislav Fomichev return ret; 791cf1cae9SAlexei Starovoitov } 801cf1cae9SAlexei Starovoitov 8178e52272SDavid Miller static int bpf_test_finish(const union bpf_attr *kattr, 8278e52272SDavid Miller union bpf_attr __user *uattr, const void *data, 831cf1cae9SAlexei Starovoitov u32 size, u32 retval, u32 duration) 841cf1cae9SAlexei Starovoitov { 8578e52272SDavid Miller void __user *data_out = u64_to_user_ptr(kattr->test.data_out); 861cf1cae9SAlexei Starovoitov int err = -EFAULT; 87b5a36b1eSLorenz Bauer u32 copy_size = size; 881cf1cae9SAlexei Starovoitov 89b5a36b1eSLorenz Bauer /* Clamp copy if the user has provided a size hint, but copy the full 90b5a36b1eSLorenz Bauer * buffer if not to retain old behaviour. 91b5a36b1eSLorenz Bauer */ 92b5a36b1eSLorenz Bauer if (kattr->test.data_size_out && 93b5a36b1eSLorenz Bauer copy_size > kattr->test.data_size_out) { 94b5a36b1eSLorenz Bauer copy_size = kattr->test.data_size_out; 95b5a36b1eSLorenz Bauer err = -ENOSPC; 96b5a36b1eSLorenz Bauer } 97b5a36b1eSLorenz Bauer 98b5a36b1eSLorenz Bauer if (data_out && copy_to_user(data_out, data, copy_size)) 991cf1cae9SAlexei Starovoitov goto out; 1001cf1cae9SAlexei Starovoitov if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size))) 1011cf1cae9SAlexei Starovoitov goto out; 1021cf1cae9SAlexei Starovoitov if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval))) 1031cf1cae9SAlexei Starovoitov goto out; 1041cf1cae9SAlexei Starovoitov if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration))) 1051cf1cae9SAlexei Starovoitov goto out; 106b5a36b1eSLorenz Bauer if (err != -ENOSPC) 1071cf1cae9SAlexei Starovoitov err = 0; 1081cf1cae9SAlexei Starovoitov out: 109e950e843SMatt Mullins trace_bpf_test_finish(&err); 1101cf1cae9SAlexei Starovoitov return err; 1111cf1cae9SAlexei Starovoitov } 1121cf1cae9SAlexei Starovoitov 113faeb2dceSAlexei Starovoitov /* Integer types of various sizes and pointer combinations cover variety of 114faeb2dceSAlexei Starovoitov * architecture dependent calling conventions. 7+ can be supported in the 115faeb2dceSAlexei Starovoitov * future. 116faeb2dceSAlexei Starovoitov */ 117e9ff9d52SJean-Philippe Menil __diag_push(); 118e9ff9d52SJean-Philippe Menil __diag_ignore(GCC, 8, "-Wmissing-prototypes", 119e9ff9d52SJean-Philippe Menil "Global functions as their definitions will be in vmlinux BTF"); 120faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test1(int a) 121faeb2dceSAlexei Starovoitov { 122faeb2dceSAlexei Starovoitov return a + 1; 123faeb2dceSAlexei Starovoitov } 124faeb2dceSAlexei Starovoitov 125faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test2(int a, u64 b) 126faeb2dceSAlexei Starovoitov { 127faeb2dceSAlexei Starovoitov return a + b; 128faeb2dceSAlexei Starovoitov } 129faeb2dceSAlexei Starovoitov 130faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test3(char a, int b, u64 c) 131faeb2dceSAlexei Starovoitov { 132faeb2dceSAlexei Starovoitov return a + b + c; 133faeb2dceSAlexei Starovoitov } 134faeb2dceSAlexei Starovoitov 135faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test4(void *a, char b, int c, u64 d) 136faeb2dceSAlexei Starovoitov { 137faeb2dceSAlexei Starovoitov return (long)a + b + c + d; 138faeb2dceSAlexei Starovoitov } 139faeb2dceSAlexei Starovoitov 140faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e) 141faeb2dceSAlexei Starovoitov { 142faeb2dceSAlexei Starovoitov return a + (long)b + c + d + e; 143faeb2dceSAlexei Starovoitov } 144faeb2dceSAlexei Starovoitov 145faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f) 146faeb2dceSAlexei Starovoitov { 147faeb2dceSAlexei Starovoitov return a + (long)b + c + d + (long)e + f; 148faeb2dceSAlexei Starovoitov } 149faeb2dceSAlexei Starovoitov 1503d08b6f2SKP Singh int noinline bpf_modify_return_test(int a, int *b) 1513d08b6f2SKP Singh { 1523d08b6f2SKP Singh *b += 1; 1533d08b6f2SKP Singh return a + *b; 1543d08b6f2SKP Singh } 155e9ff9d52SJean-Philippe Menil __diag_pop(); 1563d08b6f2SKP Singh 1573d08b6f2SKP Singh ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO); 1583d08b6f2SKP Singh 1591cf1cae9SAlexei Starovoitov static void *bpf_test_init(const union bpf_attr *kattr, u32 size, 1601cf1cae9SAlexei Starovoitov u32 headroom, u32 tailroom) 1611cf1cae9SAlexei Starovoitov { 1621cf1cae9SAlexei Starovoitov void __user *data_in = u64_to_user_ptr(kattr->test.data_in); 1631cf1cae9SAlexei Starovoitov void *data; 1641cf1cae9SAlexei Starovoitov 1651cf1cae9SAlexei Starovoitov if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom) 1661cf1cae9SAlexei Starovoitov return ERR_PTR(-EINVAL); 1671cf1cae9SAlexei Starovoitov 1681cf1cae9SAlexei Starovoitov data = kzalloc(size + headroom + tailroom, GFP_USER); 1691cf1cae9SAlexei Starovoitov if (!data) 1701cf1cae9SAlexei Starovoitov return ERR_PTR(-ENOMEM); 1711cf1cae9SAlexei Starovoitov 1721cf1cae9SAlexei Starovoitov if (copy_from_user(data + headroom, data_in, size)) { 1731cf1cae9SAlexei Starovoitov kfree(data); 1741cf1cae9SAlexei Starovoitov return ERR_PTR(-EFAULT); 1751cf1cae9SAlexei Starovoitov } 176da00d2f1SKP Singh 177da00d2f1SKP Singh return data; 178da00d2f1SKP Singh } 179da00d2f1SKP Singh 180da00d2f1SKP Singh int bpf_prog_test_run_tracing(struct bpf_prog *prog, 181da00d2f1SKP Singh const union bpf_attr *kattr, 182da00d2f1SKP Singh union bpf_attr __user *uattr) 183da00d2f1SKP Singh { 1843d08b6f2SKP Singh u16 side_effect = 0, ret = 0; 1853d08b6f2SKP Singh int b = 2, err = -EFAULT; 1863d08b6f2SKP Singh u32 retval = 0; 187da00d2f1SKP Singh 188da00d2f1SKP Singh switch (prog->expected_attach_type) { 189da00d2f1SKP Singh case BPF_TRACE_FENTRY: 190da00d2f1SKP Singh case BPF_TRACE_FEXIT: 191faeb2dceSAlexei Starovoitov if (bpf_fentry_test1(1) != 2 || 192faeb2dceSAlexei Starovoitov bpf_fentry_test2(2, 3) != 5 || 193faeb2dceSAlexei Starovoitov bpf_fentry_test3(4, 5, 6) != 15 || 194faeb2dceSAlexei Starovoitov bpf_fentry_test4((void *)7, 8, 9, 10) != 34 || 195faeb2dceSAlexei Starovoitov bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 || 196da00d2f1SKP Singh bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111) 197da00d2f1SKP Singh goto out; 198da00d2f1SKP Singh break; 1993d08b6f2SKP Singh case BPF_MODIFY_RETURN: 2003d08b6f2SKP Singh ret = bpf_modify_return_test(1, &b); 2013d08b6f2SKP Singh if (b != 2) 2023d08b6f2SKP Singh side_effect = 1; 2033d08b6f2SKP Singh break; 204da00d2f1SKP Singh default: 205da00d2f1SKP Singh goto out; 206a25ecd9dSColin Ian King } 207da00d2f1SKP Singh 2083d08b6f2SKP Singh retval = ((u32)side_effect << 16) | ret; 2093d08b6f2SKP Singh if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval))) 2103d08b6f2SKP Singh goto out; 2113d08b6f2SKP Singh 212da00d2f1SKP Singh err = 0; 213da00d2f1SKP Singh out: 214da00d2f1SKP Singh trace_bpf_test_finish(&err); 215da00d2f1SKP Singh return err; 2161cf1cae9SAlexei Starovoitov } 2171cf1cae9SAlexei Starovoitov 218b0b9395dSStanislav Fomichev static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size) 219b0b9395dSStanislav Fomichev { 220b0b9395dSStanislav Fomichev void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in); 221b0b9395dSStanislav Fomichev void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out); 222b0b9395dSStanislav Fomichev u32 size = kattr->test.ctx_size_in; 223b0b9395dSStanislav Fomichev void *data; 224b0b9395dSStanislav Fomichev int err; 225b0b9395dSStanislav Fomichev 226b0b9395dSStanislav Fomichev if (!data_in && !data_out) 227b0b9395dSStanislav Fomichev return NULL; 228b0b9395dSStanislav Fomichev 229b0b9395dSStanislav Fomichev data = kzalloc(max_size, GFP_USER); 230b0b9395dSStanislav Fomichev if (!data) 231b0b9395dSStanislav Fomichev return ERR_PTR(-ENOMEM); 232b0b9395dSStanislav Fomichev 233b0b9395dSStanislav Fomichev if (data_in) { 234b0b9395dSStanislav Fomichev err = bpf_check_uarg_tail_zero(data_in, max_size, size); 235b0b9395dSStanislav Fomichev if (err) { 236b0b9395dSStanislav Fomichev kfree(data); 237b0b9395dSStanislav Fomichev return ERR_PTR(err); 238b0b9395dSStanislav Fomichev } 239b0b9395dSStanislav Fomichev 240b0b9395dSStanislav Fomichev size = min_t(u32, max_size, size); 241b0b9395dSStanislav Fomichev if (copy_from_user(data, data_in, size)) { 242b0b9395dSStanislav Fomichev kfree(data); 243b0b9395dSStanislav Fomichev return ERR_PTR(-EFAULT); 244b0b9395dSStanislav Fomichev } 245b0b9395dSStanislav Fomichev } 246b0b9395dSStanislav Fomichev return data; 247b0b9395dSStanislav Fomichev } 248b0b9395dSStanislav Fomichev 249b0b9395dSStanislav Fomichev static int bpf_ctx_finish(const union bpf_attr *kattr, 250b0b9395dSStanislav Fomichev union bpf_attr __user *uattr, const void *data, 251b0b9395dSStanislav Fomichev u32 size) 252b0b9395dSStanislav Fomichev { 253b0b9395dSStanislav Fomichev void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out); 254b0b9395dSStanislav Fomichev int err = -EFAULT; 255b0b9395dSStanislav Fomichev u32 copy_size = size; 256b0b9395dSStanislav Fomichev 257b0b9395dSStanislav Fomichev if (!data || !data_out) 258b0b9395dSStanislav Fomichev return 0; 259b0b9395dSStanislav Fomichev 260b0b9395dSStanislav Fomichev if (copy_size > kattr->test.ctx_size_out) { 261b0b9395dSStanislav Fomichev copy_size = kattr->test.ctx_size_out; 262b0b9395dSStanislav Fomichev err = -ENOSPC; 263b0b9395dSStanislav Fomichev } 264b0b9395dSStanislav Fomichev 265b0b9395dSStanislav Fomichev if (copy_to_user(data_out, data, copy_size)) 266b0b9395dSStanislav Fomichev goto out; 267b0b9395dSStanislav Fomichev if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size))) 268b0b9395dSStanislav Fomichev goto out; 269b0b9395dSStanislav Fomichev if (err != -ENOSPC) 270b0b9395dSStanislav Fomichev err = 0; 271b0b9395dSStanislav Fomichev out: 272b0b9395dSStanislav Fomichev return err; 273b0b9395dSStanislav Fomichev } 274b0b9395dSStanislav Fomichev 275b0b9395dSStanislav Fomichev /** 276b0b9395dSStanislav Fomichev * range_is_zero - test whether buffer is initialized 277b0b9395dSStanislav Fomichev * @buf: buffer to check 278b0b9395dSStanislav Fomichev * @from: check from this position 279b0b9395dSStanislav Fomichev * @to: check up until (excluding) this position 280b0b9395dSStanislav Fomichev * 281b0b9395dSStanislav Fomichev * This function returns true if the there is a non-zero byte 282b0b9395dSStanislav Fomichev * in the buf in the range [from,to). 283b0b9395dSStanislav Fomichev */ 284b0b9395dSStanislav Fomichev static inline bool range_is_zero(void *buf, size_t from, size_t to) 285b0b9395dSStanislav Fomichev { 286b0b9395dSStanislav Fomichev return !memchr_inv((u8 *)buf + from, 0, to - from); 287b0b9395dSStanislav Fomichev } 288b0b9395dSStanislav Fomichev 289b0b9395dSStanislav Fomichev static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb) 290b0b9395dSStanislav Fomichev { 291b0b9395dSStanislav Fomichev struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb; 292b0b9395dSStanislav Fomichev 293b0b9395dSStanislav Fomichev if (!__skb) 294b0b9395dSStanislav Fomichev return 0; 295b0b9395dSStanislav Fomichev 296b0b9395dSStanislav Fomichev /* make sure the fields we don't use are zeroed */ 2976de6c1f8SNikita V. Shirokov if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark))) 2986de6c1f8SNikita V. Shirokov return -EINVAL; 2996de6c1f8SNikita V. Shirokov 3006de6c1f8SNikita V. Shirokov /* mark is allowed */ 3016de6c1f8SNikita V. Shirokov 3026de6c1f8SNikita V. Shirokov if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark), 3036de6c1f8SNikita V. Shirokov offsetof(struct __sk_buff, priority))) 304b0b9395dSStanislav Fomichev return -EINVAL; 305b0b9395dSStanislav Fomichev 306b0b9395dSStanislav Fomichev /* priority is allowed */ 307b0b9395dSStanislav Fomichev 308b590cb5fSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority), 309b0b9395dSStanislav Fomichev offsetof(struct __sk_buff, cb))) 310b0b9395dSStanislav Fomichev return -EINVAL; 311b0b9395dSStanislav Fomichev 312b0b9395dSStanislav Fomichev /* cb is allowed */ 313b0b9395dSStanislav Fomichev 314b590cb5fSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb), 315ba940948SStanislav Fomichev offsetof(struct __sk_buff, tstamp))) 316ba940948SStanislav Fomichev return -EINVAL; 317ba940948SStanislav Fomichev 318ba940948SStanislav Fomichev /* tstamp is allowed */ 319850a88ccSStanislav Fomichev /* wire_len is allowed */ 320850a88ccSStanislav Fomichev /* gso_segs is allowed */ 321ba940948SStanislav Fomichev 322850a88ccSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs), 323cf62089bSWillem de Bruijn offsetof(struct __sk_buff, gso_size))) 324cf62089bSWillem de Bruijn return -EINVAL; 325cf62089bSWillem de Bruijn 326cf62089bSWillem de Bruijn /* gso_size is allowed */ 327cf62089bSWillem de Bruijn 328cf62089bSWillem de Bruijn if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size), 329b0b9395dSStanislav Fomichev sizeof(struct __sk_buff))) 330b0b9395dSStanislav Fomichev return -EINVAL; 331b0b9395dSStanislav Fomichev 3326de6c1f8SNikita V. Shirokov skb->mark = __skb->mark; 333b0b9395dSStanislav Fomichev skb->priority = __skb->priority; 334ba940948SStanislav Fomichev skb->tstamp = __skb->tstamp; 335b0b9395dSStanislav Fomichev memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN); 336b0b9395dSStanislav Fomichev 337850a88ccSStanislav Fomichev if (__skb->wire_len == 0) { 338850a88ccSStanislav Fomichev cb->pkt_len = skb->len; 339850a88ccSStanislav Fomichev } else { 340850a88ccSStanislav Fomichev if (__skb->wire_len < skb->len || 341850a88ccSStanislav Fomichev __skb->wire_len > GSO_MAX_SIZE) 342850a88ccSStanislav Fomichev return -EINVAL; 343850a88ccSStanislav Fomichev cb->pkt_len = __skb->wire_len; 344850a88ccSStanislav Fomichev } 345850a88ccSStanislav Fomichev 346850a88ccSStanislav Fomichev if (__skb->gso_segs > GSO_MAX_SEGS) 347850a88ccSStanislav Fomichev return -EINVAL; 348850a88ccSStanislav Fomichev skb_shinfo(skb)->gso_segs = __skb->gso_segs; 349cf62089bSWillem de Bruijn skb_shinfo(skb)->gso_size = __skb->gso_size; 350850a88ccSStanislav Fomichev 351b0b9395dSStanislav Fomichev return 0; 352b0b9395dSStanislav Fomichev } 353b0b9395dSStanislav Fomichev 354b0b9395dSStanislav Fomichev static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb) 355b0b9395dSStanislav Fomichev { 356b0b9395dSStanislav Fomichev struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb; 357b0b9395dSStanislav Fomichev 358b0b9395dSStanislav Fomichev if (!__skb) 359b0b9395dSStanislav Fomichev return; 360b0b9395dSStanislav Fomichev 3616de6c1f8SNikita V. Shirokov __skb->mark = skb->mark; 362b0b9395dSStanislav Fomichev __skb->priority = skb->priority; 363ba940948SStanislav Fomichev __skb->tstamp = skb->tstamp; 364b0b9395dSStanislav Fomichev memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN); 365850a88ccSStanislav Fomichev __skb->wire_len = cb->pkt_len; 366850a88ccSStanislav Fomichev __skb->gso_segs = skb_shinfo(skb)->gso_segs; 367b0b9395dSStanislav Fomichev } 368b0b9395dSStanislav Fomichev 3691cf1cae9SAlexei Starovoitov int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr, 3701cf1cae9SAlexei Starovoitov union bpf_attr __user *uattr) 3711cf1cae9SAlexei Starovoitov { 3721cf1cae9SAlexei Starovoitov bool is_l2 = false, is_direct_pkt_access = false; 3731cf1cae9SAlexei Starovoitov u32 size = kattr->test.data_size_in; 3741cf1cae9SAlexei Starovoitov u32 repeat = kattr->test.repeat; 375b0b9395dSStanislav Fomichev struct __sk_buff *ctx = NULL; 3761cf1cae9SAlexei Starovoitov u32 retval, duration; 3776e6fddc7SDaniel Borkmann int hh_len = ETH_HLEN; 3781cf1cae9SAlexei Starovoitov struct sk_buff *skb; 3792cb494a3SSong Liu struct sock *sk; 3801cf1cae9SAlexei Starovoitov void *data; 3811cf1cae9SAlexei Starovoitov int ret; 3821cf1cae9SAlexei Starovoitov 383586f8525SDavid Miller data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN, 3841cf1cae9SAlexei Starovoitov SKB_DATA_ALIGN(sizeof(struct skb_shared_info))); 3851cf1cae9SAlexei Starovoitov if (IS_ERR(data)) 3861cf1cae9SAlexei Starovoitov return PTR_ERR(data); 3871cf1cae9SAlexei Starovoitov 388b0b9395dSStanislav Fomichev ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff)); 389b0b9395dSStanislav Fomichev if (IS_ERR(ctx)) { 390b0b9395dSStanislav Fomichev kfree(data); 391b0b9395dSStanislav Fomichev return PTR_ERR(ctx); 392b0b9395dSStanislav Fomichev } 393b0b9395dSStanislav Fomichev 3941cf1cae9SAlexei Starovoitov switch (prog->type) { 3951cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_SCHED_CLS: 3961cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_SCHED_ACT: 3971cf1cae9SAlexei Starovoitov is_l2 = true; 3981cf1cae9SAlexei Starovoitov /* fall through */ 3991cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_IN: 4001cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_OUT: 4011cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_XMIT: 4021cf1cae9SAlexei Starovoitov is_direct_pkt_access = true; 4031cf1cae9SAlexei Starovoitov break; 4041cf1cae9SAlexei Starovoitov default: 4051cf1cae9SAlexei Starovoitov break; 4061cf1cae9SAlexei Starovoitov } 4071cf1cae9SAlexei Starovoitov 4082cb494a3SSong Liu sk = kzalloc(sizeof(struct sock), GFP_USER); 4092cb494a3SSong Liu if (!sk) { 4101cf1cae9SAlexei Starovoitov kfree(data); 411b0b9395dSStanislav Fomichev kfree(ctx); 4121cf1cae9SAlexei Starovoitov return -ENOMEM; 4131cf1cae9SAlexei Starovoitov } 4142cb494a3SSong Liu sock_net_set(sk, current->nsproxy->net_ns); 4152cb494a3SSong Liu sock_init_data(NULL, sk); 4162cb494a3SSong Liu 4172cb494a3SSong Liu skb = build_skb(data, 0); 4182cb494a3SSong Liu if (!skb) { 4192cb494a3SSong Liu kfree(data); 420b0b9395dSStanislav Fomichev kfree(ctx); 4212cb494a3SSong Liu kfree(sk); 4222cb494a3SSong Liu return -ENOMEM; 4232cb494a3SSong Liu } 4242cb494a3SSong Liu skb->sk = sk; 4251cf1cae9SAlexei Starovoitov 426586f8525SDavid Miller skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN); 4271cf1cae9SAlexei Starovoitov __skb_put(skb, size); 4281cf1cae9SAlexei Starovoitov skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev); 4291cf1cae9SAlexei Starovoitov skb_reset_network_header(skb); 4301cf1cae9SAlexei Starovoitov 4311cf1cae9SAlexei Starovoitov if (is_l2) 4326e6fddc7SDaniel Borkmann __skb_push(skb, hh_len); 4331cf1cae9SAlexei Starovoitov if (is_direct_pkt_access) 4346aaae2b6SDaniel Borkmann bpf_compute_data_pointers(skb); 435b0b9395dSStanislav Fomichev ret = convert___skb_to_skb(skb, ctx); 436b0b9395dSStanislav Fomichev if (ret) 437b0b9395dSStanislav Fomichev goto out; 438f23c4b39SBjörn Töpel ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false); 439b0b9395dSStanislav Fomichev if (ret) 440b0b9395dSStanislav Fomichev goto out; 4416e6fddc7SDaniel Borkmann if (!is_l2) { 4426e6fddc7SDaniel Borkmann if (skb_headroom(skb) < hh_len) { 4436e6fddc7SDaniel Borkmann int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb)); 4446e6fddc7SDaniel Borkmann 4456e6fddc7SDaniel Borkmann if (pskb_expand_head(skb, nhead, 0, GFP_USER)) { 446b0b9395dSStanislav Fomichev ret = -ENOMEM; 447b0b9395dSStanislav Fomichev goto out; 4486e6fddc7SDaniel Borkmann } 4496e6fddc7SDaniel Borkmann } 4506e6fddc7SDaniel Borkmann memset(__skb_push(skb, hh_len), 0, hh_len); 4516e6fddc7SDaniel Borkmann } 452b0b9395dSStanislav Fomichev convert_skb_to___skb(skb, ctx); 4536e6fddc7SDaniel Borkmann 4541cf1cae9SAlexei Starovoitov size = skb->len; 4551cf1cae9SAlexei Starovoitov /* bpf program can never convert linear skb to non-linear */ 4561cf1cae9SAlexei Starovoitov if (WARN_ON_ONCE(skb_is_nonlinear(skb))) 4571cf1cae9SAlexei Starovoitov size = skb_headlen(skb); 45878e52272SDavid Miller ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration); 459b0b9395dSStanislav Fomichev if (!ret) 460b0b9395dSStanislav Fomichev ret = bpf_ctx_finish(kattr, uattr, ctx, 461b0b9395dSStanislav Fomichev sizeof(struct __sk_buff)); 462b0b9395dSStanislav Fomichev out: 4631cf1cae9SAlexei Starovoitov kfree_skb(skb); 4646ac99e8fSMartin KaFai Lau bpf_sk_storage_free(sk); 4652cb494a3SSong Liu kfree(sk); 466b0b9395dSStanislav Fomichev kfree(ctx); 4671cf1cae9SAlexei Starovoitov return ret; 4681cf1cae9SAlexei Starovoitov } 4691cf1cae9SAlexei Starovoitov 4701cf1cae9SAlexei Starovoitov int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr, 4711cf1cae9SAlexei Starovoitov union bpf_attr __user *uattr) 4721cf1cae9SAlexei Starovoitov { 473*bc56c919SJesper Dangaard Brouer u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info)); 474*bc56c919SJesper Dangaard Brouer u32 headroom = XDP_PACKET_HEADROOM; 4751cf1cae9SAlexei Starovoitov u32 size = kattr->test.data_size_in; 4761cf1cae9SAlexei Starovoitov u32 repeat = kattr->test.repeat; 47765073a67SDaniel Borkmann struct netdev_rx_queue *rxqueue; 4781cf1cae9SAlexei Starovoitov struct xdp_buff xdp = {}; 4791cf1cae9SAlexei Starovoitov u32 retval, duration; 480*bc56c919SJesper Dangaard Brouer u32 max_data_sz; 4811cf1cae9SAlexei Starovoitov void *data; 4821cf1cae9SAlexei Starovoitov int ret; 4831cf1cae9SAlexei Starovoitov 484947e8b59SStanislav Fomichev if (kattr->test.ctx_in || kattr->test.ctx_out) 485947e8b59SStanislav Fomichev return -EINVAL; 486947e8b59SStanislav Fomichev 487*bc56c919SJesper Dangaard Brouer /* XDP have extra tailroom as (most) drivers use full page */ 488*bc56c919SJesper Dangaard Brouer max_data_sz = 4096 - headroom - tailroom; 489*bc56c919SJesper Dangaard Brouer if (size > max_data_sz) 490*bc56c919SJesper Dangaard Brouer return -EINVAL; 491*bc56c919SJesper Dangaard Brouer 492*bc56c919SJesper Dangaard Brouer data = bpf_test_init(kattr, max_data_sz, headroom, tailroom); 4931cf1cae9SAlexei Starovoitov if (IS_ERR(data)) 4941cf1cae9SAlexei Starovoitov return PTR_ERR(data); 4951cf1cae9SAlexei Starovoitov 4961cf1cae9SAlexei Starovoitov xdp.data_hard_start = data; 497*bc56c919SJesper Dangaard Brouer xdp.data = data + headroom; 498de8f3a83SDaniel Borkmann xdp.data_meta = xdp.data; 4991cf1cae9SAlexei Starovoitov xdp.data_end = xdp.data + size; 500*bc56c919SJesper Dangaard Brouer xdp.frame_sz = headroom + max_data_sz + tailroom; 5011cf1cae9SAlexei Starovoitov 50265073a67SDaniel Borkmann rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0); 50365073a67SDaniel Borkmann xdp.rxq = &rxqueue->xdp_rxq; 504f23c4b39SBjörn Töpel bpf_prog_change_xdp(NULL, prog); 505f23c4b39SBjörn Töpel ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true); 506dcb40590SRoman Gushchin if (ret) 507dcb40590SRoman Gushchin goto out; 508*bc56c919SJesper Dangaard Brouer if (xdp.data != data + headroom || xdp.data_end != xdp.data + size) 5091cf1cae9SAlexei Starovoitov size = xdp.data_end - xdp.data; 51078e52272SDavid Miller ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration); 511dcb40590SRoman Gushchin out: 512f23c4b39SBjörn Töpel bpf_prog_change_xdp(prog, NULL); 5131cf1cae9SAlexei Starovoitov kfree(data); 5141cf1cae9SAlexei Starovoitov return ret; 5151cf1cae9SAlexei Starovoitov } 516b7a1848eSStanislav Fomichev 517b2ca4e1cSStanislav Fomichev static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx) 518b2ca4e1cSStanislav Fomichev { 519b2ca4e1cSStanislav Fomichev /* make sure the fields we don't use are zeroed */ 520b2ca4e1cSStanislav Fomichev if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags))) 521b2ca4e1cSStanislav Fomichev return -EINVAL; 522b2ca4e1cSStanislav Fomichev 523b2ca4e1cSStanislav Fomichev /* flags is allowed */ 524b2ca4e1cSStanislav Fomichev 525b590cb5fSStanislav Fomichev if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags), 526b2ca4e1cSStanislav Fomichev sizeof(struct bpf_flow_keys))) 527b2ca4e1cSStanislav Fomichev return -EINVAL; 528b2ca4e1cSStanislav Fomichev 529b2ca4e1cSStanislav Fomichev return 0; 530b2ca4e1cSStanislav Fomichev } 531b2ca4e1cSStanislav Fomichev 532b7a1848eSStanislav Fomichev int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog, 533b7a1848eSStanislav Fomichev const union bpf_attr *kattr, 534b7a1848eSStanislav Fomichev union bpf_attr __user *uattr) 535b7a1848eSStanislav Fomichev { 536b7a1848eSStanislav Fomichev u32 size = kattr->test.data_size_in; 5377b8a1304SStanislav Fomichev struct bpf_flow_dissector ctx = {}; 538b7a1848eSStanislav Fomichev u32 repeat = kattr->test.repeat; 539b2ca4e1cSStanislav Fomichev struct bpf_flow_keys *user_ctx; 540b7a1848eSStanislav Fomichev struct bpf_flow_keys flow_keys; 541b7a1848eSStanislav Fomichev u64 time_start, time_spent = 0; 5427b8a1304SStanislav Fomichev const struct ethhdr *eth; 543b2ca4e1cSStanislav Fomichev unsigned int flags = 0; 544b7a1848eSStanislav Fomichev u32 retval, duration; 545b7a1848eSStanislav Fomichev void *data; 546b7a1848eSStanislav Fomichev int ret; 547b7a1848eSStanislav Fomichev u32 i; 548b7a1848eSStanislav Fomichev 549b7a1848eSStanislav Fomichev if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR) 550b7a1848eSStanislav Fomichev return -EINVAL; 551b7a1848eSStanislav Fomichev 5527b8a1304SStanislav Fomichev if (size < ETH_HLEN) 5537b8a1304SStanislav Fomichev return -EINVAL; 5547b8a1304SStanislav Fomichev 5557b8a1304SStanislav Fomichev data = bpf_test_init(kattr, size, 0, 0); 556b7a1848eSStanislav Fomichev if (IS_ERR(data)) 557b7a1848eSStanislav Fomichev return PTR_ERR(data); 558b7a1848eSStanislav Fomichev 5597b8a1304SStanislav Fomichev eth = (struct ethhdr *)data; 560b7a1848eSStanislav Fomichev 561b7a1848eSStanislav Fomichev if (!repeat) 562b7a1848eSStanislav Fomichev repeat = 1; 563b7a1848eSStanislav Fomichev 564b2ca4e1cSStanislav Fomichev user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys)); 565b2ca4e1cSStanislav Fomichev if (IS_ERR(user_ctx)) { 566b2ca4e1cSStanislav Fomichev kfree(data); 567b2ca4e1cSStanislav Fomichev return PTR_ERR(user_ctx); 568b2ca4e1cSStanislav Fomichev } 569b2ca4e1cSStanislav Fomichev if (user_ctx) { 570b2ca4e1cSStanislav Fomichev ret = verify_user_bpf_flow_keys(user_ctx); 571b2ca4e1cSStanislav Fomichev if (ret) 572b2ca4e1cSStanislav Fomichev goto out; 573b2ca4e1cSStanislav Fomichev flags = user_ctx->flags; 574b2ca4e1cSStanislav Fomichev } 575b2ca4e1cSStanislav Fomichev 5767b8a1304SStanislav Fomichev ctx.flow_keys = &flow_keys; 5777b8a1304SStanislav Fomichev ctx.data = data; 5787b8a1304SStanislav Fomichev ctx.data_end = (__u8 *)data + size; 5797b8a1304SStanislav Fomichev 580a439184dSStanislav Fomichev rcu_read_lock(); 581a439184dSStanislav Fomichev preempt_disable(); 582b7a1848eSStanislav Fomichev time_start = ktime_get_ns(); 583b7a1848eSStanislav Fomichev for (i = 0; i < repeat; i++) { 5847b8a1304SStanislav Fomichev retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN, 585b2ca4e1cSStanislav Fomichev size, flags); 5867b8a1304SStanislav Fomichev 587a439184dSStanislav Fomichev if (signal_pending(current)) { 588b7a1848eSStanislav Fomichev preempt_enable(); 589a439184dSStanislav Fomichev rcu_read_unlock(); 590a439184dSStanislav Fomichev 591a439184dSStanislav Fomichev ret = -EINTR; 592a439184dSStanislav Fomichev goto out; 593a439184dSStanislav Fomichev } 594b7a1848eSStanislav Fomichev 595b7a1848eSStanislav Fomichev if (need_resched()) { 596b7a1848eSStanislav Fomichev time_spent += ktime_get_ns() - time_start; 597a439184dSStanislav Fomichev preempt_enable(); 598a439184dSStanislav Fomichev rcu_read_unlock(); 599a439184dSStanislav Fomichev 600b7a1848eSStanislav Fomichev cond_resched(); 601a439184dSStanislav Fomichev 602a439184dSStanislav Fomichev rcu_read_lock(); 603a439184dSStanislav Fomichev preempt_disable(); 604b7a1848eSStanislav Fomichev time_start = ktime_get_ns(); 605b7a1848eSStanislav Fomichev } 606b7a1848eSStanislav Fomichev } 607b7a1848eSStanislav Fomichev time_spent += ktime_get_ns() - time_start; 608a439184dSStanislav Fomichev preempt_enable(); 609a439184dSStanislav Fomichev rcu_read_unlock(); 610a439184dSStanislav Fomichev 611b7a1848eSStanislav Fomichev do_div(time_spent, repeat); 612b7a1848eSStanislav Fomichev duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent; 613b7a1848eSStanislav Fomichev 614b7a1848eSStanislav Fomichev ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys), 615b7a1848eSStanislav Fomichev retval, duration); 616b2ca4e1cSStanislav Fomichev if (!ret) 617b2ca4e1cSStanislav Fomichev ret = bpf_ctx_finish(kattr, uattr, user_ctx, 618b2ca4e1cSStanislav Fomichev sizeof(struct bpf_flow_keys)); 619b7a1848eSStanislav Fomichev 620a439184dSStanislav Fomichev out: 621b2ca4e1cSStanislav Fomichev kfree(user_ctx); 6227b8a1304SStanislav Fomichev kfree(data); 623b7a1848eSStanislav Fomichev return ret; 624b7a1848eSStanislav Fomichev } 625