source: mainline/uspace/lib/c/generic/private/futex.h

Last change on this file was 4805495, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 6 years ago

Make sure libc and abi header guards are reserved identifiers

It's only needed for a small subset that end up included from standard
headers, but for consistency this changes all of them.

  • Property mode set to 100644
File size: 6.6 KB
RevLine 
[1cef26f]1/*
[df4ed85]2 * Copyright (c) 2006 Jakub Jermar
[1cef26f]3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
[fadd381]29/** @addtogroup libc
[b2951e2]30 * @{
31 */
32/** @file
33 */
34
[4805495]35#ifndef _LIBC_FUTEX_H_
36#define _LIBC_FUTEX_H_
[1cef26f]37
[b59318e]38#include <assert.h>
[508b0df1]39#include <stdatomic.h>
[897fd8f1]40#include <errno.h>
[cb10bc9]41#include <libc.h>
[f6372be9]42#include <time.h>
[8591b31]43#include <fibril.h>
[9e889f6]44#include <abi/cap.h>
[0b8fad2]45#include <abi/synch.h>
[cb10bc9]46
[927a181e]47typedef struct futex {
[508b0df1]48 volatile atomic_int val;
[8a18d5b]49 volatile cap_waitq_handle_t whandle;
[9e889f6]50
[f6372be9]51#ifdef CONFIG_DEBUG_FUTEX
[42da5ed]52 _Atomic(fibril_t *) owner;
[f6372be9]53#endif
[927a181e]54} futex_t;
[4db6eaf]55
[45c8eea]56extern errno_t futex_initialize(futex_t *futex, int value);
[cb10bc9]57
[269bc459]58static inline errno_t futex_destroy(futex_t *futex)
59{
[f4cb6c5f]60 if (futex->whandle) {
61 errno_t rc;
62 rc = __SYSCALL1(SYS_WAITQ_DESTROY, (sysarg_t) futex->whandle);
63 futex->whandle = CAP_NIL;
64 return rc;
65 }
[269bc459]66 return EOK;
67}
68
[f6372be9]69#ifdef CONFIG_DEBUG_FUTEX
70
71void __futex_assert_is_locked(futex_t *, const char *);
72void __futex_assert_is_not_locked(futex_t *, const char *);
73void __futex_lock(futex_t *, const char *);
74void __futex_unlock(futex_t *, const char *);
75bool __futex_trylock(futex_t *, const char *);
76void __futex_give_to(futex_t *, void *, const char *);
77
78#define futex_lock(futex) __futex_lock((futex), #futex)
79#define futex_unlock(futex) __futex_unlock((futex), #futex)
80#define futex_trylock(futex) __futex_trylock((futex), #futex)
81
82#define futex_give_to(futex, new_owner) __futex_give_to((futex), (new_owner), #futex)
83#define futex_assert_is_locked(futex) __futex_assert_is_locked((futex), #futex)
84#define futex_assert_is_not_locked(futex) __futex_assert_is_not_locked((futex), #futex)
85
86#else
87
[156b6406]88#define futex_lock(fut) (void) futex_down((fut))
89#define futex_trylock(fut) futex_trydown((fut))
90#define futex_unlock(fut) (void) futex_up((fut))
[a35b458]91
[f6372be9]92#define futex_give_to(fut, owner) ((void)0)
[5f1d850]93#define futex_assert_is_locked(fut) assert(atomic_load_explicit(&(fut)->val, memory_order_relaxed) <= 0)
[f6372be9]94#define futex_assert_is_not_locked(fut) ((void)0)
95
96#endif
97
[45c8eea]98static inline errno_t futex_allocate_waitq(futex_t *futex)
[8a18d5b]99{
[45c8eea]100 return __SYSCALL1(SYS_WAITQ_CREATE, (sysarg_t) &futex->whandle);
[8a18d5b]101}
102
[b59318e]103/** Down the futex with timeout, composably.
104 *
105 * This means that when the operation fails due to a timeout or being
106 * interrupted, the next futex_up() is ignored, which allows certain kinds of
107 * composition of synchronization primitives.
108 *
109 * In most other circumstances, regular futex_down_timeout() is a better choice.
[cb10bc9]110 *
111 * @param futex Futex.
112 *
113 * @return ENOENT if there is no such virtual address.
[b59318e]114 * @return ETIMEOUT if timeout expires.
[897fd8f1]115 * @return EOK on success.
116 * @return Error code from <errno.h> otherwise.
[cb10bc9]117 *
118 */
[bd41ac52]119static inline errno_t futex_down_composable(futex_t *futex,
120 const struct timespec *expires)
[cb10bc9]121{
[b59318e]122 // TODO: Add tests for this.
123
[45c8eea]124 assert(futex->whandle != CAP_NIL);
[8a18d5b]125
[508b0df1]126 if (atomic_fetch_sub_explicit(&futex->val, 1, memory_order_acquire) > 0)
[710c1e9]127 return EOK;
128
[508b0df1]129 /* There wasn't any token. We must defer to the underlying semaphore. */
130
[bd41ac52]131 usec_t timeout;
[b59318e]132
[710c1e9]133 if (!expires) {
134 /* No timeout. */
135 timeout = 0;
136 } else {
137 if (expires->tv_sec == 0) {
[b59318e]138 /* We can't just return ETIMEOUT. That wouldn't be composable. */
139 timeout = 1;
140 } else {
[bd41ac52]141 struct timespec tv;
[710c1e9]142 getuptime(&tv);
[bd41ac52]143 timeout = ts_gteq(&tv, expires) ? 1 :
144 NSEC2USEC(ts_sub_diff(expires, &tv));
[b59318e]145 }
146
147 assert(timeout > 0);
148 }
149
[0b8fad2]150 return __SYSCALL3(SYS_WAITQ_SLEEP, (sysarg_t) futex->whandle,
151 (sysarg_t) timeout, (sysarg_t) SYNCH_FLAGS_FUTEX);
[cb10bc9]152}
153
154/** Up the futex.
155 *
156 * @param futex Futex.
157 *
158 * @return ENOENT if there is no such virtual address.
[897fd8f1]159 * @return EOK on success.
160 * @return Error code from <errno.h> otherwise.
[cb10bc9]161 *
162 */
[b7fd2a0]163static inline errno_t futex_up(futex_t *futex)
[cb10bc9]164{
[508b0df1]165 if (atomic_fetch_add_explicit(&futex->val, 1, memory_order_release) < 0)
[9e889f6]166 return __SYSCALL1(SYS_WAITQ_WAKEUP, (sysarg_t) futex->whandle);
[a35b458]167
[897fd8f1]168 return EOK;
[cb10bc9]169}
[1cef26f]170
[bd41ac52]171static inline errno_t futex_down_timeout(futex_t *futex,
172 const struct timespec *expires)
[b59318e]173{
174 /*
175 * This combination of a "composable" sleep followed by futex_up() on
176 * failure is necessary to prevent breakage due to certain race
177 * conditions.
178 */
179 errno_t rc = futex_down_composable(futex, expires);
180 if (rc != EOK)
181 futex_up(futex);
182 return rc;
183}
184
[710c1e9]185/** Try to down the futex.
186 *
187 * @param futex Futex.
188 *
189 * @return true if the futex was acquired.
190 * @return false if the futex was not acquired.
191 *
192 */
193static inline bool futex_trydown(futex_t *futex)
194{
195 /*
[508b0df1]196 * We can't just use CAS here.
197 * If we don't succeed with CAS, we can't return failure
198 * because that would lead to spurious failures where
199 * futex_down_timeout returns ETIMEOUT despite there being
200 * available tokens. That would break some algorithms.
201 * We also don't want to loop on CAS indefinitely, because
202 * that would make the semaphore not wait-free, even when all
203 * atomic operations and the underlying base semaphore are all
204 * wait-free.
205 * It's much less trouble (and code bloat) to just do regular
206 * down_timeout(), with an already expired deadline.
[710c1e9]207 */
[bd41ac52]208 struct timespec tv = { .tv_sec = 0, .tv_nsec = 0 };
[710c1e9]209 return futex_down_timeout(futex, &tv) == EOK;
210}
211
[b59318e]212/** Down the futex.
213 *
214 * @param futex Futex.
215 *
216 * @return ENOENT if there is no such virtual address.
217 * @return EOK on success.
218 * @return Error code from <errno.h> otherwise.
219 *
220 */
221static inline errno_t futex_down(futex_t *futex)
222{
223 return futex_down_timeout(futex, NULL);
224}
225
[1cef26f]226#endif
[b2951e2]227
[fadd381]228/** @}
[b2951e2]229 */
Note: See TracBrowser for help on using the repository browser.