Source-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[src/thorpej-futex]: src/tests/lib/libc/sys Unit tests for eventfd(2).



details:   https://anonhg.NetBSD.org/src/rev/49b67b72fb5c
branches:  thorpej-futex
changeset: 947505:49b67b72fb5c
user:      thorpej <thorpej%NetBSD.org@localhost>
date:      Mon Dec 14 16:01:38 2020 +0000

description:
Unit tests for eventfd(2).

diffstat:

 tests/lib/libc/sys/Makefile    |    4 +-
 tests/lib/libc/sys/t_eventfd.c |  834 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 837 insertions(+), 1 deletions(-)

diffs (truncated from 863 to 300 lines):

diff -r 0d5b8ef0a084 -r 49b67b72fb5c tests/lib/libc/sys/Makefile
--- a/tests/lib/libc/sys/Makefile       Mon Dec 14 16:01:17 2020 +0000
+++ b/tests/lib/libc/sys/Makefile       Mon Dec 14 16:01:38 2020 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.68 2020/09/06 07:20:31 mrg Exp $
+# $NetBSD: Makefile,v 1.68.2.1 2020/12/14 16:01:38 thorpej Exp $
 
 MKMAN= no
 
@@ -16,6 +16,7 @@
 TESTS_C+=              t_clone
 TESTS_C+=              t_connect
 TESTS_C+=              t_dup
+TESTS_C+=              t_eventfd
 TESTS_C+=              t_fork
 TESTS_C+=              t_fsync
 TESTS_C+=              t_futex_ops
@@ -93,6 +94,7 @@
 
 SRCS.t_mprotect=       t_mprotect.c ${SRCS_EXEC_PROT} t_mprotect_helper.c
 
+LDADD.t_eventfd+=      -lpthread
 LDADD.t_getpid+=        -lpthread
 
 LDADD.t_ptrace_sigchld+=       -pthread -lm
