2 * Copyright (c) 2000-2002 Apple Computer, Inc. All rights reserved.
4 * @APPLE_LICENSE_HEADER_START@
6 * The contents of this file constitute Original Code as defined in and
7 * are subject to the Apple Public Source License Version 1.1 (the
8 * "License"). You may not use this file except in compliance with the
9 * License. Please obtain a copy of the License at
10 * http://www.apple.com/publicsource and read it before using this file.
12 * This Original Code and all software distributed under the License are
13 * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
14 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
15 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
16 * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT. Please see the
17 * License for the specific language governing rights and limitations
20 * @APPLE_LICENSE_HEADER_END@
23 * @OSF_FREE_COPYRIGHT@
26 * Mach Operating System
27 * Copyright (c) 1991,1990,1989,1988,1987 Carnegie Mellon University
28 * All Rights Reserved.
30 * Permission to use, copy, modify and distribute this software and its
31 * documentation is hereby granted, provided that both the copyright
32 * notice and this permission notice appear in all copies of the
33 * software, derivative works or modified versions, and any portions
34 * thereof, and that both notices appear in supporting documentation.
36 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
37 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
38 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
40 * Carnegie Mellon requests users of this software to return to
42 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
43 * School of Computer Science
44 * Carnegie Mellon University
45 * Pittsburgh PA 15213-3890
47 * any improvements or extensions that they make and grant Carnegie Mellon
48 * the rights to redistribute these changes.
53 * File: wait_queue.c (adapted from sched_prim.c)
54 * Author: Avadis Tevanian, Jr.
57 * Primitives for manipulating wait queues: either global
58 * ones from sched_prim.c, or private ones associated with
59 * particular structures(pots, semaphores, etc..).
62 #include <kern/kern_types.h>
63 #include <kern/simple_lock.h>
64 #include <kern/kalloc.h>
65 #include <kern/queue.h>
67 #include <mach/sync_policy.h>
68 #include <kern/sched_prim.h>
70 #include <kern/wait_queue.h>
73 * Routine: wait_queue_init
75 * Initialize a previously allocated wait queue.
77 * KERN_SUCCESS - The wait_queue_t was initialized
78 * KERN_INVALID_ARGUMENT - The policy parameter was invalid
85 if (!((policy
& SYNC_POLICY_ORDER_MASK
) == SYNC_POLICY_FIFO
))
86 return KERN_INVALID_ARGUMENT
;
89 wq
->wq_type
= _WAIT_QUEUE_inited
;
90 queue_init(&wq
->wq_queue
);
91 hw_lock_init(&wq
->wq_interlock
);
96 * Routine: wait_queue_alloc
98 * Allocate and initialize a wait queue for use outside of
99 * of the mach part of the kernel.
101 * Nothing locked - can block.
103 * The allocated and initialized wait queue
104 * WAIT_QUEUE_NULL if there is a resource shortage
113 wq
= (wait_queue_t
) kalloc(sizeof(struct wait_queue
));
114 if (wq
!= WAIT_QUEUE_NULL
) {
115 ret
= wait_queue_init(wq
, policy
);
116 if (ret
!= KERN_SUCCESS
) {
117 kfree((vm_offset_t
)wq
, sizeof(struct wait_queue
));
118 wq
= WAIT_QUEUE_NULL
;
125 * Routine: wait_queue_free
127 * Free an allocated wait queue.
135 if (!wait_queue_is_queue(wq
))
136 return KERN_INVALID_ARGUMENT
;
137 if (!queue_empty(&wq
->wq_queue
))
139 kfree((vm_offset_t
)wq
, sizeof(struct wait_queue
));
144 * Routine: wait_queue_set_init
146 * Initialize a previously allocated wait queue set.
148 * KERN_SUCCESS - The wait_queue_set_t was initialized
149 * KERN_INVALID_ARGUMENT - The policy parameter was invalid
153 wait_queue_set_t wqset
,
158 ret
= wait_queue_init(&wqset
->wqs_wait_queue
, policy
);
159 if (ret
!= KERN_SUCCESS
)
162 wqset
->wqs_wait_queue
.wq_type
= _WAIT_QUEUE_SET_inited
;
163 if (policy
& SYNC_POLICY_PREPOST
)
164 wqset
->wqs_wait_queue
.wq_isprepost
= TRUE
;
166 wqset
->wqs_wait_queue
.wq_isprepost
= FALSE
;
167 queue_init(&wqset
->wqs_setlinks
);
168 wqset
->wqs_refcount
= 0;
175 wait_queue_set_t wqset
,
178 return wait_queue_set_init(wqset
, policy
);
182 * Routine: wait_queue_set_alloc
184 * Allocate and initialize a wait queue set for
185 * use outside of the mach part of the kernel.
189 * The allocated and initialized wait queue set
190 * WAIT_QUEUE_SET_NULL if there is a resource shortage
193 wait_queue_set_alloc(
196 wait_queue_set_t wq_set
;
198 wq_set
= (wait_queue_set_t
) kalloc(sizeof(struct wait_queue_set
));
199 if (wq_set
!= WAIT_QUEUE_SET_NULL
) {
202 ret
= wait_queue_set_init(wq_set
, policy
);
203 if (ret
!= KERN_SUCCESS
) {
204 kfree((vm_offset_t
)wq_set
, sizeof(struct wait_queue_set
));
205 wq_set
= WAIT_QUEUE_SET_NULL
;
212 * Routine: wait_queue_set_free
214 * Free an allocated wait queue set
220 wait_queue_set_t wq_set
)
222 if (!wait_queue_is_set(wq_set
))
223 return KERN_INVALID_ARGUMENT
;
225 if (!queue_empty(&wq_set
->wqs_wait_queue
.wq_queue
))
228 kfree((vm_offset_t
)wq_set
, sizeof(struct wait_queue_set
));
233 wait_queue_sub_clearrefs(
234 wait_queue_set_t wq_set
)
236 if (!wait_queue_is_set(wq_set
))
237 return KERN_INVALID_ARGUMENT
;
240 wq_set
->wqs_refcount
= 0;
247 * Routine: wait_queue_set_size
248 * Routine: wait_queue_link_size
250 * Return the size of opaque wait queue structures
252 unsigned int wait_queue_set_size(void) { return sizeof(WaitQueueSet
); }
253 unsigned int wait_queue_link_size(void) { return sizeof(WaitQueueLink
); }
255 /* declare a unique type for wait queue link structures */
256 static unsigned int _wait_queue_link
;
257 static unsigned int _wait_queue_unlinked
;
259 #define WAIT_QUEUE_LINK ((void *)&_wait_queue_link)
260 #define WAIT_QUEUE_UNLINKED ((void *)&_wait_queue_unlinked)
262 #define WAIT_QUEUE_ELEMENT_CHECK(wq, wqe) \
263 WQASSERT(((wqe)->wqe_queue == (wq) && \
264 queue_next(queue_prev((queue_t) (wqe))) == (queue_t)(wqe)), \
265 "wait queue element list corruption: wq=%#x, wqe=%#x", \
268 #define WQSPREV(wqs, wql) ((wait_queue_link_t)queue_prev( \
269 ((&(wqs)->wqs_setlinks == (queue_t)(wql)) ? \
270 (queue_t)(wql) : &(wql)->wql_setlinks)))
272 #define WQSNEXT(wqs, wql) ((wait_queue_link_t)queue_next( \
273 ((&(wqs)->wqs_setlinks == (queue_t)(wql)) ? \
274 (queue_t)(wql) : &(wql)->wql_setlinks)))
276 #define WAIT_QUEUE_SET_LINK_CHECK(wqs, wql) \
277 WQASSERT((((wql)->wql_type == WAIT_QUEUE_LINK) && \
278 ((wql)->wql_setqueue == (wqs)) && \
279 ((wql)->wql_queue->wq_type == _WAIT_QUEUE_inited) && \
280 (WQSNEXT((wqs), WQSPREV((wqs),(wql))) == (wql))), \
281 "wait queue set links corruption: wqs=%#x, wql=%#x", \
284 #if defined(_WAIT_QUEUE_DEBUG_)
286 #define WQASSERT(e, s, p0, p1) ((e) ? 0 : panic(s, p0, p1))
288 #define WAIT_QUEUE_CHECK(wq) \
290 queue_t q2 = &(wq)->wq_queue; \
291 wait_queue_element_t wqe2 = (wait_queue_element_t) queue_first(q2); \
292 while (!queue_end(q2, (queue_entry_t)wqe2)) { \
293 WAIT_QUEUE_ELEMENT_CHECK((wq), wqe2); \
294 wqe2 = (wait_queue_element_t) queue_next((queue_t) wqe2); \
298 #define WAIT_QUEUE_SET_CHECK(wqs) \
300 queue_t q2 = &(wqs)->wqs_setlinks; \
301 wait_queue_link_t wql2 = (wait_queue_link_t) queue_first(q2); \
302 while (!queue_end(q2, (queue_entry_t)wql2)) { \
303 WAIT_QUEUE_SET_LINK_CHECK((wqs), wql2); \
304 wql2 = (wait_queue_link_t) wql2->wql_setlinks.next; \
308 #else /* !_WAIT_QUEUE_DEBUG_ */
310 #define WQASSERT(e, s, p0, p1) assert(e)
312 #define WAIT_QUEUE_CHECK(wq)
313 #define WAIT_QUEUE_SET_CHECK(wqs)
315 #endif /* !_WAIT_QUEUE_DEBUG_ */
318 * Routine: wait_queue_member_locked
320 * Indicate if this set queue is a member of the queue
322 * The wait queue is locked
323 * The set queue is just that, a set queue
325 __private_extern__ boolean_t
326 wait_queue_member_locked(
328 wait_queue_set_t wq_set
)
330 wait_queue_element_t wq_element
;
333 assert(wait_queue_held(wq
));
334 assert(wait_queue_is_set(wq_set
));
338 wq_element
= (wait_queue_element_t
) queue_first(q
);
339 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
340 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
341 if ((wq_element
->wqe_type
== WAIT_QUEUE_LINK
)) {
342 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
344 if (wql
->wql_setqueue
== wq_set
)
347 wq_element
= (wait_queue_element_t
)
348 queue_next((queue_t
) wq_element
);
355 * Routine: wait_queue_member
357 * Indicate if this set queue is a member of the queue
359 * The set queue is just that, a set queue
364 wait_queue_set_t wq_set
)
369 if (!wait_queue_is_set(wq_set
))
374 ret
= wait_queue_member_locked(wq
, wq_set
);
375 wait_queue_unlock(wq
);
383 * Routine: wait_queue_link_noalloc
385 * Insert a set wait queue into a wait queue. This
386 * requires us to link the two together using a wait_queue_link
387 * structure that we allocate.
389 * The wait queue being inserted must be inited as a set queue
392 wait_queue_link_noalloc(
394 wait_queue_set_t wq_set
,
395 wait_queue_link_t wql
)
397 wait_queue_element_t wq_element
;
401 if (!wait_queue_is_queue(wq
) || !wait_queue_is_set(wq_set
))
402 return KERN_INVALID_ARGUMENT
;
405 * There are probably less threads and sets associated with
406 * the wait queue, then there are wait queues associated with
407 * the set. So lets validate it that way.
413 wq_element
= (wait_queue_element_t
) queue_first(q
);
414 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
415 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
416 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
&&
417 ((wait_queue_link_t
)wq_element
)->wql_setqueue
== wq_set
) {
419 wait_queue_unlock(wq
);
421 return KERN_ALREADY_IN_SET
;
423 wq_element
= (wait_queue_element_t
)
424 queue_next((queue_t
) wq_element
);
428 * Not already a member, so we can add it.
431 WAIT_QUEUE_SET_CHECK(wq_set
);
434 queue_enter(&wq
->wq_queue
, wql
, wait_queue_link_t
, wql_links
);
435 wql
->wql_setqueue
= wq_set
;
436 queue_enter(&wq_set
->wqs_setlinks
, wql
, wait_queue_link_t
, wql_setlinks
);
437 wql
->wql_type
= WAIT_QUEUE_LINK
;
440 wait_queue_unlock(wq
);
447 * Routine: wait_queue_link
449 * Insert a set wait queue into a wait queue. This
450 * requires us to link the two together using a wait_queue_link
451 * structure that we allocate.
453 * The wait queue being inserted must be inited as a set queue
458 wait_queue_set_t wq_set
)
460 wait_queue_link_t wql
;
463 wql
= (wait_queue_link_t
) kalloc(sizeof(struct wait_queue_link
));
464 if (wql
== WAIT_QUEUE_LINK_NULL
)
465 return KERN_RESOURCE_SHORTAGE
;
467 ret
= wait_queue_link_noalloc(wq
, wq_set
, wql
);
468 if (ret
!= KERN_SUCCESS
)
469 kfree((vm_offset_t
)wql
, sizeof(struct wait_queue_link
));
476 * Routine: wait_queue_unlink_nofree
478 * Undo the linkage between a wait queue and a set.
481 wait_queue_unlink_locked(
483 wait_queue_set_t wq_set
,
484 wait_queue_link_t wql
)
486 assert(wait_queue_held(wq
));
487 assert(wait_queue_held(&wq_set
->wqs_wait_queue
));
489 wql
->wql_queue
= WAIT_QUEUE_NULL
;
490 queue_remove(&wq
->wq_queue
, wql
, wait_queue_link_t
, wql_links
);
491 wql
->wql_setqueue
= WAIT_QUEUE_SET_NULL
;
492 queue_remove(&wq_set
->wqs_setlinks
, wql
, wait_queue_link_t
, wql_setlinks
);
493 wql
->wql_type
= WAIT_QUEUE_UNLINKED
;
495 WAIT_QUEUE_CHECK(wq
);
496 WAIT_QUEUE_SET_CHECK(wq_set
);
500 * Routine: wait_queue_unlink
502 * Remove the linkage between a wait queue and a set,
503 * freeing the linkage structure.
505 * The wait queue being must be a member set queue
510 wait_queue_set_t wq_set
)
512 wait_queue_element_t wq_element
;
513 wait_queue_link_t wql
;
517 if (!wait_queue_is_queue(wq
) || !wait_queue_is_set(wq_set
)) {
518 return KERN_INVALID_ARGUMENT
;
524 wq_element
= (wait_queue_element_t
) queue_first(q
);
525 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
526 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
527 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
528 wql
= (wait_queue_link_t
)wq_element
;
530 if (wql
->wql_setqueue
== wq_set
) {
532 wait_queue_unlink_locked(wq
, wq_set
, wql
);
534 wait_queue_unlock(wq
);
536 kfree((vm_offset_t
)wql
, sizeof(struct wait_queue_link
));
540 wq_element
= (wait_queue_element_t
)
541 queue_next((queue_t
) wq_element
);
543 wait_queue_unlock(wq
);
545 return KERN_NOT_IN_SET
;
550 * Routine: wait_queue_unlinkall_nofree
552 * Remove the linkage between a wait queue and all its
553 * sets. The caller is responsible for freeing
554 * the wait queue link structures.
558 wait_queue_unlinkall_nofree(
561 wait_queue_element_t wq_element
;
562 wait_queue_element_t wq_next_element
;
563 wait_queue_set_t wq_set
;
564 wait_queue_link_t wql
;
565 queue_head_t links_queue_head
;
566 queue_t links
= &links_queue_head
;
570 if (!wait_queue_is_queue(wq
)) {
571 return KERN_INVALID_ARGUMENT
;
581 wq_element
= (wait_queue_element_t
) queue_first(q
);
582 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
583 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
584 wq_next_element
= (wait_queue_element_t
)
585 queue_next((queue_t
) wq_element
);
587 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
588 wql
= (wait_queue_link_t
)wq_element
;
589 wq_set
= wql
->wql_setqueue
;
591 wait_queue_unlink_locked(wq
, wq_set
, wql
);
594 wq_element
= wq_next_element
;
596 wait_queue_unlock(wq
);
598 return(KERN_SUCCESS
);
603 * Routine: wait_queue_unlink_all
605 * Remove the linkage between a wait queue and all its sets.
606 * All the linkage structures are freed.
608 * Nothing of interest locked.
612 wait_queue_unlink_all(
615 wait_queue_element_t wq_element
;
616 wait_queue_element_t wq_next_element
;
617 wait_queue_set_t wq_set
;
618 wait_queue_link_t wql
;
619 queue_head_t links_queue_head
;
620 queue_t links
= &links_queue_head
;
624 if (!wait_queue_is_queue(wq
)) {
625 return KERN_INVALID_ARGUMENT
;
635 wq_element
= (wait_queue_element_t
) queue_first(q
);
636 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
637 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
638 wq_next_element
= (wait_queue_element_t
)
639 queue_next((queue_t
) wq_element
);
641 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
642 wql
= (wait_queue_link_t
)wq_element
;
643 wq_set
= wql
->wql_setqueue
;
645 wait_queue_unlink_locked(wq
, wq_set
, wql
);
647 enqueue(links
, &wql
->wql_links
);
649 wq_element
= wq_next_element
;
651 wait_queue_unlock(wq
);
654 while(!queue_empty(links
)) {
655 wql
= (wait_queue_link_t
) dequeue(links
);
656 kfree((vm_offset_t
) wql
, sizeof(struct wait_queue_link
));
659 return(KERN_SUCCESS
);
663 * Routine: wait_queue_set_unlink_all_nofree
665 * Remove the linkage between a set wait queue and all its
666 * member wait queues. The link structures are not freed, nor
667 * returned. It is the caller's responsibility to track and free
670 * The wait queue being must be a member set queue
673 wait_queue_set_unlink_all_nofree(
674 wait_queue_set_t wq_set
)
676 wait_queue_link_t wql
;
682 if (!wait_queue_is_set(wq_set
)) {
683 return KERN_INVALID_ARGUMENT
;
690 q
= &wq_set
->wqs_setlinks
;
692 wql
= (wait_queue_link_t
)queue_first(q
);
693 while (!queue_end(q
, (queue_entry_t
)wql
)) {
694 WAIT_QUEUE_SET_LINK_CHECK(wq_set
, wql
);
696 if (wait_queue_lock_try(wq
)) {
697 wait_queue_unlink_locked(wq
, wq_set
, wql
);
698 wait_queue_unlock(wq
);
699 wql
= (wait_queue_link_t
)queue_first(q
);
710 return(KERN_SUCCESS
);
713 /* legacy interface naming */
715 wait_subqueue_unlink_all(
716 wait_queue_set_t wq_set
)
718 return wait_queue_set_unlink_all_nofree(wq_set
);
723 * Routine: wait_queue_set_unlink_all
725 * Remove the linkage between a set wait queue and all its
726 * member wait queues. The link structures are freed.
728 * The wait queue must be a set
731 wait_queue_set_unlink_all(
732 wait_queue_set_t wq_set
)
734 wait_queue_link_t wql
;
737 queue_head_t links_queue_head
;
738 queue_t links
= &links_queue_head
;
742 if (!wait_queue_is_set(wq_set
)) {
743 return KERN_INVALID_ARGUMENT
;
752 q
= &wq_set
->wqs_setlinks
;
754 wql
= (wait_queue_link_t
)queue_first(q
);
755 while (!queue_end(q
, (queue_entry_t
)wql
)) {
756 WAIT_QUEUE_SET_LINK_CHECK(wq_set
, wql
);
758 if (wait_queue_lock_try(wq
)) {
759 wait_queue_unlink_locked(wq
, wq_set
, wql
);
760 wait_queue_unlock(wq
);
761 enqueue(links
, &wql
->wql_links
);
762 wql
= (wait_queue_link_t
)queue_first(q
);
773 while (!queue_empty (links
)) {
774 wql
= (wait_queue_link_t
) dequeue(links
);
775 kfree((vm_offset_t
)wql
, sizeof(struct wait_queue_link
));
777 return(KERN_SUCCESS
);
782 * Routine: wait_queue_unlink_one
784 * Find and unlink one set wait queue
786 * Nothing of interest locked.
789 wait_queue_unlink_one(
791 wait_queue_set_t
*wq_setp
)
793 wait_queue_element_t wq_element
;
802 wq_element
= (wait_queue_element_t
) queue_first(q
);
803 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
805 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
806 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
807 wait_queue_set_t wq_set
= wql
->wql_setqueue
;
810 wait_queue_unlink_locked(wq
, wq_set
, wql
);
812 wait_queue_unlock(wq
);
814 kfree((vm_offset_t
)wql
,sizeof(struct wait_queue_link
));
819 wq_element
= (wait_queue_element_t
)
820 queue_next((queue_t
) wq_element
);
822 wait_queue_unlock(wq
);
824 *wq_setp
= WAIT_QUEUE_SET_NULL
;
829 * Routine: wait_queue_assert_wait64_locked
831 * Insert the current thread into the supplied wait queue
832 * waiting for a particular event to be posted to that queue.
835 * The wait queue is assumed locked.
838 __private_extern__ wait_result_t
839 wait_queue_assert_wait64_locked(
842 wait_interrupt_t interruptible
,
846 wait_result_t wait_result
;
848 if (wq
->wq_type
== _WAIT_QUEUE_SET_inited
) {
849 wait_queue_set_t wqs
= (wait_queue_set_t
)wq
;
850 if (wqs
->wqs_isprepost
&& wqs
->wqs_refcount
> 0) {
852 wait_queue_unlock(wq
);
853 return(THREAD_AWAKENED
);
858 * This is the extent to which we currently take scheduling attributes
859 * into account. If the thread is vm priviledged, we stick it at
860 * the front of the queue. Later, these queues will honor the policy
861 * value set at wait_queue_init time.
863 thread
= current_thread();
865 wait_result
= thread_mark_wait_locked(thread
, interruptible
);
866 if (wait_result
== THREAD_WAITING
) {
867 if (thread
->vm_privilege
)
868 enqueue_head(&wq
->wq_queue
, (queue_entry_t
) thread
);
870 enqueue_tail(&wq
->wq_queue
, (queue_entry_t
) thread
);
871 thread
->wait_event
= event
;
872 thread
->wait_queue
= wq
;
874 thread_unlock(thread
);
876 wait_queue_unlock(wq
);
881 * Routine: wait_queue_assert_wait
883 * Insert the current thread into the supplied wait queue
884 * waiting for a particular event to be posted to that queue.
887 * nothing of interest locked.
890 wait_queue_assert_wait(
893 wait_interrupt_t interruptible
)
898 /* If it is an invalid wait queue, you can't wait on it */
899 if (!wait_queue_is_valid(wq
)) {
900 thread_t thread
= current_thread();
901 return (thread
->wait_result
= THREAD_RESTART
);
906 ret
= wait_queue_assert_wait64_locked(
907 wq
, (event64_t
)((uint32_t)event
),
908 interruptible
, TRUE
);
909 /* wait queue unlocked */
915 * Routine: wait_queue_assert_wait64
917 * Insert the current thread into the supplied wait queue
918 * waiting for a particular event to be posted to that queue.
920 * nothing of interest locked.
923 wait_queue_assert_wait64(
926 wait_interrupt_t interruptible
)
931 /* If it is an invalid wait queue, you cant wait on it */
932 if (!wait_queue_is_valid(wq
)) {
933 thread_t thread
= current_thread();
934 return (thread
->wait_result
= THREAD_RESTART
);
939 ret
= wait_queue_assert_wait64_locked(wq
, event
, interruptible
, TRUE
);
940 /* wait queue unlocked */
947 * Routine: _wait_queue_select64_all
949 * Select all threads off a wait queue that meet the
954 * wake_queue initialized and ready for insertion
957 * a queue of locked threads
960 _wait_queue_select64_all(
965 wait_queue_element_t wq_element
;
966 wait_queue_element_t wqe_next
;
971 wq_element
= (wait_queue_element_t
) queue_first(q
);
972 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
973 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
974 wqe_next
= (wait_queue_element_t
)
975 queue_next((queue_t
) wq_element
);
978 * We may have to recurse if this is a compound wait queue.
980 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
981 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
982 wait_queue_t set_queue
;
985 * We have to check the set wait queue.
987 set_queue
= (wait_queue_t
)wql
->wql_setqueue
;
988 wait_queue_lock(set_queue
);
989 if (set_queue
->wq_isprepost
) {
990 wait_queue_set_t wqs
= (wait_queue_set_t
)set_queue
;
993 * Preposting is only for sets and wait queue
994 * is the first element of set
998 if (! wait_queue_empty(set_queue
))
999 _wait_queue_select64_all(set_queue
, event
, wake_queue
);
1000 wait_queue_unlock(set_queue
);
1004 * Otherwise, its a thread. If it is waiting on
1005 * the event we are posting to this queue, pull
1006 * it off the queue and stick it in out wake_queue.
1008 thread_t t
= (thread_t
)wq_element
;
1010 if (t
->wait_event
== event
) {
1012 remqueue(q
, (queue_entry_t
) t
);
1013 enqueue (wake_queue
, (queue_entry_t
) t
);
1014 t
->wait_queue
= WAIT_QUEUE_NULL
;
1015 t
->wait_event
= NO_EVENT64
;
1016 t
->at_safe_point
= FALSE
;
1017 /* returned locked */
1020 wq_element
= wqe_next
;
1025 * Routine: wait_queue_wakeup64_all_locked
1027 * Wakeup some number of threads that are in the specified
1028 * wait queue and waiting on the specified event.
1030 * wait queue already locked (may be released).
1032 * KERN_SUCCESS - Threads were woken up
1033 * KERN_NOT_WAITING - No threads were waiting <wq,event> pair
1035 __private_extern__ kern_return_t
1036 wait_queue_wakeup64_all_locked(
1039 wait_result_t result
,
1042 queue_head_t wake_queue_head
;
1043 queue_t q
= &wake_queue_head
;
1046 assert(wait_queue_held(wq
));
1050 * Select the threads that we will wake up. The threads
1051 * are returned to us locked and cleanly removed from the
1054 _wait_queue_select64_all(wq
, event
, q
);
1056 wait_queue_unlock(wq
);
1059 * For each thread, set it running.
1061 res
= KERN_NOT_WAITING
;
1062 while (!queue_empty (q
)) {
1063 thread_t thread
= (thread_t
) dequeue(q
);
1064 res
= thread_go_locked(thread
, result
);
1065 assert(res
== KERN_SUCCESS
);
1066 thread_unlock(thread
);
1073 * Routine: wait_queue_wakeup_all
1075 * Wakeup some number of threads that are in the specified
1076 * wait queue and waiting on the specified event.
1080 * KERN_SUCCESS - Threads were woken up
1081 * KERN_NOT_WAITING - No threads were waiting <wq,event> pair
1084 wait_queue_wakeup_all(
1087 wait_result_t result
)
1092 if (!wait_queue_is_valid(wq
)) {
1093 return KERN_INVALID_ARGUMENT
;
1097 wait_queue_lock(wq
);
1098 ret
= wait_queue_wakeup64_all_locked(
1099 wq
, (event64_t
)((uint32_t)event
),
1107 * Routine: wait_queue_wakeup64_all
1109 * Wakeup some number of threads that are in the specified
1110 * wait queue and waiting on the specified event.
1114 * KERN_SUCCESS - Threads were woken up
1115 * KERN_NOT_WAITING - No threads were waiting <wq,event> pair
1118 wait_queue_wakeup64_all(
1121 wait_result_t result
)
1126 if (!wait_queue_is_valid(wq
)) {
1127 return KERN_INVALID_ARGUMENT
;
1131 wait_queue_lock(wq
);
1132 ret
= wait_queue_wakeup64_all_locked(wq
, event
, result
, TRUE
);
1139 * Routine: _wait_queue_select64_one
1141 * Select the best thread off a wait queue that meet the
1142 * supplied criteria.
1146 * possibly recursive
1148 * a locked thread - if one found
1150 * This is where the sync policy of the wait queue comes
1151 * into effect. For now, we just assume FIFO.
1154 _wait_queue_select64_one(
1158 wait_queue_element_t wq_element
;
1159 wait_queue_element_t wqe_next
;
1160 thread_t t
= THREAD_NULL
;
1163 assert(wq
->wq_fifo
);
1167 wq_element
= (wait_queue_element_t
) queue_first(q
);
1168 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
1169 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
1170 wqe_next
= (wait_queue_element_t
)
1171 queue_next((queue_t
) wq_element
);
1174 * We may have to recurse if this is a compound wait queue.
1176 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
1177 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
1178 wait_queue_t set_queue
;
1181 * We have to check the set wait queue.
1183 set_queue
= (wait_queue_t
)wql
->wql_setqueue
;
1184 wait_queue_lock(set_queue
);
1185 if (! wait_queue_empty(set_queue
)) {
1186 t
= _wait_queue_select64_one(set_queue
, event
);
1188 wait_queue_unlock(set_queue
);
1189 if (t
!= THREAD_NULL
)
1194 * Otherwise, its a thread. If it is waiting on
1195 * the event we are posting to this queue, pull
1196 * it off the queue and stick it in out wake_queue.
1198 thread_t t
= (thread_t
)wq_element
;
1200 if (t
->wait_event
== event
) {
1202 remqueue(q
, (queue_entry_t
) t
);
1203 t
->wait_queue
= WAIT_QUEUE_NULL
;
1204 t
->wait_event
= NO_EVENT64
;
1205 t
->at_safe_point
= FALSE
;
1206 return t
; /* still locked */
1209 wq_element
= wqe_next
;
1215 * Routine: wait_queue_peek64_locked
1217 * Select the best thread from a wait queue that meet the
1218 * supplied criteria, but leave it on the queue it was
1219 * found on. The thread, and the actual wait_queue the
1220 * thread was found on are identified.
1224 * possibly recursive
1226 * a locked thread - if one found
1227 * a locked waitq - the one the thread was found on
1229 * Both the waitq the thread was actually found on, and
1230 * the supplied wait queue, are locked after this.
1232 __private_extern__
void
1233 wait_queue_peek64_locked(
1239 wait_queue_element_t wq_element
;
1240 wait_queue_element_t wqe_next
;
1244 assert(wq
->wq_fifo
);
1250 wq_element
= (wait_queue_element_t
) queue_first(q
);
1251 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
1252 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
1253 wqe_next
= (wait_queue_element_t
)
1254 queue_next((queue_t
) wq_element
);
1257 * We may have to recurse if this is a compound wait queue.
1259 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
1260 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
1261 wait_queue_t set_queue
;
1264 * We have to check the set wait queue.
1266 set_queue
= (wait_queue_t
)wql
->wql_setqueue
;
1267 wait_queue_lock(set_queue
);
1268 if (! wait_queue_empty(set_queue
)) {
1269 wait_queue_peek64_locked(set_queue
, event
, tp
, wqp
);
1271 if (*tp
!= THREAD_NULL
) {
1272 if (*wqp
!= set_queue
)
1273 wait_queue_unlock(set_queue
);
1274 return; /* thread and its waitq locked */
1277 wait_queue_unlock(set_queue
);
1281 * Otherwise, its a thread. If it is waiting on
1282 * the event we are posting to this queue, return
1283 * it locked, but leave it on the queue.
1285 thread_t t
= (thread_t
)wq_element
;
1287 if (t
->wait_event
== event
) {
1294 wq_element
= wqe_next
;
1299 * Routine: wait_queue_pull_thread_locked
1301 * Pull a thread that was previously "peeked" off the wait
1302 * queue and (possibly) unlock the waitq.
1308 * with the thread still locked.
1311 wait_queue_pull_thread_locked(
1317 assert(thread
->wait_queue
== waitq
);
1319 remqueue(&waitq
->wq_queue
, (queue_entry_t
)thread
);
1320 thread
->wait_queue
= WAIT_QUEUE_NULL
;
1321 thread
->wait_event
= NO_EVENT64
;
1322 thread
->at_safe_point
= FALSE
;
1324 wait_queue_unlock(waitq
);
1329 * Routine: wait_queue_select64_thread
1331 * Look for a thread and remove it from the queues, if
1332 * (and only if) the thread is waiting on the supplied
1333 * <wait_queue, event> pair.
1337 * possibly recursive
1339 * KERN_NOT_WAITING: Thread is not waiting here.
1340 * KERN_SUCCESS: It was, and is now removed (returned locked)
1342 static kern_return_t
1343 _wait_queue_select64_thread(
1348 wait_queue_element_t wq_element
;
1349 wait_queue_element_t wqe_next
;
1350 kern_return_t res
= KERN_NOT_WAITING
;
1351 queue_t q
= &wq
->wq_queue
;
1353 thread_lock(thread
);
1354 if ((thread
->wait_queue
== wq
) && (thread
->wait_event
== event
)) {
1355 remqueue(q
, (queue_entry_t
) thread
);
1356 thread
->at_safe_point
= FALSE
;
1357 thread
->wait_event
= NO_EVENT64
;
1358 thread
->wait_queue
= WAIT_QUEUE_NULL
;
1359 /* thread still locked */
1360 return KERN_SUCCESS
;
1362 thread_unlock(thread
);
1365 * The wait_queue associated with the thread may be one of this
1366 * wait queue's sets. Go see. If so, removing it from
1367 * there is like removing it from here.
1369 wq_element
= (wait_queue_element_t
) queue_first(q
);
1370 while (!queue_end(q
, (queue_entry_t
)wq_element
)) {
1371 WAIT_QUEUE_ELEMENT_CHECK(wq
, wq_element
);
1372 wqe_next
= (wait_queue_element_t
)
1373 queue_next((queue_t
) wq_element
);
1375 if (wq_element
->wqe_type
== WAIT_QUEUE_LINK
) {
1376 wait_queue_link_t wql
= (wait_queue_link_t
)wq_element
;
1377 wait_queue_t set_queue
;
1379 set_queue
= (wait_queue_t
)wql
->wql_setqueue
;
1380 wait_queue_lock(set_queue
);
1381 if (! wait_queue_empty(set_queue
)) {
1382 res
= _wait_queue_select64_thread(set_queue
,
1386 wait_queue_unlock(set_queue
);
1387 if (res
== KERN_SUCCESS
)
1388 return KERN_SUCCESS
;
1390 wq_element
= wqe_next
;
1397 * Routine: wait_queue_wakeup64_identity_locked
1399 * Select a single thread that is most-eligible to run and set
1400 * set it running. But return the thread locked.
1405 * possibly recursive
1407 * a pointer to the locked thread that was awakened
1409 __private_extern__ thread_t
1410 wait_queue_wakeup64_identity_locked(
1413 wait_result_t result
,
1419 assert(wait_queue_held(wq
));
1422 thread
= _wait_queue_select64_one(wq
, event
);
1424 wait_queue_unlock(wq
);
1427 res
= thread_go_locked(thread
, result
);
1428 assert(res
== KERN_SUCCESS
);
1430 return thread
; /* still locked if not NULL */
1435 * Routine: wait_queue_wakeup64_one_locked
1437 * Select a single thread that is most-eligible to run and set
1443 * possibly recursive
1445 * KERN_SUCCESS: It was, and is, now removed.
1446 * KERN_NOT_WAITING - No thread was waiting <wq,event> pair
1448 __private_extern__ kern_return_t
1449 wait_queue_wakeup64_one_locked(
1452 wait_result_t result
,
1457 assert(wait_queue_held(wq
));
1459 thread
= _wait_queue_select64_one(wq
, event
);
1461 wait_queue_unlock(wq
);
1466 res
= thread_go_locked(thread
, result
);
1467 assert(res
== KERN_SUCCESS
);
1468 thread_unlock(thread
);
1472 return KERN_NOT_WAITING
;
1476 * Routine: wait_queue_wakeup_one
1478 * Wakeup the most appropriate thread that is in the specified
1479 * wait queue for the specified event.
1483 * KERN_SUCCESS - Thread was woken up
1484 * KERN_NOT_WAITING - No thread was waiting <wq,event> pair
1487 wait_queue_wakeup_one(
1490 wait_result_t result
)
1495 if (!wait_queue_is_valid(wq
)) {
1496 return KERN_INVALID_ARGUMENT
;
1500 wait_queue_lock(wq
);
1501 thread
= _wait_queue_select64_one(wq
, (event64_t
)((uint32_t)event
));
1502 wait_queue_unlock(wq
);
1507 res
= thread_go_locked(thread
, result
);
1508 assert(res
== KERN_SUCCESS
);
1509 thread_unlock(thread
);
1515 return KERN_NOT_WAITING
;
1519 * Routine: wait_queue_wakeup64_one
1521 * Wakeup the most appropriate thread that is in the specified
1522 * wait queue for the specified event.
1526 * KERN_SUCCESS - Thread was woken up
1527 * KERN_NOT_WAITING - No thread was waiting <wq,event> pair
1530 wait_queue_wakeup64_one(
1533 wait_result_t result
)
1538 if (!wait_queue_is_valid(wq
)) {
1539 return KERN_INVALID_ARGUMENT
;
1542 wait_queue_lock(wq
);
1543 thread
= _wait_queue_select64_one(wq
, event
);
1544 wait_queue_unlock(wq
);
1549 res
= thread_go_locked(thread
, result
);
1550 assert(res
== KERN_SUCCESS
);
1551 thread_unlock(thread
);
1557 return KERN_NOT_WAITING
;
1562 * Routine: wait_queue_wakeup64_thread_locked
1564 * Wakeup the particular thread that was specified if and only
1565 * it was in this wait queue (or one of it's set queues)
1566 * and waiting on the specified event.
1568 * This is much safer than just removing the thread from
1569 * whatever wait queue it happens to be on. For instance, it
1570 * may have already been awoken from the wait you intended to
1571 * interrupt and waited on something else (like another
1575 * wait queue already locked (may be released).
1577 * KERN_SUCCESS - the thread was found waiting and awakened
1578 * KERN_NOT_WAITING - the thread was not waiting here
1580 __private_extern__ kern_return_t
1581 wait_queue_wakeup64_thread_locked(
1585 wait_result_t result
,
1590 assert(wait_queue_held(wq
));
1593 * See if the thread was still waiting there. If so, it got
1594 * dequeued and returned locked.
1596 res
= _wait_queue_select64_thread(wq
, event
, thread
);
1598 wait_queue_unlock(wq
);
1600 if (res
!= KERN_SUCCESS
)
1601 return KERN_NOT_WAITING
;
1603 res
= thread_go_locked(thread
, result
);
1604 assert(res
== KERN_SUCCESS
);
1605 thread_unlock(thread
);
1610 * Routine: wait_queue_wakeup_thread
1612 * Wakeup the particular thread that was specified if and only
1613 * it was in this wait queue (or one of it's set queues)
1614 * and waiting on the specified event.
1616 * This is much safer than just removing the thread from
1617 * whatever wait queue it happens to be on. For instance, it
1618 * may have already been awoken from the wait you intended to
1619 * interrupt and waited on something else (like another
1622 * nothing of interest locked
1623 * we need to assume spl needs to be raised
1625 * KERN_SUCCESS - the thread was found waiting and awakened
1626 * KERN_NOT_WAITING - the thread was not waiting here
1629 wait_queue_wakeup_thread(
1633 wait_result_t result
)
1638 if (!wait_queue_is_valid(wq
)) {
1639 return KERN_INVALID_ARGUMENT
;
1643 wait_queue_lock(wq
);
1644 res
= _wait_queue_select64_thread(wq
, (event64_t
)((uint32_t)event
), thread
);
1645 wait_queue_unlock(wq
);
1647 if (res
== KERN_SUCCESS
) {
1648 res
= thread_go_locked(thread
, result
);
1649 assert(res
== KERN_SUCCESS
);
1650 thread_unlock(thread
);
1655 return KERN_NOT_WAITING
;
1659 * Routine: wait_queue_wakeup64_thread
1661 * Wakeup the particular thread that was specified if and only
1662 * it was in this wait queue (or one of it's set's queues)
1663 * and waiting on the specified event.
1665 * This is much safer than just removing the thread from
1666 * whatever wait queue it happens to be on. For instance, it
1667 * may have already been awoken from the wait you intended to
1668 * interrupt and waited on something else (like another
1671 * nothing of interest locked
1672 * we need to assume spl needs to be raised
1674 * KERN_SUCCESS - the thread was found waiting and awakened
1675 * KERN_NOT_WAITING - the thread was not waiting here
1678 wait_queue_wakeup64_thread(
1682 wait_result_t result
)
1687 if (!wait_queue_is_valid(wq
)) {
1688 return KERN_INVALID_ARGUMENT
;
1692 wait_queue_lock(wq
);
1693 res
= _wait_queue_select64_thread(wq
, event
, thread
);
1694 wait_queue_unlock(wq
);
1696 if (res
== KERN_SUCCESS
) {
1697 res
= thread_go_locked(thread
, result
);
1698 assert(res
== KERN_SUCCESS
);
1699 thread_unlock(thread
);
1704 return KERN_NOT_WAITING
;