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