Skip to content

Commit 74fe2e4

Browse files
tvyavahaKernel Patches Daemon
authored and
Kernel Patches Daemon
committed
selftests/xsk: Add tail adjustment tests and support check
Introduce tail adjustment functionality in xskxceiver using bpf_xdp_adjust_tail(). Add `xsk_xdp_adjust_tail` to modify packet sizes and drop unmodified packets. Implement `is_adjust_tail_supported` to check helper availability. Develop packet resizing tests, including shrinking and growing scenarios, with functions for both single-buffer and multi-buffer cases. Update the test framework to handle various scenarios and adjust MTU settings. These changes enhance the testing of packet tail adjustments, improving AF_XDP framework reliability. Signed-off-by: Tushar Vyavahare <[email protected]>
1 parent 8d41ed9 commit 74fe2e4

File tree

4 files changed

+157
-2
lines changed

4 files changed

+157
-2
lines changed

tools/testing/selftests/bpf/progs/xsk_xdp_progs.c

+49
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@
44
#include <linux/bpf.h>
55
#include <bpf/bpf_helpers.h>
66
#include <linux/if_ether.h>
7+
#include <linux/ip.h>
8+
#include <linux/errno.h>
79
#include "xsk_xdp_common.h"
810

911
struct {
@@ -14,6 +16,7 @@ struct {
1416
} xsk SEC(".maps");
1517

1618
static unsigned int idx;
19+
int adjust_value = 0;
1720
int count = 0;
1821

1922
SEC("xdp.frags") int xsk_def_prog(struct xdp_md *xdp)
@@ -70,4 +73,50 @@ SEC("xdp") int xsk_xdp_shared_umem(struct xdp_md *xdp)
7073
return bpf_redirect_map(&xsk, idx, XDP_DROP);
7174
}
7275

76+
SEC("xdp.frags") int xsk_xdp_adjust_tail(struct xdp_md *xdp)
77+
{
78+
__u32 buff_len, curr_buff_len;
79+
int ret;
80+
81+
buff_len = bpf_xdp_get_buff_len(xdp);
82+
if (buff_len == 0)
83+
return XDP_DROP;
84+
85+
ret = bpf_xdp_adjust_tail(xdp, adjust_value);
86+
if (ret < 0) {
87+
/* Handle unsupported cases */
88+
if (ret == -EOPNOTSUPP) {
89+
/* Set adjust_value to -EOPNOTSUPP to indicate to userspace that this case
90+
* is unsupported
91+
*/
92+
adjust_value = -EOPNOTSUPP;
93+
return bpf_redirect_map(&xsk, 0, XDP_DROP);
94+
}
95+
96+
return XDP_DROP;
97+
}
98+
99+
curr_buff_len = bpf_xdp_get_buff_len(xdp);
100+
if (curr_buff_len != buff_len + adjust_value)
101+
return XDP_DROP;
102+
103+
if (curr_buff_len > buff_len) {
104+
__u32 *pkt_data = (void *)(long)xdp->data;
105+
__u32 len, words_to_end, seq_num;
106+
107+
len = curr_buff_len - PKT_HDR_ALIGN;
108+
words_to_end = len / sizeof(*pkt_data) - 1;
109+
seq_num = words_to_end;
110+
111+
/* Convert sequence number to network byte order. Store this in the last 4 bytes of
112+
* the packet. Use 'adjust_value' to determine the position at the end of the
113+
* packet for storing the sequence number.
114+
*/
115+
seq_num = __constant_htonl(words_to_end);
116+
bpf_xdp_store_bytes(xdp, curr_buff_len - adjust_value, &seq_num, sizeof(seq_num));
117+
}
118+
119+
return bpf_redirect_map(&xsk, 0, XDP_DROP);
120+
}
121+
73122
char _license[] SEC("license") = "GPL";

tools/testing/selftests/bpf/xsk_xdp_common.h

+1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
#define XSK_XDP_COMMON_H_
55

