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

Quelle  async_stack_depth.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
#include <vmlinux.h>
#include <bpf/bpf_helpers.h>

#include "bpf_misc.h"

struct hmap_elem {
 struct bpf_timer timer;
};

struct {
 __uint(type, BPF_MAP_TYPE_HASH);
 __uint(max_entries, 64);
 __type(key, int);
 __type(value, struct hmap_elem);
} hmap SEC(".maps");

__attribute__((noinline))
static int timer_cb(void *map, int *key, struct bpf_timer *timer)
{
 volatile char buf[256] = {};
 return buf[69];
}

__attribute__((noinline))
static int bad_timer_cb(void *map, int *key, struct bpf_timer *timer)
{
 volatile char buf[300] = {};
 return buf[255] + timer_cb(NULL, NULL, NULL);
}

SEC("tc")
__failure __msg("combined stack size of 2 calls is")
int pseudo_call_check(struct __sk_buff *ctx)
{
 struct hmap_elem *elem;
 volatile char buf[256] = {};

 elem = bpf_map_lookup_elem(&hmap, &(int){0});
 if (!elem)
  return 0;

 timer_cb(NULL, NULL, NULL);
 return bpf_timer_set_callback(&elem->timer, timer_cb) + buf[0];
}

SEC("tc")
__failure __msg("combined stack size of 2 calls is")
int async_call_root_check(struct __sk_buff *ctx)
{
 struct hmap_elem *elem;
 volatile char buf[256] = {};

 elem = bpf_map_lookup_elem(&hmap, &(int){0});
 if (!elem)
  return 0;

 return bpf_timer_set_callback(&elem->timer, bad_timer_cb) + buf[0];
}

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

Messung V0.5
C=98 H=100 G=98

¤ 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.