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; 63f96c8ef1SAndrew R. Reiter int post; 646c87f8d5SPoul-Henning Kamp }; 659972896cSPoul-Henning Kamp 669972896cSPoul-Henning Kamp /* 679972896cSPoul-Henning Kamp * This event offers a new class a chance to taste all preexisting providers. 689972896cSPoul-Henning Kamp */ 699972896cSPoul-Henning Kamp static void 706c87f8d5SPoul-Henning Kamp g_load_class(void *arg, int flag) 719972896cSPoul-Henning Kamp { 726c87f8d5SPoul-Henning Kamp struct g_hh00 *hh; 739972896cSPoul-Henning Kamp struct g_class *mp2, *mp; 749972896cSPoul-Henning Kamp struct g_geom *gp; 759972896cSPoul-Henning Kamp struct g_provider *pp; 769972896cSPoul-Henning Kamp 779972896cSPoul-Henning Kamp g_topology_assert(); 786c87f8d5SPoul-Henning Kamp if (flag == EV_CANCEL) /* XXX: can't happen ? */ 799972896cSPoul-Henning Kamp return; 809972896cSPoul-Henning Kamp if (g_shutdown) 819972896cSPoul-Henning Kamp return; 826c87f8d5SPoul-Henning Kamp 836c87f8d5SPoul-Henning Kamp hh = arg; 846c87f8d5SPoul-Henning Kamp mp = hh->mp; 85f96c8ef1SAndrew R. Reiter if (hh->post) 866c87f8d5SPoul-Henning Kamp g_free(hh); 87f96c8ef1SAndrew R. Reiter else 88f96c8ef1SAndrew R. Reiter hh->error = 0; 896c87f8d5SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_load_class(%s)", mp->name); 90799426f8SPoul-Henning Kamp KASSERT(mp->name != NULL && *mp->name != '\0', 91799426f8SPoul-Henning Kamp ("GEOM class has no name")); 92ce64e0f2SPoul-Henning Kamp LIST_FOREACH(mp2, &g_classes, class) { 93f96c8ef1SAndrew R. Reiter if (mp2 == mp) { 94f96c8ef1SAndrew R. Reiter printf("The GEOM class %s is already loaded.\n", 95f96c8ef1SAndrew R. Reiter mp2->name); 96f96c8ef1SAndrew R. Reiter hh->error = EEXIST; 97f96c8ef1SAndrew R. Reiter return; 98f96c8ef1SAndrew R. Reiter } else if (strcmp(mp2->name, mp->name) == 0) { 99f96c8ef1SAndrew R. Reiter printf("A GEOM class %s is already loaded.\n", 100f96c8ef1SAndrew R. Reiter mp2->name); 101f96c8ef1SAndrew R. Reiter hh->error = EEXIST; 102f96c8ef1SAndrew R. Reiter return; 103f96c8ef1SAndrew R. Reiter } 104ce64e0f2SPoul-Henning Kamp } 1056c87f8d5SPoul-Henning Kamp 1066c87f8d5SPoul-Henning Kamp LIST_INIT(&mp->geom); 1076c87f8d5SPoul-Henning Kamp LIST_INSERT_HEAD(&g_classes, mp, class); 1080ecc7670SPoul-Henning Kamp if (mp->init != NULL) 1090ecc7670SPoul-Henning Kamp mp->init(mp); 1106c87f8d5SPoul-Henning Kamp if (mp->taste == NULL) 1119972896cSPoul-Henning Kamp return; 1126c87f8d5SPoul-Henning Kamp LIST_FOREACH(mp2, &g_classes, class) { 1136c87f8d5SPoul-Henning Kamp if (mp == mp2) 1149972896cSPoul-Henning Kamp continue; 1156c87f8d5SPoul-Henning Kamp LIST_FOREACH(gp, &mp2->geom, geom) { 1169972896cSPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) { 1176c87f8d5SPoul-Henning Kamp mp->taste(mp, pp, 0); 1189972896cSPoul-Henning Kamp g_topology_assert(); 1199972896cSPoul-Henning Kamp } 1209972896cSPoul-Henning Kamp } 1219972896cSPoul-Henning Kamp } 1229972896cSPoul-Henning Kamp } 1239972896cSPoul-Henning Kamp 1246c87f8d5SPoul-Henning Kamp static void 1256c87f8d5SPoul-Henning Kamp g_unload_class(void *arg, int flag) 126dd84a43cSPoul-Henning Kamp { 1276c87f8d5SPoul-Henning Kamp struct g_hh00 *hh; 1286c87f8d5SPoul-Henning Kamp struct g_class *mp; 1296c87f8d5SPoul-Henning Kamp struct g_geom *gp; 1306c87f8d5SPoul-Henning Kamp struct g_provider *pp; 1316c87f8d5SPoul-Henning Kamp struct g_consumer *cp; 1326c87f8d5SPoul-Henning Kamp int error; 1336c87f8d5SPoul-Henning Kamp 1346c87f8d5SPoul-Henning Kamp g_topology_assert(); 1356c87f8d5SPoul-Henning Kamp hh = arg; 1366c87f8d5SPoul-Henning Kamp mp = hh->mp; 1373d1d5bc3SPoul-Henning Kamp G_VALID_CLASS(mp); 1386c87f8d5SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_unload_class(%s)", mp->name); 1390ed4f6a1SPoul-Henning Kamp 1400ed4f6a1SPoul-Henning Kamp /* 1410ed4f6a1SPoul-Henning Kamp * We allow unloading if we have no geoms, or a class 1420ed4f6a1SPoul-Henning Kamp * method we can use to get rid of them. 1430ed4f6a1SPoul-Henning Kamp */ 1440ed4f6a1SPoul-Henning Kamp if (!LIST_EMPTY(&mp->geom) && mp->destroy_geom == NULL) { 1456c87f8d5SPoul-Henning Kamp hh->error = EOPNOTSUPP; 1466c87f8d5SPoul-Henning Kamp return; 1476c87f8d5SPoul-Henning Kamp } 1486c87f8d5SPoul-Henning Kamp 1496c87f8d5SPoul-Henning Kamp /* We refuse to unload if anything is open */ 1506c87f8d5SPoul-Henning Kamp LIST_FOREACH(gp, &mp->geom, geom) { 1516c87f8d5SPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) 1526c87f8d5SPoul-Henning Kamp if (pp->acr || pp->acw || pp->ace) { 1536c87f8d5SPoul-Henning Kamp hh->error = EBUSY; 1546c87f8d5SPoul-Henning Kamp return; 1556c87f8d5SPoul-Henning Kamp } 1566c87f8d5SPoul-Henning Kamp LIST_FOREACH(cp, &gp->consumer, consumer) 1576c87f8d5SPoul-Henning Kamp if (cp->acr || cp->acw || cp->ace) { 1586c87f8d5SPoul-Henning Kamp hh->error = EBUSY; 1596c87f8d5SPoul-Henning Kamp return; 1606c87f8d5SPoul-Henning Kamp } 1616c87f8d5SPoul-Henning Kamp } 1626c87f8d5SPoul-Henning Kamp 1636c87f8d5SPoul-Henning Kamp /* Bar new entries */ 1646c87f8d5SPoul-Henning Kamp mp->taste = NULL; 1656c87f8d5SPoul-Henning Kamp mp->config = NULL; 1666c87f8d5SPoul-Henning Kamp 1676c87f8d5SPoul-Henning Kamp error = 0; 168e26bafdcSPoul-Henning Kamp for (;;) { 169e26bafdcSPoul-Henning Kamp gp = LIST_FIRST(&mp->geom); 170e26bafdcSPoul-Henning Kamp if (gp == NULL) 171e26bafdcSPoul-Henning Kamp break; 1726c87f8d5SPoul-Henning Kamp error = mp->destroy_geom(NULL, mp, gp); 1736c87f8d5SPoul-Henning Kamp if (error != 0) 1746c87f8d5SPoul-Henning Kamp break; 1756c87f8d5SPoul-Henning Kamp } 1766c87f8d5SPoul-Henning Kamp if (error == 0) { 1776c87f8d5SPoul-Henning Kamp if (mp->fini != NULL) 1786c87f8d5SPoul-Henning Kamp mp->fini(mp); 1790ecc7670SPoul-Henning Kamp LIST_REMOVE(mp, class); 1806c87f8d5SPoul-Henning Kamp } 1816c87f8d5SPoul-Henning Kamp hh->error = error; 1826c87f8d5SPoul-Henning Kamp return; 1836c87f8d5SPoul-Henning Kamp } 1846c87f8d5SPoul-Henning Kamp 1856c87f8d5SPoul-Henning Kamp int 1866c87f8d5SPoul-Henning Kamp g_modevent(module_t mod, int type, void *data) 1876c87f8d5SPoul-Henning Kamp { 1886c87f8d5SPoul-Henning Kamp struct g_hh00 *hh; 1896c87f8d5SPoul-Henning Kamp int error; 1906c87f8d5SPoul-Henning Kamp static int g_ignition; 191dd66958eSPoul-Henning Kamp struct g_class *mp; 192dd84a43cSPoul-Henning Kamp 193dd66958eSPoul-Henning Kamp mp = data; 19407f076feSPoul-Henning Kamp if (mp->version != G_VERSION) { 195dd66958eSPoul-Henning Kamp printf("GEOM class %s has Wrong version %x\n", 196dd66958eSPoul-Henning Kamp mp->name, mp->version); 197dd66958eSPoul-Henning Kamp return (EINVAL); 198dd66958eSPoul-Henning Kamp } 199dd84a43cSPoul-Henning Kamp if (!g_ignition) { 200dd84a43cSPoul-Henning Kamp g_ignition++; 201dd84a43cSPoul-Henning Kamp g_init(); 202dd84a43cSPoul-Henning Kamp } 2036c87f8d5SPoul-Henning Kamp hh = g_malloc(sizeof *hh, M_WAITOK | M_ZERO); 2046c87f8d5SPoul-Henning Kamp hh->mp = data; 2056c87f8d5SPoul-Henning Kamp error = EOPNOTSUPP; 2066c87f8d5SPoul-Henning Kamp switch (type) { 2076c87f8d5SPoul-Henning Kamp case MOD_LOAD: 2086c87f8d5SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_modevent(%s, LOAD)", hh->mp->name); 2096f299fa3SBrian Feldman /* 2106f299fa3SBrian Feldman * Once the system is not cold, MOD_LOAD calls will be 2116f299fa3SBrian Feldman * from the userland and the g_event thread will be able 2126f299fa3SBrian Feldman * to acknowledge their completion. 2136f299fa3SBrian Feldman */ 214f96c8ef1SAndrew R. Reiter if (cold) { 215f96c8ef1SAndrew R. Reiter hh->post = 1; 216f96c8ef1SAndrew R. Reiter error = g_post_event(g_load_class, hh, M_WAITOK, NULL); 217f96c8ef1SAndrew R. Reiter } else { 218f96c8ef1SAndrew R. Reiter error = g_waitfor_event(g_load_class, hh, M_WAITOK, 219f96c8ef1SAndrew R. Reiter NULL); 220f96c8ef1SAndrew R. Reiter if (error == 0) 221f96c8ef1SAndrew R. Reiter error = hh->error; 222f96c8ef1SAndrew R. Reiter g_free(hh); 223f96c8ef1SAndrew R. Reiter } 2246c87f8d5SPoul-Henning Kamp break; 2256c87f8d5SPoul-Henning Kamp case MOD_UNLOAD: 2266c87f8d5SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_modevent(%s, UNLOAD)", hh->mp->name); 2276c87f8d5SPoul-Henning Kamp error = g_waitfor_event(g_unload_class, hh, M_WAITOK, NULL); 2286c87f8d5SPoul-Henning Kamp if (error == 0) 2296c87f8d5SPoul-Henning Kamp error = hh->error; 2301f75de94SPoul-Henning Kamp if (error == 0) { 2316c87f8d5SPoul-Henning Kamp g_waitidle(); 2326c87f8d5SPoul-Henning Kamp KASSERT(LIST_EMPTY(&hh->mp->geom), 2336c87f8d5SPoul-Henning Kamp ("Unloaded class (%s) still has geom", hh->mp->name)); 2341f75de94SPoul-Henning Kamp } 2356c87f8d5SPoul-Henning Kamp g_free(hh); 2366c87f8d5SPoul-Henning Kamp break; 237f5b34814SPoul-Henning Kamp default: 238f5b34814SPoul-Henning Kamp g_free(hh); 239f5b34814SPoul-Henning Kamp break; 2406c87f8d5SPoul-Henning Kamp } 2416c87f8d5SPoul-Henning Kamp return (error); 242dd84a43cSPoul-Henning Kamp } 243dd84a43cSPoul-Henning Kamp 244dd84a43cSPoul-Henning Kamp struct g_geom * 2450f9d3dbaSPoul-Henning Kamp g_new_geomf(struct g_class *mp, const char *fmt, ...) 246dd84a43cSPoul-Henning Kamp { 247dd84a43cSPoul-Henning Kamp struct g_geom *gp; 248dd84a43cSPoul-Henning Kamp va_list ap; 249dd84a43cSPoul-Henning Kamp struct sbuf *sb; 250dd84a43cSPoul-Henning Kamp 251dd84a43cSPoul-Henning Kamp g_topology_assert(); 2523d1d5bc3SPoul-Henning Kamp G_VALID_CLASS(mp); 253dd84a43cSPoul-Henning Kamp sb = sbuf_new(NULL, NULL, 0, SBUF_AUTOEXTEND); 254a1a9b445SPoul-Henning Kamp va_start(ap, fmt); 255dd84a43cSPoul-Henning Kamp sbuf_vprintf(sb, fmt, ap); 256a1a9b445SPoul-Henning Kamp va_end(ap); 257dd84a43cSPoul-Henning Kamp sbuf_finish(sb); 258a163d034SWarner Losh gp = g_malloc(sizeof *gp, M_WAITOK | M_ZERO); 259a163d034SWarner Losh gp->name = g_malloc(sbuf_len(sb) + 1, M_WAITOK | M_ZERO); 260e805e8f0SPoul-Henning Kamp gp->class = mp; 261dd84a43cSPoul-Henning Kamp gp->rank = 1; 262dd84a43cSPoul-Henning Kamp LIST_INIT(&gp->consumer); 263dd84a43cSPoul-Henning Kamp LIST_INIT(&gp->provider); 264dd84a43cSPoul-Henning Kamp LIST_INSERT_HEAD(&mp->geom, gp, geom); 265dd84a43cSPoul-Henning Kamp TAILQ_INSERT_HEAD(&geoms, gp, geoms); 266dd84a43cSPoul-Henning Kamp strcpy(gp->name, sbuf_data(sb)); 267dd84a43cSPoul-Henning Kamp sbuf_delete(sb); 268dd66958eSPoul-Henning Kamp /* Fill in defaults from class */ 269dd66958eSPoul-Henning Kamp gp->start = mp->start; 270dd66958eSPoul-Henning Kamp gp->spoiled = mp->spoiled; 271dd66958eSPoul-Henning Kamp gp->dumpconf = mp->dumpconf; 272dd66958eSPoul-Henning Kamp gp->access = mp->access; 273dd66958eSPoul-Henning Kamp gp->orphan = mp->orphan; 274dd66958eSPoul-Henning Kamp gp->ioctl = mp->ioctl; 275dd84a43cSPoul-Henning Kamp return (gp); 276dd84a43cSPoul-Henning Kamp } 277dd84a43cSPoul-Henning Kamp 278dd84a43cSPoul-Henning Kamp void 279dd84a43cSPoul-Henning Kamp g_destroy_geom(struct g_geom *gp) 280dd84a43cSPoul-Henning Kamp { 281dd84a43cSPoul-Henning Kamp 282dd84a43cSPoul-Henning Kamp g_topology_assert(); 2833d1d5bc3SPoul-Henning Kamp G_VALID_GEOM(gp); 2843d1d5bc3SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_destroy_geom(%p(%s))", gp, gp->name); 285dd84a43cSPoul-Henning Kamp KASSERT(LIST_EMPTY(&gp->consumer), 286dd84a43cSPoul-Henning Kamp ("g_destroy_geom(%s) with consumer(s) [%p]", 287dd84a43cSPoul-Henning Kamp gp->name, LIST_FIRST(&gp->consumer))); 288dd84a43cSPoul-Henning Kamp KASSERT(LIST_EMPTY(&gp->provider), 289dd84a43cSPoul-Henning Kamp ("g_destroy_geom(%s) with provider(s) [%p]", 290cbb65040SPoul-Henning Kamp gp->name, LIST_FIRST(&gp->provider))); 291afcbcfaeSPoul-Henning Kamp g_cancel_event(gp); 292dd84a43cSPoul-Henning Kamp LIST_REMOVE(gp, geom); 293dd84a43cSPoul-Henning Kamp TAILQ_REMOVE(&geoms, gp, geoms); 2947d590cc4SPoul-Henning Kamp g_free(gp->name); 295dd84a43cSPoul-Henning Kamp g_free(gp); 296dd84a43cSPoul-Henning Kamp } 297dd84a43cSPoul-Henning Kamp 298d6227ae7SPoul-Henning Kamp /* 2993d1d5bc3SPoul-Henning Kamp * This function is called (repeatedly) until the has withered away. 300d6227ae7SPoul-Henning Kamp */ 301d6227ae7SPoul-Henning Kamp void 302d6227ae7SPoul-Henning Kamp g_wither_geom(struct g_geom *gp, int error) 303d6227ae7SPoul-Henning Kamp { 3041b464bd8SPoul-Henning Kamp struct g_provider *pp; 305d6227ae7SPoul-Henning Kamp 3063d1d5bc3SPoul-Henning Kamp g_topology_assert(); 3073d1d5bc3SPoul-Henning Kamp G_VALID_GEOM(gp); 308d6227ae7SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_wither_geom(%p(%s))", gp, gp->name); 309d6227ae7SPoul-Henning Kamp if (!(gp->flags & G_GEOM_WITHER)) { 310d6227ae7SPoul-Henning Kamp gp->flags |= G_GEOM_WITHER; 311d6227ae7SPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) 312b07ef6c2SPoul-Henning Kamp if (!(pp->flags & G_PF_ORPHAN)) 313d6227ae7SPoul-Henning Kamp g_orphan_provider(pp, error); 314d6227ae7SPoul-Henning Kamp } 3151b464bd8SPoul-Henning Kamp g_do_wither(); 316d6227ae7SPoul-Henning Kamp } 3171b464bd8SPoul-Henning Kamp 3181b464bd8SPoul-Henning Kamp /* 3191b464bd8SPoul-Henning Kamp * This function is called (repeatedly) until we cant wash away more 3201b464bd8SPoul-Henning Kamp * withered bits at present. Return value contains two bits. Bit 0 3211b464bd8SPoul-Henning Kamp * set means "withering stuff we can't wash now", bit 1 means "call 3221b464bd8SPoul-Henning Kamp * me again, there may be stuff I didn't get the first time around. 3231b464bd8SPoul-Henning Kamp */ 3241b464bd8SPoul-Henning Kamp int 3251b464bd8SPoul-Henning Kamp g_wither_washer() 3261b464bd8SPoul-Henning Kamp { 3271b464bd8SPoul-Henning Kamp struct g_class *mp; 3281b464bd8SPoul-Henning Kamp struct g_geom *gp, *gp2; 3291b464bd8SPoul-Henning Kamp struct g_provider *pp, *pp2; 3301b464bd8SPoul-Henning Kamp struct g_consumer *cp, *cp2; 3311b464bd8SPoul-Henning Kamp int result; 3321b464bd8SPoul-Henning Kamp 3331b464bd8SPoul-Henning Kamp result = 0; 3341b464bd8SPoul-Henning Kamp g_topology_assert(); 3351b464bd8SPoul-Henning Kamp LIST_FOREACH(mp, &g_classes, class) { 3361b464bd8SPoul-Henning Kamp LIST_FOREACH_SAFE(gp, &mp->geom, geom, gp2) { 3371b464bd8SPoul-Henning Kamp LIST_FOREACH_SAFE(pp, &gp->provider, provider, pp2) { 3381b464bd8SPoul-Henning Kamp if (!(pp->flags & G_PF_WITHER)) 339d6227ae7SPoul-Henning Kamp continue; 3401b464bd8SPoul-Henning Kamp if (LIST_EMPTY(&pp->consumers)) 3411b464bd8SPoul-Henning Kamp g_destroy_provider(pp); 3421b464bd8SPoul-Henning Kamp else 3431b464bd8SPoul-Henning Kamp result |= 1; 3441b464bd8SPoul-Henning Kamp } 3451b464bd8SPoul-Henning Kamp if (!(gp->flags & G_GEOM_WITHER)) 3461b464bd8SPoul-Henning Kamp continue; 3471b464bd8SPoul-Henning Kamp LIST_FOREACH_SAFE(pp, &gp->provider, provider, pp2) { 3481b464bd8SPoul-Henning Kamp if (LIST_EMPTY(&pp->consumers)) 3491b464bd8SPoul-Henning Kamp g_destroy_provider(pp); 3501b464bd8SPoul-Henning Kamp else 3511b464bd8SPoul-Henning Kamp result |= 1; 3521b464bd8SPoul-Henning Kamp } 3531b464bd8SPoul-Henning Kamp LIST_FOREACH_SAFE(cp, &gp->consumer, consumer, cp2) { 3541b464bd8SPoul-Henning Kamp if (cp->acr || cp->acw || cp->ace) { 3551b464bd8SPoul-Henning Kamp result |= 1; 3561b464bd8SPoul-Henning Kamp continue; 3571b464bd8SPoul-Henning Kamp } 358539bec40SPoul-Henning Kamp if (cp->provider != NULL) 359d6227ae7SPoul-Henning Kamp g_detach(cp); 360d6227ae7SPoul-Henning Kamp g_destroy_consumer(cp); 3611b464bd8SPoul-Henning Kamp result |= 2; 362d6227ae7SPoul-Henning Kamp } 3631b464bd8SPoul-Henning Kamp if (LIST_EMPTY(&gp->provider) && 3641b464bd8SPoul-Henning Kamp LIST_EMPTY(&gp->consumer)) 365d6227ae7SPoul-Henning Kamp g_destroy_geom(gp); 3661b464bd8SPoul-Henning Kamp else 3671b464bd8SPoul-Henning Kamp result |= 1; 3681b464bd8SPoul-Henning Kamp } 3691b464bd8SPoul-Henning Kamp } 3701b464bd8SPoul-Henning Kamp return (result); 371d6227ae7SPoul-Henning Kamp } 372d6227ae7SPoul-Henning Kamp 373dd84a43cSPoul-Henning Kamp struct g_consumer * 374dd84a43cSPoul-Henning Kamp g_new_consumer(struct g_geom *gp) 375dd84a43cSPoul-Henning Kamp { 376dd84a43cSPoul-Henning Kamp struct g_consumer *cp; 377dd84a43cSPoul-Henning Kamp 378dd84a43cSPoul-Henning Kamp g_topology_assert(); 3793d1d5bc3SPoul-Henning Kamp G_VALID_GEOM(gp); 380799426f8SPoul-Henning Kamp KASSERT(!(gp->flags & G_GEOM_WITHER), 381799426f8SPoul-Henning Kamp ("g_new_consumer on WITHERing geom(%s) (class %s)", 382799426f8SPoul-Henning Kamp gp->name, gp->class->name)); 38307d77fc6SPoul-Henning Kamp KASSERT(gp->orphan != NULL, 38407d77fc6SPoul-Henning Kamp ("g_new_consumer on geom(%s) (class %s) without orphan", 38507d77fc6SPoul-Henning Kamp gp->name, gp->class->name)); 386dd84a43cSPoul-Henning Kamp 387a163d034SWarner Losh cp = g_malloc(sizeof *cp, M_WAITOK | M_ZERO); 388dd84a43cSPoul-Henning Kamp cp->geom = gp; 389e24cbd90SPoul-Henning Kamp cp->stat = devstat_new_entry(cp, -1, 0, DEVSTAT_ALL_SUPPORTED, 390e24cbd90SPoul-Henning Kamp DEVSTAT_TYPE_DIRECT, DEVSTAT_PRIORITY_MAX); 391dd84a43cSPoul-Henning Kamp LIST_INSERT_HEAD(&gp->consumer, cp, consumer); 392dd84a43cSPoul-Henning Kamp return(cp); 393dd84a43cSPoul-Henning Kamp } 394dd84a43cSPoul-Henning Kamp 395dd84a43cSPoul-Henning Kamp void 396dd84a43cSPoul-Henning Kamp g_destroy_consumer(struct g_consumer *cp) 397dd84a43cSPoul-Henning Kamp { 398d6227ae7SPoul-Henning Kamp struct g_geom *gp; 399dd84a43cSPoul-Henning Kamp 400dd84a43cSPoul-Henning Kamp g_topology_assert(); 4013d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 4023d1d5bc3SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_destroy_consumer(%p)", cp); 403dd84a43cSPoul-Henning Kamp KASSERT (cp->provider == NULL, ("g_destroy_consumer but attached")); 404dd84a43cSPoul-Henning Kamp KASSERT (cp->acr == 0, ("g_destroy_consumer with acr")); 405dd84a43cSPoul-Henning Kamp KASSERT (cp->acw == 0, ("g_destroy_consumer with acw")); 406dd84a43cSPoul-Henning Kamp KASSERT (cp->ace == 0, ("g_destroy_consumer with ace")); 407afcbcfaeSPoul-Henning Kamp g_cancel_event(cp); 408d6227ae7SPoul-Henning Kamp gp = cp->geom; 409dd84a43cSPoul-Henning Kamp LIST_REMOVE(cp, consumer); 410e24cbd90SPoul-Henning Kamp devstat_remove_entry(cp->stat); 411dd84a43cSPoul-Henning Kamp g_free(cp); 412d6227ae7SPoul-Henning Kamp if (gp->flags & G_GEOM_WITHER) 4131b464bd8SPoul-Henning Kamp g_do_wither(); 414dd84a43cSPoul-Henning Kamp } 415dd84a43cSPoul-Henning Kamp 4169ab3ea78SPoul-Henning Kamp static void 4179ab3ea78SPoul-Henning Kamp g_new_provider_event(void *arg, int flag) 4189ab3ea78SPoul-Henning Kamp { 4199ab3ea78SPoul-Henning Kamp struct g_class *mp; 4209ab3ea78SPoul-Henning Kamp struct g_provider *pp; 4219ab3ea78SPoul-Henning Kamp struct g_consumer *cp; 4229ab3ea78SPoul-Henning Kamp int i; 4239ab3ea78SPoul-Henning Kamp 4249ab3ea78SPoul-Henning Kamp g_topology_assert(); 4259ab3ea78SPoul-Henning Kamp if (flag == EV_CANCEL) 4269ab3ea78SPoul-Henning Kamp return; 4279ab3ea78SPoul-Henning Kamp if (g_shutdown) 4289ab3ea78SPoul-Henning Kamp return; 4299ab3ea78SPoul-Henning Kamp pp = arg; 4303d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 4319ab3ea78SPoul-Henning Kamp LIST_FOREACH(mp, &g_classes, class) { 4329ab3ea78SPoul-Henning Kamp if (mp->taste == NULL) 4339ab3ea78SPoul-Henning Kamp continue; 4349ab3ea78SPoul-Henning Kamp i = 1; 4359ab3ea78SPoul-Henning Kamp LIST_FOREACH(cp, &pp->consumers, consumers) 4369ab3ea78SPoul-Henning Kamp if (cp->geom->class == mp) 4379ab3ea78SPoul-Henning Kamp i = 0; 4389ab3ea78SPoul-Henning Kamp if (!i) 4399ab3ea78SPoul-Henning Kamp continue; 440c4da4e46SPoul-Henning Kamp mp->taste(mp, pp, 0); 4419ab3ea78SPoul-Henning Kamp g_topology_assert(); 4429ab3ea78SPoul-Henning Kamp } 4439ab3ea78SPoul-Henning Kamp } 4449ab3ea78SPoul-Henning Kamp 4459ab3ea78SPoul-Henning Kamp 446dd84a43cSPoul-Henning Kamp struct g_provider * 4470f9d3dbaSPoul-Henning Kamp g_new_providerf(struct g_geom *gp, const char *fmt, ...) 448dd84a43cSPoul-Henning Kamp { 449dd84a43cSPoul-Henning Kamp struct g_provider *pp; 450dd84a43cSPoul-Henning Kamp struct sbuf *sb; 451dd84a43cSPoul-Henning Kamp va_list ap; 452dd84a43cSPoul-Henning Kamp 453dd84a43cSPoul-Henning Kamp g_topology_assert(); 4543d1d5bc3SPoul-Henning Kamp G_VALID_GEOM(gp); 455e26bafdcSPoul-Henning Kamp KASSERT(gp->access != NULL, 456e26bafdcSPoul-Henning Kamp ("new provider on geom(%s) without ->access (class %s)", 457e26bafdcSPoul-Henning Kamp gp->name, gp->class->name)); 458799426f8SPoul-Henning Kamp KASSERT(gp->start != NULL, 459cff2ddaeSPawel Jakub Dawidek ("new provider on geom(%s) without ->start (class %s)", 460cff2ddaeSPawel Jakub Dawidek gp->name, gp->class->name)); 461799426f8SPoul-Henning Kamp KASSERT(!(gp->flags & G_GEOM_WITHER), 462cff2ddaeSPawel Jakub Dawidek ("new provider on WITHERing geom(%s) (class %s)", 463cff2ddaeSPawel Jakub Dawidek gp->name, gp->class->name)); 464dd84a43cSPoul-Henning Kamp sb = sbuf_new(NULL, NULL, 0, SBUF_AUTOEXTEND); 465a1a9b445SPoul-Henning Kamp va_start(ap, fmt); 466dd84a43cSPoul-Henning Kamp sbuf_vprintf(sb, fmt, ap); 467a1a9b445SPoul-Henning Kamp va_end(ap); 468dd84a43cSPoul-Henning Kamp sbuf_finish(sb); 469a163d034SWarner Losh pp = g_malloc(sizeof *pp + sbuf_len(sb) + 1, M_WAITOK | M_ZERO); 470dd84a43cSPoul-Henning Kamp pp->name = (char *)(pp + 1); 471dd84a43cSPoul-Henning Kamp strcpy(pp->name, sbuf_data(sb)); 472dd84a43cSPoul-Henning Kamp sbuf_delete(sb); 473dd84a43cSPoul-Henning Kamp LIST_INIT(&pp->consumers); 474dd84a43cSPoul-Henning Kamp pp->error = ENXIO; 475dd84a43cSPoul-Henning Kamp pp->geom = gp; 476e24cbd90SPoul-Henning Kamp pp->stat = devstat_new_entry(pp, -1, 0, DEVSTAT_ALL_SUPPORTED, 477e24cbd90SPoul-Henning Kamp DEVSTAT_TYPE_DIRECT, DEVSTAT_PRIORITY_MAX); 478dd84a43cSPoul-Henning Kamp LIST_INSERT_HEAD(&gp->provider, pp, provider); 479e26bafdcSPoul-Henning Kamp g_post_event(g_new_provider_event, pp, M_WAITOK, pp, gp, NULL); 480dd84a43cSPoul-Henning Kamp return (pp); 481dd84a43cSPoul-Henning Kamp } 482dd84a43cSPoul-Henning Kamp 483dd84a43cSPoul-Henning Kamp void 484dd84a43cSPoul-Henning Kamp g_error_provider(struct g_provider *pp, int error) 485dd84a43cSPoul-Henning Kamp { 486dd84a43cSPoul-Henning Kamp 4873d1d5bc3SPoul-Henning Kamp /* G_VALID_PROVIDER(pp); We may not have g_topology */ 488dd84a43cSPoul-Henning Kamp pp->error = error; 489dd84a43cSPoul-Henning Kamp } 490dd84a43cSPoul-Henning Kamp 491d6c5e716SPoul-Henning Kamp struct g_provider * 492d6c5e716SPoul-Henning Kamp g_provider_by_name(char const *arg) 493d6c5e716SPoul-Henning Kamp { 494d6c5e716SPoul-Henning Kamp struct g_class *cp; 495d6c5e716SPoul-Henning Kamp struct g_geom *gp; 496d6c5e716SPoul-Henning Kamp struct g_provider *pp; 497d6c5e716SPoul-Henning Kamp 498d6c5e716SPoul-Henning Kamp LIST_FOREACH(cp, &g_classes, class) { 499d6c5e716SPoul-Henning Kamp LIST_FOREACH(gp, &cp->geom, geom) { 500d6c5e716SPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) { 501d6c5e716SPoul-Henning Kamp if (!strcmp(arg, pp->name)) 502d6c5e716SPoul-Henning Kamp return (pp); 503d6c5e716SPoul-Henning Kamp } 504d6c5e716SPoul-Henning Kamp } 505d6c5e716SPoul-Henning Kamp } 506d6c5e716SPoul-Henning Kamp return (NULL); 507d6c5e716SPoul-Henning Kamp } 508dd84a43cSPoul-Henning Kamp 509dd84a43cSPoul-Henning Kamp void 510dd84a43cSPoul-Henning Kamp g_destroy_provider(struct g_provider *pp) 511dd84a43cSPoul-Henning Kamp { 512dd84a43cSPoul-Henning Kamp struct g_geom *gp; 513dd84a43cSPoul-Henning Kamp 514dd84a43cSPoul-Henning Kamp g_topology_assert(); 5153d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 516dd84a43cSPoul-Henning Kamp KASSERT(LIST_EMPTY(&pp->consumers), 517dd84a43cSPoul-Henning Kamp ("g_destroy_provider but attached")); 518dd84a43cSPoul-Henning Kamp KASSERT (pp->acr == 0, ("g_destroy_provider with acr")); 519dd84a43cSPoul-Henning Kamp KASSERT (pp->acw == 0, ("g_destroy_provider with acw")); 520dd84a43cSPoul-Henning Kamp KASSERT (pp->acw == 0, ("g_destroy_provider with ace")); 521afcbcfaeSPoul-Henning Kamp g_cancel_event(pp); 522dd84a43cSPoul-Henning Kamp LIST_REMOVE(pp, provider); 523dd84a43cSPoul-Henning Kamp gp = pp->geom; 524e24cbd90SPoul-Henning Kamp devstat_remove_entry(pp->stat); 525dd84a43cSPoul-Henning Kamp g_free(pp); 526d6227ae7SPoul-Henning Kamp if ((gp->flags & G_GEOM_WITHER)) 5271b464bd8SPoul-Henning Kamp g_do_wither(); 528dd84a43cSPoul-Henning Kamp } 529dd84a43cSPoul-Henning Kamp 530dd84a43cSPoul-Henning Kamp /* 531dd84a43cSPoul-Henning Kamp * We keep the "geoms" list sorted by topological order (== increasing 532dd84a43cSPoul-Henning Kamp * numerical rank) at all times. 533dd84a43cSPoul-Henning Kamp * When an attach is done, the attaching geoms rank is invalidated 534dd84a43cSPoul-Henning Kamp * and it is moved to the tail of the list. 535dd84a43cSPoul-Henning Kamp * All geoms later in the sequence has their ranks reevaluated in 536dd84a43cSPoul-Henning Kamp * sequence. If we cannot assign rank to a geom because it's 537dd84a43cSPoul-Henning Kamp * prerequisites do not have rank, we move that element to the tail 538dd84a43cSPoul-Henning Kamp * of the sequence with invalid rank as well. 539dd84a43cSPoul-Henning Kamp * At some point we encounter our original geom and if we stil fail 540dd84a43cSPoul-Henning Kamp * to assign it a rank, there must be a loop and we fail back to 541503abe45SPoul-Henning Kamp * g_attach() which detach again and calls redo_rank again 542dd84a43cSPoul-Henning Kamp * to fix up the damage. 543dd84a43cSPoul-Henning Kamp * It would be much simpler code wise to do it recursively, but we 544dd84a43cSPoul-Henning Kamp * can't risk that on the kernel stack. 545dd84a43cSPoul-Henning Kamp */ 546dd84a43cSPoul-Henning Kamp 547dd84a43cSPoul-Henning Kamp static int 548dd84a43cSPoul-Henning Kamp redo_rank(struct g_geom *gp) 549dd84a43cSPoul-Henning Kamp { 550dd84a43cSPoul-Henning Kamp struct g_consumer *cp; 551dd84a43cSPoul-Henning Kamp struct g_geom *gp1, *gp2; 552dd84a43cSPoul-Henning Kamp int n, m; 553dd84a43cSPoul-Henning Kamp 554dd84a43cSPoul-Henning Kamp g_topology_assert(); 5553d1d5bc3SPoul-Henning Kamp G_VALID_GEOM(gp); 556dd84a43cSPoul-Henning Kamp 557dd84a43cSPoul-Henning Kamp /* Invalidate this geoms rank and move it to the tail */ 558dd84a43cSPoul-Henning Kamp gp1 = TAILQ_NEXT(gp, geoms); 559dd84a43cSPoul-Henning Kamp if (gp1 != NULL) { 560dd84a43cSPoul-Henning Kamp gp->rank = 0; 561dd84a43cSPoul-Henning Kamp TAILQ_REMOVE(&geoms, gp, geoms); 562dd84a43cSPoul-Henning Kamp TAILQ_INSERT_TAIL(&geoms, gp, geoms); 563dd84a43cSPoul-Henning Kamp } else { 564dd84a43cSPoul-Henning Kamp gp1 = gp; 565dd84a43cSPoul-Henning Kamp } 566dd84a43cSPoul-Henning Kamp 567dd84a43cSPoul-Henning Kamp /* re-rank the rest of the sequence */ 568dd84a43cSPoul-Henning Kamp for (; gp1 != NULL; gp1 = gp2) { 569dd84a43cSPoul-Henning Kamp gp1->rank = 0; 570dd84a43cSPoul-Henning Kamp m = 1; 571dd84a43cSPoul-Henning Kamp LIST_FOREACH(cp, &gp1->consumer, consumer) { 572dd84a43cSPoul-Henning Kamp if (cp->provider == NULL) 573dd84a43cSPoul-Henning Kamp continue; 574dd84a43cSPoul-Henning Kamp n = cp->provider->geom->rank; 575dd84a43cSPoul-Henning Kamp if (n == 0) { 576dd84a43cSPoul-Henning Kamp m = 0; 577dd84a43cSPoul-Henning Kamp break; 578dd84a43cSPoul-Henning Kamp } else if (n >= m) 579dd84a43cSPoul-Henning Kamp m = n + 1; 580dd84a43cSPoul-Henning Kamp } 581dd84a43cSPoul-Henning Kamp gp1->rank = m; 582dd84a43cSPoul-Henning Kamp gp2 = TAILQ_NEXT(gp1, geoms); 583dd84a43cSPoul-Henning Kamp 584dd84a43cSPoul-Henning Kamp /* got a rank, moving on */ 585dd84a43cSPoul-Henning Kamp if (m != 0) 586dd84a43cSPoul-Henning Kamp continue; 587dd84a43cSPoul-Henning Kamp 588dd84a43cSPoul-Henning Kamp /* no rank to original geom means loop */ 58950d866ceSPoul-Henning Kamp if (gp == gp1) 590dd84a43cSPoul-Henning Kamp return (ELOOP); 591dd84a43cSPoul-Henning Kamp 592dd84a43cSPoul-Henning Kamp /* no rank, put it at the end move on */ 593dd84a43cSPoul-Henning Kamp TAILQ_REMOVE(&geoms, gp1, geoms); 594dd84a43cSPoul-Henning Kamp TAILQ_INSERT_TAIL(&geoms, gp1, geoms); 595dd84a43cSPoul-Henning Kamp } 596dd84a43cSPoul-Henning Kamp return (0); 597dd84a43cSPoul-Henning Kamp } 598dd84a43cSPoul-Henning Kamp 599dd84a43cSPoul-Henning Kamp int 600dd84a43cSPoul-Henning Kamp g_attach(struct g_consumer *cp, struct g_provider *pp) 601dd84a43cSPoul-Henning Kamp { 602dd84a43cSPoul-Henning Kamp int error; 603dd84a43cSPoul-Henning Kamp 604dd84a43cSPoul-Henning Kamp g_topology_assert(); 6053d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 6063d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 607dd84a43cSPoul-Henning Kamp KASSERT(cp->provider == NULL, ("attach but attached")); 608dd84a43cSPoul-Henning Kamp cp->provider = pp; 609dd84a43cSPoul-Henning Kamp LIST_INSERT_HEAD(&pp->consumers, cp, consumers); 610dd84a43cSPoul-Henning Kamp error = redo_rank(cp->geom); 611dd84a43cSPoul-Henning Kamp if (error) { 612dd84a43cSPoul-Henning Kamp LIST_REMOVE(cp, consumers); 613dd84a43cSPoul-Henning Kamp cp->provider = NULL; 614dd84a43cSPoul-Henning Kamp redo_rank(cp->geom); 615dd84a43cSPoul-Henning Kamp } 616dd84a43cSPoul-Henning Kamp return (error); 617dd84a43cSPoul-Henning Kamp } 618dd84a43cSPoul-Henning Kamp 619dd84a43cSPoul-Henning Kamp void 620503abe45SPoul-Henning Kamp g_detach(struct g_consumer *cp) 621dd84a43cSPoul-Henning Kamp { 622dd84a43cSPoul-Henning Kamp struct g_provider *pp; 623dd84a43cSPoul-Henning Kamp 624dd84a43cSPoul-Henning Kamp g_topology_assert(); 6253d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 6263d1d5bc3SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_detach(%p)", cp); 627503abe45SPoul-Henning Kamp KASSERT(cp->provider != NULL, ("detach but not attached")); 628503abe45SPoul-Henning Kamp KASSERT(cp->acr == 0, ("detach but nonzero acr")); 629503abe45SPoul-Henning Kamp KASSERT(cp->acw == 0, ("detach but nonzero acw")); 630503abe45SPoul-Henning Kamp KASSERT(cp->ace == 0, ("detach but nonzero ace")); 6310e6be472SPoul-Henning Kamp KASSERT(cp->nstart == cp->nend, 6324ec35300SPoul-Henning Kamp ("detach with active requests")); 633dd84a43cSPoul-Henning Kamp pp = cp->provider; 634dd84a43cSPoul-Henning Kamp LIST_REMOVE(cp, consumers); 635dd84a43cSPoul-Henning Kamp cp->provider = NULL; 636dd84a43cSPoul-Henning Kamp if (pp->geom->flags & G_GEOM_WITHER) 6371b464bd8SPoul-Henning Kamp g_do_wither(); 63890916ef7SPoul-Henning Kamp else if (pp->flags & G_PF_WITHER) 6391b464bd8SPoul-Henning Kamp g_do_wither(); 640dd84a43cSPoul-Henning Kamp redo_rank(cp->geom); 641dd84a43cSPoul-Henning Kamp } 642dd84a43cSPoul-Henning Kamp 643dd84a43cSPoul-Henning Kamp /* 644d2bae332SPoul-Henning Kamp * g_access() 645dd84a43cSPoul-Henning Kamp * 646dd84a43cSPoul-Henning Kamp * Access-check with delta values. The question asked is "can provider 647dd84a43cSPoul-Henning Kamp * "cp" change the access counters by the relative amounts dc[rwe] ?" 648dd84a43cSPoul-Henning Kamp */ 649dd84a43cSPoul-Henning Kamp 650dd84a43cSPoul-Henning Kamp int 651d2bae332SPoul-Henning Kamp g_access(struct g_consumer *cp, int dcr, int dcw, int dce) 652dd84a43cSPoul-Henning Kamp { 653dd84a43cSPoul-Henning Kamp struct g_provider *pp; 654dd84a43cSPoul-Henning Kamp int pr,pw,pe; 655dd84a43cSPoul-Henning Kamp int error; 656dd84a43cSPoul-Henning Kamp 6573d1d5bc3SPoul-Henning Kamp g_topology_assert(); 6583d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 659dd84a43cSPoul-Henning Kamp pp = cp->provider; 660950124e3SPawel Jakub Dawidek KASSERT(pp != NULL, ("access but not attached")); 6613d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 662dd84a43cSPoul-Henning Kamp 663d2bae332SPoul-Henning Kamp g_trace(G_T_ACCESS, "g_access(%p(%s), %d, %d, %d)", 664dd84a43cSPoul-Henning Kamp cp, pp->name, dcr, dcw, dce); 665dd84a43cSPoul-Henning Kamp 666dd84a43cSPoul-Henning Kamp KASSERT(cp->acr + dcr >= 0, ("access resulting in negative acr")); 667dd84a43cSPoul-Henning Kamp KASSERT(cp->acw + dcw >= 0, ("access resulting in negative acw")); 668dd84a43cSPoul-Henning Kamp KASSERT(cp->ace + dce >= 0, ("access resulting in negative ace")); 669cfa35456SPoul-Henning Kamp KASSERT(dcr != 0 || dcw != 0 || dce != 0, ("NOP access request")); 67007d77fc6SPoul-Henning Kamp KASSERT(pp->geom->access != NULL, ("NULL geom->access")); 671dd84a43cSPoul-Henning Kamp 672dd84a43cSPoul-Henning Kamp /* 673e805e8f0SPoul-Henning Kamp * If our class cares about being spoiled, and we have been, we 674dd84a43cSPoul-Henning Kamp * are probably just ahead of the event telling us that. Fail 675dd84a43cSPoul-Henning Kamp * now rather than having to unravel this later. 676dd84a43cSPoul-Henning Kamp */ 6774fa0290fSPoul-Henning Kamp if (cp->geom->spoiled != NULL && cp->spoiled && 6784fa0290fSPoul-Henning Kamp (dcr > 0 || dcw > 0 || dce > 0)) 6794fa0290fSPoul-Henning Kamp return (ENXIO); 680dd84a43cSPoul-Henning Kamp 681dd84a43cSPoul-Henning Kamp /* 682dd84a43cSPoul-Henning Kamp * Figure out what counts the provider would have had, if this 683dd84a43cSPoul-Henning Kamp * consumer had (r0w0e0) at this time. 684dd84a43cSPoul-Henning Kamp */ 685dd84a43cSPoul-Henning Kamp pr = pp->acr - cp->acr; 686dd84a43cSPoul-Henning Kamp pw = pp->acw - cp->acw; 687dd84a43cSPoul-Henning Kamp pe = pp->ace - cp->ace; 688dd84a43cSPoul-Henning Kamp 689dd84a43cSPoul-Henning Kamp g_trace(G_T_ACCESS, 690dd84a43cSPoul-Henning Kamp "open delta:[r%dw%de%d] old:[r%dw%de%d] provider:[r%dw%de%d] %p(%s)", 691dd84a43cSPoul-Henning Kamp dcr, dcw, dce, 692dd84a43cSPoul-Henning Kamp cp->acr, cp->acw, cp->ace, 693dd84a43cSPoul-Henning Kamp pp->acr, pp->acw, pp->ace, 694dd84a43cSPoul-Henning Kamp pp, pp->name); 695dd84a43cSPoul-Henning Kamp 6968ebd558fSPoul-Henning Kamp /* If foot-shooting is enabled, any open on rank#1 is OK */ 6978ebd558fSPoul-Henning Kamp if ((g_debugflags & 16) && pp->geom->rank == 1) 6988ebd558fSPoul-Henning Kamp ; 699dd84a43cSPoul-Henning Kamp /* If we try exclusive but already write: fail */ 7008ebd558fSPoul-Henning Kamp else if (dce > 0 && pw > 0) 701dd84a43cSPoul-Henning Kamp return (EPERM); 702dd84a43cSPoul-Henning Kamp /* If we try write but already exclusive: fail */ 7038ebd558fSPoul-Henning Kamp else if (dcw > 0 && pe > 0) 704dd84a43cSPoul-Henning Kamp return (EPERM); 705dd84a43cSPoul-Henning Kamp /* If we try to open more but provider is error'ed: fail */ 7068ebd558fSPoul-Henning Kamp else if ((dcr > 0 || dcw > 0 || dce > 0) && pp->error != 0) 707dd84a43cSPoul-Henning Kamp return (pp->error); 708dd84a43cSPoul-Henning Kamp 709dd84a43cSPoul-Henning Kamp /* Ok then... */ 710dd84a43cSPoul-Henning Kamp 7118f6da0e4SPoul-Henning Kamp error = pp->geom->access(pp, dcr, dcw, dce); 712bfc37a51SPoul-Henning Kamp KASSERT(dcr > 0 || dcw > 0 || dce > 0 || error == 0, 713bfc37a51SPoul-Henning Kamp ("Geom provider %s::%s failed closing ->access()", 714bfc37a51SPoul-Henning Kamp pp->geom->class->name, pp->name)); 7158f6da0e4SPoul-Henning Kamp if (!error) { 716dd84a43cSPoul-Henning Kamp /* 717dd84a43cSPoul-Henning Kamp * If we open first write, spoil any partner consumers. 718dd84a43cSPoul-Henning Kamp * If we close last write, trigger re-taste. 719dd84a43cSPoul-Henning Kamp */ 720dd84a43cSPoul-Henning Kamp if (pp->acw == 0 && dcw != 0) 721dd84a43cSPoul-Henning Kamp g_spoil(pp, cp); 722a9ed5e11SPoul-Henning Kamp else if (pp->acw != 0 && pp->acw == -dcw && 723a9ed5e11SPoul-Henning Kamp !(pp->geom->flags & G_GEOM_WITHER)) 7248cd1535aSPoul-Henning Kamp g_post_event(g_new_provider_event, pp, M_WAITOK, 7258cd1535aSPoul-Henning Kamp pp, NULL); 726dd84a43cSPoul-Henning Kamp 727dd84a43cSPoul-Henning Kamp pp->acr += dcr; 728dd84a43cSPoul-Henning Kamp pp->acw += dcw; 729dd84a43cSPoul-Henning Kamp pp->ace += dce; 730dd84a43cSPoul-Henning Kamp cp->acr += dcr; 731dd84a43cSPoul-Henning Kamp cp->acw += dcw; 732dd84a43cSPoul-Henning Kamp cp->ace += dce; 7335ae652c0SPoul-Henning Kamp if (pp->acr != 0 || pp->acw != 0 || pp->ace != 0) 7345ae652c0SPoul-Henning Kamp KASSERT(pp->sectorsize > 0, 7355ae652c0SPoul-Henning Kamp ("Provider %s lacks sectorsize", pp->name)); 736dd84a43cSPoul-Henning Kamp } 737dd84a43cSPoul-Henning Kamp return (error); 738dd84a43cSPoul-Henning Kamp } 739dd84a43cSPoul-Henning Kamp 740dd84a43cSPoul-Henning Kamp int 7410f9d3dbaSPoul-Henning Kamp g_handleattr_int(struct bio *bp, const char *attribute, int val) 742dd84a43cSPoul-Henning Kamp { 743dd84a43cSPoul-Henning Kamp 744503abe45SPoul-Henning Kamp return (g_handleattr(bp, attribute, &val, sizeof val)); 745dd84a43cSPoul-Henning Kamp } 746dd84a43cSPoul-Henning Kamp 747dd84a43cSPoul-Henning Kamp int 7480f9d3dbaSPoul-Henning Kamp g_handleattr_off_t(struct bio *bp, const char *attribute, off_t val) 749dd84a43cSPoul-Henning Kamp { 750dd84a43cSPoul-Henning Kamp 751503abe45SPoul-Henning Kamp return (g_handleattr(bp, attribute, &val, sizeof val)); 752dd84a43cSPoul-Henning Kamp } 753dd84a43cSPoul-Henning Kamp 754dd84a43cSPoul-Henning Kamp int 7550f9d3dbaSPoul-Henning Kamp g_handleattr(struct bio *bp, const char *attribute, void *val, int len) 756dd84a43cSPoul-Henning Kamp { 757dd84a43cSPoul-Henning Kamp int error; 758dd84a43cSPoul-Henning Kamp 759dd84a43cSPoul-Henning Kamp if (strcmp(bp->bio_attribute, attribute)) 760dd84a43cSPoul-Henning Kamp return (0); 761dd84a43cSPoul-Henning Kamp if (bp->bio_length != len) { 76214ac6812SPoul-Henning Kamp printf("bio_length %jd len %d -> EFAULT\n", 76314ac6812SPoul-Henning Kamp (intmax_t)bp->bio_length, len); 764dd84a43cSPoul-Henning Kamp error = EFAULT; 765dd84a43cSPoul-Henning Kamp } else { 766dd84a43cSPoul-Henning Kamp error = 0; 767dd84a43cSPoul-Henning Kamp bcopy(val, bp->bio_data, len); 768dd84a43cSPoul-Henning Kamp bp->bio_completed = len; 769dd84a43cSPoul-Henning Kamp } 77072840432SPoul-Henning Kamp g_io_deliver(bp, error); 771dd84a43cSPoul-Henning Kamp return (1); 772dd84a43cSPoul-Henning Kamp } 773dd84a43cSPoul-Henning Kamp 774dd84a43cSPoul-Henning Kamp int 7753d1d5bc3SPoul-Henning Kamp g_std_access(struct g_provider *pp, 776dd84a43cSPoul-Henning Kamp int dr __unused, int dw __unused, int de __unused) 777dd84a43cSPoul-Henning Kamp { 778dd84a43cSPoul-Henning Kamp 7793d1d5bc3SPoul-Henning Kamp g_topology_assert(); 7803d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 781dd84a43cSPoul-Henning Kamp return (0); 782dd84a43cSPoul-Henning Kamp } 783dd84a43cSPoul-Henning Kamp 784dd84a43cSPoul-Henning Kamp void 785dd84a43cSPoul-Henning Kamp g_std_done(struct bio *bp) 786dd84a43cSPoul-Henning Kamp { 787dd84a43cSPoul-Henning Kamp struct bio *bp2; 788dd84a43cSPoul-Henning Kamp 789936cc461SPoul-Henning Kamp bp2 = bp->bio_parent; 7903f521b60SPoul-Henning Kamp if (bp2->bio_error == 0) 7913f521b60SPoul-Henning Kamp bp2->bio_error = bp->bio_error; 7923f521b60SPoul-Henning Kamp bp2->bio_completed += bp->bio_completed; 793dd84a43cSPoul-Henning Kamp g_destroy_bio(bp); 794801bb689SPoul-Henning Kamp bp2->bio_inbed++; 795801bb689SPoul-Henning Kamp if (bp2->bio_children == bp2->bio_inbed) 7963f521b60SPoul-Henning Kamp g_io_deliver(bp2, bp2->bio_error); 797dd84a43cSPoul-Henning Kamp } 798dd84a43cSPoul-Henning Kamp 799dd84a43cSPoul-Henning Kamp /* XXX: maybe this is only g_slice_spoiled */ 800dd84a43cSPoul-Henning Kamp 801dd84a43cSPoul-Henning Kamp void 802dd84a43cSPoul-Henning Kamp g_std_spoiled(struct g_consumer *cp) 803dd84a43cSPoul-Henning Kamp { 804c4da4e46SPoul-Henning Kamp struct g_geom *gp; 805c4da4e46SPoul-Henning Kamp struct g_provider *pp; 806dd84a43cSPoul-Henning Kamp 807dd84a43cSPoul-Henning Kamp g_topology_assert(); 8083d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 8093d1d5bc3SPoul-Henning Kamp g_trace(G_T_TOPOLOGY, "g_std_spoiled(%p)", cp); 810c4da4e46SPoul-Henning Kamp g_detach(cp); 811c4da4e46SPoul-Henning Kamp gp = cp->geom; 812c4da4e46SPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) 813c4da4e46SPoul-Henning Kamp g_orphan_provider(pp, ENXIO); 814c4da4e46SPoul-Henning Kamp g_destroy_consumer(cp); 815c4da4e46SPoul-Henning Kamp if (LIST_EMPTY(&gp->provider) && LIST_EMPTY(&gp->consumer)) 816c4da4e46SPoul-Henning Kamp g_destroy_geom(gp); 817c4da4e46SPoul-Henning Kamp else 818c4da4e46SPoul-Henning Kamp gp->flags |= G_GEOM_WITHER; 819dd84a43cSPoul-Henning Kamp } 820dd84a43cSPoul-Henning Kamp 821dd84a43cSPoul-Henning Kamp /* 822dd84a43cSPoul-Henning Kamp * Spoiling happens when a provider is opened for writing, but consumers 823dd84a43cSPoul-Henning Kamp * which are configured by in-band data are attached (slicers for instance). 824dd84a43cSPoul-Henning Kamp * Since the write might potentially change the in-band data, such consumers 825dd84a43cSPoul-Henning Kamp * need to re-evaluate their existence after the writing session closes. 826dd84a43cSPoul-Henning Kamp * We do this by (offering to) tear them down when the open for write happens 827dd84a43cSPoul-Henning Kamp * in return for a re-taste when it closes again. 828dd84a43cSPoul-Henning Kamp * Together with the fact that such consumers grab an 'e' bit whenever they 829dd84a43cSPoul-Henning Kamp * are open, regardless of mode, this ends up DTRT. 830dd84a43cSPoul-Henning Kamp */ 831dd84a43cSPoul-Henning Kamp 832f2e9a094SPoul-Henning Kamp static void 833f2e9a094SPoul-Henning Kamp g_spoil_event(void *arg, int flag) 834f2e9a094SPoul-Henning Kamp { 835f2e9a094SPoul-Henning Kamp struct g_provider *pp; 836f2e9a094SPoul-Henning Kamp struct g_consumer *cp, *cp2; 837f2e9a094SPoul-Henning Kamp 838f2e9a094SPoul-Henning Kamp g_topology_assert(); 839f2e9a094SPoul-Henning Kamp if (flag == EV_CANCEL) 840f2e9a094SPoul-Henning Kamp return; 841f2e9a094SPoul-Henning Kamp pp = arg; 8423d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 843f2e9a094SPoul-Henning Kamp for (cp = LIST_FIRST(&pp->consumers); cp != NULL; cp = cp2) { 844f2e9a094SPoul-Henning Kamp cp2 = LIST_NEXT(cp, consumers); 845f2e9a094SPoul-Henning Kamp if (!cp->spoiled) 846f2e9a094SPoul-Henning Kamp continue; 847f2e9a094SPoul-Henning Kamp cp->spoiled = 0; 848f2e9a094SPoul-Henning Kamp if (cp->geom->spoiled == NULL) 849f2e9a094SPoul-Henning Kamp continue; 850f2e9a094SPoul-Henning Kamp cp->geom->spoiled(cp); 851f2e9a094SPoul-Henning Kamp g_topology_assert(); 852f2e9a094SPoul-Henning Kamp } 853f2e9a094SPoul-Henning Kamp } 854f2e9a094SPoul-Henning Kamp 855dd84a43cSPoul-Henning Kamp void 856dd84a43cSPoul-Henning Kamp g_spoil(struct g_provider *pp, struct g_consumer *cp) 857dd84a43cSPoul-Henning Kamp { 858dd84a43cSPoul-Henning Kamp struct g_consumer *cp2; 859dd84a43cSPoul-Henning Kamp 860dd84a43cSPoul-Henning Kamp g_topology_assert(); 8613d1d5bc3SPoul-Henning Kamp G_VALID_PROVIDER(pp); 8623d1d5bc3SPoul-Henning Kamp G_VALID_CONSUMER(cp); 863dd84a43cSPoul-Henning Kamp 864dd84a43cSPoul-Henning Kamp LIST_FOREACH(cp2, &pp->consumers, consumers) { 865dd84a43cSPoul-Henning Kamp if (cp2 == cp) 866dd84a43cSPoul-Henning Kamp continue; 867dd84a43cSPoul-Henning Kamp /* 868dd84a43cSPoul-Henning Kamp KASSERT(cp2->acr == 0, ("spoiling cp->acr = %d", cp2->acr)); 869dd84a43cSPoul-Henning Kamp KASSERT(cp2->acw == 0, ("spoiling cp->acw = %d", cp2->acw)); 870dd84a43cSPoul-Henning Kamp */ 871dd84a43cSPoul-Henning Kamp KASSERT(cp2->ace == 0, ("spoiling cp->ace = %d", cp2->ace)); 872dd84a43cSPoul-Henning Kamp cp2->spoiled++; 873dd84a43cSPoul-Henning Kamp } 8748cd1535aSPoul-Henning Kamp g_post_event(g_spoil_event, pp, M_WAITOK, pp, NULL); 875dd84a43cSPoul-Henning Kamp } 876dd84a43cSPoul-Henning Kamp 877a4ef1c5fSPoul-Henning Kamp int 878a4ef1c5fSPoul-Henning Kamp g_getattr__(const char *attr, struct g_consumer *cp, void *var, int len) 879a4ef1c5fSPoul-Henning Kamp { 880a4ef1c5fSPoul-Henning Kamp int error, i; 881a4ef1c5fSPoul-Henning Kamp 882a4ef1c5fSPoul-Henning Kamp i = len; 883a4ef1c5fSPoul-Henning Kamp error = g_io_getattr(attr, cp, &i, var); 884a4ef1c5fSPoul-Henning Kamp if (error) 885a4ef1c5fSPoul-Henning Kamp return (error); 886a4ef1c5fSPoul-Henning Kamp if (i != len) 887a4ef1c5fSPoul-Henning Kamp return (EINVAL); 888a4ef1c5fSPoul-Henning Kamp return (0); 889a4ef1c5fSPoul-Henning Kamp } 8907d590cc4SPoul-Henning Kamp 8913d1d5bc3SPoul-Henning Kamp #ifdef DIAGNOSTIC 8927d590cc4SPoul-Henning Kamp /* 8933d1d5bc3SPoul-Henning Kamp * This function walks (topologically unsafely) the mesh and return a 8943d1d5bc3SPoul-Henning Kamp * non-zero integer if it finds the argument pointer is an object. 8953d1d5bc3SPoul-Henning Kamp * The return value indicates which type of object it is belived to be. 8963d1d5bc3SPoul-Henning Kamp * If topology is not locked, this function is potentially dangerous, 8973d1d5bc3SPoul-Henning Kamp * but since it is for debugging purposes and can be useful for instance 8983d1d5bc3SPoul-Henning Kamp * from DDB, we do not assert topology lock is held. 899b3ecca4dSPoul-Henning Kamp */ 9003d1d5bc3SPoul-Henning Kamp int 901b3ecca4dSPoul-Henning Kamp g_valid_obj(void const *ptr) 902b3ecca4dSPoul-Henning Kamp { 903b3ecca4dSPoul-Henning Kamp struct g_class *mp; 904b3ecca4dSPoul-Henning Kamp struct g_geom *gp; 905b3ecca4dSPoul-Henning Kamp struct g_consumer *cp; 906b3ecca4dSPoul-Henning Kamp struct g_provider *pp; 907b3ecca4dSPoul-Henning Kamp 908b3ecca4dSPoul-Henning Kamp LIST_FOREACH(mp, &g_classes, class) { 909b3ecca4dSPoul-Henning Kamp if (ptr == mp) 910b3ecca4dSPoul-Henning Kamp return (1); 911b3ecca4dSPoul-Henning Kamp LIST_FOREACH(gp, &mp->geom, geom) { 912b3ecca4dSPoul-Henning Kamp if (ptr == gp) 9133d1d5bc3SPoul-Henning Kamp return (2); 914b3ecca4dSPoul-Henning Kamp LIST_FOREACH(cp, &gp->consumer, consumer) 915b3ecca4dSPoul-Henning Kamp if (ptr == cp) 9163d1d5bc3SPoul-Henning Kamp return (3); 917b3ecca4dSPoul-Henning Kamp LIST_FOREACH(pp, &gp->provider, provider) 918b3ecca4dSPoul-Henning Kamp if (ptr == pp) 9193d1d5bc3SPoul-Henning Kamp return (4); 920b3ecca4dSPoul-Henning Kamp } 921b3ecca4dSPoul-Henning Kamp } 922b3ecca4dSPoul-Henning Kamp return(0); 923b3ecca4dSPoul-Henning Kamp } 9243d1d5bc3SPoul-Henning Kamp #endif 925