66
#define MAX_SOCKETS 2
7+
#define PKT_HDR_ALIGN (sizeof(struct ethhdr) + 2) /* Just to align the data in the packet */
78

89
struct xdp_info {
910
__u64 count;

tools/testing/selftests/bpf/xskxceiver.c

+105-2
Original file line numberDiff line numberDiff line change
@@ -524,6 +524,8 @@ static void __test_spec_init(struct test_spec *test, struct ifobject *ifobj_tx,
524524
test->nb_sockets = 1;
525525
test->fail = false;
526526
test->set_ring = false;
527+
test->adjust_tail = false;
528+
test->adjust_tail_support = false;
527529
test->mtu = MAX_ETH_PKT_SIZE;
528530
test->xdp_prog_rx = ifobj_rx->xdp_progs->progs.xsk_def_prog;
529531
test->xskmap_rx = ifobj_rx->xdp_progs->maps.xsk;
@@ -992,6 +994,31 @@ static bool is_metadata_correct(struct pkt *pkt, void *buffer, u64 addr)
992994
return true;
993995
}
994996

997+
static bool is_adjust_tail_supported(struct xsk_xdp_progs *skel_rx)
998+
{
999+
struct bpf_map *data_map;
1000+
int adjust_value = 0;
1001+
int key = 0;
1002+
int ret;
1003+
1004+
data_map = bpf_object__find_map_by_name(skel_rx->obj, "xsk_xdp_.bss");
1005+
if (!data_map || !bpf_map__is_internal(data_map)) {
1006+
ksft_print_msg("Error: could not find bss section of XDP program\n");
1007+
exit_with_error(errno);
1008+
}
1009+
1010+
ret = bpf_map_lookup_elem(bpf_map__fd(data_map), &key, &adjust_value);
1011+
if (ret) {
1012+
ksft_print_msg("Error: bpf_map_lookup_elem failed with error %d\n", ret);
1013+
return false;
1014+
}
1015+
1016+
/* Set the 'adjust_value' variable to -EOPNOTSUPP in the XDP program if the adjust_tail
1017+
* helper is not supported. Skip the adjust_tail test case in this scenario.
1018+
*/
1019+
return adjust_value != -EOPNOTSUPP;
1020+
}
1021+
9951022
static bool is_frag_valid(struct xsk_umem_info *umem, u64 addr, u32 len, u32 expected_pkt_nb,
9961023
u32 bytes_processed)
9971024
{
@@ -1768,8 +1795,13 @@ static void *worker_testapp_validate_rx(void *arg)
17681795

17691796
if (!err && ifobject->validation_func)
17701797
err = ifobject->validation_func(ifobject);
1771-
if (err)
1772-
report_failure(test);
1798+
1799+
if (err) {
1800+
if (test->adjust_tail && !is_adjust_tail_supported(ifobject->xdp_progs))
1801+
test->adjust_tail_support = false;
1802+
else
1803+
report_failure(test);
1804+
}
17731805

17741806
pthread_exit(NULL);
17751807
}
@@ -2516,6 +2548,73 @@ static int testapp_hw_sw_max_ring_size(struct test_spec *test)
25162548
return testapp_validate_traffic(test);
25172549
}
25182550

