Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/tools/testing/selftests/bpf/prog_tests/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 5 kB image not shown  

Quelle  ksyms_btf.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2020 Google */

#include <test_progs.h>
#include <bpf/libbpf.h>
#include <bpf/btf.h>
#include "test_ksyms_btf.skel.h"
#include "test_ksyms_btf_null_check.skel.h"
#include "test_ksyms_weak.skel.h"
#include "test_ksyms_weak.lskel.h"
#include "test_ksyms_btf_write_check.skel.h"

static int duration;

static void test_basic(void)
{
 __u64 runqueues_addr, bpf_prog_active_addr;
 __u32 this_rq_cpu;
 int this_bpf_prog_active;
 struct test_ksyms_btf *skel = NULL;
 struct test_ksyms_btf__data *data;
 int err;

 err = kallsyms_find("runqueues", &runqueues_addr);
 if (CHECK(err == -EINVAL, "kallsyms_fopen""failed to open: %d\n", errno))
  return;
 if (CHECK(err == -ENOENT, "ksym_find""symbol 'runqueues' not found\n"))
  return;

 err = kallsyms_find("bpf_prog_active", &bpf_prog_active_addr);
 if (CHECK(err == -EINVAL, "kallsyms_fopen""failed to open: %d\n", errno))
  return;
 if (CHECK(err == -ENOENT, "ksym_find""symbol 'bpf_prog_active' not found\n"))
  return;

 skel = test_ksyms_btf__open_and_load();
 if (CHECK(!skel, "skel_open""failed to open and load skeleton\n"))
  goto cleanup;

 err = test_ksyms_btf__attach(skel);
 if (CHECK(err, "skel_attach""skeleton attach failed: %d\n", err))
  goto cleanup;

 /* trigger tracepoint */
 usleep(1);

 data = skel->data;
 CHECK(data->out__runqueues_addr != runqueues_addr, "runqueues_addr",
       "got %llu, exp %llu\n",
       (unsigned long long)data->out__runqueues_addr,
       (unsigned long long)runqueues_addr);
 CHECK(data->out__bpf_prog_active_addr != bpf_prog_active_addr, "bpf_prog_active_addr",
       "got %llu, exp %llu\n",
       (unsigned long long)data->out__bpf_prog_active_addr,
       (unsigned long long)bpf_prog_active_addr);

 CHECK(data->out__rq_cpu == -1, "rq_cpu",
       "got %u, exp != -1\n", data->out__rq_cpu);
 CHECK(data->out__bpf_prog_active < 0, "bpf_prog_active",
       "got %d, exp >= 0\n", data->out__bpf_prog_active);
 CHECK(data->out__cpu_0_rq_cpu != 0, "cpu_rq(0)->cpu",
       "got %u, exp 0\n", data->out__cpu_0_rq_cpu);

 this_rq_cpu = data->out__this_rq_cpu;
 CHECK(this_rq_cpu != data->out__rq_cpu, "this_rq_cpu",
       "got %u, exp %u\n", this_rq_cpu, data->out__rq_cpu);

 this_bpf_prog_active = data->out__this_bpf_prog_active;
 CHECK(this_bpf_prog_active != data->out__bpf_prog_active, "this_bpf_prog_active",
       "got %d, exp %d\n", this_bpf_prog_active,
       data->out__bpf_prog_active);

cleanup:
 test_ksyms_btf__destroy(skel);
}

static void test_null_check(void)
{
 struct test_ksyms_btf_null_check *skel;

 skel = test_ksyms_btf_null_check__open_and_load();
 CHECK(skel, "skel_open""unexpected load of a prog missing null check\n");

 test_ksyms_btf_null_check__destroy(skel);
}

static void test_weak_syms(void)
{
 struct test_ksyms_weak *skel;
 struct test_ksyms_weak__data *data;
 int err;

 skel = test_ksyms_weak__open_and_load();
 if (!ASSERT_OK_PTR(skel, "test_ksyms_weak__open_and_load"))
  return;

 err = test_ksyms_weak__attach(skel);
 if (!ASSERT_OK(err, "test_ksyms_weak__attach"))
  goto cleanup;

 /* trigger tracepoint */
 usleep(1);

 data = skel->data;
 ASSERT_EQ(data->out__existing_typed, 0, "existing typed ksym");
 ASSERT_NEQ(data->out__existing_typeless, -1, "existing typeless ksym");
 ASSERT_EQ(data->out__non_existent_typeless, 0, "nonexistent typeless ksym");
 ASSERT_EQ(data->out__non_existent_typed, 0, "nonexistent typed ksym");

cleanup:
 test_ksyms_weak__destroy(skel);
}

static void test_weak_syms_lskel(void)
{
 struct test_ksyms_weak_lskel *skel;
 struct test_ksyms_weak_lskel__data *data;
 int err;

 skel = test_ksyms_weak_lskel__open_and_load();
 if (!ASSERT_OK_PTR(skel, "test_ksyms_weak_lskel__open_and_load"))
  return;

 err = test_ksyms_weak_lskel__attach(skel);
 if (!ASSERT_OK(err, "test_ksyms_weak_lskel__attach"))
  goto cleanup;

 /* trigger tracepoint */
 usleep(1);

 data = skel->data;
 ASSERT_EQ(data->out__existing_typed, 0, "existing typed ksym");
 ASSERT_NEQ(data->out__existing_typeless, -1, "existing typeless ksym");
 ASSERT_EQ(data->out__non_existent_typeless, 0, "nonexistent typeless ksym");
 ASSERT_EQ(data->out__non_existent_typed, 0, "nonexistent typed ksym");

cleanup:
 test_ksyms_weak_lskel__destroy(skel);
}

static void test_write_check(bool test_handler1)
{
 struct test_ksyms_btf_write_check *skel;

 skel = test_ksyms_btf_write_check__open();
 if (!ASSERT_OK_PTR(skel, "test_ksyms_btf_write_check__open"))
  return;
 bpf_program__set_autoload(test_handler1 ? skel->progs.handler2 : skel->progs.handler1, false);
 ASSERT_ERR(test_ksyms_btf_write_check__load(skel),
     "unexpected load of a prog writing to ksym memory\n");

 test_ksyms_btf_write_check__destroy(skel);
}

void test_ksyms_btf(void)
{
 int percpu_datasec;
 struct btf *btf;

 btf = libbpf_find_kernel_btf();
 if (!ASSERT_OK_PTR(btf, "btf_exists"))
  return;

 percpu_datasec = btf__find_by_name_kind(btf, ".data..percpu",
      BTF_KIND_DATASEC);
 btf__free(btf);
 if (percpu_datasec < 0) {
  printf("%s:SKIP:no PERCPU DATASEC in kernel btf\n",
         __func__);
  test__skip();
  return;
 }

 if (test__start_subtest("basic"))
  test_basic();

 if (test__start_subtest("null_check"))
  test_null_check();

 if (test__start_subtest("weak_ksyms"))
  test_weak_syms();

 if (test__start_subtest("weak_ksyms_lskel"))
  test_weak_syms_lskel();

 if (test__start_subtest("write_check1"))
  test_write_check(true);

 if (test__start_subtest("write_check2"))
  test_write_check(false);
}

Messung V0.5
C=95 H=95 G=94

¤ Dauer der Verarbeitung: 0.3 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.