xref: /freebsd/sys/fs/nullfs/null_subr.c (revision d9e9650a369c5cc6b496bf18889570e5b5afdf88)
1d167cf6fSWarner Losh /*-
2df8bae1dSRodney W. Grimes  * Copyright (c) 1992, 1993
3df8bae1dSRodney W. Grimes  *	The Regents of the University of California.  All rights reserved.
4df8bae1dSRodney W. Grimes  *
5df8bae1dSRodney W. Grimes  * This code is derived from software donated to Berkeley by
6df8bae1dSRodney W. Grimes  * Jan-Simon Pendry.
7df8bae1dSRodney W. Grimes  *
8df8bae1dSRodney W. Grimes  * Redistribution and use in source and binary forms, with or without
9df8bae1dSRodney W. Grimes  * modification, are permitted provided that the following conditions
10df8bae1dSRodney W. Grimes  * are met:
11df8bae1dSRodney W. Grimes  * 1. Redistributions of source code must retain the above copyright
12df8bae1dSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer.
13df8bae1dSRodney W. Grimes  * 2. Redistributions in binary form must reproduce the above copyright
14df8bae1dSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer in the
15df8bae1dSRodney W. Grimes  *    documentation and/or other materials provided with the distribution.
16df8bae1dSRodney W. Grimes  * 4. Neither the name of the University nor the names of its contributors
17df8bae1dSRodney W. Grimes  *    may be used to endorse or promote products derived from this software
18df8bae1dSRodney W. Grimes  *    without specific prior written permission.
19df8bae1dSRodney W. Grimes  *
20df8bae1dSRodney W. Grimes  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
21df8bae1dSRodney W. Grimes  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22df8bae1dSRodney W. Grimes  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23df8bae1dSRodney W. Grimes  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
24df8bae1dSRodney W. Grimes  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25df8bae1dSRodney W. Grimes  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26df8bae1dSRodney W. Grimes  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27df8bae1dSRodney W. Grimes  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28df8bae1dSRodney W. Grimes  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29df8bae1dSRodney W. Grimes  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30df8bae1dSRodney W. Grimes  * SUCH DAMAGE.
31df8bae1dSRodney W. Grimes  *
32996c772fSJohn Dyson  *	@(#)null_subr.c	8.7 (Berkeley) 5/14/95
33df8bae1dSRodney W. Grimes  *
34c3aac50fSPeter Wemm  * $FreeBSD$
35df8bae1dSRodney W. Grimes  */
36df8bae1dSRodney W. Grimes 
37df8bae1dSRodney W. Grimes #include <sys/param.h>
38df8bae1dSRodney W. Grimes #include <sys/systm.h>
398da80660SBoris Popov #include <sys/kernel.h>
40fb919e4dSMark Murray #include <sys/lock.h>
4115420031SSemen Ustimenko #include <sys/mutex.h>
42df8bae1dSRodney W. Grimes #include <sys/malloc.h>
43fb919e4dSMark Murray #include <sys/mount.h>
44fb919e4dSMark Murray #include <sys/proc.h>
45fb919e4dSMark Murray #include <sys/vnode.h>
46fb919e4dSMark Murray 
4799d300a1SRuslan Ermilov #include <fs/nullfs/null.h>
48df8bae1dSRodney W. Grimes 
4954939875STim J. Robbins #define LOG2_SIZEVNODE 8		/* log2(sizeof struct vnode) */
50df8bae1dSRodney W. Grimes #define	NNULLNODECACHE 16
51df8bae1dSRodney W. Grimes 
52df8bae1dSRodney W. Grimes /*
53df8bae1dSRodney W. Grimes  * Null layer cache:
54df8bae1dSRodney W. Grimes  * Each cache entry holds a reference to the lower vnode
55df8bae1dSRodney W. Grimes  * along with a pointer to the alias vnode.  When an
56df8bae1dSRodney W. Grimes  * entry is added the lower vnode is VREF'd.  When the
57df8bae1dSRodney W. Grimes  * alias is removed the lower vnode is vrele'd.
58df8bae1dSRodney W. Grimes  */
59df8bae1dSRodney W. Grimes 
60996c772fSJohn Dyson #define	NULL_NHASH(vp) \
61a23d65bfSBruce Evans 	(&null_node_hashtbl[(((uintptr_t)vp)>>LOG2_SIZEVNODE) & null_node_hash])
628da80660SBoris Popov 
63e3975643SJake Burkholder static LIST_HEAD(null_node_hashhead, null_node) *null_node_hashtbl;
64303b270bSEivind Eklund static u_long null_node_hash;
6515420031SSemen Ustimenko struct mtx null_hashmtx;
668da80660SBoris Popov 
675bb84bc8SRobert Watson static MALLOC_DEFINE(M_NULLFSHASH, "nullfs_hash", "NULLFS hash table");
685bb84bc8SRobert Watson MALLOC_DEFINE(M_NULLFSNODE, "nullfs_node", "NULLFS vnode private part");
69df8bae1dSRodney W. Grimes 
7054939875STim J. Robbins static struct vnode * null_hashins(struct mount *, struct null_node *);
719b5e8b3aSBruce Evans 
72df8bae1dSRodney W. Grimes /*
73df8bae1dSRodney W. Grimes  * Initialise cache headers
74df8bae1dSRodney W. Grimes  */
7526f9a767SRodney W. Grimes int
76996c772fSJohn Dyson nullfs_init(vfsp)
77996c772fSJohn Dyson 	struct vfsconf *vfsp;
78df8bae1dSRodney W. Grimes {
79996c772fSJohn Dyson 
808da80660SBoris Popov 	NULLFSDEBUG("nullfs_init\n");		/* printed during system boot */
818da80660SBoris Popov 	null_node_hashtbl = hashinit(NNULLNODECACHE, M_NULLFSHASH, &null_node_hash);
8215420031SSemen Ustimenko 	mtx_init(&null_hashmtx, "nullhs", NULL, MTX_DEF);
838da80660SBoris Popov 	return (0);
848da80660SBoris Popov }
858da80660SBoris Popov 
868da80660SBoris Popov int
878da80660SBoris Popov nullfs_uninit(vfsp)
888da80660SBoris Popov 	struct vfsconf *vfsp;
898da80660SBoris Popov {
908da80660SBoris Popov 
9115420031SSemen Ustimenko 	mtx_destroy(&null_hashmtx);
9215c75a0dSEygene Ryabinkin 	hashdestroy(null_node_hashtbl, M_NULLFSHASH, null_node_hash);
9326f9a767SRodney W. Grimes 	return (0);
94df8bae1dSRodney W. Grimes }
95df8bae1dSRodney W. Grimes 
96df8bae1dSRodney W. Grimes /*
97df8bae1dSRodney W. Grimes  * Return a VREF'ed alias for lower vnode if already exists, else 0.
984451405fSBoris Popov  * Lower vnode should be locked on entry and will be left locked on exit.
99df8bae1dSRodney W. Grimes  */
100*d9e9650aSKonstantin Belousov struct vnode *
10154939875STim J. Robbins null_hashget(mp, lowervp)
10254939875STim J. Robbins 	struct mount *mp;
103df8bae1dSRodney W. Grimes 	struct vnode *lowervp;
104df8bae1dSRodney W. Grimes {
105996c772fSJohn Dyson 	struct null_node_hashhead *hd;
106df8bae1dSRodney W. Grimes 	struct null_node *a;
107df8bae1dSRodney W. Grimes 	struct vnode *vp;
1089c12e631SJeff Roberson 
1099c12e631SJeff Roberson 	ASSERT_VOP_LOCKED(lowervp, "null_hashget");
110df8bae1dSRodney W. Grimes 
111df8bae1dSRodney W. Grimes 	/*
112df8bae1dSRodney W. Grimes 	 * Find hash base, and then search the (two-way) linked
113df8bae1dSRodney W. Grimes 	 * list looking for a null_node structure which is referencing
114df8bae1dSRodney W. Grimes 	 * the lower vnode.  If found, the increment the null_node
115df8bae1dSRodney W. Grimes 	 * reference count (but NOT the lower vnode's VREF counter).
116df8bae1dSRodney W. Grimes 	 */
117996c772fSJohn Dyson 	hd = NULL_NHASH(lowervp);
11815420031SSemen Ustimenko 	mtx_lock(&null_hashmtx);
119fc2ffbe6SPoul-Henning Kamp 	LIST_FOREACH(a, hd, null_hash) {
12054939875STim J. Robbins 		if (a->null_lowervp == lowervp && NULLTOV(a)->v_mount == mp) {
1219c12e631SJeff Roberson 			/*
1229c12e631SJeff Roberson 			 * Since we have the lower node locked the nullfs
1239c12e631SJeff Roberson 			 * node can not be in the process of recycling.  If
1249c12e631SJeff Roberson 			 * it had been recycled before we grabed the lower
1259c12e631SJeff Roberson 			 * lock it would not have been found on the hash.
1269c12e631SJeff Roberson 			 */
1274c65d593SJeff Roberson 			vp = NULLTOV(a);
1284c65d593SJeff Roberson 			vref(vp);
1294c65d593SJeff Roberson 			mtx_unlock(&null_hashmtx);
130df8bae1dSRodney W. Grimes 			return (vp);
131df8bae1dSRodney W. Grimes 		}
132df8bae1dSRodney W. Grimes 	}
13315420031SSemen Ustimenko 	mtx_unlock(&null_hashmtx);
1341cfdefbbSSemen Ustimenko 	return (NULLVP);
135df8bae1dSRodney W. Grimes }
136df8bae1dSRodney W. Grimes 
1371cfdefbbSSemen Ustimenko /*
1381cfdefbbSSemen Ustimenko  * Act like null_hashget, but add passed null_node to hash if no existing
1391cfdefbbSSemen Ustimenko  * node found.
1401cfdefbbSSemen Ustimenko  */
1411cfdefbbSSemen Ustimenko static struct vnode *
14254939875STim J. Robbins null_hashins(mp, xp)
14354939875STim J. Robbins 	struct mount *mp;
1441cfdefbbSSemen Ustimenko 	struct null_node *xp;
1451cfdefbbSSemen Ustimenko {
1461cfdefbbSSemen Ustimenko 	struct null_node_hashhead *hd;
1471cfdefbbSSemen Ustimenko 	struct null_node *oxp;
1481cfdefbbSSemen Ustimenko 	struct vnode *ovp;
1491cfdefbbSSemen Ustimenko 
1501cfdefbbSSemen Ustimenko 	hd = NULL_NHASH(xp->null_lowervp);
1511cfdefbbSSemen Ustimenko 	mtx_lock(&null_hashmtx);
1521cfdefbbSSemen Ustimenko 	LIST_FOREACH(oxp, hd, null_hash) {
15354939875STim J. Robbins 		if (oxp->null_lowervp == xp->null_lowervp &&
15454939875STim J. Robbins 		    NULLTOV(oxp)->v_mount == mp) {
1559c12e631SJeff Roberson 			/*
1569c12e631SJeff Roberson 			 * See null_hashget for a description of this
1579c12e631SJeff Roberson 			 * operation.
1589c12e631SJeff Roberson 			 */
1591cfdefbbSSemen Ustimenko 			ovp = NULLTOV(oxp);
1604c65d593SJeff Roberson 			vref(ovp);
1611cfdefbbSSemen Ustimenko 			mtx_unlock(&null_hashmtx);
1621cfdefbbSSemen Ustimenko 			return (ovp);
1631cfdefbbSSemen Ustimenko 		}
1641cfdefbbSSemen Ustimenko 	}
1651cfdefbbSSemen Ustimenko 	LIST_INSERT_HEAD(hd, xp, null_hash);
1661cfdefbbSSemen Ustimenko 	mtx_unlock(&null_hashmtx);
1671cfdefbbSSemen Ustimenko 	return (NULLVP);
1681cfdefbbSSemen Ustimenko }
169df8bae1dSRodney W. Grimes 
17061b9d89fSTor Egge static void
17167e3d54fSKonstantin Belousov null_destroy_proto(struct vnode *vp, void *xp)
17267e3d54fSKonstantin Belousov {
17367e3d54fSKonstantin Belousov 
17466f02f4bSKonstantin Belousov 	lockmgr(&vp->v_lock, LK_EXCLUSIVE, NULL);
17567e3d54fSKonstantin Belousov 	VI_LOCK(vp);
17667e3d54fSKonstantin Belousov 	vp->v_data = NULL;
17767e3d54fSKonstantin Belousov 	vp->v_vnlock = &vp->v_lock;
17867e3d54fSKonstantin Belousov 	vp->v_op = &dead_vnodeops;
17967e3d54fSKonstantin Belousov 	VI_UNLOCK(vp);
18067e3d54fSKonstantin Belousov 	vgone(vp);
18167e3d54fSKonstantin Belousov 	vput(vp);
18267e3d54fSKonstantin Belousov 	free(xp, M_NULLFSNODE);
18367e3d54fSKonstantin Belousov }
18467e3d54fSKonstantin Belousov 
18567e3d54fSKonstantin Belousov static void
18661b9d89fSTor Egge null_insmntque_dtr(struct vnode *vp, void *xp)
18761b9d89fSTor Egge {
188dd0f9532SKonstantin Belousov 
189dd0f9532SKonstantin Belousov 	vput(((struct null_node *)xp)->null_lowervp);
19067e3d54fSKonstantin Belousov 	null_destroy_proto(vp, xp);
19161b9d89fSTor Egge }
19261b9d89fSTor Egge 
193df8bae1dSRodney W. Grimes /*
1941cfdefbbSSemen Ustimenko  * Make a new or get existing nullfs node.
1951cfdefbbSSemen Ustimenko  * Vp is the alias vnode, lowervp is the lower vnode.
1961cfdefbbSSemen Ustimenko  *
1971cfdefbbSSemen Ustimenko  * The lowervp assumed to be locked and having "spare" reference. This routine
1981cfdefbbSSemen Ustimenko  * vrele lowervp if nullfs node was taken from hash. Otherwise it "transfers"
1991cfdefbbSSemen Ustimenko  * the caller's "spare" reference to created nullfs vnode.
200df8bae1dSRodney W. Grimes  */
2011cfdefbbSSemen Ustimenko int
2021cfdefbbSSemen Ustimenko null_nodeget(mp, lowervp, vpp)
203df8bae1dSRodney W. Grimes 	struct mount *mp;
204df8bae1dSRodney W. Grimes 	struct vnode *lowervp;
205df8bae1dSRodney W. Grimes 	struct vnode **vpp;
206df8bae1dSRodney W. Grimes {
207df8bae1dSRodney W. Grimes 	struct null_node *xp;
2081cfdefbbSSemen Ustimenko 	struct vnode *vp;
209df8bae1dSRodney W. Grimes 	int error;
210df8bae1dSRodney W. Grimes 
211*d9e9650aSKonstantin Belousov 	ASSERT_VOP_LOCKED(lowervp, "lowervp");
212*d9e9650aSKonstantin Belousov 	KASSERT(lowervp->v_usecount >= 1, ("Unreferenced vnode %p", lowervp));
21348a1e3f6SKonstantin Belousov 
214*d9e9650aSKonstantin Belousov 	/* Lookup the hash firstly. */
21554939875STim J. Robbins 	*vpp = null_hashget(mp, lowervp);
2161cfdefbbSSemen Ustimenko 	if (*vpp != NULL) {
2171cfdefbbSSemen Ustimenko 		vrele(lowervp);
2181cfdefbbSSemen Ustimenko 		return (0);
2191cfdefbbSSemen Ustimenko 	}
2201cfdefbbSSemen Ustimenko 
2211cfdefbbSSemen Ustimenko 	/*
222*d9e9650aSKonstantin Belousov 	 * The insmntque1() call below requires the exclusive lock on
223*d9e9650aSKonstantin Belousov 	 * the nullfs vnode.  Upgrade the lock now if hash failed to
224*d9e9650aSKonstantin Belousov 	 * provide ready to use vnode.
225*d9e9650aSKonstantin Belousov 	 */
226*d9e9650aSKonstantin Belousov 	if (VOP_ISLOCKED(lowervp) != LK_EXCLUSIVE) {
227*d9e9650aSKonstantin Belousov 		vn_lock(lowervp, LK_UPGRADE | LK_RETRY);
228*d9e9650aSKonstantin Belousov 		if ((lowervp->v_iflag & VI_DOOMED) != 0) {
229*d9e9650aSKonstantin Belousov 			vput(lowervp);
230*d9e9650aSKonstantin Belousov 			return (ENOENT);
231*d9e9650aSKonstantin Belousov 		}
232*d9e9650aSKonstantin Belousov 	}
233*d9e9650aSKonstantin Belousov 
234*d9e9650aSKonstantin Belousov 	/*
2351cfdefbbSSemen Ustimenko 	 * We do not serialize vnode creation, instead we will check for
2361cfdefbbSSemen Ustimenko 	 * duplicates later, when adding new vnode to hash.
2371cfdefbbSSemen Ustimenko 	 * Note that duplicate can only appear in hash if the lowervp is
2381cfdefbbSSemen Ustimenko 	 * locked LK_SHARED.
239da732fc6SKonstantin Belousov 	 *
2402f9bae59SDavid Greenman 	 * Do the MALLOC before the getnewvnode since doing so afterward
2412f9bae59SDavid Greenman 	 * might cause a bogus v_data pointer to get dereferenced
2422f9bae59SDavid Greenman 	 * elsewhere if MALLOC should block.
2432f9bae59SDavid Greenman 	 */
244*d9e9650aSKonstantin Belousov 	xp = malloc(sizeof(struct null_node), M_NULLFSNODE, M_WAITOK);
2452f9bae59SDavid Greenman 
246aec0fb7bSPoul-Henning Kamp 	error = getnewvnode("null", mp, &null_vnodeops, &vp);
2472f9bae59SDavid Greenman 	if (error) {
248dd0f9532SKonstantin Belousov 		vput(lowervp);
2491ede983cSDag-Erling Smørgrav 		free(xp, M_NULLFSNODE);
250df8bae1dSRodney W. Grimes 		return (error);
2512f9bae59SDavid Greenman 	}
252df8bae1dSRodney W. Grimes 
253df8bae1dSRodney W. Grimes 	xp->null_vnode = vp;
254df8bae1dSRodney W. Grimes 	xp->null_lowervp = lowervp;
25508720e34SSemen Ustimenko 	vp->v_type = lowervp->v_type;
25608720e34SSemen Ustimenko 	vp->v_data = xp;
2574451405fSBoris Popov 	vp->v_vnlock = lowervp->v_vnlock;
258bc855512SJeff Roberson 	if (vp->v_vnlock == NULL)
259bc855512SJeff Roberson 		panic("null_nodeget: Passed a NULL vnlock.\n");
26061b9d89fSTor Egge 	error = insmntque1(vp, mp, null_insmntque_dtr, xp);
26161b9d89fSTor Egge 	if (error != 0)
26261b9d89fSTor Egge 		return (error);
263df8bae1dSRodney W. Grimes 	/*
2641cfdefbbSSemen Ustimenko 	 * Atomically insert our new node into the hash or vget existing
2651cfdefbbSSemen Ustimenko 	 * if someone else has beaten us to it.
266df8bae1dSRodney W. Grimes 	 */
26754939875STim J. Robbins 	*vpp = null_hashins(mp, xp);
2681cfdefbbSSemen Ustimenko 	if (*vpp != NULL) {
2694451405fSBoris Popov 		vrele(lowervp);
27067e3d54fSKonstantin Belousov 		null_destroy_proto(vp, xp);
271df8bae1dSRodney W. Grimes 		return (0);
272df8bae1dSRodney W. Grimes 	}
2731cfdefbbSSemen Ustimenko 	*vpp = vp;
2741cfdefbbSSemen Ustimenko 
2751cfdefbbSSemen Ustimenko 	return (0);
2761cfdefbbSSemen Ustimenko }
2771cfdefbbSSemen Ustimenko 
2781cfdefbbSSemen Ustimenko /*
2791cfdefbbSSemen Ustimenko  * Remove node from hash.
2801cfdefbbSSemen Ustimenko  */
28108720e34SSemen Ustimenko void
28208720e34SSemen Ustimenko null_hashrem(xp)
28308720e34SSemen Ustimenko 	struct null_node *xp;
28408720e34SSemen Ustimenko {
28508720e34SSemen Ustimenko 
28615420031SSemen Ustimenko 	mtx_lock(&null_hashmtx);
28708720e34SSemen Ustimenko 	LIST_REMOVE(xp, null_hash);
28815420031SSemen Ustimenko 	mtx_unlock(&null_hashmtx);
28908720e34SSemen Ustimenko }
29008720e34SSemen Ustimenko 
291a0f40f54SBruce Evans #ifdef DIAGNOSTIC
2921bf978ceSKATO Takenori 
293df8bae1dSRodney W. Grimes struct vnode *
294df8bae1dSRodney W. Grimes null_checkvp(vp, fil, lno)
295df8bae1dSRodney W. Grimes 	struct vnode *vp;
296df8bae1dSRodney W. Grimes 	char *fil;
297df8bae1dSRodney W. Grimes 	int lno;
298df8bae1dSRodney W. Grimes {
299df8bae1dSRodney W. Grimes 	struct null_node *a = VTONULL(vp);
300b9131889SKonstantin Belousov 
301df8bae1dSRodney W. Grimes #ifdef notyet
302df8bae1dSRodney W. Grimes 	/*
303df8bae1dSRodney W. Grimes 	 * Can't do this check because vop_reclaim runs
304df8bae1dSRodney W. Grimes 	 * with a funny vop vector.
305df8bae1dSRodney W. Grimes 	 */
306df8bae1dSRodney W. Grimes 	if (vp->v_op != null_vnodeop_p) {
307df8bae1dSRodney W. Grimes 		printf ("null_checkvp: on non-null-node\n");
308df8bae1dSRodney W. Grimes 		panic("null_checkvp");
309b9131889SKonstantin Belousov 	}
310df8bae1dSRodney W. Grimes #endif
311c5e17d9eSKATO Takenori 	if (a->null_lowervp == NULLVP) {
312df8bae1dSRodney W. Grimes 		/* Should never happen */
3134d2310ddSKonstantin Belousov 		panic("null_checkvp %p", vp);
314df8bae1dSRodney W. Grimes 	}
315b9131889SKonstantin Belousov 	VI_LOCK_FLAGS(a->null_lowervp, MTX_DUPOK);
3164d2310ddSKonstantin Belousov 	if (a->null_lowervp->v_usecount < 1)
3174d2310ddSKonstantin Belousov 		panic ("null with unref'ed lowervp, vp %p lvp %p",
3184d2310ddSKonstantin Belousov 		    vp, a->null_lowervp);
319b9131889SKonstantin Belousov 	VI_UNLOCK(a->null_lowervp);
320df8bae1dSRodney W. Grimes #ifdef notyet
321df8bae1dSRodney W. Grimes 	printf("null %x/%d -> %x/%d [%s, %d]\n",
3224d93c0beSJeff Roberson 	        NULLTOV(a), vrefcnt(NULLTOV(a)),
3234d93c0beSJeff Roberson 		a->null_lowervp, vrefcnt(a->null_lowervp),
324df8bae1dSRodney W. Grimes 		fil, lno);
325df8bae1dSRodney W. Grimes #endif
326b9131889SKonstantin Belousov 	return (a->null_lowervp);
327df8bae1dSRodney W. Grimes }
328df8bae1dSRodney W. Grimes #endif
329