Thread (13 messages) 13 messages, 4 authors, 2021-02-23

RE: [PATCH bpf-next 4/4] selftests/bpf: introduce xsk statistics tests

From: Loftus, Ciara <hidden>
Date: 2021-02-22 14:36:28
Also in: bpf

On Wed, Feb 17, 2021 at 04:02:14PM +0000, Ciara Loftus wrote:
quoted
This commit introduces a range of tests to the xsk testsuite
for validating xsk statistics.

A new test type called 'stats' is added. Within it there are
four sub-tests which test the following statistics:
1. rx dropped
2. tx invalid
3. rx ring full
4. fill queue empty

Each test configures a scenario which should trigger the given
error statistic. The test passes if the statistic is successfully
incremented.
Have you thought of adding a short description per each sub-test? This
would be helpful if you would mention how each particular is triggered.

Like, reducing the size of XSK Rx ring causes Rx drops and so on.

Reason why I'm asking for that is because personally I feel like 'tx
invalid' is a bit too generic name for a sub-test.
+1. I will add a description to both the commit log and inside xdpxceiver.c for good measure.
quoted
Signed-off-by: Ciara Loftus <redacted>
---
 tools/testing/selftests/bpf/xdpxceiver.c | 130 ++++++++++++++++++++--
-
quoted
 tools/testing/selftests/bpf/xdpxceiver.h |  13 +++
 2 files changed, 130 insertions(+), 13 deletions(-)
diff --git a/tools/testing/selftests/bpf/xdpxceiver.c
b/tools/testing/selftests/bpf/xdpxceiver.c
quoted
index 7cb4a13597d0..4647c89b2019 100644
--- a/tools/testing/selftests/bpf/xdpxceiver.c
+++ b/tools/testing/selftests/bpf/xdpxceiver.c
@@ -28,8 +28,11 @@
  *       Configure sockets as bi-directional tx/rx sockets, sets up fill and
  *       completion rings on each socket, tx/rx in both directions. Only nopoll
  *       mode is used
+ *    e. Statistics
+ *       Trigger some error conditions and ensure that the appropriate
statistics
quoted
+ *       are incremented.
  *
- * Total tests: 8
+ * Total tests: 10
  *
  * Flow:
  * -----
@@ -90,10 +93,11 @@ static void __exit_with_error(int error, const char
*file, const char *func, int
quoted
 #define exit_with_error(error) __exit_with_error(error, __FILE__,
__func__, __LINE__)
quoted
 #define print_ksft_result(void)\
