xref: /freebsd/lib/libthr/thread/thr_umtx.h (revision 8d6a11a070c75185bf6c0efd074fcc6d0f9fb502)
1a091d823SDavid Xu /*-
2a091d823SDavid Xu  * Copyright (c) 2005 David Xu <davidxu@freebsd.org>
3a091d823SDavid Xu  * All rights reserved.
4a091d823SDavid Xu  *
5a091d823SDavid Xu  * Redistribution and use in source and binary forms, with or without
6a091d823SDavid Xu  * modification, are permitted provided that the following conditions
7a091d823SDavid Xu  * are met:
8a091d823SDavid Xu  * 1. Redistributions of source code must retain the above copyright
9a091d823SDavid Xu  *    notice, this list of conditions and the following disclaimer.
10a091d823SDavid Xu  * 2. Redistributions in binary form must reproduce the above copyright
11a091d823SDavid Xu  *    notice, this list of conditions and the following disclaimer in the
12a091d823SDavid Xu  *    documentation and/or other materials provided with the distribution.
13a091d823SDavid Xu  *
14a091d823SDavid Xu  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15a091d823SDavid Xu  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16a091d823SDavid Xu  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17a091d823SDavid Xu  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18a091d823SDavid Xu  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19a091d823SDavid Xu  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20a091d823SDavid Xu  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21a091d823SDavid Xu  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22a091d823SDavid Xu  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23a091d823SDavid Xu  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24a091d823SDavid Xu  * SUCH DAMAGE.
25a091d823SDavid Xu  *
26a091d823SDavid Xu  * $FreeBSD$
27a091d823SDavid Xu  */
28a091d823SDavid Xu 
29a091d823SDavid Xu #ifndef _THR_FBSD_UMTX_H_
30a091d823SDavid Xu #define _THR_FBSD_UMTX_H_
31a091d823SDavid Xu 
32bddd24cdSDavid Xu #include <strings.h>
33a091d823SDavid Xu #include <sys/umtx.h>
34a091d823SDavid Xu 
356fdfcacbSDavid Xu #define DEFAULT_UMUTEX	{0,0, {0,0},{0,0,0,0}}
36a091d823SDavid Xu 
378042f26dSDavid Xu int __thr_umutex_lock(struct umutex *mtx) __hidden;
388042f26dSDavid Xu int __thr_umutex_timedlock(struct umutex *mtx,
39cf13ecdaSDavid Xu 	const struct timespec *timeout) __hidden;
408042f26dSDavid Xu int __thr_umutex_unlock(struct umutex *mtx) __hidden;
418042f26dSDavid Xu int __thr_umutex_trylock(struct umutex *mtx) __hidden;
42cf13ecdaSDavid Xu int __thr_umutex_set_ceiling(struct umutex *mtx, uint32_t ceiling,
43cf13ecdaSDavid Xu 	uint32_t *oldceiling) __hidden;
44cf13ecdaSDavid Xu 
458042f26dSDavid Xu void _thr_umutex_init(struct umutex *mtx) __hidden;
466fdfcacbSDavid Xu int _thr_umtx_wait(volatile long *mtx, long exp,
478429e734SDavid Xu 	const struct timespec *timeout) __hidden;
486fdfcacbSDavid Xu int _thr_umtx_wait_uint(volatile u_int *mtx, u_int exp,
498d6a11a0SDavid Xu 	const struct timespec *timeout, int shared) __hidden;
508d6a11a0SDavid Xu int _thr_umtx_wake(volatile void *mtx, int count, int shared) __hidden;
512bd2c907SDavid Xu int _thr_ucond_wait(struct ucond *cv, struct umutex *m,
52670b44d6SDavid Xu         const struct timespec *timeout, int check_unpaking) __hidden;
53670b44d6SDavid Xu void _thr_ucond_init(struct ucond *cv) __hidden;
54670b44d6SDavid Xu int _thr_ucond_signal(struct ucond *cv) __hidden;
55670b44d6SDavid Xu int _thr_ucond_broadcast(struct ucond *cv) __hidden;
56cf13ecdaSDavid Xu 
578bf1a48cSDavid Xu int __thr_rwlock_rdlock(struct urwlock *rwlock, int flags, struct timespec *tsp) __hidden;
588bf1a48cSDavid Xu int __thr_rwlock_wrlock(struct urwlock *rwlock, struct timespec *tsp) __hidden;
598bf1a48cSDavid Xu int __thr_rwlock_unlock(struct urwlock *rwlock) __hidden;
608bf1a48cSDavid Xu 
61cf13ecdaSDavid Xu static inline int
62cf13ecdaSDavid Xu _thr_umutex_trylock(struct umutex *mtx, uint32_t id)
63cf13ecdaSDavid Xu {
64cf13ecdaSDavid Xu     if (atomic_cmpset_acq_32(&mtx->m_owner, UMUTEX_UNOWNED, id))
65cf13ecdaSDavid Xu 	return (0);
66cf13ecdaSDavid Xu     if ((mtx->m_flags & UMUTEX_PRIO_PROTECT) == 0)
67cf13ecdaSDavid Xu     	return (EBUSY);
688042f26dSDavid Xu     return (__thr_umutex_trylock(mtx));
69cf13ecdaSDavid Xu }
70cf13ecdaSDavid Xu 
71cf13ecdaSDavid Xu static inline int
728a8178c0SDavid Xu _thr_umutex_trylock2(struct umutex *mtx, uint32_t id)
738a8178c0SDavid Xu {
748a8178c0SDavid Xu     if (atomic_cmpset_acq_32(&mtx->m_owner, UMUTEX_UNOWNED, id))
758a8178c0SDavid Xu 	return (0);
768a8178c0SDavid Xu     return (EBUSY);
778a8178c0SDavid Xu }
788a8178c0SDavid Xu 
798a8178c0SDavid Xu static inline int
80cf13ecdaSDavid Xu _thr_umutex_lock(struct umutex *mtx, uint32_t id)
81cf13ecdaSDavid Xu {
82cf13ecdaSDavid Xu     if (atomic_cmpset_acq_32(&mtx->m_owner, UMUTEX_UNOWNED, id))
83cf13ecdaSDavid Xu 	return (0);
848042f26dSDavid Xu     return (__thr_umutex_lock(mtx));
85cf13ecdaSDavid Xu }
86cf13ecdaSDavid Xu 
87cf13ecdaSDavid Xu static inline int
88cf13ecdaSDavid Xu _thr_umutex_timedlock(struct umutex *mtx, uint32_t id,
89cf13ecdaSDavid Xu 	const struct timespec *timeout)
90cf13ecdaSDavid Xu {
91cf13ecdaSDavid Xu     if (atomic_cmpset_acq_32(&mtx->m_owner, UMUTEX_UNOWNED, id))
92cf13ecdaSDavid Xu 	return (0);
938042f26dSDavid Xu     return (__thr_umutex_timedlock(mtx, timeout));
94cf13ecdaSDavid Xu }
95cf13ecdaSDavid Xu 
96cf13ecdaSDavid Xu static inline int
97cf13ecdaSDavid Xu _thr_umutex_unlock(struct umutex *mtx, uint32_t id)
98cf13ecdaSDavid Xu {
99cf13ecdaSDavid Xu     if (atomic_cmpset_rel_32(&mtx->m_owner, id, UMUTEX_UNOWNED))
100cf13ecdaSDavid Xu 	return (0);
1018042f26dSDavid Xu     return (__thr_umutex_unlock(mtx));
102cf13ecdaSDavid Xu }
103cf13ecdaSDavid Xu 
1048bf1a48cSDavid Xu static inline int
1058bf1a48cSDavid Xu _thr_rwlock_tryrdlock(struct urwlock *rwlock, int flags)
1068bf1a48cSDavid Xu {
1078bf1a48cSDavid Xu 	int32_t state;
1088bf1a48cSDavid Xu 	int32_t wrflags;
1098bf1a48cSDavid Xu 
1108bf1a48cSDavid Xu 	if (flags & URWLOCK_PREFER_READER || rwlock->rw_flags & URWLOCK_PREFER_READER)
1118bf1a48cSDavid Xu 		wrflags = URWLOCK_WRITE_OWNER;
1128bf1a48cSDavid Xu 	else
1138bf1a48cSDavid Xu 		wrflags = URWLOCK_WRITE_OWNER | URWLOCK_WRITE_WAITERS;
1148bf1a48cSDavid Xu 	state = rwlock->rw_state;
1158bf1a48cSDavid Xu 	while (!(state & wrflags)) {
1168bf1a48cSDavid Xu 		if (__predict_false(URWLOCK_READER_COUNT(state) == URWLOCK_MAX_READERS))
1178bf1a48cSDavid Xu 			return (EAGAIN);
1188bf1a48cSDavid Xu 		if (atomic_cmpset_acq_32(&rwlock->rw_state, state, state + 1))
1198bf1a48cSDavid Xu 			return (0);
1208bf1a48cSDavid Xu 		state = rwlock->rw_state;
1218bf1a48cSDavid Xu 	}
1228bf1a48cSDavid Xu 
1238bf1a48cSDavid Xu 	return (EBUSY);
1248bf1a48cSDavid Xu }
1258bf1a48cSDavid Xu 
1268bf1a48cSDavid Xu static inline int
1278bf1a48cSDavid Xu _thr_rwlock_trywrlock(struct urwlock *rwlock)
1288bf1a48cSDavid Xu {
1298bf1a48cSDavid Xu 	int32_t state;
1308bf1a48cSDavid Xu 
1318bf1a48cSDavid Xu 	state = rwlock->rw_state;
1328bf1a48cSDavid Xu 	while (!(state & URWLOCK_WRITE_OWNER) && URWLOCK_READER_COUNT(state) == 0) {
1338bf1a48cSDavid Xu 		if (atomic_cmpset_acq_32(&rwlock->rw_state, state, state | URWLOCK_WRITE_OWNER))
1348bf1a48cSDavid Xu 			return (0);
1358bf1a48cSDavid Xu 		state = rwlock->rw_state;
1368bf1a48cSDavid Xu 	}
1378bf1a48cSDavid Xu 
1388bf1a48cSDavid Xu 	return (EBUSY);
1398bf1a48cSDavid Xu }
1408bf1a48cSDavid Xu 
1418bf1a48cSDavid Xu static inline int
1428bf1a48cSDavid Xu _thr_rwlock_rdlock(struct urwlock *rwlock, int flags, struct timespec *tsp)
1438bf1a48cSDavid Xu {
1448bf1a48cSDavid Xu 	if (_thr_rwlock_tryrdlock(rwlock, flags) == 0)
1458bf1a48cSDavid Xu 		return (0);
1468bf1a48cSDavid Xu 	return (__thr_rwlock_rdlock(rwlock, flags, tsp));
1478bf1a48cSDavid Xu }
1488bf1a48cSDavid Xu 
1498bf1a48cSDavid Xu static inline int
1508bf1a48cSDavid Xu _thr_rwlock_wrlock(struct urwlock *rwlock, struct timespec *tsp)
1518bf1a48cSDavid Xu {
1528bf1a48cSDavid Xu 	if (_thr_rwlock_trywrlock(rwlock) == 0)
1538bf1a48cSDavid Xu 		return (0);
1548bf1a48cSDavid Xu 	return (__thr_rwlock_wrlock(rwlock, tsp));
1558bf1a48cSDavid Xu }
1568bf1a48cSDavid Xu 
1578bf1a48cSDavid Xu static inline int
1588bf1a48cSDavid Xu _thr_rwlock_unlock(struct urwlock *rwlock)
1598bf1a48cSDavid Xu {
1608bf1a48cSDavid Xu 	int32_t state;
1618bf1a48cSDavid Xu 
1628bf1a48cSDavid Xu 	state = rwlock->rw_state;
1638bf1a48cSDavid Xu 	if (state & URWLOCK_WRITE_OWNER) {
1648bf1a48cSDavid Xu 		if (atomic_cmpset_rel_32(&rwlock->rw_state, URWLOCK_WRITE_OWNER, 0))
1658bf1a48cSDavid Xu 			return (0);
1668bf1a48cSDavid Xu 	} else {
1678bf1a48cSDavid Xu 		for (;;) {
1688bf1a48cSDavid Xu 			if (__predict_false(URWLOCK_READER_COUNT(state) == 0))
1698bf1a48cSDavid Xu 				return (EPERM);
1708bf1a48cSDavid Xu 			if (!((state & URWLOCK_WRITE_WAITERS) && URWLOCK_READER_COUNT(state) == 1)) {
1718bf1a48cSDavid Xu 				if (atomic_cmpset_rel_32(&rwlock->rw_state, state, state-1))
1728bf1a48cSDavid Xu 					return (0);
1738bf1a48cSDavid Xu 				state = rwlock->rw_state;
1748bf1a48cSDavid Xu 			} else {
1758bf1a48cSDavid Xu 				break;
1768bf1a48cSDavid Xu 			}
1778bf1a48cSDavid Xu 		}
1788bf1a48cSDavid Xu     	}
1798bf1a48cSDavid Xu     	return (__thr_rwlock_unlock(rwlock));
1808bf1a48cSDavid Xu }
181a091d823SDavid Xu #endif
182