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