Home | History | Annotate | Line # | Download | only in libpthread 
      1 /*	$NetBSD: t_cnd.c,v 1.1 2019/04/24 11:43:19 kamil Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 2019 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code is derived from software contributed to The NetBSD Foundation
      8  * by Kamil Rytarowski.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  *
     19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  * POSSIBILITY OF SUCH DAMAGE.
     30  */
     31 
     32 #include <sys/cdefs.h>
     33 __COPYRIGHT("@(#) Copyright (c) 2019\
     34  The NetBSD Foundation, inc. All rights reserved.");
     35 __RCSID("$NetBSD: t_cnd.c,v 1.1 2019/04/24 11:43:19 kamil Exp $");
     36 
     37 #include <stdbool.h>
     38 #include <threads.h>
     39 #include <time.h>
     40 
     41 #include <atf-c.h>
     42 
     43 ATF_TC(cnd_init);
     44 ATF_TC_HEAD(cnd_init, tc)
     45 {
     46 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_init(3)");
     47 }
     48 
     49 ATF_TC_BODY(cnd_init, tc)
     50 {
     51 	cnd_t c;
     52 
     53 	ATF_REQUIRE_EQ(cnd_init(&c), thrd_success);
     54 	cnd_destroy(&c);
     55 }
     56 
     57 #define B_THREADS 8
     58 
     59 static mtx_t b_m;
     60 static cnd_t b_c;
     61 static bool b_finished;
     62 
     63 static int
     64 b_func(void *arg)
     65 {
     66 	bool signal;
     67 
     68 	signal = (bool)(intptr_t)arg;
     69 
     70 	ATF_REQUIRE_EQ(mtx_lock(&b_m), thrd_success);
     71 	while (!b_finished) {
     72 		ATF_REQUIRE_EQ(cnd_wait(&b_c, &b_m), thrd_success);
     73 	}
     74 	ATF_REQUIRE_EQ(mtx_unlock(&b_m), thrd_success);
     75 
     76 	if (signal) {
     77 		ATF_REQUIRE_EQ(cnd_signal(&b_c), thrd_success);
     78 	}
     79 
     80 	return 0;
     81 }
     82 
     83 static void
     84 cnd_notify(bool signal)
     85 {
     86 	size_t i;
     87 	thrd_t t[B_THREADS];
     88 	void *n;
     89 
     90 	n = (void *)(intptr_t)signal;
     91 
     92 	ATF_REQUIRE_EQ(mtx_init(&b_m, mtx_plain), thrd_success);
     93 	ATF_REQUIRE_EQ(cnd_init(&b_c), thrd_success);
     94 
     95 	for (i = 0; i < B_THREADS; i++) {
     96 		ATF_REQUIRE_EQ(thrd_create(&t[i], b_func, n), thrd_success);
     97 	}
     98 
     99 	ATF_REQUIRE_EQ(mtx_lock(&b_m), thrd_success);
    100 	b_finished = true;
    101 	ATF_REQUIRE_EQ(mtx_unlock(&b_m), thrd_success);
    102 
    103 	if (signal) {
    104 		ATF_REQUIRE_EQ(cnd_signal(&b_c), thrd_success);
    105 	} else {
    106 		ATF_REQUIRE_EQ(cnd_broadcast(&b_c), thrd_success);
    107 	}
    108 
    109 	for (i = 0; i < B_THREADS; i++) {
    110 		ATF_REQUIRE_EQ(thrd_join(t[i], NULL), thrd_success);
    111 	}
    112 
    113 	mtx_destroy(&b_m);
    114 	cnd_destroy(&b_c);
    115 }
    116 
    117 ATF_TC(cnd_broadcast);
    118 ATF_TC_HEAD(cnd_broadcast, tc)
    119 {
    120 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_broadcast(3)");
    121 }
    122 
    123 ATF_TC_BODY(cnd_broadcast, tc)
    124 {
    125 
    126 	cnd_notify(false);
    127 }
    128 
    129 ATF_TC(cnd_signal);
    130 ATF_TC_HEAD(cnd_signal, tc)
    131 {
    132 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_signal(3)");
    133 }
    134 
    135 ATF_TC_BODY(cnd_signal, tc)
    136 {
    137 
    138 	cnd_notify(true);
    139 }
    140 
    141 ATF_TC(cnd_timedwait);
    142 ATF_TC_HEAD(cnd_timedwait, tc)
    143 {
    144 	atf_tc_set_md_var(tc, "descr", "Test C11 cnd_timedwait(3)");
    145 }
    146 
    147 ATF_TC_BODY(cnd_timedwait, tc)
    148 {
    149 	mtx_t m;
    150 	cnd_t c;
    151 	struct timespec ts;
    152 
    153 	ts.tv_sec = 0;
    154 	ts.tv_nsec = 1;
    155 
    156 	ATF_REQUIRE_EQ(mtx_init(&m, mtx_plain), thrd_success);
    157 	ATF_REQUIRE_EQ(cnd_init(&c), thrd_success);
    158 
    159 	ATF_REQUIRE_EQ(mtx_lock(&m), thrd_success);
    160 	ATF_REQUIRE_EQ(cnd_timedwait(&c, &m, &ts), thrd_timedout);
    161 	ATF_REQUIRE_EQ(mtx_unlock(&m), thrd_success);
    162 
    163 	mtx_destroy(&m);
    164 	cnd_destroy(&c);
    165 }
    166 
    167 ATF_TP_ADD_TCS(tp)
    168 {
    169 	ATF_TP_ADD_TC(tp, cnd_init);
    170 	ATF_TP_ADD_TC(tp, cnd_broadcast);
    171 	ATF_TP_ADD_TC(tp, cnd_signal);
    172 	ATF_TP_ADD_TC(tp, cnd_timedwait);
    173 
    174 	return atf_no_error();
    175 }
    176