1*00b67f09SDavid van Moolenbroek /* $NetBSD: condition.c,v 1.4 2014/12/10 04:38:01 christos Exp $ */
2*00b67f09SDavid van Moolenbroek
3*00b67f09SDavid van Moolenbroek /*
4*00b67f09SDavid van Moolenbroek * Copyright (C) 2004, 2006, 2007 Internet Systems Consortium, Inc. ("ISC")
5*00b67f09SDavid van Moolenbroek * Copyright (C) 1998-2001 Internet Software Consortium.
6*00b67f09SDavid van Moolenbroek *
7*00b67f09SDavid van Moolenbroek * Permission to use, copy, modify, and/or distribute this software for any
8*00b67f09SDavid van Moolenbroek * purpose with or without fee is hereby granted, provided that the above
9*00b67f09SDavid van Moolenbroek * copyright notice and this permission notice appear in all copies.
10*00b67f09SDavid van Moolenbroek *
11*00b67f09SDavid van Moolenbroek * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
12*00b67f09SDavid van Moolenbroek * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
13*00b67f09SDavid van Moolenbroek * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
14*00b67f09SDavid van Moolenbroek * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
15*00b67f09SDavid van Moolenbroek * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
16*00b67f09SDavid van Moolenbroek * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
17*00b67f09SDavid van Moolenbroek * PERFORMANCE OF THIS SOFTWARE.
18*00b67f09SDavid van Moolenbroek */
19*00b67f09SDavid van Moolenbroek
20*00b67f09SDavid van Moolenbroek /* Id: condition.c,v 1.23 2007/06/18 23:47:49 tbox Exp */
21*00b67f09SDavid van Moolenbroek
22*00b67f09SDavid van Moolenbroek #include <config.h>
23*00b67f09SDavid van Moolenbroek
24*00b67f09SDavid van Moolenbroek #include <isc/condition.h>
25*00b67f09SDavid van Moolenbroek #include <isc/assertions.h>
26*00b67f09SDavid van Moolenbroek #include <isc/util.h>
27*00b67f09SDavid van Moolenbroek #include <isc/thread.h>
28*00b67f09SDavid van Moolenbroek #include <isc/time.h>
29*00b67f09SDavid van Moolenbroek
30*00b67f09SDavid van Moolenbroek #define LSIGNAL 0
31*00b67f09SDavid van Moolenbroek #define LBROADCAST 1
32*00b67f09SDavid van Moolenbroek
33*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_init(isc_condition_t * cond)34*00b67f09SDavid van Moolenbroek isc_condition_init(isc_condition_t *cond) {
35*00b67f09SDavid van Moolenbroek HANDLE h;
36*00b67f09SDavid van Moolenbroek
37*00b67f09SDavid van Moolenbroek REQUIRE(cond != NULL);
38*00b67f09SDavid van Moolenbroek
39*00b67f09SDavid van Moolenbroek cond->waiters = 0;
40*00b67f09SDavid van Moolenbroek /*
41*00b67f09SDavid van Moolenbroek * This handle is shared across all threads
42*00b67f09SDavid van Moolenbroek */
43*00b67f09SDavid van Moolenbroek h = CreateEvent(NULL, FALSE, FALSE, NULL);
44*00b67f09SDavid van Moolenbroek if (h == NULL) {
45*00b67f09SDavid van Moolenbroek /* XXX */
46*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
47*00b67f09SDavid van Moolenbroek }
48*00b67f09SDavid van Moolenbroek cond->events[LSIGNAL] = h;
49*00b67f09SDavid van Moolenbroek
50*00b67f09SDavid van Moolenbroek /*
51*00b67f09SDavid van Moolenbroek * The threadlist will hold the actual events needed
52*00b67f09SDavid van Moolenbroek * for the wait condition
53*00b67f09SDavid van Moolenbroek */
54*00b67f09SDavid van Moolenbroek ISC_LIST_INIT(cond->threadlist);
55*00b67f09SDavid van Moolenbroek
56*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
57*00b67f09SDavid van Moolenbroek }
58*00b67f09SDavid van Moolenbroek
59*00b67f09SDavid van Moolenbroek /*
60*00b67f09SDavid van Moolenbroek * Add the thread to the threadlist along with the required events
61*00b67f09SDavid van Moolenbroek */
62*00b67f09SDavid van Moolenbroek static isc_result_t
register_thread(unsigned long thrd,isc_condition_t * gblcond,isc_condition_thread_t ** localcond)63*00b67f09SDavid van Moolenbroek register_thread(unsigned long thrd, isc_condition_t *gblcond,
64*00b67f09SDavid van Moolenbroek isc_condition_thread_t **localcond)
65*00b67f09SDavid van Moolenbroek {
66*00b67f09SDavid van Moolenbroek HANDLE hc;
67*00b67f09SDavid van Moolenbroek isc_condition_thread_t *newthread;
68*00b67f09SDavid van Moolenbroek
69*00b67f09SDavid van Moolenbroek REQUIRE(localcond != NULL && *localcond == NULL);
70*00b67f09SDavid van Moolenbroek
71*00b67f09SDavid van Moolenbroek newthread = malloc(sizeof(isc_condition_thread_t));
72*00b67f09SDavid van Moolenbroek if (newthread == NULL)
73*00b67f09SDavid van Moolenbroek return (ISC_R_NOMEMORY);
74*00b67f09SDavid van Moolenbroek
75*00b67f09SDavid van Moolenbroek /*
76*00b67f09SDavid van Moolenbroek * Create the thread-specific handle
77*00b67f09SDavid van Moolenbroek */
78*00b67f09SDavid van Moolenbroek hc = CreateEvent(NULL, FALSE, FALSE, NULL);
79*00b67f09SDavid van Moolenbroek if (hc == NULL) {
80*00b67f09SDavid van Moolenbroek free(newthread);
81*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
82*00b67f09SDavid van Moolenbroek }
83*00b67f09SDavid van Moolenbroek
84*00b67f09SDavid van Moolenbroek /*
85*00b67f09SDavid van Moolenbroek * Add the thread ID and handles to list of threads for broadcast
86*00b67f09SDavid van Moolenbroek */
87*00b67f09SDavid van Moolenbroek newthread->handle[LSIGNAL] = gblcond->events[LSIGNAL];
88*00b67f09SDavid van Moolenbroek newthread->handle[LBROADCAST] = hc;
89*00b67f09SDavid van Moolenbroek newthread->th = thrd;
90*00b67f09SDavid van Moolenbroek
91*00b67f09SDavid van Moolenbroek /*
92*00b67f09SDavid van Moolenbroek * The thread is holding the manager lock so this is safe
93*00b67f09SDavid van Moolenbroek */
94*00b67f09SDavid van Moolenbroek ISC_LIST_APPEND(gblcond->threadlist, newthread, link);
95*00b67f09SDavid van Moolenbroek *localcond = newthread;
96*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
97*00b67f09SDavid van Moolenbroek }
98*00b67f09SDavid van Moolenbroek
99*00b67f09SDavid van Moolenbroek static isc_result_t
find_thread_condition(unsigned long thrd,isc_condition_t * cond,isc_condition_thread_t ** threadcondp)100*00b67f09SDavid van Moolenbroek find_thread_condition(unsigned long thrd, isc_condition_t *cond,
101*00b67f09SDavid van Moolenbroek isc_condition_thread_t **threadcondp)
102*00b67f09SDavid van Moolenbroek {
103*00b67f09SDavid van Moolenbroek isc_condition_thread_t *threadcond;
104*00b67f09SDavid van Moolenbroek
105*00b67f09SDavid van Moolenbroek REQUIRE(threadcondp != NULL && *threadcondp == NULL);
106*00b67f09SDavid van Moolenbroek
107*00b67f09SDavid van Moolenbroek /*
108*00b67f09SDavid van Moolenbroek * Look for the thread ID.
109*00b67f09SDavid van Moolenbroek */
110*00b67f09SDavid van Moolenbroek for (threadcond = ISC_LIST_HEAD(cond->threadlist);
111*00b67f09SDavid van Moolenbroek threadcond != NULL;
112*00b67f09SDavid van Moolenbroek threadcond = ISC_LIST_NEXT(threadcond, link)) {
113*00b67f09SDavid van Moolenbroek
114*00b67f09SDavid van Moolenbroek if (threadcond->th == thrd) {
115*00b67f09SDavid van Moolenbroek *threadcondp = threadcond;
116*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
117*00b67f09SDavid van Moolenbroek }
118*00b67f09SDavid van Moolenbroek }
119*00b67f09SDavid van Moolenbroek
120*00b67f09SDavid van Moolenbroek /*
121*00b67f09SDavid van Moolenbroek * Not found, so add it.
122*00b67f09SDavid van Moolenbroek */
123*00b67f09SDavid van Moolenbroek return (register_thread(thrd, cond, threadcondp));
124*00b67f09SDavid van Moolenbroek }
125*00b67f09SDavid van Moolenbroek
126*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_signal(isc_condition_t * cond)127*00b67f09SDavid van Moolenbroek isc_condition_signal(isc_condition_t *cond) {
128*00b67f09SDavid van Moolenbroek
129*00b67f09SDavid van Moolenbroek /*
130*00b67f09SDavid van Moolenbroek * Unlike pthreads, the caller MUST hold the lock associated with
131*00b67f09SDavid van Moolenbroek * the condition variable when calling us.
132*00b67f09SDavid van Moolenbroek */
133*00b67f09SDavid van Moolenbroek REQUIRE(cond != NULL);
134*00b67f09SDavid van Moolenbroek
135*00b67f09SDavid van Moolenbroek if (!SetEvent(cond->events[LSIGNAL])) {
136*00b67f09SDavid van Moolenbroek /* XXX */
137*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
138*00b67f09SDavid van Moolenbroek }
139*00b67f09SDavid van Moolenbroek
140*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
141*00b67f09SDavid van Moolenbroek }
142*00b67f09SDavid van Moolenbroek
143*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_broadcast(isc_condition_t * cond)144*00b67f09SDavid van Moolenbroek isc_condition_broadcast(isc_condition_t *cond) {
145*00b67f09SDavid van Moolenbroek
146*00b67f09SDavid van Moolenbroek isc_condition_thread_t *threadcond;
147*00b67f09SDavid van Moolenbroek isc_boolean_t failed = ISC_FALSE;
148*00b67f09SDavid van Moolenbroek
149*00b67f09SDavid van Moolenbroek /*
150*00b67f09SDavid van Moolenbroek * Unlike pthreads, the caller MUST hold the lock associated with
151*00b67f09SDavid van Moolenbroek * the condition variable when calling us.
152*00b67f09SDavid van Moolenbroek */
153*00b67f09SDavid van Moolenbroek REQUIRE(cond != NULL);
154*00b67f09SDavid van Moolenbroek
155*00b67f09SDavid van Moolenbroek /*
156*00b67f09SDavid van Moolenbroek * Notify every thread registered for this
157*00b67f09SDavid van Moolenbroek */
158*00b67f09SDavid van Moolenbroek for (threadcond = ISC_LIST_HEAD(cond->threadlist);
159*00b67f09SDavid van Moolenbroek threadcond != NULL;
160*00b67f09SDavid van Moolenbroek threadcond = ISC_LIST_NEXT(threadcond, link)) {
161*00b67f09SDavid van Moolenbroek
162*00b67f09SDavid van Moolenbroek if (!SetEvent(threadcond->handle[LBROADCAST]))
163*00b67f09SDavid van Moolenbroek failed = ISC_TRUE;
164*00b67f09SDavid van Moolenbroek }
165*00b67f09SDavid van Moolenbroek
166*00b67f09SDavid van Moolenbroek if (failed)
167*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
168*00b67f09SDavid van Moolenbroek
169*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
170*00b67f09SDavid van Moolenbroek }
171*00b67f09SDavid van Moolenbroek
172*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_destroy(isc_condition_t * cond)173*00b67f09SDavid van Moolenbroek isc_condition_destroy(isc_condition_t *cond) {
174*00b67f09SDavid van Moolenbroek
175*00b67f09SDavid van Moolenbroek isc_condition_thread_t *next, *threadcond;
176*00b67f09SDavid van Moolenbroek
177*00b67f09SDavid van Moolenbroek REQUIRE(cond != NULL);
178*00b67f09SDavid van Moolenbroek REQUIRE(cond->waiters == 0);
179*00b67f09SDavid van Moolenbroek
180*00b67f09SDavid van Moolenbroek (void)CloseHandle(cond->events[LSIGNAL]);
181*00b67f09SDavid van Moolenbroek
182*00b67f09SDavid van Moolenbroek /*
183*00b67f09SDavid van Moolenbroek * Delete the threadlist
184*00b67f09SDavid van Moolenbroek */
185*00b67f09SDavid van Moolenbroek threadcond = ISC_LIST_HEAD(cond->threadlist);
186*00b67f09SDavid van Moolenbroek
187*00b67f09SDavid van Moolenbroek while (threadcond != NULL) {
188*00b67f09SDavid van Moolenbroek next = ISC_LIST_NEXT(threadcond, link);
189*00b67f09SDavid van Moolenbroek DEQUEUE(cond->threadlist, threadcond, link);
190*00b67f09SDavid van Moolenbroek (void) CloseHandle(threadcond->handle[LBROADCAST]);
191*00b67f09SDavid van Moolenbroek free(threadcond);
192*00b67f09SDavid van Moolenbroek threadcond = next;
193*00b67f09SDavid van Moolenbroek }
194*00b67f09SDavid van Moolenbroek
195*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
196*00b67f09SDavid van Moolenbroek }
197*00b67f09SDavid van Moolenbroek
198*00b67f09SDavid van Moolenbroek /*
199*00b67f09SDavid van Moolenbroek * This is always called when the mutex (lock) is held, but because
200*00b67f09SDavid van Moolenbroek * we are waiting we need to release it and reacquire it as soon as the wait
201*00b67f09SDavid van Moolenbroek * is over. This allows other threads to make use of the object guarded
202*00b67f09SDavid van Moolenbroek * by the mutex but it should never try to delete it as long as the
203*00b67f09SDavid van Moolenbroek * number of waiters > 0. Always reacquire the mutex regardless of the
204*00b67f09SDavid van Moolenbroek * result of the wait. Note that EnterCriticalSection will wait to acquire
205*00b67f09SDavid van Moolenbroek * the mutex.
206*00b67f09SDavid van Moolenbroek */
207*00b67f09SDavid van Moolenbroek static isc_result_t
wait(isc_condition_t * cond,isc_mutex_t * mutex,DWORD milliseconds)208*00b67f09SDavid van Moolenbroek wait(isc_condition_t *cond, isc_mutex_t *mutex, DWORD milliseconds) {
209*00b67f09SDavid van Moolenbroek DWORD result;
210*00b67f09SDavid van Moolenbroek isc_result_t tresult;
211*00b67f09SDavid van Moolenbroek isc_condition_thread_t *threadcond = NULL;
212*00b67f09SDavid van Moolenbroek
213*00b67f09SDavid van Moolenbroek /*
214*00b67f09SDavid van Moolenbroek * Get the thread events needed for the wait
215*00b67f09SDavid van Moolenbroek */
216*00b67f09SDavid van Moolenbroek tresult = find_thread_condition(isc_thread_self(), cond, &threadcond);
217*00b67f09SDavid van Moolenbroek if (tresult != ISC_R_SUCCESS)
218*00b67f09SDavid van Moolenbroek return (tresult);
219*00b67f09SDavid van Moolenbroek
220*00b67f09SDavid van Moolenbroek cond->waiters++;
221*00b67f09SDavid van Moolenbroek LeaveCriticalSection(mutex);
222*00b67f09SDavid van Moolenbroek result = WaitForMultipleObjects(2, threadcond->handle, FALSE,
223*00b67f09SDavid van Moolenbroek milliseconds);
224*00b67f09SDavid van Moolenbroek EnterCriticalSection(mutex);
225*00b67f09SDavid van Moolenbroek cond->waiters--;
226*00b67f09SDavid van Moolenbroek if (result == WAIT_FAILED) {
227*00b67f09SDavid van Moolenbroek /* XXX */
228*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
229*00b67f09SDavid van Moolenbroek }
230*00b67f09SDavid van Moolenbroek if (result == WAIT_TIMEOUT)
231*00b67f09SDavid van Moolenbroek return (ISC_R_TIMEDOUT);
232*00b67f09SDavid van Moolenbroek
233*00b67f09SDavid van Moolenbroek return (ISC_R_SUCCESS);
234*00b67f09SDavid van Moolenbroek }
235*00b67f09SDavid van Moolenbroek
236*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_wait(isc_condition_t * cond,isc_mutex_t * mutex)237*00b67f09SDavid van Moolenbroek isc_condition_wait(isc_condition_t *cond, isc_mutex_t *mutex) {
238*00b67f09SDavid van Moolenbroek return (wait(cond, mutex, INFINITE));
239*00b67f09SDavid van Moolenbroek }
240*00b67f09SDavid van Moolenbroek
241*00b67f09SDavid van Moolenbroek isc_result_t
isc_condition_waituntil(isc_condition_t * cond,isc_mutex_t * mutex,isc_time_t * t)242*00b67f09SDavid van Moolenbroek isc_condition_waituntil(isc_condition_t *cond, isc_mutex_t *mutex,
243*00b67f09SDavid van Moolenbroek isc_time_t *t) {
244*00b67f09SDavid van Moolenbroek DWORD milliseconds;
245*00b67f09SDavid van Moolenbroek isc_uint64_t microseconds;
246*00b67f09SDavid van Moolenbroek isc_time_t now;
247*00b67f09SDavid van Moolenbroek
248*00b67f09SDavid van Moolenbroek if (isc_time_now(&now) != ISC_R_SUCCESS) {
249*00b67f09SDavid van Moolenbroek /* XXX */
250*00b67f09SDavid van Moolenbroek return (ISC_R_UNEXPECTED);
251*00b67f09SDavid van Moolenbroek }
252*00b67f09SDavid van Moolenbroek
253*00b67f09SDavid van Moolenbroek microseconds = isc_time_microdiff(t, &now);
254*00b67f09SDavid van Moolenbroek if (microseconds > 0xFFFFFFFFi64 * 1000)
255*00b67f09SDavid van Moolenbroek milliseconds = 0xFFFFFFFF;
256*00b67f09SDavid van Moolenbroek else
257*00b67f09SDavid van Moolenbroek milliseconds = (DWORD)(microseconds / 1000);
258*00b67f09SDavid van Moolenbroek
259*00b67f09SDavid van Moolenbroek return (wait(cond, mutex, milliseconds));
260*00b67f09SDavid van Moolenbroek }
261