Home | History | Annotate | Line # | Download | only in linux
ww_mutex.h revision 1.4.2.2
      1  1.4.2.2  tls /*	$NetBSD: ww_mutex.h,v 1.4.2.2 2014/08/10 06:55:39 tls Exp $	*/
      2  1.4.2.2  tls 
      3  1.4.2.2  tls /*-
      4  1.4.2.2  tls  * Copyright (c) 2014 The NetBSD Foundation, Inc.
      5  1.4.2.2  tls  * All rights reserved.
      6  1.4.2.2  tls  *
      7  1.4.2.2  tls  * This code is derived from software contributed to The NetBSD Foundation
      8  1.4.2.2  tls  * by Taylor R. Campbell.
      9  1.4.2.2  tls  *
     10  1.4.2.2  tls  * Redistribution and use in source and binary forms, with or without
     11  1.4.2.2  tls  * modification, are permitted provided that the following conditions
     12  1.4.2.2  tls  * are met:
     13  1.4.2.2  tls  * 1. Redistributions of source code must retain the above copyright
     14  1.4.2.2  tls  *    notice, this list of conditions and the following disclaimer.
     15  1.4.2.2  tls  * 2. Redistributions in binary form must reproduce the above copyright
     16  1.4.2.2  tls  *    notice, this list of conditions and the following disclaimer in the
     17  1.4.2.2  tls  *    documentation and/or other materials provided with the distribution.
     18  1.4.2.2  tls  *
     19  1.4.2.2  tls  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  1.4.2.2  tls  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  1.4.2.2  tls  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  1.4.2.2  tls  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  1.4.2.2  tls  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  1.4.2.2  tls  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  1.4.2.2  tls  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  1.4.2.2  tls  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  1.4.2.2  tls  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  1.4.2.2  tls  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  1.4.2.2  tls  * POSSIBILITY OF SUCH DAMAGE.
     30  1.4.2.2  tls  */
     31  1.4.2.2  tls 
     32  1.4.2.2  tls /*
     33  1.4.2.2  tls  * Notes on porting:
     34  1.4.2.2  tls  *
     35  1.4.2.2  tls  * - We require a context for all locks, so ww_mutex_lock(m, NULL) is
     36  1.4.2.2  tls  *   not kosher.  Locking without a context is too painful to
     37  1.4.2.2  tls  *   contemplate.
     38  1.4.2.2  tls  *
     39  1.4.2.2  tls  * - We require passing the context to trylock and unlock.  Unlocking
     40  1.4.2.2  tls  *   the wrong lock is too serious an error to pass up detection.
     41  1.4.2.2  tls  */
     42  1.4.2.2  tls 
     43  1.4.2.2  tls #ifndef _ASM_WW_MUTEX_H_
     44  1.4.2.2  tls #define _ASM_WW_MUTEX_H_
     45  1.4.2.2  tls 
     46  1.4.2.2  tls #include <sys/rbtree.h>
     47  1.4.2.2  tls 
     48  1.4.2.2  tls #include <linux/mutex.h>
     49  1.4.2.2  tls 
     50  1.4.2.2  tls struct ww_class {
     51  1.4.2.2  tls 	volatile uint64_t	wwc_ticket;
     52  1.4.2.2  tls };
     53  1.4.2.2  tls 
     54  1.4.2.2  tls #define	DEFINE_WW_CLASS(CLASS)						      \
     55  1.4.2.2  tls 	struct ww_class CLASS = {					      \
     56  1.4.2.2  tls 		.wwc_ticket = 0,					      \
     57  1.4.2.2  tls 	}
     58  1.4.2.2  tls 
     59  1.4.2.2  tls struct ww_acquire_ctx {
     60  1.4.2.2  tls 	struct ww_class	*wwx_class __diagused;
     61  1.4.2.2  tls 	uint64_t	wwx_ticket;
     62  1.4.2.2  tls 	unsigned	wwx_acquired;
     63  1.4.2.2  tls 	bool		wwx_acquire_done;
     64  1.4.2.2  tls 	struct rb_node	wwx_rb_node;
     65  1.4.2.2  tls };
     66  1.4.2.2  tls 
     67  1.4.2.2  tls static inline int
     68  1.4.2.2  tls ww_acquire_ctx_compare(void *cookie __unused, const void *va, const void *vb)
     69  1.4.2.2  tls {
     70  1.4.2.2  tls 	const struct ww_acquire_ctx *const ctx_a = va;
     71  1.4.2.2  tls 	const struct ww_acquire_ctx *const ctx_b = vb;
     72  1.4.2.2  tls 
     73  1.4.2.2  tls 	if (ctx_a->wwx_ticket < ctx_b->wwx_ticket)
     74  1.4.2.2  tls 		return -1;
     75  1.4.2.2  tls 	if (ctx_a->wwx_ticket > ctx_b->wwx_ticket)
     76  1.4.2.2  tls 		return -1;
     77  1.4.2.2  tls 	return 0;
     78  1.4.2.2  tls }
     79  1.4.2.2  tls 
     80  1.4.2.2  tls static inline int
     81  1.4.2.2  tls ww_acquire_ctx_compare_key(void *cookie __unused, const void *vn,
     82  1.4.2.2  tls     const void *vk)
     83  1.4.2.2  tls {
     84  1.4.2.2  tls 	const struct ww_acquire_ctx *const ctx = vn;
     85  1.4.2.2  tls 	const uint64_t *const ticketp = vk, ticket = *ticketp;
     86  1.4.2.2  tls 
     87  1.4.2.2  tls 	if (ctx->wwx_ticket < ticket)
     88  1.4.2.2  tls 		return -1;
     89  1.4.2.2  tls 	if (ctx->wwx_ticket > ticket)
     90  1.4.2.2  tls 		return -1;
     91  1.4.2.2  tls 	return 0;
     92  1.4.2.2  tls }
     93  1.4.2.2  tls 
     94  1.4.2.2  tls static const rb_tree_ops_t ww_acquire_ctx_rb_ops = {
     95  1.4.2.2  tls 	.rbto_compare_nodes = &ww_acquire_ctx_compare,
     96  1.4.2.2  tls 	.rbto_compare_key = &ww_acquire_ctx_compare_key,
     97  1.4.2.2  tls 	.rbto_node_offset = offsetof(struct ww_acquire_ctx, wwx_rb_node),
     98  1.4.2.2  tls 	.rbto_context = NULL,
     99  1.4.2.2  tls };
    100  1.4.2.2  tls 
    101  1.4.2.2  tls static inline void
    102  1.4.2.2  tls ww_acquire_init(struct ww_acquire_ctx *ctx, struct ww_class *class)
    103  1.4.2.2  tls {
    104  1.4.2.2  tls 
    105  1.4.2.2  tls 	ctx->wwx_class = class;
    106  1.4.2.2  tls 	ctx->wwx_ticket = atomic_inc_64_nv(&class->wwc_ticket);
    107  1.4.2.2  tls 	ctx->wwx_acquired = 0;
    108  1.4.2.2  tls 	ctx->wwx_acquire_done = false;
    109  1.4.2.2  tls }
    110  1.4.2.2  tls 
    111  1.4.2.2  tls static inline void
    112  1.4.2.2  tls ww_acquire_done(struct ww_acquire_ctx *ctx)
    113  1.4.2.2  tls {
    114  1.4.2.2  tls 
    115  1.4.2.2  tls 	ctx->wwx_acquire_done = true;
    116  1.4.2.2  tls }
    117  1.4.2.2  tls 
    118  1.4.2.2  tls static inline void
    119  1.4.2.2  tls ww_acquire_fini(struct ww_acquire_ctx *ctx)
    120  1.4.2.2  tls {
    121  1.4.2.2  tls 
    122  1.4.2.2  tls 	KASSERT(ctx->wwx_acquired == 0);
    123  1.4.2.2  tls 	ctx->wwx_acquired = ~0U;	/* Fail if called again. */
    124  1.4.2.2  tls }
    125  1.4.2.2  tls 
    126  1.4.2.2  tls struct ww_mutex {
    127  1.4.2.2  tls 	kmutex_t		wwm_lock;
    128  1.4.2.2  tls 	enum ww_mutex_state {
    129  1.4.2.2  tls 		WW_UNLOCKED,
    130  1.4.2.2  tls 		WW_OWNED,
    131  1.4.2.2  tls 		WW_CTX,
    132  1.4.2.2  tls 		WW_WANTOWN,
    133  1.4.2.2  tls 	}			wwm_state;
    134  1.4.2.2  tls 	union {
    135  1.4.2.2  tls 		struct lwp		*owner;
    136  1.4.2.2  tls 		struct ww_acquire_ctx	*ctx;
    137  1.4.2.2  tls 	}			wwm_u;
    138  1.4.2.2  tls 	struct ww_class		*wwm_class;
    139  1.4.2.2  tls 	struct rb_tree		wwm_waiters;
    140  1.4.2.2  tls 	kcondvar_t		wwm_cv;
    141  1.4.2.2  tls };
    142  1.4.2.2  tls 
    143  1.4.2.2  tls static inline void
    144  1.4.2.2  tls ww_mutex_init(struct ww_mutex *mutex, struct ww_class *class)
    145  1.4.2.2  tls {
    146  1.4.2.2  tls 
    147  1.4.2.2  tls 	/*
    148  1.4.2.2  tls 	 * XXX Apparently Linux takes these with spin locks held.  That
    149  1.4.2.2  tls 	 * strikes me as a bad idea, but so it is...
    150  1.4.2.2  tls 	 */
    151  1.4.2.2  tls 	mutex_init(&mutex->wwm_lock, MUTEX_DEFAULT, IPL_VM);
    152  1.4.2.2  tls 	mutex->wwm_state = WW_UNLOCKED;
    153  1.4.2.2  tls 	mutex->wwm_class = class;
    154  1.4.2.2  tls 	rb_tree_init(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
    155  1.4.2.2  tls 	cv_init(&mutex->wwm_cv, "linuxwwm");
    156  1.4.2.2  tls }
    157  1.4.2.2  tls 
    158  1.4.2.2  tls static inline void
    159  1.4.2.2  tls ww_mutex_destroy(struct ww_mutex *mutex)
    160  1.4.2.2  tls {
    161  1.4.2.2  tls 
    162  1.4.2.2  tls 	cv_destroy(&mutex->wwm_cv);
    163  1.4.2.2  tls #if 0
    164  1.4.2.2  tls 	rb_tree_destroy(&mutex->wwm_waiters, &ww_acquire_ctx_rb_ops);
    165  1.4.2.2  tls #endif
    166  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_UNLOCKED);
    167  1.4.2.2  tls 	mutex_destroy(&mutex->wwm_lock);
    168  1.4.2.2  tls }
    169  1.4.2.2  tls 
    170  1.4.2.2  tls /*
    171  1.4.2.2  tls  * XXX WARNING: This returns true if it is locked by ANYONE.  Does not
    172  1.4.2.2  tls  * mean `Do I hold this lock?' (answering which really requires an
    173  1.4.2.2  tls  * acquire context).
    174  1.4.2.2  tls  */
    175  1.4.2.2  tls static inline bool
    176  1.4.2.2  tls ww_mutex_is_locked(struct ww_mutex *mutex)
    177  1.4.2.2  tls {
    178  1.4.2.2  tls 	int locked;
    179  1.4.2.2  tls 
    180  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    181  1.4.2.2  tls 	switch (mutex->wwm_state) {
    182  1.4.2.2  tls 	case WW_UNLOCKED:
    183  1.4.2.2  tls 		locked = false;
    184  1.4.2.2  tls 		break;
    185  1.4.2.2  tls 	case WW_OWNED:
    186  1.4.2.2  tls 	case WW_CTX:
    187  1.4.2.2  tls 	case WW_WANTOWN:
    188  1.4.2.2  tls 		locked = true;
    189  1.4.2.2  tls 		break;
    190  1.4.2.2  tls 	default:
    191  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d", mutex,
    192  1.4.2.2  tls 		    (int)mutex->wwm_state);
    193  1.4.2.2  tls 	}
    194  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    195  1.4.2.2  tls 
    196  1.4.2.2  tls 	return locked;
    197  1.4.2.2  tls }
    198  1.4.2.2  tls 
    199  1.4.2.2  tls static inline void
    200  1.4.2.2  tls ww_mutex_state_wait(struct ww_mutex *mutex, enum ww_mutex_state state)
    201  1.4.2.2  tls {
    202  1.4.2.2  tls 
    203  1.4.2.2  tls 	KASSERT(mutex->wwm_state == state);
    204  1.4.2.2  tls 	do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
    205  1.4.2.2  tls 	while (mutex->wwm_state == state);
    206  1.4.2.2  tls }
    207  1.4.2.2  tls 
    208  1.4.2.2  tls static inline int
    209  1.4.2.2  tls ww_mutex_state_wait_sig(struct ww_mutex *mutex, enum ww_mutex_state state)
    210  1.4.2.2  tls {
    211  1.4.2.2  tls 	int ret;
    212  1.4.2.2  tls 
    213  1.4.2.2  tls 	KASSERT(mutex->wwm_state == state);
    214  1.4.2.2  tls 	do {
    215  1.4.2.2  tls 		/* XXX errno NetBSD->Linux */
    216  1.4.2.2  tls 		ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
    217  1.4.2.2  tls 		if (ret)
    218  1.4.2.2  tls 			break;
    219  1.4.2.2  tls 	} while (mutex->wwm_state == state);
    220  1.4.2.2  tls 
    221  1.4.2.2  tls 	return ret;
    222  1.4.2.2  tls }
    223  1.4.2.2  tls 
    224  1.4.2.2  tls static inline void
    225  1.4.2.2  tls ww_mutex_lock_wait(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
    226  1.4.2.2  tls {
    227  1.4.2.2  tls 	struct ww_acquire_ctx *collision __diagused;
    228  1.4.2.2  tls 
    229  1.4.2.2  tls 	KASSERT(mutex_owned(&mutex->wwm_lock));
    230  1.4.2.2  tls 
    231  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    232  1.4.2.2  tls 	KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
    233  1.4.2.2  tls 	    "ww mutex class mismatch: %p != %p",
    234  1.4.2.2  tls 	    ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
    235  1.4.2.2  tls 	KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
    236  1.4.2.2  tls 	    "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
    237  1.4.2.2  tls 	    ctx->wwx_ticket, ctx,
    238  1.4.2.2  tls 	    mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
    239  1.4.2.2  tls 
    240  1.4.2.2  tls 	collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
    241  1.4.2.2  tls 	KASSERTMSG((collision == ctx),
    242  1.4.2.2  tls 	    "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
    243  1.4.2.2  tls 	    ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
    244  1.4.2.2  tls 
    245  1.4.2.2  tls 	do cv_wait(&mutex->wwm_cv, &mutex->wwm_lock);
    246  1.4.2.2  tls 	while (!((mutex->wwm_state == WW_CTX) && (mutex->wwm_u.ctx == ctx)));
    247  1.4.2.2  tls 
    248  1.4.2.2  tls 	rb_tree_remove_node(&mutex->wwm_waiters, ctx);
    249  1.4.2.2  tls }
    250  1.4.2.2  tls 
    251  1.4.2.2  tls static inline int
    252  1.4.2.2  tls ww_mutex_lock_wait_sig(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
    253  1.4.2.2  tls {
    254  1.4.2.2  tls 	struct ww_acquire_ctx *collision __diagused;
    255  1.4.2.2  tls 	int ret;
    256  1.4.2.2  tls 
    257  1.4.2.2  tls 	KASSERT(mutex_owned(&mutex->wwm_lock));
    258  1.4.2.2  tls 
    259  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    260  1.4.2.2  tls 	KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
    261  1.4.2.2  tls 	    "ww mutex class mismatch: %p != %p",
    262  1.4.2.2  tls 	    ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
    263  1.4.2.2  tls 	KASSERTMSG((mutex->wwm_u.ctx->wwx_ticket != ctx->wwx_ticket),
    264  1.4.2.2  tls 	    "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
    265  1.4.2.2  tls 	    ctx->wwx_ticket, ctx,
    266  1.4.2.2  tls 	    mutex->wwm_u.ctx->wwx_ticket, mutex->wwm_u.ctx);
    267  1.4.2.2  tls 
    268  1.4.2.2  tls 	collision = rb_tree_insert_node(&mutex->wwm_waiters, ctx);
    269  1.4.2.2  tls 	KASSERTMSG((collision == ctx),
    270  1.4.2.2  tls 	    "ticket number reused: %"PRId64" (%p) %"PRId64" (%p)",
    271  1.4.2.2  tls 	    ctx->wwx_ticket, ctx, collision->wwx_ticket, collision);
    272  1.4.2.2  tls 
    273  1.4.2.2  tls 	do {
    274  1.4.2.2  tls 		/* XXX errno NetBSD->Linux */
    275  1.4.2.2  tls 		ret = -cv_wait_sig(&mutex->wwm_cv, &mutex->wwm_lock);
    276  1.4.2.2  tls 		if (ret)
    277  1.4.2.2  tls 			goto out;
    278  1.4.2.2  tls 	} while (!((mutex->wwm_state == WW_CTX) && (mutex->wwm_u.ctx == ctx)));
    279  1.4.2.2  tls 
    280  1.4.2.2  tls out:	rb_tree_remove_node(&mutex->wwm_waiters, ctx);
    281  1.4.2.2  tls 	return ret;
    282  1.4.2.2  tls }
    283  1.4.2.2  tls 
    284  1.4.2.2  tls static inline void
    285  1.4.2.2  tls ww_mutex_lock_noctx(struct ww_mutex *mutex)
    286  1.4.2.2  tls {
    287  1.4.2.2  tls 
    288  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    289  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    290  1.4.2.2  tls 	case WW_UNLOCKED:
    291  1.4.2.2  tls 		mutex->wwm_state = WW_OWNED;
    292  1.4.2.2  tls 		mutex->wwm_u.owner = curlwp;
    293  1.4.2.2  tls 		break;
    294  1.4.2.2  tls 	case WW_OWNED:
    295  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    296  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    297  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_OWNED);
    298  1.4.2.2  tls 		goto retry;
    299  1.4.2.2  tls 	case WW_CTX:
    300  1.4.2.2  tls 		KASSERT(mutex->wwm_u.ctx != NULL);
    301  1.4.2.2  tls 		mutex->wwm_state = WW_WANTOWN;
    302  1.4.2.2  tls 	case WW_WANTOWN:
    303  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_WANTOWN);
    304  1.4.2.2  tls 		goto retry;
    305  1.4.2.2  tls 	default:
    306  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    307  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    308  1.4.2.2  tls 	}
    309  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_OWNED);
    310  1.4.2.2  tls 	KASSERT(mutex->wwm_u.owner == curlwp);
    311  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    312  1.4.2.2  tls }
    313  1.4.2.2  tls 
    314  1.4.2.2  tls static inline int
    315  1.4.2.2  tls ww_mutex_lock_noctx_sig(struct ww_mutex *mutex)
    316  1.4.2.2  tls {
    317  1.4.2.2  tls 	int ret;
    318  1.4.2.2  tls 
    319  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    320  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    321  1.4.2.2  tls 	case WW_UNLOCKED:
    322  1.4.2.2  tls 		mutex->wwm_state = WW_OWNED;
    323  1.4.2.2  tls 		mutex->wwm_u.owner = curlwp;
    324  1.4.2.2  tls 		break;
    325  1.4.2.2  tls 	case WW_OWNED:
    326  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    327  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    328  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
    329  1.4.2.2  tls 		if (ret)
    330  1.4.2.2  tls 			goto out;
    331  1.4.2.2  tls 		goto retry;
    332  1.4.2.2  tls 	case WW_CTX:
    333  1.4.2.2  tls 		KASSERT(mutex->wwm_u.ctx != NULL);
    334  1.4.2.2  tls 		mutex->wwm_state = WW_WANTOWN;
    335  1.4.2.2  tls 	case WW_WANTOWN:
    336  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
    337  1.4.2.2  tls 		if (ret)
    338  1.4.2.2  tls 			goto out;
    339  1.4.2.2  tls 		goto retry;
    340  1.4.2.2  tls 	default:
    341  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    342  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    343  1.4.2.2  tls 	}
    344  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_OWNED);
    345  1.4.2.2  tls 	KASSERT(mutex->wwm_u.owner == curlwp);
    346  1.4.2.2  tls 	ret = 0;
    347  1.4.2.2  tls out:	mutex_exit(&mutex->wwm_lock);
    348  1.4.2.2  tls 	return ret;
    349  1.4.2.2  tls }
    350  1.4.2.2  tls 
    351  1.4.2.2  tls static inline int
    352  1.4.2.2  tls ww_mutex_lock(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
    353  1.4.2.2  tls {
    354  1.4.2.2  tls 
    355  1.4.2.2  tls 	ASSERT_SLEEPABLE();
    356  1.4.2.2  tls 
    357  1.4.2.2  tls 	if (ctx == NULL) {
    358  1.4.2.2  tls 		ww_mutex_lock_noctx(mutex);
    359  1.4.2.2  tls 		return 0;
    360  1.4.2.2  tls 	}
    361  1.4.2.2  tls 
    362  1.4.2.2  tls 	KASSERT(!ctx->wwx_acquire_done);
    363  1.4.2.2  tls 
    364  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    365  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    366  1.4.2.2  tls 	case WW_UNLOCKED:
    367  1.4.2.2  tls 		mutex->wwm_state = WW_CTX;
    368  1.4.2.2  tls 		mutex->wwm_u.ctx = ctx;
    369  1.4.2.2  tls 		goto locked;
    370  1.4.2.2  tls 	case WW_OWNED:
    371  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    372  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    373  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_OWNED);
    374  1.4.2.2  tls 		goto retry;
    375  1.4.2.2  tls 	case WW_CTX:
    376  1.4.2.2  tls 		break;
    377  1.4.2.2  tls 	case WW_WANTOWN:
    378  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_WANTOWN);
    379  1.4.2.2  tls 		goto retry;
    380  1.4.2.2  tls 	default:
    381  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    382  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    383  1.4.2.2  tls 	}
    384  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    385  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx != NULL);
    386  1.4.2.2  tls 	if (mutex->wwm_u.ctx == ctx) {
    387  1.4.2.2  tls 		/*
    388  1.4.2.2  tls 		 * We already own it.  Yes, this can happen correctly
    389  1.4.2.2  tls 		 * for objects whose locking order is determined by
    390  1.4.2.2  tls 		 * userland.
    391  1.4.2.2  tls 		 */
    392  1.4.2.2  tls 		mutex_exit(&mutex->wwm_lock);
    393  1.4.2.2  tls 		return -EALREADY;
    394  1.4.2.2  tls 	} else if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
    395  1.4.2.2  tls 		/*
    396  1.4.2.2  tls 		 * Owned by a higher-priority party.  Tell the caller
    397  1.4.2.2  tls 		 * to unlock everything and start over.
    398  1.4.2.2  tls 		 */
    399  1.4.2.2  tls 		KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
    400  1.4.2.2  tls 		    "ww mutex class mismatch: %p != %p",
    401  1.4.2.2  tls 		    ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
    402  1.4.2.2  tls 		mutex_exit(&mutex->wwm_lock);
    403  1.4.2.2  tls 		return -EDEADLK;
    404  1.4.2.2  tls 	} else {
    405  1.4.2.2  tls 		/*
    406  1.4.2.2  tls 		 * Owned by a lower-priority party.  Ask that party to
    407  1.4.2.2  tls 		 * wake us when it is done or it realizes it needs to
    408  1.4.2.2  tls 		 * back off.
    409  1.4.2.2  tls 		 */
    410  1.4.2.2  tls 		ww_mutex_lock_wait(mutex, ctx);
    411  1.4.2.2  tls 	}
    412  1.4.2.2  tls locked:	ctx->wwx_acquired++;
    413  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    414  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx == ctx);
    415  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    416  1.4.2.2  tls 	return 0;
    417  1.4.2.2  tls }
    418  1.4.2.2  tls 
    419  1.4.2.2  tls static inline int
    420  1.4.2.2  tls ww_mutex_lock_interruptible(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
    421  1.4.2.2  tls {
    422  1.4.2.2  tls 	int ret;
    423  1.4.2.2  tls 
    424  1.4.2.2  tls 	ASSERT_SLEEPABLE();
    425  1.4.2.2  tls 
    426  1.4.2.2  tls 	if (ctx == NULL)
    427  1.4.2.2  tls 		return ww_mutex_lock_noctx_sig(mutex);
    428  1.4.2.2  tls 
    429  1.4.2.2  tls 	KASSERT(!ctx->wwx_acquire_done);
    430  1.4.2.2  tls 
    431  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    432  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    433  1.4.2.2  tls 	case WW_UNLOCKED:
    434  1.4.2.2  tls 		mutex->wwm_state = WW_CTX;
    435  1.4.2.2  tls 		mutex->wwm_u.ctx = ctx;
    436  1.4.2.2  tls 		goto locked;
    437  1.4.2.2  tls 	case WW_OWNED:
    438  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    439  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    440  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
    441  1.4.2.2  tls 		if (ret)
    442  1.4.2.2  tls 			goto out;
    443  1.4.2.2  tls 		goto retry;
    444  1.4.2.2  tls 	case WW_CTX:
    445  1.4.2.2  tls 		break;
    446  1.4.2.2  tls 	case WW_WANTOWN:
    447  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
    448  1.4.2.2  tls 		if (ret)
    449  1.4.2.2  tls 			goto out;
    450  1.4.2.2  tls 		goto retry;
    451  1.4.2.2  tls 	default:
    452  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    453  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    454  1.4.2.2  tls 	}
    455  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    456  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx != NULL);
    457  1.4.2.2  tls 	if (mutex->wwm_u.ctx == ctx) {
    458  1.4.2.2  tls 		/*
    459  1.4.2.2  tls 		 * We already own it.  Yes, this can happen correctly
    460  1.4.2.2  tls 		 * for objects whose locking order is determined by
    461  1.4.2.2  tls 		 * userland.
    462  1.4.2.2  tls 		 */
    463  1.4.2.2  tls 		mutex_exit(&mutex->wwm_lock);
    464  1.4.2.2  tls 		return -EALREADY;
    465  1.4.2.2  tls 	} else if (mutex->wwm_u.ctx->wwx_ticket < ctx->wwx_ticket) {
    466  1.4.2.2  tls 		/*
    467  1.4.2.2  tls 		 * Owned by a higher-priority party.  Tell the caller
    468  1.4.2.2  tls 		 * to unlock everything and start over.
    469  1.4.2.2  tls 		 */
    470  1.4.2.2  tls 		KASSERTMSG((ctx->wwx_class == mutex->wwm_u.ctx->wwx_class),
    471  1.4.2.2  tls 		    "ww mutex class mismatch: %p != %p",
    472  1.4.2.2  tls 		    ctx->wwx_class, mutex->wwm_u.ctx->wwx_class);
    473  1.4.2.2  tls 		mutex_exit(&mutex->wwm_lock);
    474  1.4.2.2  tls 		return -EDEADLK;
    475  1.4.2.2  tls 	} else {
    476  1.4.2.2  tls 		/*
    477  1.4.2.2  tls 		 * Owned by a lower-priority party.  Ask that party to
    478  1.4.2.2  tls 		 * wake us when it is done or it realizes it needs to
    479  1.4.2.2  tls 		 * back off.
    480  1.4.2.2  tls 		 */
    481  1.4.2.2  tls 		ret = ww_mutex_lock_wait_sig(mutex, ctx);
    482  1.4.2.2  tls 		if (ret)
    483  1.4.2.2  tls 			goto out;
    484  1.4.2.2  tls 	}
    485  1.4.2.2  tls locked:	KASSERT(mutex->wwm_state == WW_CTX);
    486  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx == ctx);
    487  1.4.2.2  tls 	ctx->wwx_acquired++;
    488  1.4.2.2  tls 	ret = 0;
    489  1.4.2.2  tls out:	mutex_exit(&mutex->wwm_lock);
    490  1.4.2.2  tls 	return ret;
    491  1.4.2.2  tls }
    492  1.4.2.2  tls 
    493  1.4.2.2  tls static inline void
    494  1.4.2.2  tls ww_mutex_lock_slow(struct ww_mutex *mutex, struct ww_acquire_ctx *ctx)
    495  1.4.2.2  tls {
    496  1.4.2.2  tls 
    497  1.4.2.2  tls 	ASSERT_SLEEPABLE();
    498  1.4.2.2  tls 
    499  1.4.2.2  tls 	if (ctx == NULL) {
    500  1.4.2.2  tls 		ww_mutex_lock_noctx(mutex);
    501  1.4.2.2  tls 		return;
    502  1.4.2.2  tls 	}
    503  1.4.2.2  tls 
    504  1.4.2.2  tls 	KASSERT(!ctx->wwx_acquire_done);
    505  1.4.2.2  tls 
    506  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    507  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    508  1.4.2.2  tls 	case WW_UNLOCKED:
    509  1.4.2.2  tls 		mutex->wwm_state = WW_CTX;
    510  1.4.2.2  tls 		mutex->wwm_u.ctx = ctx;
    511  1.4.2.2  tls 		goto locked;
    512  1.4.2.2  tls 	case WW_OWNED:
    513  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    514  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    515  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_OWNED);
    516  1.4.2.2  tls 		goto retry;
    517  1.4.2.2  tls 	case WW_CTX:
    518  1.4.2.2  tls 		break;
    519  1.4.2.2  tls 	case WW_WANTOWN:
    520  1.4.2.2  tls 		ww_mutex_state_wait(mutex, WW_WANTOWN);
    521  1.4.2.2  tls 		goto retry;
    522  1.4.2.2  tls 	default:
    523  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    524  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    525  1.4.2.2  tls 	}
    526  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    527  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx != NULL);
    528  1.4.2.2  tls 	/*
    529  1.4.2.2  tls 	 * Owned by another party, of any priority.  Ask that party to
    530  1.4.2.2  tls 	 * wake us when it's done.
    531  1.4.2.2  tls 	 */
    532  1.4.2.2  tls 	ww_mutex_lock_wait(mutex, ctx);
    533  1.4.2.2  tls locked:	KASSERT(mutex->wwm_state == WW_CTX);
    534  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx == ctx);
    535  1.4.2.2  tls 	ctx->wwx_acquired++;
    536  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    537  1.4.2.2  tls }
    538  1.4.2.2  tls 
    539  1.4.2.2  tls static inline int
    540  1.4.2.2  tls ww_mutex_lock_slow_interruptible(struct ww_mutex *mutex,
    541  1.4.2.2  tls     struct ww_acquire_ctx *ctx)
    542  1.4.2.2  tls {
    543  1.4.2.2  tls 	int ret;
    544  1.4.2.2  tls 
    545  1.4.2.2  tls 	ASSERT_SLEEPABLE();
    546  1.4.2.2  tls 
    547  1.4.2.2  tls 	if (ctx == NULL)
    548  1.4.2.2  tls 		return ww_mutex_lock_noctx_sig(mutex);
    549  1.4.2.2  tls 
    550  1.4.2.2  tls 	KASSERT(!ctx->wwx_acquire_done);
    551  1.4.2.2  tls 
    552  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    553  1.4.2.2  tls retry:	switch (mutex->wwm_state) {
    554  1.4.2.2  tls 	case WW_UNLOCKED:
    555  1.4.2.2  tls 		mutex->wwm_state = WW_CTX;
    556  1.4.2.2  tls 		mutex->wwm_u.ctx = ctx;
    557  1.4.2.2  tls 		goto locked;
    558  1.4.2.2  tls 	case WW_OWNED:
    559  1.4.2.2  tls 		KASSERTMSG((mutex->wwm_u.owner != curlwp),
    560  1.4.2.2  tls 		    "locking against myself: %p", curlwp);
    561  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_OWNED);
    562  1.4.2.2  tls 		if (ret)
    563  1.4.2.2  tls 			goto out;
    564  1.4.2.2  tls 		goto retry;
    565  1.4.2.2  tls 	case WW_CTX:
    566  1.4.2.2  tls 		break;
    567  1.4.2.2  tls 	case WW_WANTOWN:
    568  1.4.2.2  tls 		ret = ww_mutex_state_wait_sig(mutex, WW_WANTOWN);
    569  1.4.2.2  tls 		if (ret)
    570  1.4.2.2  tls 			goto out;
    571  1.4.2.2  tls 		goto retry;
    572  1.4.2.2  tls 	default:
    573  1.4.2.2  tls 		panic("wait/wound mutex %p in bad state: %d",
    574  1.4.2.2  tls 		    mutex, (int)mutex->wwm_state);
    575  1.4.2.2  tls 	}
    576  1.4.2.2  tls 	KASSERT(mutex->wwm_state == WW_CTX);
    577  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx != NULL);
    578  1.4.2.2  tls 	/*
    579  1.4.2.2  tls 	 * Owned by another party, of any priority.  Ask that party to
    580  1.4.2.2  tls 	 * wake us when it's done.
    581  1.4.2.2  tls 	 */
    582  1.4.2.2  tls 	ret = ww_mutex_lock_wait_sig(mutex, ctx);
    583  1.4.2.2  tls 	if (ret)
    584  1.4.2.2  tls 		goto out;
    585  1.4.2.2  tls locked:	KASSERT(mutex->wwm_state == WW_CTX);
    586  1.4.2.2  tls 	KASSERT(mutex->wwm_u.ctx == ctx);
    587  1.4.2.2  tls 	ctx->wwx_acquired++;
    588  1.4.2.2  tls 	ret = 0;
    589  1.4.2.2  tls out:	mutex_exit(&mutex->wwm_lock);
    590  1.4.2.2  tls 	return ret;
    591  1.4.2.2  tls }
    592  1.4.2.2  tls 
    593  1.4.2.2  tls static inline int
    594  1.4.2.2  tls ww_mutex_trylock(struct ww_mutex *mutex)
    595  1.4.2.2  tls {
    596  1.4.2.2  tls 	int ret;
    597  1.4.2.2  tls 
    598  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    599  1.4.2.2  tls 	if (mutex->wwm_state == WW_UNLOCKED) {
    600  1.4.2.2  tls 		mutex->wwm_state = WW_OWNED;
    601  1.4.2.2  tls 		mutex->wwm_u.owner = curlwp;
    602  1.4.2.2  tls 		ret = 1;
    603  1.4.2.2  tls 	} else {
    604  1.4.2.2  tls 		ret = 0;
    605  1.4.2.2  tls 	}
    606  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    607  1.4.2.2  tls 
    608  1.4.2.2  tls 	return ret;
    609  1.4.2.2  tls }
    610  1.4.2.2  tls 
    611  1.4.2.2  tls static inline void
    612  1.4.2.2  tls ww_mutex_unlock(struct ww_mutex *mutex)
    613  1.4.2.2  tls {
    614  1.4.2.2  tls 	struct ww_acquire_ctx *ctx;
    615  1.4.2.2  tls 
    616  1.4.2.2  tls 	mutex_enter(&mutex->wwm_lock);
    617  1.4.2.2  tls 	KASSERT(mutex->wwm_state != WW_UNLOCKED);
    618  1.4.2.2  tls 	switch (mutex->wwm_state) {
    619  1.4.2.2  tls 	case WW_UNLOCKED:
    620  1.4.2.2  tls 		panic("unlocking unlocked wait/wound mutex: %p", mutex);
    621  1.4.2.2  tls 	case WW_OWNED:
    622  1.4.2.2  tls 		/* Let the context lockers fight over it.  */
    623  1.4.2.2  tls 		mutex->wwm_u.owner = NULL;
    624  1.4.2.2  tls 		mutex->wwm_state = WW_UNLOCKED;
    625  1.4.2.2  tls 		break;
    626  1.4.2.2  tls 	case WW_CTX:
    627  1.4.2.2  tls 		KASSERT(mutex->wwm_u.ctx != NULL);
    628  1.4.2.2  tls 		mutex->wwm_u.ctx->wwx_acquired--;
    629  1.4.2.2  tls 		mutex->wwm_u.ctx = NULL;
    630  1.4.2.2  tls 		/*
    631  1.4.2.2  tls 		 * If there are any waiters with contexts, grant the
    632  1.4.2.2  tls 		 * lock to the highest-priority one.  Otherwise, just
    633  1.4.2.2  tls 		 * unlock it.
    634  1.4.2.2  tls 		 */
    635  1.4.2.2  tls 		if ((ctx = RB_TREE_MIN(&mutex->wwm_waiters)) != NULL) {
    636  1.4.2.2  tls 			mutex->wwm_state = WW_CTX;
    637  1.4.2.2  tls 			mutex->wwm_u.ctx = ctx;
    638  1.4.2.2  tls 		} else {
    639  1.4.2.2  tls 			mutex->wwm_state = WW_UNLOCKED;
    640  1.4.2.2  tls 		}
    641  1.4.2.2  tls 		break;
    642  1.4.2.2  tls 	case WW_WANTOWN:
    643  1.4.2.2  tls 		/* Let the non-context lockers fight over it.  */
    644  1.4.2.2  tls 		mutex->wwm_state = WW_UNLOCKED;
    645  1.4.2.2  tls 		break;
    646  1.4.2.2  tls 	}
    647  1.4.2.2  tls 	cv_broadcast(&mutex->wwm_cv);
    648  1.4.2.2  tls 	mutex_exit(&mutex->wwm_lock);
    649  1.4.2.2  tls }
    650  1.4.2.2  tls 
    651  1.4.2.2  tls #endif  /* _ASM_WW_MUTEX_H_ */
    652