Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 39323e78 authored by Alexei Starovoitov's avatar Alexei Starovoitov Committed by David S. Miller
Browse files

samples/bpf: add multi-prog cgroup test case 



create 5 cgroups, attach 6 progs and check that progs are executed as:
cgrp1 (MULTI progs A, B) ->
   cgrp2 (OVERRIDE prog C) ->
     cgrp3 (MULTI prog D) ->
       cgrp4 (OVERRIDE prog E) ->
         cgrp5 (NONE prog F)
the event in cgrp5 triggers execution of F,D,A,B in that order.
if prog F is detached, the execution is E,D,A,B
if prog F and D are detached, the execution is E,A,B
if prog F, E and D are detached, the execution is C,A,B

Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
Acked-by: default avatarDaniel Borkmann <daniel@iogearbox.net>
Signed-off-by: default avatarDavid S. Miller <davem@davemloft.net>
parent 244d20ef

samples/bpf/cgroup_helpers.c

+2 −2
Original line number Diff line number Diff line
@@ -56,7 +56,7 @@ int setup_cgroup_environment(void) 
		return 1;

	}



	if (mount("none", CGROUP_MOUNT_PATH, "cgroup2", 0, NULL)) {

	if (mount("none", CGROUP_MOUNT_PATH, "cgroup2", 0, NULL) && errno != EBUSY) {

		log_err("mount cgroup2");

		return 1;

	}
@@ -163,7 +163,7 @@ int create_and_get_cgroup(char *path) 


	format_cgroup_path(cgroup_path, path);

	if (mkdir(cgroup_path, 0777) && errno != EEXIST) {

		log_err("mkdiring cgroup");

		log_err("mkdiring cgroup %s .. %s", path, cgroup_path);

		return 0;

	}

samples/bpf/test_cgrp2_attach2.c

+183 −5
Original line number Diff line number Diff line
@@ -30,7 +30,7 @@ 


#define FOO		"/foo"

#define BAR		"/foo/bar/"

#define PING_CMD	"ping -c1 -w1 127.0.0.1"

#define PING_CMD	"ping -c1 -w1 127.0.0.1 > /dev/null"



char bpf_log_buf[BPF_LOG_BUF_SIZE];
@@ -55,8 +55,7 @@ static int prog_load(int verdict) 
	return ret;

}





int main(int argc, char **argv)

static int test_foo_bar(void)

{

	int drop_prog, allow_prog, foo = 0, bar = 0, rc = 0;
@@ -189,8 +188,187 @@ int main(int argc, char **argv) 
	close(bar);

	cleanup_cgroup_environment();

	if (!rc)

		printf("PASS\n");

		printf("### override:PASS\n");

	else

		printf("FAIL\n");

		printf("### override:FAIL\n");

	return rc;

}



static int map_fd = -1;



static int prog_load_cnt(int verdict, int val)

{

	if (map_fd < 0)

		map_fd = bpf_create_map(BPF_MAP_TYPE_ARRAY, 4, 8, 1, 0);

	if (map_fd < 0) {

		printf("failed to create map '%s'\n", strerror(errno));

		return -1;

	}



	struct bpf_insn prog[] = {

		BPF_MOV32_IMM(BPF_REG_0, 0),

		BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -4), /* *(u32 *)(fp - 4) = r0 */

		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),

		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), /* r2 = fp - 4 */

		BPF_LD_MAP_FD(BPF_REG_1, map_fd),

		BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_map_lookup_elem),

		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),

		BPF_MOV64_IMM(BPF_REG_1, val), /* r1 = 1 */

		BPF_RAW_INSN(BPF_STX | BPF_XADD | BPF_DW, BPF_REG_0, BPF_REG_1, 0, 0), /* xadd r0 += r1 */

		BPF_MOV64_IMM(BPF_REG_0, verdict), /* r0 = verdict */

		BPF_EXIT_INSN(),

	};

	size_t insns_cnt = sizeof(prog) / sizeof(struct bpf_insn);

	int ret;



	ret = bpf_load_program(BPF_PROG_TYPE_CGROUP_SKB,

			       prog, insns_cnt, "GPL", 0,

			       bpf_log_buf, BPF_LOG_BUF_SIZE);



	if (ret < 0) {

		log_err("Loading program");

		printf("Output from verifier:\n%s\n-------\n", bpf_log_buf);

		return 0;

	}

	return ret;

}





static int test_multiprog(void)

