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