tools/testing/selftests/bpf/prog_tests/summarization.c

Source file repositories/reference/linux-study-clean/tools/testing/selftests/bpf/prog_tests/summarization.c

File Facts

System
Linux kernel
Corpus path
tools/testing/selftests/bpf/prog_tests/summarization.c
Extension
.c
Size
4814 bytes
Lines
145
Domain
Support Tooling And Documentation
Bucket
tools
Inferred role
Support Tooling And Documentation: implementation source
Status
source implementation candidate

Why This File Exists

Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.

Dependency Surface

Detected Declarations

Annotated Snippet

// SPDX-License-Identifier: GPL-2.0
#include "bpf/libbpf.h"
#include "summarization_freplace.skel.h"
#include "summarization.skel.h"
#include <test_progs.h>

static void print_verifier_log(const char *log)
{
	if (env.verbosity >= VERBOSE_VERY)
		fprintf(stdout, "VERIFIER LOG:\n=============\n%s=============\n", log);
}

static void test_aux(const char *main_prog_name,
		     const char *to_be_replaced,
		     const char *replacement,
		     bool expect_load,
		     const char *err_msg)
{
	struct summarization_freplace *freplace = NULL;
	struct bpf_program *freplace_prog = NULL;
	struct bpf_program *main_prog = NULL;
	LIBBPF_OPTS(bpf_object_open_opts, opts);
	struct summarization *main = NULL;
	char log[16*1024];
	int err;

	opts.kernel_log_buf = log;
	opts.kernel_log_size = sizeof(log);
	if (env.verbosity >= VERBOSE_SUPER)
		opts.kernel_log_level = 1 | 2 | 4;
	main = summarization__open_opts(&opts);
	if (!ASSERT_OK_PTR(main, "summarization__open"))
		goto out;
	main_prog = bpf_object__find_program_by_name(main->obj, main_prog_name);
	if (!ASSERT_OK_PTR(main_prog, "main_prog"))
		goto out;
	bpf_program__set_autoload(main_prog, true);
	err = summarization__load(main);
	print_verifier_log(log);
	if (!ASSERT_OK(err, "summarization__load"))
		goto out;
	freplace = summarization_freplace__open_opts(&opts);
	if (!ASSERT_OK_PTR(freplace, "summarization_freplace__open"))
		goto out;
	freplace_prog = bpf_object__find_program_by_name(freplace->obj, replacement);
	if (!ASSERT_OK_PTR(freplace_prog, "freplace_prog"))
		goto out;
	bpf_program__set_autoload(freplace_prog, true);
	bpf_program__set_autoattach(freplace_prog, true);
	bpf_program__set_attach_target(freplace_prog,
				       bpf_program__fd(main_prog),
				       to_be_replaced);
	err = summarization_freplace__load(freplace);
	print_verifier_log(log);

	/* The might_sleep extension doesn't work yet as sleepable calls are not
	 * allowed, but preserve the check in case it's supported later and then
	 * this particular combination can be enabled.
	 */
	if (!strcmp("might_sleep", replacement) && err) {
		ASSERT_HAS_SUBSTR(log, "sleepable helper bpf_copy_from_user#", "error log");
		ASSERT_EQ(err, -EINVAL, "err");
		test__skip();
		goto out;
	}

	if (expect_load) {
		ASSERT_OK(err, "summarization_freplace__load");
	} else {
		ASSERT_ERR(err, "summarization_freplace__load");
		ASSERT_HAS_SUBSTR(log, err_msg, "error log");
	}

out:
	summarization_freplace__destroy(freplace);
	summarization__destroy(main);
}

/* There are two global subprograms in both summarization.skel.h:
 * - one changes packet data;
 * - another does not.
 * It is ok to freplace subprograms that change packet data with those
 * that either do or do not. It is only ok to freplace subprograms
 * that do not change packet data with those that do not as well.
 * The below tests check outcomes for each combination of such freplace.
 * Also test a case when main subprogram itself is replaced and is a single
 * subprogram in a program.
 *
 * This holds for might_sleep programs. It is ok to replace might_sleep with
 * might_sleep and with does_not_sleep, but does_not_sleep cannot be replaced

Annotation

Implementation Notes