null_subr.c revision 167497
1/*-
2 * Copyright (c) 1992, 1993
3 *	The Regents of the University of California.  All rights reserved.
4 *
5 * This code is derived from software donated to Berkeley by
6 * Jan-Simon Pendry.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 *    notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 *    notice, this list of conditions and the following disclaimer in the
15 *    documentation and/or other materials provided with the distribution.
16 * 4. Neither the name of the University nor the names of its contributors
17 *    may be used to endorse or promote products derived from this software
18 *    without specific prior written permission.
19 *
20 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
21 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23 * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
24 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30 * SUCH DAMAGE.
31 *
32 *	@(#)null_subr.c	8.7 (Berkeley) 5/14/95
33 *
34 * $FreeBSD: head/sys/fs/nullfs/null_subr.c 167497 2007-03-13 01:50:27Z tegge $
35 */
36
37#include <sys/param.h>
38#include <sys/systm.h>
39#include <sys/kernel.h>
40#include <sys/lock.h>
41#include <sys/mutex.h>
42#include <sys/malloc.h>
43#include <sys/mount.h>
44#include <sys/proc.h>
45#include <sys/vnode.h>
46
47#include <fs/nullfs/null.h>
48
49#define LOG2_SIZEVNODE 8		/* log2(sizeof struct vnode) */
50#define	NNULLNODECACHE 16
51
52/*
53 * Null layer cache:
54 * Each cache entry holds a reference to the lower vnode
55 * along with a pointer to the alias vnode.  When an
56 * entry is added the lower vnode is VREF'd.  When the
57 * alias is removed the lower vnode is vrele'd.
58 */
59
60#define	NULL_NHASH(vp) \
61	(&null_node_hashtbl[(((uintptr_t)vp)>>LOG2_SIZEVNODE) & null_node_hash])
62
63static LIST_HEAD(null_node_hashhead, null_node) *null_node_hashtbl;
64static u_long null_node_hash;
65struct mtx null_hashmtx;
66
67static MALLOC_DEFINE(M_NULLFSHASH, "nullfs_hash", "NULLFS hash table");
68MALLOC_DEFINE(M_NULLFSNODE, "nullfs_node", "NULLFS vnode private part");
69
70static struct vnode * null_hashget(struct mount *, struct vnode *);
71static struct vnode * null_hashins(struct mount *, struct null_node *);
72
73/*
74 * Initialise cache headers
75 */
76int
77nullfs_init(vfsp)
78	struct vfsconf *vfsp;
79{
80
81	NULLFSDEBUG("nullfs_init\n");		/* printed during system boot */
82	null_node_hashtbl = hashinit(NNULLNODECACHE, M_NULLFSHASH, &null_node_hash);
83	mtx_init(&null_hashmtx, "nullhs", NULL, MTX_DEF);
84	return (0);
85}
86
87int
88nullfs_uninit(vfsp)
89	struct vfsconf *vfsp;
90{
91
92	mtx_destroy(&null_hashmtx);
93	free(null_node_hashtbl, M_NULLFSHASH);
94	return (0);
95}
96
97/*
98 * Return a VREF'ed alias for lower vnode if already exists, else 0.
99 * Lower vnode should be locked on entry and will be left locked on exit.
100 */
101static struct vnode *
102null_hashget(mp, lowervp)
103	struct mount *mp;
104	struct vnode *lowervp;
105{
106	struct thread *td = curthread;	/* XXX */
107	struct null_node_hashhead *hd;
108	struct null_node *a;
109	struct vnode *vp;
110	int error;
111
112	ASSERT_VOP_LOCKED(lowervp, "null_hashget");
113
114	/*
115	 * Find hash base, and then search the (two-way) linked
116	 * list looking for a null_node structure which is referencing
117	 * the lower vnode.  If found, the increment the null_node
118	 * reference count (but NOT the lower vnode's VREF counter).
119	 */
120	hd = NULL_NHASH(lowervp);
121	mtx_lock(&null_hashmtx);
122	LIST_FOREACH(a, hd, null_hash) {
123		if (a->null_lowervp == lowervp && NULLTOV(a)->v_mount == mp) {
124			vp = NULLTOV(a);
125			VI_LOCK(vp);
126			mtx_unlock(&null_hashmtx);
127			/*
128			 * We need to clear the OWEINACT flag here as this
129			 * may lead vget() to try to lock our vnode which
130			 * is already locked via lowervp.
131			 */
132			vp->v_iflag &= ~VI_OWEINACT;
133			error = vget(vp, LK_INTERLOCK, td);
134			/*
135			 * Since we have the lower node locked the nullfs
136			 * node can not be in the process of recycling.  If
137			 * it had been recycled before we grabed the lower
138			 * lock it would not have been found on the hash.
139			 */
140			if (error)
141				panic("null_hashget: vget error %d", error);
142			return (vp);
143		}
144	}
145	mtx_unlock(&null_hashmtx);
146	return (NULLVP);
147}
148
149/*
150 * Act like null_hashget, but add passed null_node to hash if no existing
151 * node found.
152 */
153static struct vnode *
154null_hashins(mp, xp)
155	struct mount *mp;
156	struct null_node *xp;
157{
158	struct thread *td = curthread;	/* XXX */
159	struct null_node_hashhead *hd;
160	struct null_node *oxp;
161	struct vnode *ovp;
162	int error;
163
164	hd = NULL_NHASH(xp->null_lowervp);
165	mtx_lock(&null_hashmtx);
166	LIST_FOREACH(oxp, hd, null_hash) {
167		if (oxp->null_lowervp == xp->null_lowervp &&
168		    NULLTOV(oxp)->v_mount == mp) {
169			/*
170			 * See null_hashget for a description of this
171			 * operation.
172			 */
173			ovp = NULLTOV(oxp);
174			VI_LOCK(ovp);
175			mtx_unlock(&null_hashmtx);
176			ovp->v_iflag &= ~VI_OWEINACT;
177			error = vget(ovp, LK_INTERLOCK, td);
178			if (error)
179				panic("null_hashins: vget error %d", error);
180			return (ovp);
181		}
182	}
183	LIST_INSERT_HEAD(hd, xp, null_hash);
184	mtx_unlock(&null_hashmtx);
185	return (NULLVP);
186}
187
188static void
189null_insmntque_dtr(struct vnode *vp, void *xp)
190{
191	vp->v_data = NULL;
192	vp->v_vnlock = &vp->v_lock;
193	FREE(xp, M_NULLFSNODE);
194	vp->v_op = &dead_vnodeops;
195	(void) vn_lock(vp, LK_EXCLUSIVE | LK_RETRY, curthread);
196	vgone(vp);
197	vput(vp);
198}
199
200/*
201 * Make a new or get existing nullfs node.
202 * Vp is the alias vnode, lowervp is the lower vnode.
203 *
204 * The lowervp assumed to be locked and having "spare" reference. This routine
205 * vrele lowervp if nullfs node was taken from hash. Otherwise it "transfers"
206 * the caller's "spare" reference to created nullfs vnode.
207 */
208int
209null_nodeget(mp, lowervp, vpp)
210	struct mount *mp;
211	struct vnode *lowervp;
212	struct vnode **vpp;
213{
214	struct null_node *xp;
215	struct vnode *vp;
216	int error;
217
218	/* Lookup the hash firstly */
219	*vpp = null_hashget(mp, lowervp);
220	if (*vpp != NULL) {
221		vrele(lowervp);
222		return (0);
223	}
224
225	/*
226	 * We do not serialize vnode creation, instead we will check for
227	 * duplicates later, when adding new vnode to hash.
228	 *
229	 * Note that duplicate can only appear in hash if the lowervp is
230	 * locked LK_SHARED.
231	 */
232
233	/*
234	 * Do the MALLOC before the getnewvnode since doing so afterward
235	 * might cause a bogus v_data pointer to get dereferenced
236	 * elsewhere if MALLOC should block.
237	 */
238	MALLOC(xp, struct null_node *, sizeof(struct null_node),
239	    M_NULLFSNODE, M_WAITOK);
240
241	error = getnewvnode("null", mp, &null_vnodeops, &vp);
242	if (error) {
243		FREE(xp, M_NULLFSNODE);
244		return (error);
245	}
246
247	xp->null_vnode = vp;
248	xp->null_lowervp = lowervp;
249	vp->v_type = lowervp->v_type;
250	vp->v_data = xp;
251	vp->v_vnlock = lowervp->v_vnlock;
252	if (vp->v_vnlock == NULL)
253		panic("null_nodeget: Passed a NULL vnlock.\n");
254	error = insmntque1(vp, mp, null_insmntque_dtr, xp);
255	if (error != 0)
256		return (error);
257	/*
258	 * Atomically insert our new node into the hash or vget existing
259	 * if someone else has beaten us to it.
260	 */
261	*vpp = null_hashins(mp, xp);
262	if (*vpp != NULL) {
263		vrele(lowervp);
264		vp->v_vnlock = &vp->v_lock;
265		xp->null_lowervp = NULL;
266		vrele(vp);
267		return (0);
268	}
269	*vpp = vp;
270
271	return (0);
272}
273
274/*
275 * Remove node from hash.
276 */
277void
278null_hashrem(xp)
279	struct null_node *xp;
280{
281
282	mtx_lock(&null_hashmtx);
283	LIST_REMOVE(xp, null_hash);
284	mtx_unlock(&null_hashmtx);
285}
286
287#ifdef DIAGNOSTIC
288
289#ifdef KDB
290#define	null_checkvp_barrier	1
291#else
292#define	null_checkvp_barrier	0
293#endif
294
295struct vnode *
296null_checkvp(vp, fil, lno)
297	struct vnode *vp;
298	char *fil;
299	int lno;
300{
301	struct null_node *a = VTONULL(vp);
302#ifdef notyet
303	/*
304	 * Can't do this check because vop_reclaim runs
305	 * with a funny vop vector.
306	 */
307	if (vp->v_op != null_vnodeop_p) {
308		printf ("null_checkvp: on non-null-node\n");
309		while (null_checkvp_barrier) /*WAIT*/ ;
310		panic("null_checkvp");
311	};
312#endif
313	if (a->null_lowervp == NULLVP) {
314		/* Should never happen */
315		int i; u_long *p;
316		printf("vp = %p, ZERO ptr\n", (void *)vp);
317		for (p = (u_long *) a, i = 0; i < 8; i++)
318			printf(" %lx", p[i]);
319		printf("\n");
320		/* wait for debugger */
321		while (null_checkvp_barrier) /*WAIT*/ ;
322		panic("null_checkvp");
323	}
324	if (vrefcnt(a->null_lowervp) < 1) {
325		int i; u_long *p;
326		printf("vp = %p, unref'ed lowervp\n", (void *)vp);
327		for (p = (u_long *) a, i = 0; i < 8; i++)
328			printf(" %lx", p[i]);
329		printf("\n");
330		/* wait for debugger */
331		while (null_checkvp_barrier) /*WAIT*/ ;
332		panic ("null with unref'ed lowervp");
333	};
334#ifdef notyet
335	printf("null %x/%d -> %x/%d [%s, %d]\n",
336	        NULLTOV(a), vrefcnt(NULLTOV(a)),
337		a->null_lowervp, vrefcnt(a->null_lowervp),
338		fil, lno);
339#endif
340	return a->null_lowervp;
341}
342#endif
343