-	(ksft_test_result_pass("PASS: %s %s %s%s\n", uut ? "DRV" : "SKB",\
+	(ksft_test_result_pass("PASS: %s %s %s%s%s\n", uut ? "DRV" :
"SKB",\
quoted
 			       test_type == TEST_TYPE_POLL ? "POLL" :
"NOPOLL",\
quoted
 			       test_type == TEST_TYPE_TEARDOWN ? "Socket
Teardown" : "",\
quoted
-			       test_type == TEST_TYPE_BIDI ? "Bi-directional
Sockets" : ""))
quoted
+			       test_type == TEST_TYPE_BIDI ? "Bi-directional
Sockets" : "",\
quoted
+			       test_type == TEST_TYPE_STATS ? "Stats" : ""))

 static void pthread_init_mutex(void)
 {
@@ -255,13 +259,20 @@ static void gen_eth_frame(struct xsk_umem_info
*umem, u64 addr)
quoted
 static void xsk_configure_umem(struct ifobject *data, void *buffer, u64
size)
quoted
 {
 	int ret;
+	struct xsk_umem_config cfg = {
+		.fill_size = XSK_RING_PROD__DEFAULT_NUM_DESCS,
+		.comp_size = XSK_RING_CONS__DEFAULT_NUM_DESCS,
+		.frame_size = XSK_UMEM__DEFAULT_FRAME_SIZE,
+		.frame_headroom = frame_headroom,
+		.flags = XSK_UMEM__DEFAULT_FLAGS
+	};

 	data->umem = calloc(1, sizeof(struct xsk_umem_info));
 	if (!data->umem)
 		exit_with_error(errno);

 	ret = xsk_umem__create(&data->umem->umem, buffer, size,
-			       &data->umem->fq, &data->umem->cq, NULL);
+			       &data->umem->fq, &data->umem->cq, &cfg);
 	if (ret)
 		exit_with_error(ret);
@@ -293,7 +304,7 @@ static int xsk_configure_socket(struct ifobject
*ifobject)
quoted
 		exit_with_error(errno);

 	ifobject->xsk->umem = ifobject->umem;
-	cfg.rx_size = XSK_RING_CONS__DEFAULT_NUM_DESCS;
+	cfg.rx_size = rxqsize;
 	cfg.tx_size = XSK_RING_PROD__DEFAULT_NUM_DESCS;
 	cfg.libbpf_flags = 0;
 	cfg.xdp_flags = xdp_flags;
@@ -555,6 +566,8 @@ static void tx_only(struct xsk_socket_info *xsk, u32
*frameptr, int batch_size)
quoted
 {
 	u32 idx;
 	unsigned int i;
+	bool tx_invalid_test = stat_test_type == STAT_TEST_TX_INVALID;
+	u32 len = tx_invalid_test ? XSK_UMEM__DEFAULT_FRAME_SIZE + 1 :
PKT_SIZE;
quoted
 	while (xsk_ring_prod__reserve(&xsk->tx, batch_size, &idx) <
batch_size)
quoted
 		complete_tx_only(xsk, batch_size);
@@ -563,11 +576,16 @@ static void tx_only(struct xsk_socket_info *xsk,
u32 *frameptr, int batch_size)
quoted
 		struct xdp_desc *tx_desc = xsk_ring_prod__tx_desc(&xsk-
tx, idx + i);

 		tx_desc->addr = (*frameptr + i) <<
XSK_UMEM__DEFAULT_FRAME_SHIFT;
quoted
-		tx_desc->len = PKT_SIZE;
+		tx_desc->len = len;
 	}

 	xsk_ring_prod__submit(&xsk->tx, batch_size);
-	xsk->outstanding_tx += batch_size;
+	if (!tx_invalid_test) {
+		xsk->outstanding_tx += batch_size;
+	} else {
+		if (!NEED_WAKEUP ||
xsk_ring_prod__needs_wakeup(&xsk->tx))
quoted
+			kick_tx(xsk);
+	}
 	*frameptr += batch_size;
 	*frameptr %= num_frames;
 	complete_tx_only(xsk, batch_size);
@@ -679,6 +697,48 @@ static void worker_pkt_dump(void)
 	}
 }

+static void worker_stats_validate(struct ifobject *ifobject)
+{
+	struct xdp_statistics stats;
+	socklen_t optlen;
+	int err;
+	struct xsk_socket *xsk = stat_test_type == STAT_TEST_TX_INVALID ?
+							ifdict[!ifobject-
ifdict_index]->xsk->xsk :
+							ifobject->xsk->xsk;
+	int fd = xsk_socket__fd(xsk);
+	unsigned long xsk_stat = 0, expected_stat = opt_pkt_count;
+
+	sigvar = 0;
+
+	optlen = sizeof(stats);
+	err = getsockopt(fd, SOL_XDP, XDP_STATISTICS, &stats, &optlen);
+	if (err)
+		return;
+
+	if (optlen == sizeof(struct xdp_statistics)) {
+		switch (stat_test_type) {
+		case STAT_TEST_RX_DROPPED:
+			xsk_stat = stats.rx_dropped;
+			break;
+		case STAT_TEST_TX_INVALID:
+			xsk_stat = stats.tx_invalid_descs;
+			break;
+		case STAT_TEST_RX_FULL:
+			xsk_stat = stats.rx_ring_full;
+			expected_stat -= RX_FULL_RXQSIZE;
+			break;
+		case STAT_TEST_RX_FILL_EMPTY:
+			xsk_stat = stats.rx_fill_ring_empty_descs;
+			break;
+		default:
+			break;
+		}
+
+		if (xsk_stat == expected_stat)
+			sigvar = 1;
+	}
+}
+
 static void worker_pkt_validate(void)
 {
 	u32 payloadseqnum = -2;
@@ -817,7 +877,8 @@ static void *worker_testapp_validate(void *arg)
 			thread_common_ops(ifobject, bufs,
&sync_mutex_tx, &spinning_rx);
quoted
 		print_verbose("Interface [%s] vector [Rx]\n", ifobject-
ifname);
-		xsk_populate_fill_ring(ifobject->umem);
+		if (stat_test_type != STAT_TEST_RX_FILL_EMPTY)
+			xsk_populate_fill_ring(ifobject->umem);

 		TAILQ_INIT(&head);
 		if (debug_pkt_dump) {
@@ -839,15 +900,21 @@ static void *worker_testapp_validate(void *arg)
 				if (ret <= 0)
 					continue;
 			}
-			rx_pkt(ifobject->xsk, fds);
-			worker_pkt_validate();
+
+			if (test_type != TEST_TYPE_STATS) {
+				rx_pkt(ifobject->xsk, fds);
+				worker_pkt_validate();
+			} else {
+				worker_stats_validate(ifobject);
+			}

 			if (sigvar)
 				break;
 		}

-		print_verbose("Received %d packets on interface %s\n",
-			       pkt_counter, ifobject->ifname);
+		if (test_type != TEST_TYPE_STATS)
+			print_verbose("Received %d packets on interface
%s\n",
quoted
+				pkt_counter, ifobject->ifname);

 		if (test_type == TEST_TYPE_TEARDOWN)
 			print_verbose("Destroying socket\n");
@@ -921,7 +988,7 @@ static void testapp_validate(void)
 		free(pkt_buf);
 	}

