1 #ifndef _URCU_WFQUEUE_STATIC_H
2 #define _URCU_WFQUEUE_STATIC_H
7 * Userspace RCU library - Queue with Wait-Free Enqueue/Blocking Dequeue
9 * TO BE INCLUDED ONLY IN LGPL-COMPATIBLE CODE. See wfqueue.h for linking
10 * dynamically with the userspace rcu library.
12 * Copyright 2010 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
14 * This library is free software; you can redistribute it and/or
15 * modify it under the terms of the GNU Lesser General Public
16 * License as published by the Free Software Foundation; either
17 * version 2.1 of the License, or (at your option) any later version.
19 * This library is distributed in the hope that it will be useful,
20 * but WITHOUT ANY WARRANTY; without even the implied warranty of
21 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22 * Lesser General Public License for more details.
24 * You should have received a copy of the GNU Lesser General Public
25 * License along with this library; if not, write to the Free Software
26 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
32 #include <urcu/compiler.h>
33 #include <urcu/uatomic.h>
40 * Queue with wait-free enqueue/blocking dequeue.
41 * This implementation adds a dummy head node when the queue is empty to ensure
42 * we can always update the queue locklessly.
44 * Inspired from half-wait-free/half-blocking queue implementation done by
48 #define WFQ_ADAPT_ATTEMPTS 10 /* Retry if being set */
49 #define WFQ_WAIT 10 /* Wait 10 ms if being set */
51 static inline void _cds_wfq_node_init(struct cds_wfq_node
*node
)
56 static inline void _cds_wfq_init(struct cds_wfq_queue
*q
)
60 _cds_wfq_node_init(&q
->dummy
);
61 /* Set queue head and tail */
63 q
->tail
= &q
->dummy
.next
;
64 ret
= pthread_mutex_init(&q
->lock
, NULL
);
68 static inline void _cds_wfq_enqueue(struct cds_wfq_queue
*q
,
69 struct cds_wfq_node
*node
)
71 struct cds_wfq_node
**old_tail
;
74 * uatomic_xchg() implicit memory barrier orders earlier stores to data
75 * structure containing node and setting node->next to NULL before
78 old_tail
= uatomic_xchg(&q
->tail
, &node
->next
);
80 * At this point, dequeuers see a NULL old_tail->next, which indicates
81 * that the queue is being appended to. The following store will append
82 * "node" to the queue from a dequeuer perspective.
84 CMM_STORE_SHARED(*old_tail
, node
);
88 * It is valid to reuse and free a dequeued node immediately.
90 * No need to go on a waitqueue here, as there is no possible state in which the
91 * list could cause dequeue to busy-loop needlessly while waiting for another
92 * thread to be scheduled. The queue appears empty until tail->next is set by
95 static inline struct cds_wfq_node
*
96 ___cds_wfq_dequeue_blocking(struct cds_wfq_queue
*q
)
98 struct cds_wfq_node
*node
, *next
;
102 * Queue is empty if it only contains the dummy node.
104 if (q
->head
== &q
->dummy
&& CMM_LOAD_SHARED(q
->tail
) == &q
->dummy
.next
)
109 * Adaptative busy-looping waiting for enqueuer to complete enqueue.
111 while ((next
= CMM_LOAD_SHARED(node
->next
)) == NULL
) {
112 if (++attempt
>= WFQ_ADAPT_ATTEMPTS
) {
113 poll(NULL
, 0, WFQ_WAIT
); /* Wait for 10ms */
119 * Move queue head forward.
123 * Requeue dummy node if we just dequeued it.
125 if (node
== &q
->dummy
) {
126 _cds_wfq_node_init(node
);
127 _cds_wfq_enqueue(q
, node
);
128 return ___cds_wfq_dequeue_blocking(q
);
133 static inline struct cds_wfq_node
*
134 _cds_wfq_dequeue_blocking(struct cds_wfq_queue
*q
)
136 struct cds_wfq_node
*retnode
;
139 ret
= pthread_mutex_lock(&q
->lock
);
141 retnode
= ___cds_wfq_dequeue_blocking(q
);
142 ret
= pthread_mutex_unlock(&q
->lock
);
151 #endif /* _URCU_WFQUEUE_STATIC_H */
This page took 0.031438 seconds and 4 git commands to generate.