diff -r 0d5b8ef0a084 -r 49b67b72fb5c tests/lib/libc/sys/t_eventfd.c
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/lib/libc/sys/t_eventfd.c    Mon Dec 14 16:01:38 2020 +0000
@@ -0,0 +1,834 @@
+/* $NetBSD: t_eventfd.c,v 1.1.2.1 2020/12/14 16:01:38 thorpej Exp $ */
+
+/*-
+ * Copyright (c) 2020 The NetBSD Foundation, Inc.
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
+ * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+ * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
+ * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#include <sys/cdefs.h>
+__COPYRIGHT("@(#) Copyright (c) 2020\
+ The NetBSD Foundation, inc. All rights reserved.");
+__RCSID("$NetBSD: t_eventfd.c,v 1.1.2.1 2020/12/14 16:01:38 thorpej Exp $");
+
+#include <sys/types.h>
+#include <sys/event.h>
+#include <sys/eventfd.h>
+#include <sys/select.h>
+#include <sys/stat.h>
+#include <sys/syscall.h>
+#include <errno.h>
+#include <poll.h>
+#include <pthread.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <time.h>
+#include <unistd.h>
+
+#include <atf-c.h>
+
+struct helper_context {
+       int     efd;
+
+       pthread_mutex_t mutex;
+       pthread_cond_t cond;
+       pthread_barrier_t barrier;
+       int     state;
+};
+
+static void
+init_helper_context(struct helper_context * const ctx)
+{
+       pthread_condattr_t condattr;
+
+       memset(ctx, 0, sizeof(*ctx));
+
+       ATF_REQUIRE(pthread_mutex_init(&ctx->mutex, NULL) == 0);
+
+       ATF_REQUIRE(pthread_condattr_init(&condattr) == 0);
+       ATF_REQUIRE(pthread_condattr_setclock(&condattr, CLOCK_MONOTONIC) == 0);
+       ATF_REQUIRE(pthread_cond_init(&ctx->cond, &condattr) == 0);
+       ATF_REQUIRE(pthread_condattr_destroy(&condattr) == 0);
+
+       ATF_REQUIRE(pthread_barrier_init(&ctx->barrier, NULL, 2) == 0);
+}
+
+static void
+set_state(struct helper_context * const ctx, int const new)
+{
+       pthread_mutex_lock(&ctx->mutex);
+       ctx->state = new;
+       pthread_cond_signal(&ctx->cond);
+       pthread_mutex_unlock(&ctx->mutex);
+}
+
+static int
+get_state(struct helper_context * const ctx)
+{
+       int rv;
+
+       pthread_mutex_lock(&ctx->mutex);
+       rv = ctx->state;
+       pthread_mutex_unlock(&ctx->mutex);
+
+       return rv;
+}
+
+static bool
+wait_state(struct helper_context * const ctx, int const val)
+{
+       struct timespec deadline;
+       int error;
+       bool rv;
+
+       pthread_mutex_lock(&ctx->mutex);
+
+       ATF_REQUIRE(clock_gettime(CLOCK_MONOTONIC, &deadline) == 0);
+       deadline.tv_sec += 5;
+
+       while (ctx->state != val) {
+               error = pthread_cond_timedwait(&ctx->cond, &ctx->mutex,
+                   &deadline);
+               if (error) {
+                       break;
+               }
+       }
+       rv = ctx->state == val;
+
+       pthread_mutex_unlock(&ctx->mutex);
+
+       return rv;
+}
+
+static bool
+wait_barrier(struct helper_context * const ctx)
+{
+       int rv = pthread_barrier_wait(&ctx->barrier);
+
+       return rv == 0 || rv == PTHREAD_BARRIER_SERIAL_THREAD;
+}
+
+static int
+my_eventfd(unsigned int val, int flags)
+{
+       return syscall(SYS_eventfd, val, flags);
+}
+
+int
+eventfd_read(int efd, eventfd_t *valp)
+{
+       eventfd_t val;
+
+       switch (read(efd, &val, sizeof(val))) {
+       case -1:
+               return -1;
+
+       case sizeof(val):
+               *valp = val;
+               return 0;
+
+       default:
+               /* ?? Should never happen. */
+               errno = EIO;
+               return -1;
+       }
+}
+
+int
+eventfd_write(int efd, eventfd_t val)
+{
+
+       switch (write(efd, &val, sizeof(val))) {
+       case -1:
+               return -1;
+
+       case sizeof(val):
+               return 0;
+
+       default:
+               /* ?? Should never happen. */
+               errno = EIO;
+               return -1;
+       }
+}
+
+/*****************************************************************************/
+
+static void *
+eventfd_normal_helper(void * const v)
+{
+       struct helper_context * const ctx = v;
+       eventfd_t efd_value;
+
+       ATF_REQUIRE(wait_barrier(ctx));
+
+       /* Read the value.  This will reset it to zero. */
+       ATF_REQUIRE(get_state(ctx) == 666);
+       ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
+
+       /* Assert the value. */
+       ATF_REQUIRE(efd_value == 0xcafebabe);
+
+       set_state(ctx, 0);
+
+       /* Wait for the main thread to prep the next test. */
+       ATF_REQUIRE(wait_barrier(ctx));
+
+       /* Read the value. */
+       ATF_REQUIRE(eventfd_read(ctx->efd, &efd_value) == 0);
+
+       /* Assert the value. */
+       ATF_REQUIRE(efd_value == 0xbeefcafe);
+
+       ATF_REQUIRE(wait_barrier(ctx));
+
+       return NULL;
+}
+
+ATF_TC(eventfd_normal);
+ATF_TC_HEAD(eventfd_normal, tc)
+{
+       atf_tc_set_md_var(tc, "descr",
+           "validates basic normal eventfd operation");
+}
+ATF_TC_BODY(eventfd_normal, tc)
+{
+       struct helper_context ctx;
+       pthread_t helper;
+       void *join_val;
+
+       init_helper_context(&ctx);
+
+       ATF_REQUIRE((ctx.efd = my_eventfd(0, 0)) >= 0);
+
+       ATF_REQUIRE(pthread_create(&helper, NULL,
+                                  eventfd_normal_helper, &ctx) == 0);
+
+       /*
+        * Wait for the helper to block in read().  Give it some time
+        * so that if the read fails or returns immediately, we'll
+        * notice.
+        */
+       set_state(&ctx, 666);
+       ATF_REQUIRE(wait_barrier(&ctx));
+       sleep(2);
+       ATF_REQUIRE(get_state(&ctx) == 666);
+
+       /* Write a distinct value; helper will assert it. */
+       ATF_REQUIRE(eventfd_write(ctx.efd, 0xcafebabe) == 0);
+
+       /* Wait for helper to read the value. */
+       ATF_REQUIRE(wait_state(&ctx, 0));
+
+       /* Helper is now blocked in a barrier. */
+
+       /* Test additive property of the efd value. */
+       ATF_REQUIRE(eventfd_write(ctx.efd, 0x0000cafe) == 0);
+       ATF_REQUIRE(eventfd_write(ctx.efd, 0xbeef0000) == 0);
+
+       /* Satisfy the barrier; helper will read value and assert 0xbeefcafe. */
+       ATF_REQUIRE(wait_barrier(&ctx));
+
+       /* And wait for it to finish. */
+       ATF_REQUIRE(wait_barrier(&ctx));
+
+       /* Reap the helper. */
+       ATF_REQUIRE(pthread_join(helper, &join_val) == 0);
+
+       (void) close(ctx.efd);
+}
+
+/*****************************************************************************/
+
+ATF_TC(eventfd_semaphore);
+ATF_TC_HEAD(eventfd_semaphore, tc)
+{
+       atf_tc_set_md_var(tc, "descr",
+           "validates semaphore and non-blocking eventfd operation");
+}
+ATF_TC_BODY(eventfd_semaphore, tc)
+{
+       eventfd_t efd_value;



Home | Main Index | Thread Index | Old Index