-	if (!(test_type == TEST_TYPE_TEARDOWN) && !bidi)
+	if (!(test_type == TEST_TYPE_TEARDOWN) && !bidi && !(test_type
== TEST_TYPE_STATS))
quoted
 		print_ksft_result();
 }
@@ -940,6 +1007,34 @@ static void testapp_sockets(void)
 	print_ksft_result();
 }

+static void testapp_stats(void)
+{
+	for (int i = 0; i < STAT_TEST_TYPE_MAX; i++) {
+		stat_test_type = i;
+
+		/* reset defaults */
+		rxqsize = XSK_RING_CONS__DEFAULT_NUM_DESCS;
+		frame_headroom =
XSK_UMEM__DEFAULT_FRAME_HEADROOM;
quoted
+
+		switch (stat_test_type) {
+		case STAT_TEST_RX_DROPPED:
+			frame_headroom =
XSK_UMEM__DEFAULT_FRAME_SIZE -
quoted
+						XDP_PACKET_HEADROOM -
1;
quoted
+			break;
+		case STAT_TEST_RX_FULL:
+			rxqsize = RX_FULL_RXQSIZE;
+			break;
+		default:
+			break;
+		}
+		pthread_init_mutex();
Do you really have to init/destroy mutexes per each iteration?
Good point. We don't. Will remove in v2.
quoted
+		testapp_validate();
+		pthread_destroy_mutex();
+	}
+
+	print_ksft_result();
+}
+
 static void init_iface_config(struct ifaceconfigobj *ifaceconfig)
 {
 	/*Init interface0 */
@@ -1021,6 +1116,10 @@ static void run_pkt_test(int mode, int type)
 	prev_pkt = -1;
 	ifdict[0]->fv.vector = tx;
 	ifdict[1]->fv.vector = rx;
+	sigvar = 0;
+	stat_test_type = -1;
+	rxqsize = XSK_RING_CONS__DEFAULT_NUM_DESCS;
+	frame_headroom = XSK_UMEM__DEFAULT_FRAME_HEADROOM;

 	switch (mode) {
 	case (TEST_MODE_SKB):
@@ -1039,6 +1138,11 @@ static void run_pkt_test(int mode, int type)
 		break;
 	}

+	if (test_type == TEST_TYPE_STATS) {
+		testapp_stats();
+		return;
+	}
Why this can't be a part of if/else if/else branch that below is picking
the test type?
Had this here since we were initializing and destroying the mutexes for each individual stats test.
Since that's no longer needed, this can be brought inline with the if/else branch below.

Thanks for the feedback!
Ciara
quoted
+
 	pthread_init_mutex();

 	if ((test_type != TEST_TYPE_TEARDOWN) && (test_type !=
TEST_TYPE_BIDI))
quoted
diff --git a/tools/testing/selftests/bpf/xdpxceiver.h
b/tools/testing/selftests/bpf/xdpxceiver.h
quoted
index 1127a396d5d0..4d0a80dbfef0 100644
--- a/tools/testing/selftests/bpf/xdpxceiver.h
+++ b/tools/testing/selftests/bpf/xdpxceiver.h
@@ -41,6 +41,7 @@
 #define BATCH_SIZE 64
 #define POLL_TMOUT 1000
 #define NEED_WAKEUP true
+#define RX_FULL_RXQSIZE 32

 #define print_verbose(x...) do { if (opt_verbose) ksft_print_msg(x); }
while (0)
quoted
@@ -59,9 +60,18 @@ enum TEST_TYPES {
 	TEST_TYPE_POLL,
 	TEST_TYPE_TEARDOWN,
 	TEST_TYPE_BIDI,
+	TEST_TYPE_STATS,
 	TEST_TYPE_MAX
 };

+enum STAT_TEST_TYPES {
+	STAT_TEST_RX_DROPPED,
+	STAT_TEST_TX_INVALID,
+	STAT_TEST_RX_FULL,
+	STAT_TEST_RX_FILL_EMPTY,
+	STAT_TEST_TYPE_MAX
+};
+
 static u8 uut;
 static u8 debug_pkt_dump;
 static u32 num_frames;
@@ -80,6 +90,9 @@ static u8
pkt_data[XSK_UMEM__DEFAULT_FRAME_SIZE];
quoted
 static u32 pkt_counter;
 static long prev_pkt = -1;
 static int sigvar;
+static int stat_test_type;
+static u32 rxqsize;
+static u32 frame_headroom;

 struct xsk_umem_info {
 	struct xsk_ring_prod fq;
--
2.17.1
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help