xref: /titanic_41/usr/src/uts/common/fs/zfs/zrlock.c (revision 96db05e4d256672bd68e3dee052008a575dc7ef6)
1744947dcSTom Erickson /*
2744947dcSTom Erickson  * CDDL HEADER START
3744947dcSTom Erickson  *
4744947dcSTom Erickson  * The contents of this file are subject to the terms of the
5744947dcSTom Erickson  * Common Development and Distribution License (the "License").
6744947dcSTom Erickson  * You may not use this file except in compliance with the License.
7744947dcSTom Erickson  *
8744947dcSTom Erickson  * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
9744947dcSTom Erickson  * or http://www.opensolaris.org/os/licensing.
10744947dcSTom Erickson  * See the License for the specific language governing permissions
11744947dcSTom Erickson  * and limitations under the License.
12744947dcSTom Erickson  *
13744947dcSTom Erickson  * When distributing Covered Code, include this CDDL HEADER in each
14744947dcSTom Erickson  * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
15744947dcSTom Erickson  * If applicable, add the following below this CDDL HEADER, with the
16744947dcSTom Erickson  * fields enclosed by brackets "[]" replaced with your own identifying
17744947dcSTom Erickson  * information: Portions Copyright [yyyy] [name of copyright owner]
18744947dcSTom Erickson  *
19744947dcSTom Erickson  * CDDL HEADER END
20744947dcSTom Erickson  */
21744947dcSTom Erickson /*
22744947dcSTom Erickson  * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
23*96db05e4SMatthew Ahrens  * Copyright (c) 2014 by Delphix. All rights reserved.
24744947dcSTom Erickson  */
25744947dcSTom Erickson 
26744947dcSTom Erickson /*
27744947dcSTom Erickson  * A Zero Reference Lock (ZRL) is a reference count that can lock out new
28744947dcSTom Erickson  * references only when the count is zero and only without waiting if the count
29744947dcSTom Erickson  * is not already zero. It is similar to a read-write lock in that it allows
30744947dcSTom Erickson  * multiple readers and only a single writer, but it does not allow a writer to
31744947dcSTom Erickson  * block while waiting for readers to exit, and therefore the question of
32744947dcSTom Erickson  * reader/writer priority is moot (no WRWANT bit). Since the equivalent of
33744947dcSTom Erickson  * rw_enter(&lock, RW_WRITER) is disallowed and only tryenter() is allowed, it
34744947dcSTom Erickson  * is perfectly safe for the same reader to acquire the same lock multiple
35744947dcSTom Erickson  * times. The fact that a ZRL is reentrant for readers (through multiple calls
36744947dcSTom Erickson  * to zrl_add()) makes it convenient for determining whether something is
37744947dcSTom Erickson  * actively referenced without the fuss of flagging lock ownership across
38744947dcSTom Erickson  * function calls.
39744947dcSTom Erickson  */
40744947dcSTom Erickson #include <sys/zrlock.h>
41744947dcSTom Erickson 
42744947dcSTom Erickson /*
43744947dcSTom Erickson  * A ZRL can be locked only while there are zero references, so ZRL_LOCKED is
44744947dcSTom Erickson  * treated as zero references.
45744947dcSTom Erickson  */
46*96db05e4SMatthew Ahrens #define	ZRL_LOCKED	-1
47744947dcSTom Erickson #define	ZRL_DESTROYED	-2
48744947dcSTom Erickson 
49744947dcSTom Erickson void
zrl_init(zrlock_t * zrl)50744947dcSTom Erickson zrl_init(zrlock_t *zrl)
51744947dcSTom Erickson {
52744947dcSTom Erickson 	mutex_init(&zrl->zr_mtx, NULL, MUTEX_DEFAULT, NULL);
53744947dcSTom Erickson 	zrl->zr_refcount = 0;
54744947dcSTom Erickson 	cv_init(&zrl->zr_cv, NULL, CV_DEFAULT, NULL);
55744947dcSTom Erickson #ifdef	ZFS_DEBUG
56744947dcSTom Erickson 	zrl->zr_owner = NULL;
57744947dcSTom Erickson 	zrl->zr_caller = NULL;
58744947dcSTom Erickson #endif
59744947dcSTom Erickson }
60744947dcSTom Erickson 
61744947dcSTom Erickson void
zrl_destroy(zrlock_t * zrl)62744947dcSTom Erickson zrl_destroy(zrlock_t *zrl)
63744947dcSTom Erickson {
64*96db05e4SMatthew Ahrens 	ASSERT0(zrl->zr_refcount);
65744947dcSTom Erickson 
66744947dcSTom Erickson 	mutex_destroy(&zrl->zr_mtx);
67744947dcSTom Erickson 	zrl->zr_refcount = ZRL_DESTROYED;
68744947dcSTom Erickson 	cv_destroy(&zrl->zr_cv);
69744947dcSTom Erickson }
70744947dcSTom Erickson 
71744947dcSTom Erickson void
72744947dcSTom Erickson #ifdef	ZFS_DEBUG
zrl_add_debug(zrlock_t * zrl,const char * zc)73744947dcSTom Erickson zrl_add_debug(zrlock_t *zrl, const char *zc)
74744947dcSTom Erickson #else
75744947dcSTom Erickson zrl_add(zrlock_t *zrl)
76744947dcSTom Erickson #endif
77744947dcSTom Erickson {
78744947dcSTom Erickson 	uint32_t n = (uint32_t)zrl->zr_refcount;
79744947dcSTom Erickson 
80744947dcSTom Erickson 	while (n != ZRL_LOCKED) {
81744947dcSTom Erickson 		uint32_t cas = atomic_cas_32(
82744947dcSTom Erickson 		    (uint32_t *)&zrl->zr_refcount, n, n + 1);
83744947dcSTom Erickson 		if (cas == n) {
84*96db05e4SMatthew Ahrens 			ASSERT3S((int32_t)n, >=, 0);
85744947dcSTom Erickson #ifdef	ZFS_DEBUG
86744947dcSTom Erickson 			if (zrl->zr_owner == curthread) {
87744947dcSTom Erickson 				DTRACE_PROBE2(zrlock__reentry,
88744947dcSTom Erickson 				    zrlock_t *, zrl, uint32_t, n);
89744947dcSTom Erickson 			}
90744947dcSTom Erickson 			zrl->zr_owner = curthread;
91744947dcSTom Erickson 			zrl->zr_caller = zc;
92744947dcSTom Erickson #endif
93744947dcSTom Erickson 			return;
94744947dcSTom Erickson 		}
95744947dcSTom Erickson 		n = cas;
96744947dcSTom Erickson 	}
97744947dcSTom Erickson 
98744947dcSTom Erickson 	mutex_enter(&zrl->zr_mtx);
99744947dcSTom Erickson 	while (zrl->zr_refcount == ZRL_LOCKED) {
100744947dcSTom Erickson 		cv_wait(&zrl->zr_cv, &zrl->zr_mtx);
101744947dcSTom Erickson 	}
102*96db05e4SMatthew Ahrens 	ASSERT3S(zrl->zr_refcount, >=, 0);
103744947dcSTom Erickson 	zrl->zr_refcount++;
104744947dcSTom Erickson #ifdef	ZFS_DEBUG
105744947dcSTom Erickson 	zrl->zr_owner = curthread;
106744947dcSTom Erickson 	zrl->zr_caller = zc;
107744947dcSTom Erickson #endif
108744947dcSTom Erickson 	mutex_exit(&zrl->zr_mtx);
109744947dcSTom Erickson }
110744947dcSTom Erickson 
111744947dcSTom Erickson void
zrl_remove(zrlock_t * zrl)112744947dcSTom Erickson zrl_remove(zrlock_t *zrl)
113744947dcSTom Erickson {
114744947dcSTom Erickson 	uint32_t n;
115744947dcSTom Erickson 
116744947dcSTom Erickson #ifdef	ZFS_DEBUG
117744947dcSTom Erickson 	if (zrl->zr_owner == curthread) {
118744947dcSTom Erickson 		zrl->zr_owner = NULL;
119744947dcSTom Erickson 		zrl->zr_caller = NULL;
120744947dcSTom Erickson 	}
121744947dcSTom Erickson #endif
122*96db05e4SMatthew Ahrens 	n = atomic_dec_32_nv((uint32_t *)&zrl->zr_refcount);
123*96db05e4SMatthew Ahrens 	ASSERT3S((int32_t)n, >=, 0);
124744947dcSTom Erickson }
125744947dcSTom Erickson 
126744947dcSTom Erickson int
zrl_tryenter(zrlock_t * zrl)127744947dcSTom Erickson zrl_tryenter(zrlock_t *zrl)
128744947dcSTom Erickson {
129744947dcSTom Erickson 	uint32_t n = (uint32_t)zrl->zr_refcount;
130744947dcSTom Erickson 
131744947dcSTom Erickson 	if (n == 0) {
132744947dcSTom Erickson 		uint32_t cas = atomic_cas_32(
133744947dcSTom Erickson 		    (uint32_t *)&zrl->zr_refcount, 0, ZRL_LOCKED);
134744947dcSTom Erickson 		if (cas == 0) {
135744947dcSTom Erickson #ifdef	ZFS_DEBUG
136*96db05e4SMatthew Ahrens 			ASSERT3P(zrl->zr_owner, ==, NULL);
137744947dcSTom Erickson 			zrl->zr_owner = curthread;
138744947dcSTom Erickson #endif
139744947dcSTom Erickson 			return (1);
140744947dcSTom Erickson 		}
141744947dcSTom Erickson 	}
142744947dcSTom Erickson 
143*96db05e4SMatthew Ahrens 	ASSERT3S((int32_t)n, >, ZRL_DESTROYED);
144744947dcSTom Erickson 
145744947dcSTom Erickson 	return (0);
146744947dcSTom Erickson }
147744947dcSTom Erickson 
148744947dcSTom Erickson void
zrl_exit(zrlock_t * zrl)149744947dcSTom Erickson zrl_exit(zrlock_t *zrl)
150744947dcSTom Erickson {
151*96db05e4SMatthew Ahrens 	ASSERT3S(zrl->zr_refcount, ==, ZRL_LOCKED);
152744947dcSTom Erickson 
153744947dcSTom Erickson 	mutex_enter(&zrl->zr_mtx);
154744947dcSTom Erickson #ifdef	ZFS_DEBUG
155*96db05e4SMatthew Ahrens 	ASSERT3P(zrl->zr_owner, ==, curthread);
156744947dcSTom Erickson 	zrl->zr_owner = NULL;
157744947dcSTom Erickson 	membar_producer();	/* make sure the owner store happens first */
158744947dcSTom Erickson #endif
159744947dcSTom Erickson 	zrl->zr_refcount = 0;
160744947dcSTom Erickson 	cv_broadcast(&zrl->zr_cv);
161744947dcSTom Erickson 	mutex_exit(&zrl->zr_mtx);
162744947dcSTom Erickson }
163744947dcSTom Erickson 
164744947dcSTom Erickson int
zrl_refcount(zrlock_t * zrl)165744947dcSTom Erickson zrl_refcount(zrlock_t *zrl)
166744947dcSTom Erickson {
167*96db05e4SMatthew Ahrens 	ASSERT3S(zrl->zr_refcount, >, ZRL_DESTROYED);
168744947dcSTom Erickson 
169744947dcSTom Erickson 	int n = (int)zrl->zr_refcount;
170744947dcSTom Erickson 	return (n <= 0 ? 0 : n);
171744947dcSTom Erickson }
172744947dcSTom Erickson 
173744947dcSTom Erickson int
zrl_is_zero(zrlock_t * zrl)174744947dcSTom Erickson zrl_is_zero(zrlock_t *zrl)
175744947dcSTom Erickson {
176*96db05e4SMatthew Ahrens 	ASSERT3S(zrl->zr_refcount, >, ZRL_DESTROYED);
177744947dcSTom Erickson 
178744947dcSTom Erickson 	return (zrl->zr_refcount <= 0);
179744947dcSTom Erickson }
180744947dcSTom Erickson 
181744947dcSTom Erickson int
zrl_is_locked(zrlock_t * zrl)182744947dcSTom Erickson zrl_is_locked(zrlock_t *zrl)
183744947dcSTom Erickson {
184*96db05e4SMatthew Ahrens 	ASSERT3S(zrl->zr_refcount, >, ZRL_DESTROYED);
185744947dcSTom Erickson 
186744947dcSTom Erickson 	return (zrl->zr_refcount == ZRL_LOCKED);
187744947dcSTom Erickson }
188744947dcSTom Erickson 
189744947dcSTom Erickson #ifdef	ZFS_DEBUG
190744947dcSTom Erickson kthread_t *
zrl_owner(zrlock_t * zrl)191744947dcSTom Erickson zrl_owner(zrlock_t *zrl)
192744947dcSTom Erickson {
193744947dcSTom Erickson 	return (zrl->zr_owner);
194744947dcSTom Erickson }
195744947dcSTom Erickson #endif
196