Skip to content

Commit

Permalink
selftests/bpf: Add getsockopt to inspect mptcp subflow
Browse files Browse the repository at this point in the history
This patch adds a "cgroup/getsockopt" way to inspect the subflows of a
mptcp socket.

mptcp_for_each_stubflow() and other helpers related to list_dentry are
added into progs/mptcp_bpf.h.

Add an extra "cgroup/getsockopt" prog to walk the msk->conn_list and use
bpf_core_cast to cast a pointer to tcp_sock for readonly. It will allow
to inspect all the fields in a tcp_sock.

Suggested-by: Martin KaFai Lau <[email protected]>
Signed-off-by: Geliang Tang <[email protected]>
  • Loading branch information
Geliang Tang authored and intel-lab-lkp committed Aug 26, 2024
1 parent fc0f0a0 commit b2739bf
Show file tree
Hide file tree
Showing 3 changed files with 113 additions and 0 deletions.
23 changes: 23 additions & 0 deletions tools/testing/selftests/bpf/prog_tests/mptcp.c
Original file line number Diff line number Diff line change
Expand Up @@ -371,6 +371,10 @@ static int endpoint_init(char *flags)
static void run_subflow(void)
{
int server_fd, client_fd;
char cc[TCP_CA_NAME_MAX];
unsigned int mark;
socklen_t len;
int err;

server_fd = start_mptcp_server(AF_INET, ADDR_1, PORT_1, 0);
if (!ASSERT_GE(server_fd, 0, "start_mptcp_server"))
Expand All @@ -382,6 +386,18 @@ static void run_subflow(void)

send_byte(client_fd);

sleep(0.1);

len = sizeof(mark);
err = getsockopt(client_fd, SOL_SOCKET, SO_MARK, &mark, &len);
if (!ASSERT_OK(err, "getsockopt(client_fd, SO_MARK)"))
goto close_client;

len = sizeof(cc);
err = getsockopt(client_fd, SOL_TCP, TCP_CONGESTION, cc, &len);
ASSERT_OK(err, "getsockopt(client_fd, TCP_CONGESTION)");

close_client:
close(client_fd);
close_server:
close(server_fd);
Expand All @@ -392,6 +408,7 @@ static void test_subflow(void)
int cgroup_fd, prog_fd, err;
struct mptcp_subflow *skel;
struct nstoken *nstoken;
struct bpf_link *link;

cgroup_fd = test__join_cgroup("/mptcp_subflow");
if (!ASSERT_GE(cgroup_fd, 0, "join_cgroup: mptcp_subflow"))
Expand All @@ -417,6 +434,11 @@ static void test_subflow(void)
if (endpoint_init("subflow") < 0)
goto close_netns;

link = bpf_program__attach_cgroup(skel->progs._getsockopt_subflow,
cgroup_fd);
if (!ASSERT_OK_PTR(link, "getsockopt prog"))
goto close_netns;

run_subflow();

close_netns:
Expand All @@ -425,6 +447,7 @@ static void test_subflow(void)
mptcp_subflow__destroy(skel);
close_cgroup:
close(cgroup_fd);
bpf_link__destroy(link);
}

static struct nstoken *sched_init(char *flags, char *sched)
Expand Down
35 changes: 35 additions & 0 deletions tools/testing/selftests/bpf/progs/mptcp_bpf.h
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,44 @@

#include <vmlinux.h>
#include <bpf/bpf_core_read.h>
#include "bpf_experimental.h"

#define MPTCP_SUBFLOWS_MAX 8

static inline int list_is_head(const struct list_head *list,
const struct list_head *head)
{
return list == head;
}

#define list_entry(ptr, type, member) \
container_of(ptr, type, member)

#define list_first_entry(ptr, type, member) \
list_entry((ptr)->next, type, member)

#define list_next_entry(pos, member) \
list_entry((pos)->member.next, typeof(*(pos)), member)

#define list_entry_is_head(pos, head, member) \
list_is_head(&pos->member, (head))

#define list_for_each_entry(pos, head, member) \
for (pos = list_first_entry(head, typeof(*pos), member); \
!list_entry_is_head(pos, head, member); \
cond_break, pos = list_next_entry(pos, member))

#define list_for_each_entry_safe(pos, n, head, member) \
for (pos = list_first_entry(head, typeof(*pos), member), \
n = list_next_entry(pos, member); \
!list_entry_is_head(pos, head, member); \
cond_break, pos = n, n = list_next_entry(n, member))

#define mptcp_for_each_subflow(__msk, __subflow) \
list_for_each_entry(__subflow, &((__msk)->conn_list), node)
#define mptcp_for_each_subflow_safe(__msk, __subflow, __tmp) \
list_for_each_entry_safe(__subflow, __tmp, &((__msk)->conn_list), node)

extern void mptcp_subflow_set_scheduled(struct mptcp_subflow_context *subflow,
bool scheduled) __ksym;

Expand Down
55 changes: 55 additions & 0 deletions tools/testing/selftests/bpf/progs/mptcp_subflow.c
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@

/* vmlinux.h, bpf_helpers.h and other 'define' */
#include "bpf_tracing_net.h"
#include "mptcp_bpf.h"

char _license[] SEC("license") = "GPL";

Expand Down Expand Up @@ -57,3 +58,57 @@ int mptcp_subflow(struct bpf_sock_ops *skops)

return 1;
}

static int _check_getsockopt_subflows_mark(struct mptcp_sock *msk, struct bpf_sockopt *ctx)
{
struct mptcp_subflow_context *subflow;
int i = 0;

mptcp_for_each_subflow(msk, subflow) {
struct sock *ssk;

ssk = mptcp_subflow_tcp_sock(bpf_core_cast(subflow,
struct mptcp_subflow_context));

if (ssk->sk_mark != ++i)
ctx->retval = -1;
}

return 1;
}

static int _check_getsockopt_subflow_cc(struct mptcp_sock *msk, struct bpf_sockopt *ctx)
{
struct mptcp_subflow_context *subflow, *tmp;

mptcp_for_each_subflow_safe(msk, subflow, tmp) {
struct inet_connection_sock *icsk;
struct sock *ssk;

ssk = mptcp_subflow_tcp_sock(bpf_core_cast(subflow,
struct mptcp_subflow_context));
icsk = bpf_core_cast(ssk, struct inet_connection_sock);

if (ssk->sk_mark == 1 &&
__builtin_memcmp(icsk->icsk_ca_ops->name, cc, TCP_CA_NAME_MAX))
ctx->retval = -1;
}

return 1;
}

SEC("cgroup/getsockopt")
int _getsockopt_subflow(struct bpf_sockopt *ctx)
{
struct mptcp_sock *msk = bpf_core_cast(ctx->sk, struct mptcp_sock);

if (!msk || !msk->token)
return 1;

if (ctx->level == SOL_SOCKET && ctx->optname == SO_MARK)
return _check_getsockopt_subflows_mark(msk, ctx);
if (ctx->level == SOL_TCP && ctx->optname == TCP_CONGESTION)
return _check_getsockopt_subflow_cc(msk, ctx);

return 1;
}

0 comments on commit b2739bf

Please sign in to comment.