2551+
static int testapp_xdp_adjust_tail(struct test_spec *test, int adjust_value)
2552+
{
2553+
struct xsk_xdp_progs *skel_rx = test->ifobj_rx->xdp_progs;
2554+
struct xsk_xdp_progs *skel_tx = test->ifobj_tx->xdp_progs;
2555+
2556+
test_spec_set_xdp_prog(test, skel_rx->progs.xsk_xdp_adjust_tail,
2557+
skel_tx->progs.xsk_xdp_adjust_tail,
2558+
skel_rx->maps.xsk, skel_tx->maps.xsk);
2559+
2560+
skel_rx->bss->adjust_value = adjust_value;
2561+
2562+
return testapp_validate_traffic(test);
2563+
}
2564+
2565+
static int testapp_adjust_tail(struct test_spec *test, u32 value, u32 pkt_len)
2566+
{
2567+
u32 pkt_cnt = DEFAULT_BATCH_SIZE;
2568+
int ret;
2569+
2570+
test->adjust_tail_support = true;
2571+
test->adjust_tail = true;
2572+
test->total_steps = 1;
2573+
2574+
pkt_stream_replace_ifobject(test->ifobj_tx, pkt_cnt, pkt_len);
2575+
pkt_stream_replace_ifobject(test->ifobj_rx, pkt_cnt, pkt_len + value);
2576+
2577+
ret = testapp_xdp_adjust_tail(test, value);
2578+
if (ret)
2579+
return ret;
2580+
2581+
if (!test->adjust_tail_support) {
2582+
ksft_test_result_skip("%s %sResize pkt with bpf_xdp_adjust_tail() not supported\n",
2583+
mode_string(test), busy_poll_string(test));
2584+
return TEST_SKIP;
2585+
}
2586+
2587+
return 0;
2588+
}
2589+
2590+
static int testapp_adjust_tail_common(struct test_spec *test, int adjust_value, u32 len,
2591+
bool set_mtu)
2592+
{
2593+
if (set_mtu)
2594+
test->mtu = MAX_ETH_JUMBO_SIZE;
2595+
return testapp_adjust_tail(test, adjust_value, len);
2596+
}
2597+
2598+
static int testapp_adjust_tail_shrink(struct test_spec *test)
2599+
{
2600+
return testapp_adjust_tail_common(test, -4, MIN_PKT_SIZE, false);
2601+
}
2602+
2603+
static int testapp_adjust_tail_shrink_mb(struct test_spec *test)
2604+
{
2605+
return testapp_adjust_tail_common(test, -4, XSK_RING_PROD__DEFAULT_NUM_DESCS * 3, true);
2606+
}
2607+
2608+
static int testapp_adjust_tail_grow(struct test_spec *test)
2609+
{
2610+
return testapp_adjust_tail_common(test, 4, MIN_PKT_SIZE, false);
2611+
}
2612+
2613+
static int testapp_adjust_tail_grow_mb(struct test_spec *test)
2614+
{
2615+
return testapp_adjust_tail_common(test, 4, XSK_RING_PROD__DEFAULT_NUM_DESCS * 3, true);
2616+
}
2617+
25192618
static void run_pkt_test(struct test_spec *test)
25202619
{
25212620
int ret;
@@ -2622,6 +2721,10 @@ static const struct test_spec tests[] = {
26222721
{.name = "TOO_MANY_FRAGS", .test_func = testapp_too_many_frags},
26232722
{.name = "HW_SW_MIN_RING_SIZE", .test_func = testapp_hw_sw_min_ring_size},
26242723
{.name = "HW_SW_MAX_RING_SIZE", .test_func = testapp_hw_sw_max_ring_size},
2724+
{.name = "XDP_ADJUST_TAIL_SHRINK", .test_func = testapp_adjust_tail_shrink},
2725+
{.name = "XDP_ADJUST_TAIL_SHRINK_MULTI_BUFF", .test_func = testapp_adjust_tail_shrink_mb},
2726+
{.name = "XDP_ADJUST_TAIL_GROW", .test_func = testapp_adjust_tail_grow},
2727+
{.name = "XDP_ADJUST_TAIL_GROW_MULTI_BUFF", .test_func = testapp_adjust_tail_grow_mb},
26252728
};
26262729

26272730
static void print_tests(void)

tools/testing/selftests/bpf/xskxceiver.h

+2
Original file line numberDiff line numberDiff line change
@@ -173,6 +173,8 @@ struct test_spec {
173173
u16 nb_sockets;
174174
bool fail;
175175
bool set_ring;
176+
bool adjust_tail;
177+
bool adjust_tail_support;
176178
enum test_mode mode;
177179
char name[MAX_TEST_NAME_SIZE];
178180
};

0 commit comments

Comments
 (0)