uatomic: add uatomic_or
[urcu.git] / urcu / wfstack-static.h
CommitLineData
294d3396
MD
1#ifndef _URCU_WFSTACK_STATIC_H
2#define _URCU_WFSTACK_STATIC_H
3
4/*
5 * wfstack-static.h
6 *
7 * Userspace RCU library - Stack with Wait-Free push, Blocking pop.
8 *
9 * TO BE INCLUDED ONLY IN LGPL-COMPATIBLE CODE. See wfstack.h for linking
10 * dynamically with the userspace rcu library.
11 *
12 * Copyright 2010 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
13 *
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.
18 *
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.
23 *
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
27 */
28
29#include <pthread.h>
30#include <assert.h>
b57aee66 31#include <poll.h>
294d3396
MD
32#include <urcu/compiler.h>
33#include <urcu/uatomic_arch.h>
34
35#ifdef __cplusplus
36extern "C" {
37#endif
38
16aa9ee8
DG
39#define CDS_WF_STACK_END ((void *)0x1UL)
40#define CDS_WFS_ADAPT_ATTEMPTS 10 /* Retry if being set */
41#define CDS_WFS_WAIT 10 /* Wait 10 ms if being set */
294d3396 42
16aa9ee8 43void _cds_wfs_node_init(struct cds_wfs_node *node)
294d3396
MD
44{
45 node->next = NULL;
46}
47
16aa9ee8 48void _cds_wfs_init(struct cds_wfs_stack *s)
294d3396
MD
49{
50 int ret;
51
16aa9ee8 52 s->head = CDS_WF_STACK_END;
294d3396
MD
53 ret = pthread_mutex_init(&s->lock, NULL);
54 assert(!ret);
55}
56
16aa9ee8 57void _cds_wfs_push(struct cds_wfs_stack *s, struct cds_wfs_node *node)
294d3396 58{
16aa9ee8 59 struct cds_wfs_node *old_head;
294d3396
MD
60
61 assert(node->next == NULL);
62 /*
63 * uatomic_xchg() implicit memory barrier orders earlier stores to node
64 * (setting it to NULL) before publication.
65 */
66 old_head = uatomic_xchg(&s->head, node);
67 /*
68 * At this point, dequeuers see a NULL node->next, they should busy-wait
69 * until node->next is set to old_head.
70 */
6cf3827c 71 CMM_STORE_SHARED(node->next, old_head);
294d3396
MD
72}
73
74/*
75 * Returns NULL if stack is empty.
76 */
16aa9ee8
DG
77struct cds_wfs_node *
78___cds_wfs_pop_blocking(struct cds_wfs_stack *s)
294d3396 79{
16aa9ee8 80 struct cds_wfs_node *head, *next;
294d3396
MD
81 int attempt = 0;
82
83retry:
6cf3827c 84 head = CMM_LOAD_SHARED(s->head);
16aa9ee8 85 if (head == CDS_WF_STACK_END)
294d3396
MD
86 return NULL;
87 /*
88 * Adaptative busy-looping waiting for push to complete.
89 */
6cf3827c 90 while ((next = CMM_LOAD_SHARED(head->next)) == NULL) {
16aa9ee8
DG
91 if (++attempt >= CDS_WFS_ADAPT_ATTEMPTS) {
92 poll(NULL, 0, CDS_WFS_WAIT); /* Wait for 10ms */
294d3396
MD
93 attempt = 0;
94 } else
06f22bdb 95 caa_cpu_relax();
294d3396
MD
96 }
97 if (uatomic_cmpxchg(&s->head, head, next) == head)
98 return head;
99 else
100 goto retry; /* Concurrent modification. Retry. */
101}
102
16aa9ee8
DG
103struct cds_wfs_node *
104_cds_wfs_pop_blocking(struct cds_wfs_stack *s)
294d3396 105{
16aa9ee8 106 struct cds_wfs_node *retnode;
294d3396
MD
107 int ret;
108
109 ret = pthread_mutex_lock(&s->lock);
110 assert(!ret);
16aa9ee8 111 retnode = ___cds_wfs_pop_blocking(s);
294d3396
MD
112 ret = pthread_mutex_unlock(&s->lock);
113 assert(!ret);
114 return retnode;
115}
116
117#ifdef __cplusplus
118}
119#endif
120
121#endif /* _URCU_WFSTACK_STATIC_H */
This page took 0.028479 seconds and 4 git commands to generate.