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

#include "res_spin_lock.skel.h"
#include "res_spin_lock_fail.skel.h"

void test_res_spin_lock_failure(void)
{
 RUN_TESTS(res_spin_lock_fail);
}

static volatile int skip;

static void *spin_lock_thread(void *arg)
{
 int err, prog_fd = *(u32 *) arg;
 LIBBPF_OPTS(bpf_test_run_opts, topts,
  .data_in = &pkt_v4,
  .data_size_in = sizeof(pkt_v4),
  .repeat = 10000,
 );

 while (!READ_ONCE(skip)) {
  err = bpf_prog_test_run_opts(prog_fd, &topts);
  if (err || topts.retval) {
   ASSERT_OK(err, "test_run");
   ASSERT_OK(topts.retval, "test_run retval");
   break;
  }
 }
 pthread_exit(arg);
}

void test_res_spin_lock_success(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, topts,
  .data_in = &pkt_v4,
  .data_size_in = sizeof(pkt_v4),
  .repeat = 1,
 );
 struct res_spin_lock *skel;
 pthread_t thread_id[16];
 int prog_fd, i, err;
 void *ret;

 if (get_nprocs() < 2) {
  test__skip();
  return;
 }

 skel = res_spin_lock__open_and_load();
 if (!ASSERT_OK_PTR(skel, "res_spin_lock__open_and_load"))
  return;
 /* AA deadlock */
 prog_fd = bpf_program__fd(skel->progs.res_spin_lock_test);
 err = bpf_prog_test_run_opts(prog_fd, &topts);
 ASSERT_OK(err, "error");
 ASSERT_OK(topts.retval, "retval");

 prog_fd = bpf_program__fd(skel->progs.res_spin_lock_test_held_lock_max);
 err = bpf_prog_test_run_opts(prog_fd, &topts);
 ASSERT_OK(err, "error");
 ASSERT_OK(topts.retval, "retval");

 /* Multi-threaded ABBA deadlock. */

 prog_fd = bpf_program__fd(skel->progs.res_spin_lock_test_AB);
 for (i = 0; i < 16; i++) {
  int err;

  err = pthread_create(&thread_id[i], NULL, &spin_lock_thread, &prog_fd);
  if (!ASSERT_OK(err, "pthread_create"))
   goto end;
 }

 topts.retval = 0;
 topts.repeat = 1000;
 int fd = bpf_program__fd(skel->progs.res_spin_lock_test_BA);
 while (!topts.retval && !err && !READ_ONCE(skel->bss->err)) {
  err = bpf_prog_test_run_opts(fd, &topts);
 }

 WRITE_ONCE(skip, true);

 for (i = 0; i < 16; i++) {
  if (!ASSERT_OK(pthread_join(thread_id[i], &ret), "pthread_join"))
   goto end;
  if (!ASSERT_EQ(ret, &prog_fd, "ret == prog_fd"))
   goto end;
 }

 ASSERT_EQ(READ_ONCE(skel->bss->err), -EDEADLK, "timeout err");
 ASSERT_OK(err, "err");
 ASSERT_EQ(topts.retval, -EDEADLK, "timeout");
end:
 res_spin_lock__destroy(skel);
 return;
}