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 3 kB image not shown  

Quelle  stream.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2025 Meta Platforms, Inc. and affiliates. */
#include <test_progs.h>
#include <sys/mman.h>
#include <regex.h>

#include "stream.skel.h"
#include "stream_fail.skel.h"

void test_stream_failure(void)
{
 RUN_TESTS(stream_fail);
}

void test_stream_success(void)
{
 RUN_TESTS(stream);
 return;
}

struct {
 int prog_off;
 const char *errstr;
} stream_error_arr[] = {
 {
  offsetof(struct stream, progs.stream_cond_break),
  "ERROR: Timeout detected for may_goto instruction\n"
  "CPU: [0-9]+ UID: 0 PID: [0-9]+ Comm: .*\n"
  "Call trace:\n"
  "([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n"
  "|[ \t]+[^\n]+\n)*",
 },
 {
  offsetof(struct stream, progs.stream_deadlock),
  "ERROR: AA or ABBA deadlock detected for bpf_res_spin_lock\n"
  "Attempted lock = (0x[0-9a-fA-F]+)\n"
  "Total held locks = 1\n"
  "Held lock\\[ 0\\] = \\1\n"  // Lock address must match
  "CPU: [0-9]+ UID: 0 PID: [0-9]+ Comm: .*\n"
  "Call trace:\n"
  "([a-zA-Z_][a-zA-Z0-9_]*\\+0x[0-9a-fA-F]+/0x[0-9a-fA-F]+\n"
  "|[ \t]+[^\n]+\n)*",
 },
};

static int match_regex(const char *pattern, const char *string)
{
 int err, rc;
 regex_t re;

 err = regcomp(&re, pattern, REG_EXTENDED | REG_NEWLINE);
 if (err)
  return -1;
 rc = regexec(&re, string, 0, NULL, 0);
 regfree(&re);
 return rc == 0 ? 1 : 0;
}

void test_stream_errors(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts);
 LIBBPF_OPTS(bpf_prog_stream_read_opts, ropts);
 struct stream *skel;
 int ret, prog_fd;
 char buf[1024];

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

 for (int i = 0; i < ARRAY_SIZE(stream_error_arr); i++) {
  struct bpf_program **prog;

  prog = (struct bpf_program **)(((char *)skel) + stream_error_arr[i].prog_off);
  prog_fd = bpf_program__fd(*prog);
  ret = bpf_prog_test_run_opts(prog_fd, &opts);
  ASSERT_OK(ret, "ret");
  ASSERT_OK(opts.retval, "retval");

#if !defined(__x86_64__)
  ASSERT_TRUE(1, "Timed may_goto unsupported, skip.");
  if (i == 0) {
   ret = bpf_prog_stream_read(prog_fd, 2, buf, sizeof(buf), &ropts);
   ASSERT_EQ(ret, 0, "stream read");
   continue;
  }
#endif

  ret = bpf_prog_stream_read(prog_fd, BPF_STREAM_STDERR, buf, sizeof(buf), &ropts);
  ASSERT_GT(ret, 0, "stream read");
  ASSERT_LE(ret, 1023, "len for buf");
  buf[ret] = '\0';

  ret = match_regex(stream_error_arr[i].errstr, buf);
  if (!ASSERT_TRUE(ret == 1, "regex match"))
   fprintf(stderr, "Output from stream:\n%s\n", buf);
 }

 stream__destroy(skel);
}

void test_stream_syscall(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts);
 LIBBPF_OPTS(bpf_prog_stream_read_opts, ropts);
 struct stream *skel;
 int ret, prog_fd;
 char buf[64];

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

 prog_fd = bpf_program__fd(skel->progs.stream_syscall);
 ret = bpf_prog_test_run_opts(prog_fd, &opts);
 ASSERT_OK(ret, "ret");
 ASSERT_OK(opts.retval, "retval");

 ASSERT_LT(bpf_prog_stream_read(0, BPF_STREAM_STDOUT, buf, sizeof(buf), &ropts), 0, "error");
 ret = -errno;
 ASSERT_EQ(ret, -EINVAL, "bad prog_fd");

 ASSERT_LT(bpf_prog_stream_read(prog_fd, 0, buf, sizeof(buf), &ropts), 0, "error");
 ret = -errno;
 ASSERT_EQ(ret, -ENOENT, "bad stream id");

 ASSERT_LT(bpf_prog_stream_read(prog_fd, BPF_STREAM_STDOUT, NULL, sizeof(buf), NULL), 0, "error");
 ret = -errno;
 ASSERT_EQ(ret, -EFAULT, "bad stream buf");

 ret = bpf_prog_stream_read(prog_fd, BPF_STREAM_STDOUT, buf, 2, NULL);
 ASSERT_EQ(ret, 2, "bytes");
 ret = bpf_prog_stream_read(prog_fd, BPF_STREAM_STDOUT, buf, 2, NULL);
 ASSERT_EQ(ret, 1, "bytes");
 ret = bpf_prog_stream_read(prog_fd, BPF_STREAM_STDOUT, buf, 1, &ropts);
 ASSERT_EQ(ret, 0, "no bytes stdout");
 ret = bpf_prog_stream_read(prog_fd, BPF_STREAM_STDERR, buf, 1, &ropts);
 ASSERT_EQ(ret, 0, "no bytes stderr");

 stream__destroy(skel);
}

Messung V0.5
C=95 H=98 G=96

¤ Dauer der Verarbeitung: 0.2 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.