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); 163*d800bad6SJesper Dangaard Brouer u32 user_size = kattr->test.data_size_in; 1641cf1cae9SAlexei Starovoitov void *data; 1651cf1cae9SAlexei Starovoitov 1661cf1cae9SAlexei Starovoitov if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom) 1671cf1cae9SAlexei Starovoitov return ERR_PTR(-EINVAL); 1681cf1cae9SAlexei Starovoitov 169*d800bad6SJesper Dangaard Brouer if (user_size > size) 170*d800bad6SJesper Dangaard Brouer return ERR_PTR(-EMSGSIZE); 171*d800bad6SJesper Dangaard Brouer 1721cf1cae9SAlexei Starovoitov data = kzalloc(size + headroom + tailroom, GFP_USER); 1731cf1cae9SAlexei Starovoitov if (!data) 1741cf1cae9SAlexei Starovoitov return ERR_PTR(-ENOMEM); 1751cf1cae9SAlexei Starovoitov 176*d800bad6SJesper Dangaard Brouer if (copy_from_user(data + headroom, data_in, user_size)) { 1771cf1cae9SAlexei Starovoitov kfree(data); 1781cf1cae9SAlexei Starovoitov return ERR_PTR(-EFAULT); 1791cf1cae9SAlexei Starovoitov } 180da00d2f1SKP Singh 181da00d2f1SKP Singh return data; 182da00d2f1SKP Singh } 183da00d2f1SKP Singh 184da00d2f1SKP Singh int bpf_prog_test_run_tracing(struct bpf_prog *prog, 185da00d2f1SKP Singh const union bpf_attr *kattr, 186da00d2f1SKP Singh union bpf_attr __user *uattr) 187da00d2f1SKP Singh { 1883d08b6f2SKP Singh u16 side_effect = 0, ret = 0; 1893d08b6f2SKP Singh int b = 2, err = -EFAULT; 1903d08b6f2SKP Singh u32 retval = 0; 191da00d2f1SKP Singh 192da00d2f1SKP Singh switch (prog->expected_attach_type) { 193da00d2f1SKP Singh case BPF_TRACE_FENTRY: 194da00d2f1SKP Singh case BPF_TRACE_FEXIT: 195faeb2dceSAlexei Starovoitov if (bpf_fentry_test1(1) != 2 || 196faeb2dceSAlexei Starovoitov bpf_fentry_test2(2, 3) != 5 || 197faeb2dceSAlexei Starovoitov bpf_fentry_test3(4, 5, 6) != 15 || 198faeb2dceSAlexei Starovoitov bpf_fentry_test4((void *)7, 8, 9, 10) != 34 || 199faeb2dceSAlexei Starovoitov bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 || 200da00d2f1SKP Singh bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111) 201da00d2f1SKP Singh goto out; 202da00d2f1SKP Singh break; 2033d08b6f2SKP Singh case BPF_MODIFY_RETURN: 2043d08b6f2SKP Singh ret = bpf_modify_return_test(1, &b); 2053d08b6f2SKP Singh if (b != 2) 2063d08b6f2SKP Singh side_effect = 1; 2073d08b6f2SKP Singh break; 208da00d2f1SKP Singh default: 209da00d2f1SKP Singh goto out; 210a25ecd9dSColin Ian King } 211da00d2f1SKP Singh 2123d08b6f2SKP Singh retval = ((u32)side_effect << 16) | ret; 2133d08b6f2SKP Singh if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval))) 2143d08b6f2SKP Singh goto out; 2153d08b6f2SKP Singh 216da00d2f1SKP Singh err = 0; 217da00d2f1SKP Singh out: 218da00d2f1SKP Singh trace_bpf_test_finish(&err); 219da00d2f1SKP Singh return err; 2201cf1cae9SAlexei Starovoitov } 2211cf1cae9SAlexei Starovoitov 222b0b9395dSStanislav Fomichev static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size) 223b0b9395dSStanislav Fomichev { 224b0b9395dSStanislav Fomichev void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in); 225b0b9395dSStanislav Fomichev void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out); 226b0b9395dSStanislav Fomichev u32 size = kattr->test.ctx_size_in; 227b0b9395dSStanislav Fomichev void *data; 228b0b9395dSStanislav Fomichev int err; 229b0b9395dSStanislav Fomichev 230b0b9395dSStanislav Fomichev if (!data_in && !data_out) 231b0b9395dSStanislav Fomichev return NULL; 232b0b9395dSStanislav Fomichev 233b0b9395dSStanislav Fomichev data = kzalloc(max_size, GFP_USER); 234b0b9395dSStanislav Fomichev if (!data) 235b0b9395dSStanislav Fomichev return ERR_PTR(-ENOMEM); 236b0b9395dSStanislav Fomichev 237b0b9395dSStanislav Fomichev if (data_in) { 238b0b9395dSStanislav Fomichev err = bpf_check_uarg_tail_zero(data_in, max_size, size); 239b0b9395dSStanislav Fomichev if (err) { 240b0b9395dSStanislav Fomichev kfree(data); 241b0b9395dSStanislav Fomichev return ERR_PTR(err); 242b0b9395dSStanislav Fomichev } 243b0b9395dSStanislav Fomichev 244b0b9395dSStanislav Fomichev size = min_t(u32, max_size, size); 245b0b9395dSStanislav Fomichev if (copy_from_user(data, data_in, size)) { 246b0b9395dSStanislav Fomichev kfree(data); 247b0b9395dSStanislav Fomichev return ERR_PTR(-EFAULT); 248b0b9395dSStanislav Fomichev } 249b0b9395dSStanislav Fomichev } 250b0b9395dSStanislav Fomichev return data; 251b0b9395dSStanislav Fomichev } 252b0b9395dSStanislav Fomichev 253b0b9395dSStanislav Fomichev static int bpf_ctx_finish(const union bpf_attr *kattr, 254b0b9395dSStanislav Fomichev union bpf_attr __user *uattr, const void *data, 255b0b9395dSStanislav Fomichev u32 size) 256b0b9395dSStanislav Fomichev { 257b0b9395dSStanislav Fomichev void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out); 258b0b9395dSStanislav Fomichev int err = -EFAULT; 259b0b9395dSStanislav Fomichev u32 copy_size = size; 260b0b9395dSStanislav Fomichev 261b0b9395dSStanislav Fomichev if (!data || !data_out) 262b0b9395dSStanislav Fomichev return 0; 263b0b9395dSStanislav Fomichev 264b0b9395dSStanislav Fomichev if (copy_size > kattr->test.ctx_size_out) { 265b0b9395dSStanislav Fomichev copy_size = kattr->test.ctx_size_out; 266b0b9395dSStanislav Fomichev err = -ENOSPC; 267b0b9395dSStanislav Fomichev } 268b0b9395dSStanislav Fomichev 269b0b9395dSStanislav Fomichev if (copy_to_user(data_out, data, copy_size)) 270b0b9395dSStanislav Fomichev goto out; 271b0b9395dSStanislav Fomichev if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size))) 272b0b9395dSStanislav Fomichev goto out; 273b0b9395dSStanislav Fomichev if (err != -ENOSPC) 274b0b9395dSStanislav Fomichev err = 0; 275b0b9395dSStanislav Fomichev out: 276b0b9395dSStanislav Fomichev return err; 277b0b9395dSStanislav Fomichev } 278b0b9395dSStanislav Fomichev 279b0b9395dSStanislav Fomichev /** 280b0b9395dSStanislav Fomichev * range_is_zero - test whether buffer is initialized 281b0b9395dSStanislav Fomichev * @buf: buffer to check 282b0b9395dSStanislav Fomichev * @from: check from this position 283b0b9395dSStanislav Fomichev * @to: check up until (excluding) this position 284b0b9395dSStanislav Fomichev * 285b0b9395dSStanislav Fomichev * This function returns true if the there is a non-zero byte 286b0b9395dSStanislav Fomichev * in the buf in the range [from,to). 287b0b9395dSStanislav Fomichev */ 288b0b9395dSStanislav Fomichev static inline bool range_is_zero(void *buf, size_t from, size_t to) 289b0b9395dSStanislav Fomichev { 290b0b9395dSStanislav Fomichev return !memchr_inv((u8 *)buf + from, 0, to - from); 291b0b9395dSStanislav Fomichev } 292b0b9395dSStanislav Fomichev 293b0b9395dSStanislav Fomichev static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb) 294b0b9395dSStanislav Fomichev { 295b0b9395dSStanislav Fomichev struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb; 296b0b9395dSStanislav Fomichev 297b0b9395dSStanislav Fomichev if (!__skb) 298b0b9395dSStanislav Fomichev return 0; 299b0b9395dSStanislav Fomichev 300b0b9395dSStanislav Fomichev /* make sure the fields we don't use are zeroed */ 3016de6c1f8SNikita V. Shirokov if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark))) 3026de6c1f8SNikita V. Shirokov return -EINVAL; 3036de6c1f8SNikita V. Shirokov 3046de6c1f8SNikita V. Shirokov /* mark is allowed */ 3056de6c1f8SNikita V. Shirokov 3066de6c1f8SNikita V. Shirokov if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark), 3076de6c1f8SNikita V. Shirokov offsetof(struct __sk_buff, priority))) 308b0b9395dSStanislav Fomichev return -EINVAL; 309b0b9395dSStanislav Fomichev 310b0b9395dSStanislav Fomichev /* priority is allowed */ 311b0b9395dSStanislav Fomichev 312b590cb5fSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority), 313b0b9395dSStanislav Fomichev offsetof(struct __sk_buff, cb))) 314b0b9395dSStanislav Fomichev return -EINVAL; 315b0b9395dSStanislav Fomichev 316b0b9395dSStanislav Fomichev /* cb is allowed */ 317b0b9395dSStanislav Fomichev 318b590cb5fSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb), 319ba940948SStanislav Fomichev offsetof(struct __sk_buff, tstamp))) 320ba940948SStanislav Fomichev return -EINVAL; 321ba940948SStanislav Fomichev 322ba940948SStanislav Fomichev /* tstamp is allowed */ 323850a88ccSStanislav Fomichev /* wire_len is allowed */ 324850a88ccSStanislav Fomichev /* gso_segs is allowed */ 325ba940948SStanislav Fomichev 326850a88ccSStanislav Fomichev if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs), 327cf62089bSWillem de Bruijn offsetof(struct __sk_buff, gso_size))) 328cf62089bSWillem de Bruijn return -EINVAL; 329cf62089bSWillem de Bruijn 330cf62089bSWillem de Bruijn /* gso_size is allowed */ 331cf62089bSWillem de Bruijn 332cf62089bSWillem de Bruijn if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size), 333b0b9395dSStanislav Fomichev sizeof(struct __sk_buff))) 334b0b9395dSStanislav Fomichev return -EINVAL; 335b0b9395dSStanislav Fomichev 3366de6c1f8SNikita V. Shirokov skb->mark = __skb->mark; 337b0b9395dSStanislav Fomichev skb->priority = __skb->priority; 338ba940948SStanislav Fomichev skb->tstamp = __skb->tstamp; 339b0b9395dSStanislav Fomichev memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN); 340b0b9395dSStanislav Fomichev 341850a88ccSStanislav Fomichev if (__skb->wire_len == 0) { 342850a88ccSStanislav Fomichev cb->pkt_len = skb->len; 343850a88ccSStanislav Fomichev } else { 344850a88ccSStanislav Fomichev if (__skb->wire_len < skb->len || 345850a88ccSStanislav Fomichev __skb->wire_len > GSO_MAX_SIZE) 346850a88ccSStanislav Fomichev return -EINVAL; 347850a88ccSStanislav Fomichev cb->pkt_len = __skb->wire_len; 348850a88ccSStanislav Fomichev } 349850a88ccSStanislav Fomichev 350850a88ccSStanislav Fomichev if (__skb->gso_segs > GSO_MAX_SEGS) 351850a88ccSStanislav Fomichev return -EINVAL; 352850a88ccSStanislav Fomichev skb_shinfo(skb)->gso_segs = __skb->gso_segs; 353cf62089bSWillem de Bruijn skb_shinfo(skb)->gso_size = __skb->gso_size; 354850a88ccSStanislav Fomichev 355b0b9395dSStanislav Fomichev return 0; 356b0b9395dSStanislav Fomichev } 357b0b9395dSStanislav Fomichev 358b0b9395dSStanislav Fomichev static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb) 359b0b9395dSStanislav Fomichev { 360b0b9395dSStanislav Fomichev struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb; 361b0b9395dSStanislav Fomichev 362b0b9395dSStanislav Fomichev if (!__skb) 363b0b9395dSStanislav Fomichev return; 364b0b9395dSStanislav Fomichev 3656de6c1f8SNikita V. Shirokov __skb->mark = skb->mark; 366b0b9395dSStanislav Fomichev __skb->priority = skb->priority; 367ba940948SStanislav Fomichev __skb->tstamp = skb->tstamp; 368b0b9395dSStanislav Fomichev memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN); 369850a88ccSStanislav Fomichev __skb->wire_len = cb->pkt_len; 370850a88ccSStanislav Fomichev __skb->gso_segs = skb_shinfo(skb)->gso_segs; 371b0b9395dSStanislav Fomichev } 372b0b9395dSStanislav Fomichev 3731cf1cae9SAlexei Starovoitov int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr, 3741cf1cae9SAlexei Starovoitov union bpf_attr __user *uattr) 3751cf1cae9SAlexei Starovoitov { 3761cf1cae9SAlexei Starovoitov bool is_l2 = false, is_direct_pkt_access = false; 3771cf1cae9SAlexei Starovoitov u32 size = kattr->test.data_size_in; 3781cf1cae9SAlexei Starovoitov u32 repeat = kattr->test.repeat; 379b0b9395dSStanislav Fomichev struct __sk_buff *ctx = NULL; 3801cf1cae9SAlexei Starovoitov u32 retval, duration; 3816e6fddc7SDaniel Borkmann int hh_len = ETH_HLEN; 3821cf1cae9SAlexei Starovoitov struct sk_buff *skb; 3832cb494a3SSong Liu struct sock *sk; 3841cf1cae9SAlexei Starovoitov void *data; 3851cf1cae9SAlexei Starovoitov int ret; 3861cf1cae9SAlexei Starovoitov 387586f8525SDavid Miller data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN, 3881cf1cae9SAlexei Starovoitov SKB_DATA_ALIGN(sizeof(struct skb_shared_info))); 3891cf1cae9SAlexei Starovoitov if (IS_ERR(data)) 3901cf1cae9SAlexei Starovoitov return PTR_ERR(data); 3911cf1cae9SAlexei Starovoitov 392b0b9395dSStanislav Fomichev ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff)); 393b0b9395dSStanislav Fomichev if (IS_ERR(ctx)) { 394b0b9395dSStanislav Fomichev kfree(data); 395b0b9395dSStanislav Fomichev return PTR_ERR(ctx); 396b0b9395dSStanislav Fomichev } 397b0b9395dSStanislav Fomichev 3981cf1cae9SAlexei Starovoitov switch (prog->type) { 3991cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_SCHED_CLS: 4001cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_SCHED_ACT: 4011cf1cae9SAlexei Starovoitov is_l2 = true; 4021cf1cae9SAlexei Starovoitov /* fall through */ 4031cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_IN: 4041cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_OUT: 4051cf1cae9SAlexei Starovoitov case BPF_PROG_TYPE_LWT_XMIT: 4061cf1cae9SAlexei Starovoitov is_direct_pkt_access = true; 4071cf1cae9SAlexei Starovoitov break; 4081cf1cae9SAlexei Starovoitov default: 4091cf1cae9SAlexei Starovoitov break; 4101cf1cae9SAlexei Starovoitov } 4111cf1cae9SAlexei Starovoitov 4122cb494a3SSong Liu sk = kzalloc(sizeof(struct sock), GFP_USER); 4132cb494a3SSong Liu if (!sk) { 4141cf1cae9SAlexei Starovoitov kfree(data); 415b0b9395dSStanislav Fomichev kfree(ctx); 4161cf1cae9SAlexei Starovoitov return -ENOMEM; 4171cf1cae9SAlexei Starovoitov } 4182cb494a3SSong Liu sock_net_set(sk, current->nsproxy->net_ns); 4192cb494a3SSong Liu sock_init_data(NULL, sk); 4202cb494a3SSong Liu 4212cb494a3SSong Liu skb = build_skb(data, 0); 4222cb494a3SSong Liu if (!skb) { 4232cb494a3SSong Liu kfree(data); 424b0b9395dSStanislav Fomichev kfree(ctx); 4252cb494a3SSong Liu kfree(sk); 4262cb494a3SSong Liu return -ENOMEM; 4272cb494a3SSong Liu } 4282cb494a3SSong Liu skb->sk = sk; 4291cf1cae9SAlexei Starovoitov 430586f8525SDavid Miller skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN); 4311cf1cae9SAlexei Starovoitov __skb_put(skb, size); 4321cf1cae9SAlexei Starovoitov skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev); 4331cf1cae9SAlexei Starovoitov skb_reset_network_header(skb); 4341cf1cae9SAlexei Starovoitov 4351cf1cae9SAlexei Starovoitov if (is_l2) 4366e6fddc7SDaniel Borkmann __skb_push(skb, hh_len); 4371cf1cae9SAlexei Starovoitov if (is_direct_pkt_access) 4386aaae2b6SDaniel Borkmann bpf_compute_data_pointers(skb); 439b0b9395dSStanislav Fomichev ret = convert___skb_to_skb(skb, ctx); 440b0b9395dSStanislav Fomichev if (ret) 441b0b9395dSStanislav Fomichev goto out; 442f23c4b39SBjörn Töpel ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false); 443b0b9395dSStanislav Fomichev if (ret) 444b0b9395dSStanislav Fomichev goto out; 4456e6fddc7SDaniel Borkmann if (!is_l2) { 4466e6fddc7SDaniel Borkmann if (skb_headroom(skb) < hh_len) { 4476e6fddc7SDaniel Borkmann int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb)); 4486e6fddc7SDaniel Borkmann 4496e6fddc7SDaniel Borkmann if (pskb_expand_head(skb, nhead, 0, GFP_USER)) { 450b0b9395dSStanislav Fomichev ret = -ENOMEM; 451b0b9395dSStanislav Fomichev goto out; 4526e6fddc7SDaniel Borkmann } 4536e6fddc7SDaniel Borkmann } 4546e6fddc7SDaniel Borkmann memset(__skb_push(skb, hh_len), 0, hh_len); 4556e6fddc7SDaniel Borkmann } 456b0b9395dSStanislav Fomichev convert_skb_to___skb(skb, ctx); 4576e6fddc7SDaniel Borkmann 4581cf1cae9SAlexei Starovoitov size = skb->len; 4591cf1cae9SAlexei Starovoitov /* bpf program can never convert linear skb to non-linear */ 4601cf1cae9SAlexei Starovoitov if (WARN_ON_ONCE(skb_is_nonlinear(skb))) 4611cf1cae9SAlexei Starovoitov size = skb_headlen(skb); 46278e52272SDavid Miller ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration); 463b0b9395dSStanislav Fomichev if (!ret) 464b0b9395dSStanislav Fomichev ret = bpf_ctx_finish(kattr, uattr, ctx, 465b0b9395dSStanislav Fomichev sizeof(struct __sk_buff)); 466b0b9395dSStanislav Fomichev out: 4671cf1cae9SAlexei Starovoitov kfree_skb(skb); 4686ac99e8fSMartin KaFai Lau bpf_sk_storage_free(sk); 4692cb494a3SSong Liu kfree(sk); 470b0b9395dSStanislav Fomichev kfree(ctx); 4711cf1cae9SAlexei Starovoitov return ret; 4721cf1cae9SAlexei Starovoitov } 4731cf1cae9SAlexei Starovoitov 4741cf1cae9SAlexei Starovoitov int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr, 4751cf1cae9SAlexei Starovoitov union bpf_attr __user *uattr) 4761cf1cae9SAlexei Starovoitov { 477bc56c919SJesper Dangaard Brouer u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info)); 478bc56c919SJesper Dangaard Brouer u32 headroom = XDP_PACKET_HEADROOM; 4791cf1cae9SAlexei Starovoitov u32 size = kattr->test.data_size_in; 4801cf1cae9SAlexei Starovoitov u32 repeat = kattr->test.repeat; 48165073a67SDaniel Borkmann struct netdev_rx_queue *rxqueue; 4821cf1cae9SAlexei Starovoitov struct xdp_buff xdp = {}; 4831cf1cae9SAlexei Starovoitov u32 retval, duration; 484bc56c919SJesper Dangaard Brouer u32 max_data_sz; 4851cf1cae9SAlexei Starovoitov void *data; 4861cf1cae9SAlexei Starovoitov int ret; 4871cf1cae9SAlexei Starovoitov 488947e8b59SStanislav Fomichev if (kattr->test.ctx_in || kattr->test.ctx_out) 489947e8b59SStanislav Fomichev return -EINVAL; 490947e8b59SStanislav Fomichev 491bc56c919SJesper Dangaard Brouer /* XDP have extra tailroom as (most) drivers use full page */ 492bc56c919SJesper Dangaard Brouer max_data_sz = 4096 - headroom - tailroom; 493bc56c919SJesper Dangaard Brouer 494bc56c919SJesper Dangaard Brouer data = bpf_test_init(kattr, max_data_sz, headroom, tailroom); 4951cf1cae9SAlexei Starovoitov if (IS_ERR(data)) 4961cf1cae9SAlexei Starovoitov return PTR_ERR(data); 4971cf1cae9SAlexei Starovoitov 4981cf1cae9SAlexei Starovoitov xdp.data_hard_start = data; 499bc56c919SJesper Dangaard Brouer xdp.data = data + headroom; 500de8f3a83SDaniel Borkmann xdp.data_meta = xdp.data; 5011cf1cae9SAlexei Starovoitov xdp.data_end = xdp.data + size; 502bc56c919SJesper Dangaard Brouer xdp.frame_sz = headroom + max_data_sz + tailroom; 5031cf1cae9SAlexei Starovoitov 50465073a67SDaniel Borkmann rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0); 50565073a67SDaniel Borkmann xdp.rxq = &rxqueue->xdp_rxq; 506f23c4b39SBjörn Töpel bpf_prog_change_xdp(NULL, prog); 507f23c4b39SBjörn Töpel ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true); 508dcb40590SRoman Gushchin if (ret) 509dcb40590SRoman Gushchin goto out; 510bc56c919SJesper Dangaard Brouer if (xdp.data != data + headroom || xdp.data_end != xdp.data + size) 5111cf1cae9SAlexei Starovoitov size = xdp.data_end - xdp.data; 51278e52272SDavid Miller ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration); 513dcb40590SRoman Gushchin out: 514f23c4b39SBjörn Töpel bpf_prog_change_xdp(prog, NULL); 5151cf1cae9SAlexei Starovoitov kfree(data); 5161cf1cae9SAlexei Starovoitov return ret; 5171cf1cae9SAlexei Starovoitov } 518b7a1848eSStanislav Fomichev 519b2ca4e1cSStanislav Fomichev static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx) 520b2ca4e1cSStanislav Fomichev { 521b2ca4e1cSStanislav Fomichev /* make sure the fields we don't use are zeroed */ 522b2ca4e1cSStanislav Fomichev if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags))) 523b2ca4e1cSStanislav Fomichev return -EINVAL; 524b2ca4e1cSStanislav Fomichev 525b2ca4e1cSStanislav Fomichev /* flags is allowed */ 526b2ca4e1cSStanislav Fomichev 527b590cb5fSStanislav Fomichev if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags), 528b2ca4e1cSStanislav Fomichev sizeof(struct bpf_flow_keys))) 529b2ca4e1cSStanislav Fomichev return -EINVAL; 530b2ca4e1cSStanislav Fomichev 531b2ca4e1cSStanislav Fomichev return 0; 532b2ca4e1cSStanislav Fomichev } 533b2ca4e1cSStanislav Fomichev 534b7a1848eSStanislav Fomichev int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog, 535b7a1848eSStanislav Fomichev const union bpf_attr *kattr, 536b7a1848eSStanislav Fomichev union bpf_attr __user *uattr) 537b7a1848eSStanislav Fomichev { 538b7a1848eSStanislav Fomichev u32 size = kattr->test.data_size_in; 5397b8a1304SStanislav Fomichev struct bpf_flow_dissector ctx = {}; 540b7a1848eSStanislav Fomichev u32 repeat = kattr->test.repeat; 541b2ca4e1cSStanislav Fomichev struct bpf_flow_keys *user_ctx; 542b7a1848eSStanislav Fomichev struct bpf_flow_keys flow_keys; 543b7a1848eSStanislav Fomichev u64 time_start, time_spent = 0; 5447b8a1304SStanislav Fomichev const struct ethhdr *eth; 545b2ca4e1cSStanislav Fomichev unsigned int flags = 0; 546b7a1848eSStanislav Fomichev u32 retval, duration; 547b7a1848eSStanislav Fomichev void *data; 548b7a1848eSStanislav Fomichev int ret; 549b7a1848eSStanislav Fomichev u32 i; 550b7a1848eSStanislav Fomichev 551b7a1848eSStanislav Fomichev if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR) 552b7a1848eSStanislav Fomichev return -EINVAL; 553b7a1848eSStanislav Fomichev 5547b8a1304SStanislav Fomichev if (size < ETH_HLEN) 5557b8a1304SStanislav Fomichev return -EINVAL; 5567b8a1304SStanislav Fomichev 5577b8a1304SStanislav Fomichev data = bpf_test_init(kattr, size, 0, 0); 558b7a1848eSStanislav Fomichev if (IS_ERR(data)) 559b7a1848eSStanislav Fomichev return PTR_ERR(data); 560b7a1848eSStanislav Fomichev 5617b8a1304SStanislav Fomichev eth = (struct ethhdr *)data; 562b7a1848eSStanislav Fomichev 563b7a1848eSStanislav Fomichev if (!repeat) 564b7a1848eSStanislav Fomichev repeat = 1; 565b7a1848eSStanislav Fomichev 566b2ca4e1cSStanislav Fomichev user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys)); 567b2ca4e1cSStanislav Fomichev if (IS_ERR(user_ctx)) { 568b2ca4e1cSStanislav Fomichev kfree(data); 569b2ca4e1cSStanislav Fomichev return PTR_ERR(user_ctx); 570b2ca4e1cSStanislav Fomichev } 571b2ca4e1cSStanislav Fomichev if (user_ctx) { 572b2ca4e1cSStanislav Fomichev ret = verify_user_bpf_flow_keys(user_ctx); 573b2ca4e1cSStanislav Fomichev if (ret) 574b2ca4e1cSStanislav Fomichev goto out; 575b2ca4e1cSStanislav Fomichev flags = user_ctx->flags; 576b2ca4e1cSStanislav Fomichev } 577b2ca4e1cSStanislav Fomichev 5787b8a1304SStanislav Fomichev ctx.flow_keys = &flow_keys; 5797b8a1304SStanislav Fomichev ctx.data = data; 5807b8a1304SStanislav Fomichev ctx.data_end = (__u8 *)data + size; 5817b8a1304SStanislav Fomichev 582a439184dSStanislav Fomichev rcu_read_lock(); 583a439184dSStanislav Fomichev preempt_disable(); 584b7a1848eSStanislav Fomichev time_start = ktime_get_ns(); 585b7a1848eSStanislav Fomichev for (i = 0; i < repeat; i++) { 5867b8a1304SStanislav Fomichev retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN, 587b2ca4e1cSStanislav Fomichev size, flags); 5887b8a1304SStanislav Fomichev 589a439184dSStanislav Fomichev if (signal_pending(current)) { 590b7a1848eSStanislav Fomichev preempt_enable(); 591a439184dSStanislav Fomichev rcu_read_unlock(); 592a439184dSStanislav Fomichev 593a439184dSStanislav Fomichev ret = -EINTR; 594a439184dSStanislav Fomichev goto out; 595a439184dSStanislav Fomichev } 596b7a1848eSStanislav Fomichev 597b7a1848eSStanislav Fomichev if (need_resched()) { 598b7a1848eSStanislav Fomichev time_spent += ktime_get_ns() - time_start; 599a439184dSStanislav Fomichev preempt_enable(); 600a439184dSStanislav Fomichev rcu_read_unlock(); 601a439184dSStanislav Fomichev 602b7a1848eSStanislav Fomichev cond_resched(); 603a439184dSStanislav Fomichev 604a439184dSStanislav Fomichev rcu_read_lock(); 605a439184dSStanislav Fomichev preempt_disable(); 606b7a1848eSStanislav Fomichev time_start = ktime_get_ns(); 607b7a1848eSStanislav Fomichev } 608b7a1848eSStanislav Fomichev } 609b7a1848eSStanislav Fomichev time_spent += ktime_get_ns() - time_start; 610a439184dSStanislav Fomichev preempt_enable(); 611a439184dSStanislav Fomichev rcu_read_unlock(); 612a439184dSStanislav Fomichev 613b7a1848eSStanislav Fomichev do_div(time_spent, repeat); 614b7a1848eSStanislav Fomichev duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent; 615b7a1848eSStanislav Fomichev 616b7a1848eSStanislav Fomichev ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys), 617b7a1848eSStanislav Fomichev retval, duration); 618b2ca4e1cSStanislav Fomichev if (!ret) 619b2ca4e1cSStanislav Fomichev ret = bpf_ctx_finish(kattr, uattr, user_ctx, 620b2ca4e1cSStanislav Fomichev sizeof(struct bpf_flow_keys)); 621b7a1848eSStanislav Fomichev 622a439184dSStanislav Fomichev out: 623b2ca4e1cSStanislav Fomichev kfree(user_ctx); 6247b8a1304SStanislav Fomichev kfree(data); 625b7a1848eSStanislav Fomichev return ret; 626b7a1848eSStanislav Fomichev } 627