xref: /freebsd/sys/geom/geom_subr.c (revision 539bec4042f469ac4a6c56ef567e67fc6ce92603)
1dd84a43cSPoul-Henning Kamp /*-
2dd84a43cSPoul-Henning Kamp  * Copyright (c) 2002 Poul-Henning Kamp
3dd84a43cSPoul-Henning Kamp  * Copyright (c) 2002 Networks Associates Technology, Inc.
4dd84a43cSPoul-Henning Kamp  * All rights reserved.
5dd84a43cSPoul-Henning Kamp  *
6dd84a43cSPoul-Henning Kamp  * This software was developed for the FreeBSD Project by Poul-Henning Kamp
7dd84a43cSPoul-Henning Kamp  * and NAI Labs, the Security Research Division of Network Associates, Inc.
8dd84a43cSPoul-Henning Kamp  * under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the
9dd84a43cSPoul-Henning Kamp  * DARPA CHATS research program.
10dd84a43cSPoul-Henning Kamp  *
11dd84a43cSPoul-Henning Kamp  * Redistribution and use in source and binary forms, with or without
12dd84a43cSPoul-Henning Kamp  * modification, are permitted provided that the following conditions
13dd84a43cSPoul-Henning Kamp  * are met:
14dd84a43cSPoul-Henning Kamp  * 1. Redistributions of source code must retain the above copyright
15dd84a43cSPoul-Henning Kamp  *    notice, this list of conditions and the following disclaimer.
16dd84a43cSPoul-Henning Kamp  * 2. Redistributions in binary form must reproduce the above copyright
17dd84a43cSPoul-Henning Kamp  *    notice, this list of conditions and the following disclaimer in the
18dd84a43cSPoul-Henning Kamp  *    documentation and/or other materials provided with the distribution.
19dd84a43cSPoul-Henning Kamp  * 3. The names of the authors may not be used to endorse or promote
20dd84a43cSPoul-Henning Kamp  *    products derived from this software without specific prior written
21dd84a43cSPoul-Henning Kamp  *    permission.
22dd84a43cSPoul-Henning Kamp  *
23dd84a43cSPoul-Henning Kamp  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
24dd84a43cSPoul-Henning Kamp  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25dd84a43cSPoul-Henning Kamp  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26dd84a43cSPoul-Henning Kamp  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
27dd84a43cSPoul-Henning Kamp  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28dd84a43cSPoul-Henning Kamp  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29dd84a43cSPoul-Henning Kamp  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30dd84a43cSPoul-Henning Kamp  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31dd84a43cSPoul-Henning Kamp  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32dd84a43cSPoul-Henning Kamp  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33dd84a43cSPoul-Henning Kamp  * SUCH DAMAGE.
34dd84a43cSPoul-Henning Kamp  */
35dd84a43cSPoul-Henning Kamp 
3650b1faefSDavid E. O'Brien #include <sys/cdefs.h>
3750b1faefSDavid E. O'Brien __FBSDID("$FreeBSD$");
38dd84a43cSPoul-Henning Kamp 
39dd84a43cSPoul-Henning Kamp #include <sys/param.h>
40dd84a43cSPoul-Henning Kamp #include <sys/systm.h>
41e24cbd90SPoul-Henning Kamp #include <sys/devicestat.h>
42dd84a43cSPoul-Henning Kamp #include <sys/kernel.h>
43dd84a43cSPoul-Henning Kamp #include <sys/malloc.h>
44dd84a43cSPoul-Henning Kamp #include <sys/bio.h>
45dd84a43cSPoul-Henning Kamp #include <sys/sysctl.h>
46dd84a43cSPoul-Henning Kamp #include <sys/proc.h>
47dd84a43cSPoul-Henning Kamp #include <sys/kthread.h>
48dd84a43cSPoul-Henning Kamp #include <sys/lock.h>
49dd84a43cSPoul-Henning Kamp #include <sys/mutex.h>
50dd84a43cSPoul-Henning Kamp #include <sys/errno.h>
51dd84a43cSPoul-Henning Kamp #include <sys/sbuf.h>
52dd84a43cSPoul-Henning Kamp #include <geom/geom.h>
53b1876192SPoul-Henning Kamp #include <geom/geom_int.h>
54dd84a43cSPoul-Henning Kamp #include <machine/stdarg.h>
55dd84a43cSPoul-Henning Kamp 
562654e1fcSPoul-Henning Kamp struct class_list_head g_classes = LIST_HEAD_INITIALIZER(g_classes);
57dd84a43cSPoul-Henning Kamp static struct g_tailq_head geoms = TAILQ_HEAD_INITIALIZER(geoms);
58dd84a43cSPoul-Henning Kamp char *g_wait_event, *g_wait_up, *g_wait_down, *g_wait_sim;
59dd84a43cSPoul-Henning Kamp 
606c87f8d5SPoul-Henning Kamp struct g_hh00 {
616c87f8d5SPoul-Henning Kamp 	struct g_class	*mp;
626c87f8d5SPoul-Henning Kamp 	int		error;
636c87f8d5SPoul-Henning Kamp };
649972896cSPoul-Henning Kamp 
659972896cSPoul-Henning Kamp /*
669972896cSPoul-Henning Kamp  * This event offers a new class a chance to taste all preexisting providers.
679972896cSPoul-Henning Kamp  */
689972896cSPoul-Henning Kamp static void
696c87f8d5SPoul-Henning Kamp g_load_class(void *arg, int flag)
709972896cSPoul-Henning Kamp {
716c87f8d5SPoul-Henning Kamp 	struct g_hh00 *hh;
729972896cSPoul-Henning Kamp 	struct g_class *mp2, *mp;
739972896cSPoul-Henning Kamp 	struct g_geom *gp;
749972896cSPoul-Henning Kamp 	struct g_provider *pp;
759972896cSPoul-Henning Kamp 
769972896cSPoul-Henning Kamp 	g_topology_assert();
776c87f8d5SPoul-Henning Kamp 	if (flag == EV_CANCEL)	/* XXX: can't happen ? */
789972896cSPoul-Henning Kamp 		return;
799972896cSPoul-Henning Kamp 	if (g_shutdown)
809972896cSPoul-Henning Kamp 		return;
816c87f8d5SPoul-Henning Kamp 
826c87f8d5SPoul-Henning Kamp 	hh = arg;
836c87f8d5SPoul-Henning Kamp 	mp = hh->mp;
846c87f8d5SPoul-Henning Kamp 	g_free(hh);
856c87f8d5SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_load_class(%s)", mp->name);
86799426f8SPoul-Henning Kamp 	KASSERT(mp->name != NULL && *mp->name != '\0',
87799426f8SPoul-Henning Kamp 	    ("GEOM class has no name"));
88ce64e0f2SPoul-Henning Kamp 	LIST_FOREACH(mp2, &g_classes, class) {
89ce64e0f2SPoul-Henning Kamp 		KASSERT(mp2 != mp,
90ce64e0f2SPoul-Henning Kamp 		    ("The GEOM class %s already loaded", mp2->name));
91ce64e0f2SPoul-Henning Kamp 		KASSERT(strcmp(mp2->name, mp->name) != 0,
92ce64e0f2SPoul-Henning Kamp 		    ("A GEOM class named %s is already loaded", mp2->name));
93ce64e0f2SPoul-Henning Kamp 	}
946c87f8d5SPoul-Henning Kamp 
956c87f8d5SPoul-Henning Kamp 	LIST_INIT(&mp->geom);
966c87f8d5SPoul-Henning Kamp 	LIST_INSERT_HEAD(&g_classes, mp, class);
970ecc7670SPoul-Henning Kamp 	if (mp->init != NULL)
980ecc7670SPoul-Henning Kamp 		mp->init(mp);
996c87f8d5SPoul-Henning Kamp 	if (mp->taste == NULL)
1009972896cSPoul-Henning Kamp 		return;
1016c87f8d5SPoul-Henning Kamp 	LIST_FOREACH(mp2, &g_classes, class) {
1026c87f8d5SPoul-Henning Kamp 		if (mp == mp2)
1039972896cSPoul-Henning Kamp 			continue;
1046c87f8d5SPoul-Henning Kamp 		LIST_FOREACH(gp, &mp2->geom, geom) {
1059972896cSPoul-Henning Kamp 			LIST_FOREACH(pp, &gp->provider, provider) {
1066c87f8d5SPoul-Henning Kamp 				mp->taste(mp, pp, 0);
1079972896cSPoul-Henning Kamp 				g_topology_assert();
1089972896cSPoul-Henning Kamp 			}
1099972896cSPoul-Henning Kamp 		}
1109972896cSPoul-Henning Kamp 	}
1119972896cSPoul-Henning Kamp }
1129972896cSPoul-Henning Kamp 
1136c87f8d5SPoul-Henning Kamp static void
1146c87f8d5SPoul-Henning Kamp g_unload_class(void *arg, int flag)
115dd84a43cSPoul-Henning Kamp {
1166c87f8d5SPoul-Henning Kamp 	struct g_hh00 *hh;
1176c87f8d5SPoul-Henning Kamp 	struct g_class *mp;
1186c87f8d5SPoul-Henning Kamp 	struct g_geom *gp;
1196c87f8d5SPoul-Henning Kamp 	struct g_provider *pp;
1206c87f8d5SPoul-Henning Kamp 	struct g_consumer *cp;
1216c87f8d5SPoul-Henning Kamp 	int error;
1226c87f8d5SPoul-Henning Kamp 
1236c87f8d5SPoul-Henning Kamp 	g_topology_assert();
1246c87f8d5SPoul-Henning Kamp 	hh = arg;
1256c87f8d5SPoul-Henning Kamp 	mp = hh->mp;
1263d1d5bc3SPoul-Henning Kamp 	G_VALID_CLASS(mp);
1276c87f8d5SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_unload_class(%s)", mp->name);
1280ed4f6a1SPoul-Henning Kamp 
1290ed4f6a1SPoul-Henning Kamp 	/*
1300ed4f6a1SPoul-Henning Kamp 	 * We allow unloading if we have no geoms, or a class
1310ed4f6a1SPoul-Henning Kamp 	 * method we can use to get rid of them.
1320ed4f6a1SPoul-Henning Kamp 	 */
1330ed4f6a1SPoul-Henning Kamp 	if (!LIST_EMPTY(&mp->geom) && mp->destroy_geom == NULL) {
1346c87f8d5SPoul-Henning Kamp 		hh->error = EOPNOTSUPP;
1356c87f8d5SPoul-Henning Kamp 		return;
1366c87f8d5SPoul-Henning Kamp 	}
1376c87f8d5SPoul-Henning Kamp 
1386c87f8d5SPoul-Henning Kamp 	/* We refuse to unload if anything is open */
1396c87f8d5SPoul-Henning Kamp 	LIST_FOREACH(gp, &mp->geom, geom) {
1406c87f8d5SPoul-Henning Kamp 		LIST_FOREACH(pp, &gp->provider, provider)
1416c87f8d5SPoul-Henning Kamp 			if (pp->acr || pp->acw || pp->ace) {
1426c87f8d5SPoul-Henning Kamp 				hh->error = EBUSY;
1436c87f8d5SPoul-Henning Kamp 				return;
1446c87f8d5SPoul-Henning Kamp 			}
1456c87f8d5SPoul-Henning Kamp 		LIST_FOREACH(cp, &gp->consumer, consumer)
1466c87f8d5SPoul-Henning Kamp 			if (cp->acr || cp->acw || cp->ace) {
1476c87f8d5SPoul-Henning Kamp 				hh->error = EBUSY;
1486c87f8d5SPoul-Henning Kamp 				return;
1496c87f8d5SPoul-Henning Kamp 			}
1506c87f8d5SPoul-Henning Kamp 	}
1516c87f8d5SPoul-Henning Kamp 
1526c87f8d5SPoul-Henning Kamp 	/* Bar new entries */
1536c87f8d5SPoul-Henning Kamp 	mp->taste = NULL;
1546c87f8d5SPoul-Henning Kamp 	mp->config = NULL;
1556c87f8d5SPoul-Henning Kamp 
1566c87f8d5SPoul-Henning Kamp 	error = 0;
157e26bafdcSPoul-Henning Kamp 	for (;;) {
158e26bafdcSPoul-Henning Kamp 		gp = LIST_FIRST(&mp->geom);
159e26bafdcSPoul-Henning Kamp 		if (gp == NULL)
160e26bafdcSPoul-Henning Kamp 			break;
1616c87f8d5SPoul-Henning Kamp 		error = mp->destroy_geom(NULL, mp, gp);
1626c87f8d5SPoul-Henning Kamp 		if (error != 0)
1636c87f8d5SPoul-Henning Kamp 			break;
1646c87f8d5SPoul-Henning Kamp 	}
1656c87f8d5SPoul-Henning Kamp 	if (error == 0) {
1666c87f8d5SPoul-Henning Kamp 		if (mp->fini != NULL)
1676c87f8d5SPoul-Henning Kamp 			mp->fini(mp);
1680ecc7670SPoul-Henning Kamp 		LIST_REMOVE(mp, class);
1696c87f8d5SPoul-Henning Kamp 	}
1706c87f8d5SPoul-Henning Kamp 	hh->error = error;
1716c87f8d5SPoul-Henning Kamp 	return;
1726c87f8d5SPoul-Henning Kamp }
1736c87f8d5SPoul-Henning Kamp 
1746c87f8d5SPoul-Henning Kamp int
1756c87f8d5SPoul-Henning Kamp g_modevent(module_t mod, int type, void *data)
1766c87f8d5SPoul-Henning Kamp {
1776c87f8d5SPoul-Henning Kamp 	struct g_hh00 *hh;
1786c87f8d5SPoul-Henning Kamp 	int error;
1796c87f8d5SPoul-Henning Kamp 	static int g_ignition;
180dd84a43cSPoul-Henning Kamp 
181dd84a43cSPoul-Henning Kamp 	if (!g_ignition) {
182dd84a43cSPoul-Henning Kamp 		g_ignition++;
183dd84a43cSPoul-Henning Kamp 		g_init();
184dd84a43cSPoul-Henning Kamp 	}
1856c87f8d5SPoul-Henning Kamp 	hh = g_malloc(sizeof *hh, M_WAITOK | M_ZERO);
1866c87f8d5SPoul-Henning Kamp 	hh->mp = data;
1876c87f8d5SPoul-Henning Kamp 	error = EOPNOTSUPP;
1886c87f8d5SPoul-Henning Kamp 	switch (type) {
1896c87f8d5SPoul-Henning Kamp 	case MOD_LOAD:
1906c87f8d5SPoul-Henning Kamp 		g_trace(G_T_TOPOLOGY, "g_modevent(%s, LOAD)", hh->mp->name);
1916c87f8d5SPoul-Henning Kamp 		g_post_event(g_load_class, hh, M_WAITOK, NULL);
1926c87f8d5SPoul-Henning Kamp 		error = 0;
1936c87f8d5SPoul-Henning Kamp 		break;
1946c87f8d5SPoul-Henning Kamp 	case MOD_UNLOAD:
1956c87f8d5SPoul-Henning Kamp 		g_trace(G_T_TOPOLOGY, "g_modevent(%s, UNLOAD)", hh->mp->name);
1966c87f8d5SPoul-Henning Kamp 		error = g_waitfor_event(g_unload_class, hh, M_WAITOK, NULL);
1976c87f8d5SPoul-Henning Kamp 		if (error == 0)
1986c87f8d5SPoul-Henning Kamp 			error = hh->error;
1991f75de94SPoul-Henning Kamp 		if (error == 0) {
2006c87f8d5SPoul-Henning Kamp 			g_waitidle();
2016c87f8d5SPoul-Henning Kamp 			KASSERT(LIST_EMPTY(&hh->mp->geom),
2026c87f8d5SPoul-Henning Kamp 			    ("Unloaded class (%s) still has geom", hh->mp->name));
2031f75de94SPoul-Henning Kamp 		}
2046c87f8d5SPoul-Henning Kamp 		g_free(hh);
2056c87f8d5SPoul-Henning Kamp 		break;
206f5b34814SPoul-Henning Kamp 	default:
207f5b34814SPoul-Henning Kamp 		g_free(hh);
208f5b34814SPoul-Henning Kamp 		break;
2096c87f8d5SPoul-Henning Kamp 	}
2106c87f8d5SPoul-Henning Kamp 	return (error);
211dd84a43cSPoul-Henning Kamp }
212dd84a43cSPoul-Henning Kamp 
213dd84a43cSPoul-Henning Kamp struct g_geom *
2140f9d3dbaSPoul-Henning Kamp g_new_geomf(struct g_class *mp, const char *fmt, ...)
215dd84a43cSPoul-Henning Kamp {
216dd84a43cSPoul-Henning Kamp 	struct g_geom *gp;
217dd84a43cSPoul-Henning Kamp 	va_list ap;
218dd84a43cSPoul-Henning Kamp 	struct sbuf *sb;
219dd84a43cSPoul-Henning Kamp 
220dd84a43cSPoul-Henning Kamp 	g_topology_assert();
2213d1d5bc3SPoul-Henning Kamp 	G_VALID_CLASS(mp);
222dd84a43cSPoul-Henning Kamp 	sb = sbuf_new(NULL, NULL, 0, SBUF_AUTOEXTEND);
223a1a9b445SPoul-Henning Kamp 	va_start(ap, fmt);
224dd84a43cSPoul-Henning Kamp 	sbuf_vprintf(sb, fmt, ap);
225a1a9b445SPoul-Henning Kamp 	va_end(ap);
226dd84a43cSPoul-Henning Kamp 	sbuf_finish(sb);
227a163d034SWarner Losh 	gp = g_malloc(sizeof *gp, M_WAITOK | M_ZERO);
228a163d034SWarner Losh 	gp->name = g_malloc(sbuf_len(sb) + 1, M_WAITOK | M_ZERO);
229e805e8f0SPoul-Henning Kamp 	gp->class = mp;
230dd84a43cSPoul-Henning Kamp 	gp->rank = 1;
231dd84a43cSPoul-Henning Kamp 	LIST_INIT(&gp->consumer);
232dd84a43cSPoul-Henning Kamp 	LIST_INIT(&gp->provider);
233dd84a43cSPoul-Henning Kamp 	LIST_INSERT_HEAD(&mp->geom, gp, geom);
234dd84a43cSPoul-Henning Kamp 	TAILQ_INSERT_HEAD(&geoms, gp, geoms);
235dd84a43cSPoul-Henning Kamp 	strcpy(gp->name, sbuf_data(sb));
236dd84a43cSPoul-Henning Kamp 	sbuf_delete(sb);
237dd84a43cSPoul-Henning Kamp 	return (gp);
238dd84a43cSPoul-Henning Kamp }
239dd84a43cSPoul-Henning Kamp 
240dd84a43cSPoul-Henning Kamp void
241dd84a43cSPoul-Henning Kamp g_destroy_geom(struct g_geom *gp)
242dd84a43cSPoul-Henning Kamp {
243dd84a43cSPoul-Henning Kamp 
244dd84a43cSPoul-Henning Kamp 	g_topology_assert();
2453d1d5bc3SPoul-Henning Kamp 	G_VALID_GEOM(gp);
2463d1d5bc3SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_destroy_geom(%p(%s))", gp, gp->name);
247dd84a43cSPoul-Henning Kamp 	KASSERT(LIST_EMPTY(&gp->consumer),
248dd84a43cSPoul-Henning Kamp 	    ("g_destroy_geom(%s) with consumer(s) [%p]",
249dd84a43cSPoul-Henning Kamp 	    gp->name, LIST_FIRST(&gp->consumer)));
250dd84a43cSPoul-Henning Kamp 	KASSERT(LIST_EMPTY(&gp->provider),
251dd84a43cSPoul-Henning Kamp 	    ("g_destroy_geom(%s) with provider(s) [%p]",
252cbb65040SPoul-Henning Kamp 	    gp->name, LIST_FIRST(&gp->provider)));
253afcbcfaeSPoul-Henning Kamp 	g_cancel_event(gp);
254dd84a43cSPoul-Henning Kamp 	LIST_REMOVE(gp, geom);
255dd84a43cSPoul-Henning Kamp 	TAILQ_REMOVE(&geoms, gp, geoms);
2567d590cc4SPoul-Henning Kamp 	g_free(gp->name);
257dd84a43cSPoul-Henning Kamp 	g_free(gp);
258dd84a43cSPoul-Henning Kamp }
259dd84a43cSPoul-Henning Kamp 
260d6227ae7SPoul-Henning Kamp /*
2613d1d5bc3SPoul-Henning Kamp  * This function is called (repeatedly) until the has withered away.
262d6227ae7SPoul-Henning Kamp  */
263d6227ae7SPoul-Henning Kamp void
264d6227ae7SPoul-Henning Kamp g_wither_geom(struct g_geom *gp, int error)
265d6227ae7SPoul-Henning Kamp {
2661b464bd8SPoul-Henning Kamp 	struct g_provider *pp;
267d6227ae7SPoul-Henning Kamp 
2683d1d5bc3SPoul-Henning Kamp 	g_topology_assert();
2693d1d5bc3SPoul-Henning Kamp 	G_VALID_GEOM(gp);
270d6227ae7SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_wither_geom(%p(%s))", gp, gp->name);
271d6227ae7SPoul-Henning Kamp 	if (!(gp->flags & G_GEOM_WITHER)) {
272d6227ae7SPoul-Henning Kamp 		gp->flags |= G_GEOM_WITHER;
273d6227ae7SPoul-Henning Kamp 		LIST_FOREACH(pp, &gp->provider, provider)
274b07ef6c2SPoul-Henning Kamp 			if (!(pp->flags & G_PF_ORPHAN))
275d6227ae7SPoul-Henning Kamp 				g_orphan_provider(pp, error);
276d6227ae7SPoul-Henning Kamp 	}
2771b464bd8SPoul-Henning Kamp 	g_do_wither();
278d6227ae7SPoul-Henning Kamp }
2791b464bd8SPoul-Henning Kamp 
2801b464bd8SPoul-Henning Kamp /*
2811b464bd8SPoul-Henning Kamp  * This function is called (repeatedly) until we cant wash away more
2821b464bd8SPoul-Henning Kamp  * withered bits at present.  Return value contains two bits.  Bit 0
2831b464bd8SPoul-Henning Kamp  * set means "withering stuff we can't wash now", bit 1 means "call
2841b464bd8SPoul-Henning Kamp  * me again, there may be stuff I didn't get the first time around.
2851b464bd8SPoul-Henning Kamp  */
2861b464bd8SPoul-Henning Kamp int
2871b464bd8SPoul-Henning Kamp g_wither_washer()
2881b464bd8SPoul-Henning Kamp {
2891b464bd8SPoul-Henning Kamp 	struct g_class *mp;
2901b464bd8SPoul-Henning Kamp 	struct g_geom *gp, *gp2;
2911b464bd8SPoul-Henning Kamp 	struct g_provider *pp, *pp2;
2921b464bd8SPoul-Henning Kamp 	struct g_consumer *cp, *cp2;
2931b464bd8SPoul-Henning Kamp 	int result;
2941b464bd8SPoul-Henning Kamp 
2951b464bd8SPoul-Henning Kamp 	result = 0;
2961b464bd8SPoul-Henning Kamp 	g_topology_assert();
2971b464bd8SPoul-Henning Kamp 	LIST_FOREACH(mp, &g_classes, class) {
2981b464bd8SPoul-Henning Kamp 		LIST_FOREACH_SAFE(gp, &mp->geom, geom, gp2) {
2991b464bd8SPoul-Henning Kamp 			LIST_FOREACH_SAFE(pp, &gp->provider, provider, pp2) {
3001b464bd8SPoul-Henning Kamp 				if (!(pp->flags & G_PF_WITHER))
301d6227ae7SPoul-Henning Kamp 					continue;
3021b464bd8SPoul-Henning Kamp 				if (LIST_EMPTY(&pp->consumers))
3031b464bd8SPoul-Henning Kamp 					g_destroy_provider(pp);
3041b464bd8SPoul-Henning Kamp 				else
3051b464bd8SPoul-Henning Kamp 					result |= 1;
3061b464bd8SPoul-Henning Kamp 			}
3071b464bd8SPoul-Henning Kamp 			if (!(gp->flags & G_GEOM_WITHER))
3081b464bd8SPoul-Henning Kamp 				continue;
3091b464bd8SPoul-Henning Kamp 			LIST_FOREACH_SAFE(pp, &gp->provider, provider, pp2) {
3101b464bd8SPoul-Henning Kamp 				if (LIST_EMPTY(&pp->consumers))
3111b464bd8SPoul-Henning Kamp 					g_destroy_provider(pp);
3121b464bd8SPoul-Henning Kamp 				else
3131b464bd8SPoul-Henning Kamp 					result |= 1;
3141b464bd8SPoul-Henning Kamp 			}
3151b464bd8SPoul-Henning Kamp 			LIST_FOREACH_SAFE(cp, &gp->consumer, consumer, cp2) {
3161b464bd8SPoul-Henning Kamp 				if (cp->acr || cp->acw || cp->ace) {
3171b464bd8SPoul-Henning Kamp 					result |= 1;
3181b464bd8SPoul-Henning Kamp 					continue;
3191b464bd8SPoul-Henning Kamp 				}
320539bec40SPoul-Henning Kamp 				if (cp->provider != NULL)
321d6227ae7SPoul-Henning Kamp 					g_detach(cp);
322d6227ae7SPoul-Henning Kamp 				g_destroy_consumer(cp);
3231b464bd8SPoul-Henning Kamp 				result |= 2;
324d6227ae7SPoul-Henning Kamp 			}
3251b464bd8SPoul-Henning Kamp 			if (LIST_EMPTY(&gp->provider) &&
3261b464bd8SPoul-Henning Kamp 			    LIST_EMPTY(&gp->consumer))
327d6227ae7SPoul-Henning Kamp 				g_destroy_geom(gp);
3281b464bd8SPoul-Henning Kamp 			else
3291b464bd8SPoul-Henning Kamp 				result |= 1;
3301b464bd8SPoul-Henning Kamp 		}
3311b464bd8SPoul-Henning Kamp 	}
3321b464bd8SPoul-Henning Kamp 	return (result);
333d6227ae7SPoul-Henning Kamp }
334d6227ae7SPoul-Henning Kamp 
335dd84a43cSPoul-Henning Kamp struct g_consumer *
336dd84a43cSPoul-Henning Kamp g_new_consumer(struct g_geom *gp)
337dd84a43cSPoul-Henning Kamp {
338dd84a43cSPoul-Henning Kamp 	struct g_consumer *cp;
339dd84a43cSPoul-Henning Kamp 
340dd84a43cSPoul-Henning Kamp 	g_topology_assert();
3413d1d5bc3SPoul-Henning Kamp 	G_VALID_GEOM(gp);
342799426f8SPoul-Henning Kamp 	KASSERT(!(gp->flags & G_GEOM_WITHER),
343799426f8SPoul-Henning Kamp 	    ("g_new_consumer on WITHERing geom(%s) (class %s)",
344799426f8SPoul-Henning Kamp 	    gp->name, gp->class->name));
34507d77fc6SPoul-Henning Kamp 	KASSERT(gp->orphan != NULL,
34607d77fc6SPoul-Henning Kamp 	    ("g_new_consumer on geom(%s) (class %s) without orphan",
34707d77fc6SPoul-Henning Kamp 	    gp->name, gp->class->name));
348dd84a43cSPoul-Henning Kamp 
349a163d034SWarner Losh 	cp = g_malloc(sizeof *cp, M_WAITOK | M_ZERO);
350dd84a43cSPoul-Henning Kamp 	cp->geom = gp;
351e24cbd90SPoul-Henning Kamp 	cp->stat = devstat_new_entry(cp, -1, 0, DEVSTAT_ALL_SUPPORTED,
352e24cbd90SPoul-Henning Kamp 	    DEVSTAT_TYPE_DIRECT, DEVSTAT_PRIORITY_MAX);
353dd84a43cSPoul-Henning Kamp 	LIST_INSERT_HEAD(&gp->consumer, cp, consumer);
354dd84a43cSPoul-Henning Kamp 	return(cp);
355dd84a43cSPoul-Henning Kamp }
356dd84a43cSPoul-Henning Kamp 
357dd84a43cSPoul-Henning Kamp void
358dd84a43cSPoul-Henning Kamp g_destroy_consumer(struct g_consumer *cp)
359dd84a43cSPoul-Henning Kamp {
360d6227ae7SPoul-Henning Kamp 	struct g_geom *gp;
361dd84a43cSPoul-Henning Kamp 
362dd84a43cSPoul-Henning Kamp 	g_topology_assert();
3633d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
3643d1d5bc3SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_destroy_consumer(%p)", cp);
365dd84a43cSPoul-Henning Kamp 	KASSERT (cp->provider == NULL, ("g_destroy_consumer but attached"));
366dd84a43cSPoul-Henning Kamp 	KASSERT (cp->acr == 0, ("g_destroy_consumer with acr"));
367dd84a43cSPoul-Henning Kamp 	KASSERT (cp->acw == 0, ("g_destroy_consumer with acw"));
368dd84a43cSPoul-Henning Kamp 	KASSERT (cp->ace == 0, ("g_destroy_consumer with ace"));
369afcbcfaeSPoul-Henning Kamp 	g_cancel_event(cp);
370d6227ae7SPoul-Henning Kamp 	gp = cp->geom;
371dd84a43cSPoul-Henning Kamp 	LIST_REMOVE(cp, consumer);
372e24cbd90SPoul-Henning Kamp 	devstat_remove_entry(cp->stat);
373dd84a43cSPoul-Henning Kamp 	g_free(cp);
374d6227ae7SPoul-Henning Kamp 	if (gp->flags & G_GEOM_WITHER)
3751b464bd8SPoul-Henning Kamp 		g_do_wither();
376dd84a43cSPoul-Henning Kamp }
377dd84a43cSPoul-Henning Kamp 
3789ab3ea78SPoul-Henning Kamp static void
3799ab3ea78SPoul-Henning Kamp g_new_provider_event(void *arg, int flag)
3809ab3ea78SPoul-Henning Kamp {
3819ab3ea78SPoul-Henning Kamp 	struct g_class *mp;
3829ab3ea78SPoul-Henning Kamp 	struct g_provider *pp;
3839ab3ea78SPoul-Henning Kamp 	struct g_consumer *cp;
3849ab3ea78SPoul-Henning Kamp 	int i;
3859ab3ea78SPoul-Henning Kamp 
3869ab3ea78SPoul-Henning Kamp 	g_topology_assert();
3879ab3ea78SPoul-Henning Kamp 	if (flag == EV_CANCEL)
3889ab3ea78SPoul-Henning Kamp 		return;
3899ab3ea78SPoul-Henning Kamp 	if (g_shutdown)
3909ab3ea78SPoul-Henning Kamp 		return;
3919ab3ea78SPoul-Henning Kamp 	pp = arg;
3923d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
3939ab3ea78SPoul-Henning Kamp 	LIST_FOREACH(mp, &g_classes, class) {
3949ab3ea78SPoul-Henning Kamp 		if (mp->taste == NULL)
3959ab3ea78SPoul-Henning Kamp 			continue;
3969ab3ea78SPoul-Henning Kamp 		i = 1;
3979ab3ea78SPoul-Henning Kamp 		LIST_FOREACH(cp, &pp->consumers, consumers)
3989ab3ea78SPoul-Henning Kamp 			if (cp->geom->class == mp)
3999ab3ea78SPoul-Henning Kamp 				i = 0;
4009ab3ea78SPoul-Henning Kamp 		if (!i)
4019ab3ea78SPoul-Henning Kamp 			continue;
402c4da4e46SPoul-Henning Kamp 		mp->taste(mp, pp, 0);
4039ab3ea78SPoul-Henning Kamp 		g_topology_assert();
4049ab3ea78SPoul-Henning Kamp 	}
4059ab3ea78SPoul-Henning Kamp }
4069ab3ea78SPoul-Henning Kamp 
4079ab3ea78SPoul-Henning Kamp 
408dd84a43cSPoul-Henning Kamp struct g_provider *
4090f9d3dbaSPoul-Henning Kamp g_new_providerf(struct g_geom *gp, const char *fmt, ...)
410dd84a43cSPoul-Henning Kamp {
411dd84a43cSPoul-Henning Kamp 	struct g_provider *pp;
412dd84a43cSPoul-Henning Kamp 	struct sbuf *sb;
413dd84a43cSPoul-Henning Kamp 	va_list ap;
414dd84a43cSPoul-Henning Kamp 
415dd84a43cSPoul-Henning Kamp 	g_topology_assert();
4163d1d5bc3SPoul-Henning Kamp 	G_VALID_GEOM(gp);
417e26bafdcSPoul-Henning Kamp 	KASSERT(gp->access != NULL,
418e26bafdcSPoul-Henning Kamp 	    ("new provider on geom(%s) without ->access (class %s)",
419e26bafdcSPoul-Henning Kamp 	    gp->name, gp->class->name));
420799426f8SPoul-Henning Kamp 	KASSERT(gp->start != NULL,
421cff2ddaeSPawel Jakub Dawidek 	    ("new provider on geom(%s) without ->start (class %s)",
422cff2ddaeSPawel Jakub Dawidek 	    gp->name, gp->class->name));
423799426f8SPoul-Henning Kamp 	KASSERT(!(gp->flags & G_GEOM_WITHER),
424cff2ddaeSPawel Jakub Dawidek 	    ("new provider on WITHERing geom(%s) (class %s)",
425cff2ddaeSPawel Jakub Dawidek 	    gp->name, gp->class->name));
426dd84a43cSPoul-Henning Kamp 	sb = sbuf_new(NULL, NULL, 0, SBUF_AUTOEXTEND);
427a1a9b445SPoul-Henning Kamp 	va_start(ap, fmt);
428dd84a43cSPoul-Henning Kamp 	sbuf_vprintf(sb, fmt, ap);
429a1a9b445SPoul-Henning Kamp 	va_end(ap);
430dd84a43cSPoul-Henning Kamp 	sbuf_finish(sb);
431a163d034SWarner Losh 	pp = g_malloc(sizeof *pp + sbuf_len(sb) + 1, M_WAITOK | M_ZERO);
432dd84a43cSPoul-Henning Kamp 	pp->name = (char *)(pp + 1);
433dd84a43cSPoul-Henning Kamp 	strcpy(pp->name, sbuf_data(sb));
434dd84a43cSPoul-Henning Kamp 	sbuf_delete(sb);
435dd84a43cSPoul-Henning Kamp 	LIST_INIT(&pp->consumers);
436dd84a43cSPoul-Henning Kamp 	pp->error = ENXIO;
437dd84a43cSPoul-Henning Kamp 	pp->geom = gp;
438e24cbd90SPoul-Henning Kamp 	pp->stat = devstat_new_entry(pp, -1, 0, DEVSTAT_ALL_SUPPORTED,
439e24cbd90SPoul-Henning Kamp 	    DEVSTAT_TYPE_DIRECT, DEVSTAT_PRIORITY_MAX);
440dd84a43cSPoul-Henning Kamp 	LIST_INSERT_HEAD(&gp->provider, pp, provider);
441e26bafdcSPoul-Henning Kamp 	g_post_event(g_new_provider_event, pp, M_WAITOK, pp, gp, NULL);
442dd84a43cSPoul-Henning Kamp 	return (pp);
443dd84a43cSPoul-Henning Kamp }
444dd84a43cSPoul-Henning Kamp 
445dd84a43cSPoul-Henning Kamp void
446dd84a43cSPoul-Henning Kamp g_error_provider(struct g_provider *pp, int error)
447dd84a43cSPoul-Henning Kamp {
448dd84a43cSPoul-Henning Kamp 
4493d1d5bc3SPoul-Henning Kamp 	/* G_VALID_PROVIDER(pp);  We may not have g_topology */
450dd84a43cSPoul-Henning Kamp 	pp->error = error;
451dd84a43cSPoul-Henning Kamp }
452dd84a43cSPoul-Henning Kamp 
453d6c5e716SPoul-Henning Kamp struct g_provider *
454d6c5e716SPoul-Henning Kamp g_provider_by_name(char const *arg)
455d6c5e716SPoul-Henning Kamp {
456d6c5e716SPoul-Henning Kamp 	struct g_class *cp;
457d6c5e716SPoul-Henning Kamp 	struct g_geom *gp;
458d6c5e716SPoul-Henning Kamp 	struct g_provider *pp;
459d6c5e716SPoul-Henning Kamp 
460d6c5e716SPoul-Henning Kamp 	LIST_FOREACH(cp, &g_classes, class) {
461d6c5e716SPoul-Henning Kamp 		LIST_FOREACH(gp, &cp->geom, geom) {
462d6c5e716SPoul-Henning Kamp 			LIST_FOREACH(pp, &gp->provider, provider) {
463d6c5e716SPoul-Henning Kamp 				if (!strcmp(arg, pp->name))
464d6c5e716SPoul-Henning Kamp 					return (pp);
465d6c5e716SPoul-Henning Kamp 			}
466d6c5e716SPoul-Henning Kamp 		}
467d6c5e716SPoul-Henning Kamp 	}
468d6c5e716SPoul-Henning Kamp 	return (NULL);
469d6c5e716SPoul-Henning Kamp }
470dd84a43cSPoul-Henning Kamp 
471dd84a43cSPoul-Henning Kamp void
472dd84a43cSPoul-Henning Kamp g_destroy_provider(struct g_provider *pp)
473dd84a43cSPoul-Henning Kamp {
474dd84a43cSPoul-Henning Kamp 	struct g_geom *gp;
475dd84a43cSPoul-Henning Kamp 
476dd84a43cSPoul-Henning Kamp 	g_topology_assert();
4773d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
478dd84a43cSPoul-Henning Kamp 	KASSERT(LIST_EMPTY(&pp->consumers),
479dd84a43cSPoul-Henning Kamp 	    ("g_destroy_provider but attached"));
480dd84a43cSPoul-Henning Kamp 	KASSERT (pp->acr == 0, ("g_destroy_provider with acr"));
481dd84a43cSPoul-Henning Kamp 	KASSERT (pp->acw == 0, ("g_destroy_provider with acw"));
482dd84a43cSPoul-Henning Kamp 	KASSERT (pp->acw == 0, ("g_destroy_provider with ace"));
483afcbcfaeSPoul-Henning Kamp 	g_cancel_event(pp);
484dd84a43cSPoul-Henning Kamp 	LIST_REMOVE(pp, provider);
485dd84a43cSPoul-Henning Kamp 	gp = pp->geom;
486e24cbd90SPoul-Henning Kamp 	devstat_remove_entry(pp->stat);
487dd84a43cSPoul-Henning Kamp 	g_free(pp);
488d6227ae7SPoul-Henning Kamp 	if ((gp->flags & G_GEOM_WITHER))
4891b464bd8SPoul-Henning Kamp 		g_do_wither();
490dd84a43cSPoul-Henning Kamp }
491dd84a43cSPoul-Henning Kamp 
492dd84a43cSPoul-Henning Kamp /*
493dd84a43cSPoul-Henning Kamp  * We keep the "geoms" list sorted by topological order (== increasing
494dd84a43cSPoul-Henning Kamp  * numerical rank) at all times.
495dd84a43cSPoul-Henning Kamp  * When an attach is done, the attaching geoms rank is invalidated
496dd84a43cSPoul-Henning Kamp  * and it is moved to the tail of the list.
497dd84a43cSPoul-Henning Kamp  * All geoms later in the sequence has their ranks reevaluated in
498dd84a43cSPoul-Henning Kamp  * sequence.  If we cannot assign rank to a geom because it's
499dd84a43cSPoul-Henning Kamp  * prerequisites do not have rank, we move that element to the tail
500dd84a43cSPoul-Henning Kamp  * of the sequence with invalid rank as well.
501dd84a43cSPoul-Henning Kamp  * At some point we encounter our original geom and if we stil fail
502dd84a43cSPoul-Henning Kamp  * to assign it a rank, there must be a loop and we fail back to
503503abe45SPoul-Henning Kamp  * g_attach() which detach again and calls redo_rank again
504dd84a43cSPoul-Henning Kamp  * to fix up the damage.
505dd84a43cSPoul-Henning Kamp  * It would be much simpler code wise to do it recursively, but we
506dd84a43cSPoul-Henning Kamp  * can't risk that on the kernel stack.
507dd84a43cSPoul-Henning Kamp  */
508dd84a43cSPoul-Henning Kamp 
509dd84a43cSPoul-Henning Kamp static int
510dd84a43cSPoul-Henning Kamp redo_rank(struct g_geom *gp)
511dd84a43cSPoul-Henning Kamp {
512dd84a43cSPoul-Henning Kamp 	struct g_consumer *cp;
513dd84a43cSPoul-Henning Kamp 	struct g_geom *gp1, *gp2;
514dd84a43cSPoul-Henning Kamp 	int n, m;
515dd84a43cSPoul-Henning Kamp 
516dd84a43cSPoul-Henning Kamp 	g_topology_assert();
5173d1d5bc3SPoul-Henning Kamp 	G_VALID_GEOM(gp);
518dd84a43cSPoul-Henning Kamp 
519dd84a43cSPoul-Henning Kamp 	/* Invalidate this geoms rank and move it to the tail */
520dd84a43cSPoul-Henning Kamp 	gp1 = TAILQ_NEXT(gp, geoms);
521dd84a43cSPoul-Henning Kamp 	if (gp1 != NULL) {
522dd84a43cSPoul-Henning Kamp 		gp->rank = 0;
523dd84a43cSPoul-Henning Kamp 		TAILQ_REMOVE(&geoms, gp, geoms);
524dd84a43cSPoul-Henning Kamp 		TAILQ_INSERT_TAIL(&geoms, gp, geoms);
525dd84a43cSPoul-Henning Kamp 	} else {
526dd84a43cSPoul-Henning Kamp 		gp1 = gp;
527dd84a43cSPoul-Henning Kamp 	}
528dd84a43cSPoul-Henning Kamp 
529dd84a43cSPoul-Henning Kamp 	/* re-rank the rest of the sequence */
530dd84a43cSPoul-Henning Kamp 	for (; gp1 != NULL; gp1 = gp2) {
531dd84a43cSPoul-Henning Kamp 		gp1->rank = 0;
532dd84a43cSPoul-Henning Kamp 		m = 1;
533dd84a43cSPoul-Henning Kamp 		LIST_FOREACH(cp, &gp1->consumer, consumer) {
534dd84a43cSPoul-Henning Kamp 			if (cp->provider == NULL)
535dd84a43cSPoul-Henning Kamp 				continue;
536dd84a43cSPoul-Henning Kamp 			n = cp->provider->geom->rank;
537dd84a43cSPoul-Henning Kamp 			if (n == 0) {
538dd84a43cSPoul-Henning Kamp 				m = 0;
539dd84a43cSPoul-Henning Kamp 				break;
540dd84a43cSPoul-Henning Kamp 			} else if (n >= m)
541dd84a43cSPoul-Henning Kamp 				m = n + 1;
542dd84a43cSPoul-Henning Kamp 		}
543dd84a43cSPoul-Henning Kamp 		gp1->rank = m;
544dd84a43cSPoul-Henning Kamp 		gp2 = TAILQ_NEXT(gp1, geoms);
545dd84a43cSPoul-Henning Kamp 
546dd84a43cSPoul-Henning Kamp 		/* got a rank, moving on */
547dd84a43cSPoul-Henning Kamp 		if (m != 0)
548dd84a43cSPoul-Henning Kamp 			continue;
549dd84a43cSPoul-Henning Kamp 
550dd84a43cSPoul-Henning Kamp 		/* no rank to original geom means loop */
55150d866ceSPoul-Henning Kamp 		if (gp == gp1)
552dd84a43cSPoul-Henning Kamp 			return (ELOOP);
553dd84a43cSPoul-Henning Kamp 
554dd84a43cSPoul-Henning Kamp 		/* no rank, put it at the end move on */
555dd84a43cSPoul-Henning Kamp 		TAILQ_REMOVE(&geoms, gp1, geoms);
556dd84a43cSPoul-Henning Kamp 		TAILQ_INSERT_TAIL(&geoms, gp1, geoms);
557dd84a43cSPoul-Henning Kamp 	}
558dd84a43cSPoul-Henning Kamp 	return (0);
559dd84a43cSPoul-Henning Kamp }
560dd84a43cSPoul-Henning Kamp 
561dd84a43cSPoul-Henning Kamp int
562dd84a43cSPoul-Henning Kamp g_attach(struct g_consumer *cp, struct g_provider *pp)
563dd84a43cSPoul-Henning Kamp {
564dd84a43cSPoul-Henning Kamp 	int error;
565dd84a43cSPoul-Henning Kamp 
566dd84a43cSPoul-Henning Kamp 	g_topology_assert();
5673d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
5683d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
569dd84a43cSPoul-Henning Kamp 	KASSERT(cp->provider == NULL, ("attach but attached"));
570dd84a43cSPoul-Henning Kamp 	cp->provider = pp;
571dd84a43cSPoul-Henning Kamp 	LIST_INSERT_HEAD(&pp->consumers, cp, consumers);
572dd84a43cSPoul-Henning Kamp 	error = redo_rank(cp->geom);
573dd84a43cSPoul-Henning Kamp 	if (error) {
574dd84a43cSPoul-Henning Kamp 		LIST_REMOVE(cp, consumers);
575dd84a43cSPoul-Henning Kamp 		cp->provider = NULL;
576dd84a43cSPoul-Henning Kamp 		redo_rank(cp->geom);
577dd84a43cSPoul-Henning Kamp 	}
578dd84a43cSPoul-Henning Kamp 	return (error);
579dd84a43cSPoul-Henning Kamp }
580dd84a43cSPoul-Henning Kamp 
581dd84a43cSPoul-Henning Kamp void
582503abe45SPoul-Henning Kamp g_detach(struct g_consumer *cp)
583dd84a43cSPoul-Henning Kamp {
584dd84a43cSPoul-Henning Kamp 	struct g_provider *pp;
585dd84a43cSPoul-Henning Kamp 
586dd84a43cSPoul-Henning Kamp 	g_topology_assert();
5873d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
5883d1d5bc3SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_detach(%p)", cp);
589503abe45SPoul-Henning Kamp 	KASSERT(cp->provider != NULL, ("detach but not attached"));
590503abe45SPoul-Henning Kamp 	KASSERT(cp->acr == 0, ("detach but nonzero acr"));
591503abe45SPoul-Henning Kamp 	KASSERT(cp->acw == 0, ("detach but nonzero acw"));
592503abe45SPoul-Henning Kamp 	KASSERT(cp->ace == 0, ("detach but nonzero ace"));
5930e6be472SPoul-Henning Kamp 	KASSERT(cp->nstart == cp->nend,
5944ec35300SPoul-Henning Kamp 	    ("detach with active requests"));
595dd84a43cSPoul-Henning Kamp 	pp = cp->provider;
596dd84a43cSPoul-Henning Kamp 	LIST_REMOVE(cp, consumers);
597dd84a43cSPoul-Henning Kamp 	cp->provider = NULL;
598dd84a43cSPoul-Henning Kamp 	if (pp->geom->flags & G_GEOM_WITHER)
5991b464bd8SPoul-Henning Kamp 		g_do_wither();
60090916ef7SPoul-Henning Kamp 	else if (pp->flags & G_PF_WITHER)
6011b464bd8SPoul-Henning Kamp 		g_do_wither();
602dd84a43cSPoul-Henning Kamp 	redo_rank(cp->geom);
603dd84a43cSPoul-Henning Kamp }
604dd84a43cSPoul-Henning Kamp 
605dd84a43cSPoul-Henning Kamp /*
606d2bae332SPoul-Henning Kamp  * g_access()
607dd84a43cSPoul-Henning Kamp  *
608dd84a43cSPoul-Henning Kamp  * Access-check with delta values.  The question asked is "can provider
609dd84a43cSPoul-Henning Kamp  * "cp" change the access counters by the relative amounts dc[rwe] ?"
610dd84a43cSPoul-Henning Kamp  */
611dd84a43cSPoul-Henning Kamp 
612dd84a43cSPoul-Henning Kamp int
613d2bae332SPoul-Henning Kamp g_access(struct g_consumer *cp, int dcr, int dcw, int dce)
614dd84a43cSPoul-Henning Kamp {
615dd84a43cSPoul-Henning Kamp 	struct g_provider *pp;
616dd84a43cSPoul-Henning Kamp 	int pr,pw,pe;
617dd84a43cSPoul-Henning Kamp 	int error;
618dd84a43cSPoul-Henning Kamp 
6193d1d5bc3SPoul-Henning Kamp 	g_topology_assert();
6203d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
621dd84a43cSPoul-Henning Kamp 	pp = cp->provider;
622950124e3SPawel Jakub Dawidek 	KASSERT(pp != NULL, ("access but not attached"));
6233d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
624dd84a43cSPoul-Henning Kamp 
625d2bae332SPoul-Henning Kamp 	g_trace(G_T_ACCESS, "g_access(%p(%s), %d, %d, %d)",
626dd84a43cSPoul-Henning Kamp 	    cp, pp->name, dcr, dcw, dce);
627dd84a43cSPoul-Henning Kamp 
628dd84a43cSPoul-Henning Kamp 	KASSERT(cp->acr + dcr >= 0, ("access resulting in negative acr"));
629dd84a43cSPoul-Henning Kamp 	KASSERT(cp->acw + dcw >= 0, ("access resulting in negative acw"));
630dd84a43cSPoul-Henning Kamp 	KASSERT(cp->ace + dce >= 0, ("access resulting in negative ace"));
631cfa35456SPoul-Henning Kamp 	KASSERT(dcr != 0 || dcw != 0 || dce != 0, ("NOP access request"));
63207d77fc6SPoul-Henning Kamp 	KASSERT(pp->geom->access != NULL, ("NULL geom->access"));
633dd84a43cSPoul-Henning Kamp 
634dd84a43cSPoul-Henning Kamp 	/*
635e805e8f0SPoul-Henning Kamp 	 * If our class cares about being spoiled, and we have been, we
636dd84a43cSPoul-Henning Kamp 	 * are probably just ahead of the event telling us that.  Fail
637dd84a43cSPoul-Henning Kamp 	 * now rather than having to unravel this later.
638dd84a43cSPoul-Henning Kamp 	 */
6394fa0290fSPoul-Henning Kamp 	if (cp->geom->spoiled != NULL && cp->spoiled &&
6404fa0290fSPoul-Henning Kamp 	    (dcr > 0 || dcw > 0 || dce > 0))
6414fa0290fSPoul-Henning Kamp 		return (ENXIO);
642dd84a43cSPoul-Henning Kamp 
643dd84a43cSPoul-Henning Kamp 	/*
644dd84a43cSPoul-Henning Kamp 	 * Figure out what counts the provider would have had, if this
645dd84a43cSPoul-Henning Kamp 	 * consumer had (r0w0e0) at this time.
646dd84a43cSPoul-Henning Kamp 	 */
647dd84a43cSPoul-Henning Kamp 	pr = pp->acr - cp->acr;
648dd84a43cSPoul-Henning Kamp 	pw = pp->acw - cp->acw;
649dd84a43cSPoul-Henning Kamp 	pe = pp->ace - cp->ace;
650dd84a43cSPoul-Henning Kamp 
651dd84a43cSPoul-Henning Kamp 	g_trace(G_T_ACCESS,
652dd84a43cSPoul-Henning Kamp     "open delta:[r%dw%de%d] old:[r%dw%de%d] provider:[r%dw%de%d] %p(%s)",
653dd84a43cSPoul-Henning Kamp 	    dcr, dcw, dce,
654dd84a43cSPoul-Henning Kamp 	    cp->acr, cp->acw, cp->ace,
655dd84a43cSPoul-Henning Kamp 	    pp->acr, pp->acw, pp->ace,
656dd84a43cSPoul-Henning Kamp 	    pp, pp->name);
657dd84a43cSPoul-Henning Kamp 
6588ebd558fSPoul-Henning Kamp 	/* If foot-shooting is enabled, any open on rank#1 is OK */
6598ebd558fSPoul-Henning Kamp 	if ((g_debugflags & 16) && pp->geom->rank == 1)
6608ebd558fSPoul-Henning Kamp 		;
661dd84a43cSPoul-Henning Kamp 	/* If we try exclusive but already write: fail */
6628ebd558fSPoul-Henning Kamp 	else if (dce > 0 && pw > 0)
663dd84a43cSPoul-Henning Kamp 		return (EPERM);
664dd84a43cSPoul-Henning Kamp 	/* If we try write but already exclusive: fail */
6658ebd558fSPoul-Henning Kamp 	else if (dcw > 0 && pe > 0)
666dd84a43cSPoul-Henning Kamp 		return (EPERM);
667dd84a43cSPoul-Henning Kamp 	/* If we try to open more but provider is error'ed: fail */
6688ebd558fSPoul-Henning Kamp 	else if ((dcr > 0 || dcw > 0 || dce > 0) && pp->error != 0)
669dd84a43cSPoul-Henning Kamp 		return (pp->error);
670dd84a43cSPoul-Henning Kamp 
671dd84a43cSPoul-Henning Kamp 	/* Ok then... */
672dd84a43cSPoul-Henning Kamp 
6738f6da0e4SPoul-Henning Kamp 	error = pp->geom->access(pp, dcr, dcw, dce);
674bfc37a51SPoul-Henning Kamp 	KASSERT(dcr > 0 || dcw > 0 || dce > 0 || error == 0,
675bfc37a51SPoul-Henning Kamp 	    ("Geom provider %s::%s failed closing ->access()",
676bfc37a51SPoul-Henning Kamp 	    pp->geom->class->name, pp->name));
6778f6da0e4SPoul-Henning Kamp 	if (!error) {
678dd84a43cSPoul-Henning Kamp 		/*
679dd84a43cSPoul-Henning Kamp 		 * If we open first write, spoil any partner consumers.
680dd84a43cSPoul-Henning Kamp 		 * If we close last write, trigger re-taste.
681dd84a43cSPoul-Henning Kamp 		 */
682dd84a43cSPoul-Henning Kamp 		if (pp->acw == 0 && dcw != 0)
683dd84a43cSPoul-Henning Kamp 			g_spoil(pp, cp);
684a9ed5e11SPoul-Henning Kamp 		else if (pp->acw != 0 && pp->acw == -dcw &&
685a9ed5e11SPoul-Henning Kamp 		    !(pp->geom->flags & G_GEOM_WITHER))
6868cd1535aSPoul-Henning Kamp 			g_post_event(g_new_provider_event, pp, M_WAITOK,
6878cd1535aSPoul-Henning Kamp 			    pp, NULL);
688dd84a43cSPoul-Henning Kamp 
689dd84a43cSPoul-Henning Kamp 		pp->acr += dcr;
690dd84a43cSPoul-Henning Kamp 		pp->acw += dcw;
691dd84a43cSPoul-Henning Kamp 		pp->ace += dce;
692dd84a43cSPoul-Henning Kamp 		cp->acr += dcr;
693dd84a43cSPoul-Henning Kamp 		cp->acw += dcw;
694dd84a43cSPoul-Henning Kamp 		cp->ace += dce;
695dd84a43cSPoul-Henning Kamp 	}
696dd84a43cSPoul-Henning Kamp 	return (error);
697dd84a43cSPoul-Henning Kamp }
698dd84a43cSPoul-Henning Kamp 
699dd84a43cSPoul-Henning Kamp int
7000f9d3dbaSPoul-Henning Kamp g_handleattr_int(struct bio *bp, const char *attribute, int val)
701dd84a43cSPoul-Henning Kamp {
702dd84a43cSPoul-Henning Kamp 
703503abe45SPoul-Henning Kamp 	return (g_handleattr(bp, attribute, &val, sizeof val));
704dd84a43cSPoul-Henning Kamp }
705dd84a43cSPoul-Henning Kamp 
706dd84a43cSPoul-Henning Kamp int
7070f9d3dbaSPoul-Henning Kamp g_handleattr_off_t(struct bio *bp, const char *attribute, off_t val)
708dd84a43cSPoul-Henning Kamp {
709dd84a43cSPoul-Henning Kamp 
710503abe45SPoul-Henning Kamp 	return (g_handleattr(bp, attribute, &val, sizeof val));
711dd84a43cSPoul-Henning Kamp }
712dd84a43cSPoul-Henning Kamp 
713dd84a43cSPoul-Henning Kamp int
7140f9d3dbaSPoul-Henning Kamp g_handleattr(struct bio *bp, const char *attribute, void *val, int len)
715dd84a43cSPoul-Henning Kamp {
716dd84a43cSPoul-Henning Kamp 	int error;
717dd84a43cSPoul-Henning Kamp 
718dd84a43cSPoul-Henning Kamp 	if (strcmp(bp->bio_attribute, attribute))
719dd84a43cSPoul-Henning Kamp 		return (0);
720dd84a43cSPoul-Henning Kamp 	if (bp->bio_length != len) {
72114ac6812SPoul-Henning Kamp 		printf("bio_length %jd len %d -> EFAULT\n",
72214ac6812SPoul-Henning Kamp 		    (intmax_t)bp->bio_length, len);
723dd84a43cSPoul-Henning Kamp 		error = EFAULT;
724dd84a43cSPoul-Henning Kamp 	} else {
725dd84a43cSPoul-Henning Kamp 		error = 0;
726dd84a43cSPoul-Henning Kamp 		bcopy(val, bp->bio_data, len);
727dd84a43cSPoul-Henning Kamp 		bp->bio_completed = len;
728dd84a43cSPoul-Henning Kamp 	}
72972840432SPoul-Henning Kamp 	g_io_deliver(bp, error);
730dd84a43cSPoul-Henning Kamp 	return (1);
731dd84a43cSPoul-Henning Kamp }
732dd84a43cSPoul-Henning Kamp 
733dd84a43cSPoul-Henning Kamp int
7343d1d5bc3SPoul-Henning Kamp g_std_access(struct g_provider *pp,
735dd84a43cSPoul-Henning Kamp 	int dr __unused, int dw __unused, int de __unused)
736dd84a43cSPoul-Henning Kamp {
737dd84a43cSPoul-Henning Kamp 
7383d1d5bc3SPoul-Henning Kamp 	g_topology_assert();
7393d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
740dd84a43cSPoul-Henning Kamp         return (0);
741dd84a43cSPoul-Henning Kamp }
742dd84a43cSPoul-Henning Kamp 
743dd84a43cSPoul-Henning Kamp void
744dd84a43cSPoul-Henning Kamp g_std_done(struct bio *bp)
745dd84a43cSPoul-Henning Kamp {
746dd84a43cSPoul-Henning Kamp 	struct bio *bp2;
747dd84a43cSPoul-Henning Kamp 
748936cc461SPoul-Henning Kamp 	bp2 = bp->bio_parent;
7493f521b60SPoul-Henning Kamp 	if (bp2->bio_error == 0)
7503f521b60SPoul-Henning Kamp 		bp2->bio_error = bp->bio_error;
7513f521b60SPoul-Henning Kamp 	bp2->bio_completed += bp->bio_completed;
752dd84a43cSPoul-Henning Kamp 	g_destroy_bio(bp);
753801bb689SPoul-Henning Kamp 	bp2->bio_inbed++;
754801bb689SPoul-Henning Kamp 	if (bp2->bio_children == bp2->bio_inbed)
7553f521b60SPoul-Henning Kamp 		g_io_deliver(bp2, bp2->bio_error);
756dd84a43cSPoul-Henning Kamp }
757dd84a43cSPoul-Henning Kamp 
758dd84a43cSPoul-Henning Kamp /* XXX: maybe this is only g_slice_spoiled */
759dd84a43cSPoul-Henning Kamp 
760dd84a43cSPoul-Henning Kamp void
761dd84a43cSPoul-Henning Kamp g_std_spoiled(struct g_consumer *cp)
762dd84a43cSPoul-Henning Kamp {
763c4da4e46SPoul-Henning Kamp 	struct g_geom *gp;
764c4da4e46SPoul-Henning Kamp 	struct g_provider *pp;
765dd84a43cSPoul-Henning Kamp 
766dd84a43cSPoul-Henning Kamp 	g_topology_assert();
7673d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
7683d1d5bc3SPoul-Henning Kamp 	g_trace(G_T_TOPOLOGY, "g_std_spoiled(%p)", cp);
769c4da4e46SPoul-Henning Kamp 	g_detach(cp);
770c4da4e46SPoul-Henning Kamp 	gp = cp->geom;
771c4da4e46SPoul-Henning Kamp 	LIST_FOREACH(pp, &gp->provider, provider)
772c4da4e46SPoul-Henning Kamp 		g_orphan_provider(pp, ENXIO);
773c4da4e46SPoul-Henning Kamp 	g_destroy_consumer(cp);
774c4da4e46SPoul-Henning Kamp 	if (LIST_EMPTY(&gp->provider) && LIST_EMPTY(&gp->consumer))
775c4da4e46SPoul-Henning Kamp 		g_destroy_geom(gp);
776c4da4e46SPoul-Henning Kamp 	else
777c4da4e46SPoul-Henning Kamp 		gp->flags |= G_GEOM_WITHER;
778dd84a43cSPoul-Henning Kamp }
779dd84a43cSPoul-Henning Kamp 
780dd84a43cSPoul-Henning Kamp /*
781dd84a43cSPoul-Henning Kamp  * Spoiling happens when a provider is opened for writing, but consumers
782dd84a43cSPoul-Henning Kamp  * which are configured by in-band data are attached (slicers for instance).
783dd84a43cSPoul-Henning Kamp  * Since the write might potentially change the in-band data, such consumers
784dd84a43cSPoul-Henning Kamp  * need to re-evaluate their existence after the writing session closes.
785dd84a43cSPoul-Henning Kamp  * We do this by (offering to) tear them down when the open for write happens
786dd84a43cSPoul-Henning Kamp  * in return for a re-taste when it closes again.
787dd84a43cSPoul-Henning Kamp  * Together with the fact that such consumers grab an 'e' bit whenever they
788dd84a43cSPoul-Henning Kamp  * are open, regardless of mode, this ends up DTRT.
789dd84a43cSPoul-Henning Kamp  */
790dd84a43cSPoul-Henning Kamp 
791f2e9a094SPoul-Henning Kamp static void
792f2e9a094SPoul-Henning Kamp g_spoil_event(void *arg, int flag)
793f2e9a094SPoul-Henning Kamp {
794f2e9a094SPoul-Henning Kamp 	struct g_provider *pp;
795f2e9a094SPoul-Henning Kamp 	struct g_consumer *cp, *cp2;
796f2e9a094SPoul-Henning Kamp 
797f2e9a094SPoul-Henning Kamp 	g_topology_assert();
798f2e9a094SPoul-Henning Kamp 	if (flag == EV_CANCEL)
799f2e9a094SPoul-Henning Kamp 		return;
800f2e9a094SPoul-Henning Kamp 	pp = arg;
8013d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
802f2e9a094SPoul-Henning Kamp 	for (cp = LIST_FIRST(&pp->consumers); cp != NULL; cp = cp2) {
803f2e9a094SPoul-Henning Kamp 		cp2 = LIST_NEXT(cp, consumers);
804f2e9a094SPoul-Henning Kamp 		if (!cp->spoiled)
805f2e9a094SPoul-Henning Kamp 			continue;
806f2e9a094SPoul-Henning Kamp 		cp->spoiled = 0;
807f2e9a094SPoul-Henning Kamp 		if (cp->geom->spoiled == NULL)
808f2e9a094SPoul-Henning Kamp 			continue;
809f2e9a094SPoul-Henning Kamp 		cp->geom->spoiled(cp);
810f2e9a094SPoul-Henning Kamp 		g_topology_assert();
811f2e9a094SPoul-Henning Kamp 	}
812f2e9a094SPoul-Henning Kamp }
813f2e9a094SPoul-Henning Kamp 
814dd84a43cSPoul-Henning Kamp void
815dd84a43cSPoul-Henning Kamp g_spoil(struct g_provider *pp, struct g_consumer *cp)
816dd84a43cSPoul-Henning Kamp {
817dd84a43cSPoul-Henning Kamp 	struct g_consumer *cp2;
818dd84a43cSPoul-Henning Kamp 
819dd84a43cSPoul-Henning Kamp 	g_topology_assert();
8203d1d5bc3SPoul-Henning Kamp 	G_VALID_PROVIDER(pp);
8213d1d5bc3SPoul-Henning Kamp 	G_VALID_CONSUMER(cp);
822dd84a43cSPoul-Henning Kamp 
823dd84a43cSPoul-Henning Kamp 	LIST_FOREACH(cp2, &pp->consumers, consumers) {
824dd84a43cSPoul-Henning Kamp 		if (cp2 == cp)
825dd84a43cSPoul-Henning Kamp 			continue;
826dd84a43cSPoul-Henning Kamp /*
827dd84a43cSPoul-Henning Kamp 		KASSERT(cp2->acr == 0, ("spoiling cp->acr = %d", cp2->acr));
828dd84a43cSPoul-Henning Kamp 		KASSERT(cp2->acw == 0, ("spoiling cp->acw = %d", cp2->acw));
829dd84a43cSPoul-Henning Kamp */
830dd84a43cSPoul-Henning Kamp 		KASSERT(cp2->ace == 0, ("spoiling cp->ace = %d", cp2->ace));
831dd84a43cSPoul-Henning Kamp 		cp2->spoiled++;
832dd84a43cSPoul-Henning Kamp 	}
8338cd1535aSPoul-Henning Kamp 	g_post_event(g_spoil_event, pp, M_WAITOK, pp, NULL);
834dd84a43cSPoul-Henning Kamp }
835dd84a43cSPoul-Henning Kamp 
836a4ef1c5fSPoul-Henning Kamp int
837a4ef1c5fSPoul-Henning Kamp g_getattr__(const char *attr, struct g_consumer *cp, void *var, int len)
838a4ef1c5fSPoul-Henning Kamp {
839a4ef1c5fSPoul-Henning Kamp 	int error, i;
840a4ef1c5fSPoul-Henning Kamp 
841a4ef1c5fSPoul-Henning Kamp 	i = len;
842a4ef1c5fSPoul-Henning Kamp 	error = g_io_getattr(attr, cp, &i, var);
843a4ef1c5fSPoul-Henning Kamp 	if (error)
844a4ef1c5fSPoul-Henning Kamp 		return (error);
845a4ef1c5fSPoul-Henning Kamp 	if (i != len)
846a4ef1c5fSPoul-Henning Kamp 		return (EINVAL);
847a4ef1c5fSPoul-Henning Kamp 	return (0);
848a4ef1c5fSPoul-Henning Kamp }
8497d590cc4SPoul-Henning Kamp 
8503d1d5bc3SPoul-Henning Kamp #ifdef DIAGNOSTIC
8517d590cc4SPoul-Henning Kamp /*
8523d1d5bc3SPoul-Henning Kamp  * This function walks (topologically unsafely) the mesh and return a
8533d1d5bc3SPoul-Henning Kamp  * non-zero integer if it finds the argument pointer is an object.
8543d1d5bc3SPoul-Henning Kamp  * The return value indicates which type of object it is belived to be.
8553d1d5bc3SPoul-Henning Kamp  * If topology is not locked, this function is potentially dangerous,
8563d1d5bc3SPoul-Henning Kamp  * but since it is for debugging purposes and can be useful for instance
8573d1d5bc3SPoul-Henning Kamp  * from DDB, we do not assert topology lock is held.
858b3ecca4dSPoul-Henning Kamp  */
8593d1d5bc3SPoul-Henning Kamp int
860b3ecca4dSPoul-Henning Kamp g_valid_obj(void const *ptr)
861b3ecca4dSPoul-Henning Kamp {
862b3ecca4dSPoul-Henning Kamp 	struct g_class *mp;
863b3ecca4dSPoul-Henning Kamp 	struct g_geom *gp;
864b3ecca4dSPoul-Henning Kamp 	struct g_consumer *cp;
865b3ecca4dSPoul-Henning Kamp 	struct g_provider *pp;
866b3ecca4dSPoul-Henning Kamp 
867b3ecca4dSPoul-Henning Kamp 	LIST_FOREACH(mp, &g_classes, class) {
868b3ecca4dSPoul-Henning Kamp 		if (ptr == mp)
869b3ecca4dSPoul-Henning Kamp 			return (1);
870b3ecca4dSPoul-Henning Kamp 		LIST_FOREACH(gp, &mp->geom, geom) {
871b3ecca4dSPoul-Henning Kamp 			if (ptr == gp)
8723d1d5bc3SPoul-Henning Kamp 				return (2);
873b3ecca4dSPoul-Henning Kamp 			LIST_FOREACH(cp, &gp->consumer, consumer)
874b3ecca4dSPoul-Henning Kamp 				if (ptr == cp)
8753d1d5bc3SPoul-Henning Kamp 					return (3);
876b3ecca4dSPoul-Henning Kamp 			LIST_FOREACH(pp, &gp->provider, provider)
877b3ecca4dSPoul-Henning Kamp 				if (ptr == pp)
8783d1d5bc3SPoul-Henning Kamp 					return (4);
879b3ecca4dSPoul-Henning Kamp 		}
880b3ecca4dSPoul-Henning Kamp 	}
881b3ecca4dSPoul-Henning Kamp 	return(0);
882b3ecca4dSPoul-Henning Kamp }
8833d1d5bc3SPoul-Henning Kamp #endif
884