{

	int cg1 = 0, cg2 = 0, cg3 = 0, cg4 = 0, cg5 = 0, key = 0;

	int drop_prog, allow_prog[6] = {}, rc = 0;

	unsigned long long value;

	int i = 0;



	for (i = 0; i < 6; i++) {

		allow_prog[i] = prog_load_cnt(1, 1 << i);

		if (!allow_prog[i])

			goto err;

	}

	drop_prog = prog_load_cnt(0, 1);

	if (!drop_prog)

		goto err;



	if (setup_cgroup_environment())

		goto err;



	cg1 = create_and_get_cgroup("/cg1");

	if (!cg1)

		goto err;

	cg2 = create_and_get_cgroup("/cg1/cg2");

	if (!cg2)

		goto err;

	cg3 = create_and_get_cgroup("/cg1/cg2/cg3");

	if (!cg3)

		goto err;

	cg4 = create_and_get_cgroup("/cg1/cg2/cg3/cg4");

	if (!cg4)

		goto err;

	cg5 = create_and_get_cgroup("/cg1/cg2/cg3/cg4/cg5");

	if (!cg5)

		goto err;



	if (join_cgroup("/cg1/cg2/cg3/cg4/cg5"))

		goto err;



	if (bpf_prog_attach(allow_prog[0], cg1, BPF_CGROUP_INET_EGRESS, 2)) {

		log_err("Attaching prog to cg1");

		goto err;

	}

	if (!bpf_prog_attach(allow_prog[0], cg1, BPF_CGROUP_INET_EGRESS, 2)) {

		log_err("Unexpected success attaching the same prog to cg1");

		goto err;

	}

	if (bpf_prog_attach(allow_prog[1], cg1, BPF_CGROUP_INET_EGRESS, 2)) {

		log_err("Attaching prog2 to cg1");

		goto err;

	}

	if (bpf_prog_attach(allow_prog[2], cg2, BPF_CGROUP_INET_EGRESS, 1)) {

		log_err("Attaching prog to cg2");

		goto err;

	}

	if (bpf_prog_attach(allow_prog[3], cg3, BPF_CGROUP_INET_EGRESS, 2)) {

		log_err("Attaching prog to cg3");

		goto err;

	}

	if (bpf_prog_attach(allow_prog[4], cg4, BPF_CGROUP_INET_EGRESS, 1)) {

		log_err("Attaching prog to cg4");

		goto err;

	}

	if (bpf_prog_attach(allow_prog[5], cg5, BPF_CGROUP_INET_EGRESS, 0)) {

		log_err("Attaching prog to cg5");

		goto err;

	}

	assert(system(PING_CMD) == 0);

	assert(bpf_map_lookup_elem(map_fd, &key, &value) == 0);

	assert(value == 1 + 2 + 8 + 32);



	/* detach bottom program and ping again */

	if (bpf_prog_detach2(-1, cg5, BPF_CGROUP_INET_EGRESS)) {

		log_err("Detaching prog from cg5");

		goto err;

	}

	value = 0;

	assert(bpf_map_update_elem(map_fd, &key, &value, 0) == 0);

	assert(system(PING_CMD) == 0);

	assert(bpf_map_lookup_elem(map_fd, &key, &value) == 0);

	assert(value == 1 + 2 + 8 + 16);



	/* detach 3rd from bottom program and ping again */

	errno = 0;

	if (!bpf_prog_detach2(0, cg3, BPF_CGROUP_INET_EGRESS)) {

		log_err("Unexpected success on detach from cg3");

		goto err;

	}

	if (bpf_prog_detach2(allow_prog[3], cg3, BPF_CGROUP_INET_EGRESS)) {

		log_err("Detaching from cg3");

		goto err;

	}

	value = 0;

	assert(bpf_map_update_elem(map_fd, &key, &value, 0) == 0);

	assert(system(PING_CMD) == 0);

	assert(bpf_map_lookup_elem(map_fd, &key, &value) == 0);

	assert(value == 1 + 2 + 16);



	/* detach 2nd from bottom program and ping again */

	if (bpf_prog_detach2(-1, cg4, BPF_CGROUP_INET_EGRESS)) {

		log_err("Detaching prog from cg4");

		goto err;

	}

	value = 0;

	assert(bpf_map_update_elem(map_fd, &key, &value, 0) == 0);

	assert(system(PING_CMD) == 0);

	assert(bpf_map_lookup_elem(map_fd, &key, &value) == 0);

	assert(value == 1 + 2 + 4);

	goto out;

err:

	rc = 1;



out:

	for (i = 0; i < 6; i++)

		if (allow_prog[i] > 0)

			close(allow_prog[i]);

	close(cg1);

	close(cg2);

	close(cg3);

	close(cg4);

	close(cg5);

	cleanup_cgroup_environment();

	if (!rc)

		printf("### multi:PASS\n");

	else

		printf("### multi:FAIL\n");

	return rc;

}



int main(int argc, char **argv)

{

	int rc = 0;



	rc = test_foo_bar();

	if (rc)

		return rc;



	return test_multiprog();

}