12d60b848STomohiro Kusumi /*
22d60b848STomohiro Kusumi * SPDX-License-Identifier: BSD-3-Clause
32d60b848STomohiro Kusumi *
42d60b848STomohiro Kusumi * Copyright (c) 2022 Tomohiro Kusumi <tkusumi@netbsd.org>
52d60b848STomohiro Kusumi * Copyright (c) 2011-2022 The DragonFly Project. All rights reserved.
62d60b848STomohiro Kusumi *
72d60b848STomohiro Kusumi * This code is derived from software contributed to The DragonFly Project
82d60b848STomohiro Kusumi * by Matthew Dillon <dillon@dragonflybsd.org>
92d60b848STomohiro Kusumi *
102d60b848STomohiro Kusumi * Redistribution and use in source and binary forms, with or without
112d60b848STomohiro Kusumi * modification, are permitted provided that the following conditions
122d60b848STomohiro Kusumi * are met:
132d60b848STomohiro Kusumi *
142d60b848STomohiro Kusumi * 1. Redistributions of source code must retain the above copyright
152d60b848STomohiro Kusumi * notice, this list of conditions and the following disclaimer.
162d60b848STomohiro Kusumi * 2. Redistributions in binary form must reproduce the above copyright
172d60b848STomohiro Kusumi * notice, this list of conditions and the following disclaimer in
182d60b848STomohiro Kusumi * the documentation and/or other materials provided with the
192d60b848STomohiro Kusumi * distribution.
202d60b848STomohiro Kusumi * 3. Neither the name of The DragonFly Project nor the names of its
212d60b848STomohiro Kusumi * contributors may be used to endorse or promote products derived
222d60b848STomohiro Kusumi * from this software without specific, prior written permission.
232d60b848STomohiro Kusumi *
242d60b848STomohiro Kusumi * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
252d60b848STomohiro Kusumi * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
262d60b848STomohiro Kusumi * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
272d60b848STomohiro Kusumi * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
282d60b848STomohiro Kusumi * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
292d60b848STomohiro Kusumi * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
302d60b848STomohiro Kusumi * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
312d60b848STomohiro Kusumi * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
322d60b848STomohiro Kusumi * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
332d60b848STomohiro Kusumi * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
342d60b848STomohiro Kusumi * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
352d60b848STomohiro Kusumi * SUCH DAMAGE.
362d60b848STomohiro Kusumi */
372d60b848STomohiro Kusumi /*
382d60b848STomohiro Kusumi * This module implements the hammer2 helper thread API, including
392d60b848STomohiro Kusumi * the frontend/backend XOP API.
402d60b848STomohiro Kusumi */
412d60b848STomohiro Kusumi #include "hammer2.h"
422d60b848STomohiro Kusumi
432d60b848STomohiro Kusumi #define H2XOPDESCRIPTOR(label) \
442d60b848STomohiro Kusumi hammer2_xop_desc_t hammer2_##label##_desc = { \
452d60b848STomohiro Kusumi .storage_func = hammer2_xop_##label, \
462d60b848STomohiro Kusumi .id = #label \
472d60b848STomohiro Kusumi }
482d60b848STomohiro Kusumi
492d60b848STomohiro Kusumi H2XOPDESCRIPTOR(ipcluster);
502d60b848STomohiro Kusumi H2XOPDESCRIPTOR(readdir);
512d60b848STomohiro Kusumi H2XOPDESCRIPTOR(nresolve);
522d60b848STomohiro Kusumi H2XOPDESCRIPTOR(unlink);
532d60b848STomohiro Kusumi H2XOPDESCRIPTOR(nrename);
542d60b848STomohiro Kusumi H2XOPDESCRIPTOR(scanlhc);
552d60b848STomohiro Kusumi H2XOPDESCRIPTOR(scanall);
562d60b848STomohiro Kusumi H2XOPDESCRIPTOR(lookup);
572d60b848STomohiro Kusumi H2XOPDESCRIPTOR(delete);
582d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_mkdirent);
592d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_create);
602d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_create_det);
612d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_create_ins);
622d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_destroy);
632d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_chain_sync);
642d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_unlinkall);
652d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_connect);
662d60b848STomohiro Kusumi H2XOPDESCRIPTOR(inode_flush);
672d60b848STomohiro Kusumi H2XOPDESCRIPTOR(strategy_read);
682d60b848STomohiro Kusumi H2XOPDESCRIPTOR(strategy_write);
692d60b848STomohiro Kusumi
702d60b848STomohiro Kusumi //struct objcache *cache_xops;
712d60b848STomohiro Kusumi static struct thread dummy_td;
722d60b848STomohiro Kusumi struct thread *curthread = &dummy_td;
732d60b848STomohiro Kusumi
742d60b848STomohiro Kusumi /*
752d60b848STomohiro Kusumi * Set flags and wakeup any waiters.
762d60b848STomohiro Kusumi *
772d60b848STomohiro Kusumi * WARNING! During teardown (thr) can disappear the instant our cmpset
782d60b848STomohiro Kusumi * succeeds.
792d60b848STomohiro Kusumi */
802d60b848STomohiro Kusumi void
hammer2_thr_signal(hammer2_thread_t * thr,uint32_t flags)812d60b848STomohiro Kusumi hammer2_thr_signal(hammer2_thread_t *thr, uint32_t flags)
822d60b848STomohiro Kusumi {
832d60b848STomohiro Kusumi uint32_t oflags;
842d60b848STomohiro Kusumi uint32_t nflags;
852d60b848STomohiro Kusumi
862d60b848STomohiro Kusumi for (;;) {
872d60b848STomohiro Kusumi oflags = thr->flags;
882d60b848STomohiro Kusumi cpu_ccfence();
892d60b848STomohiro Kusumi nflags = (oflags | flags) & ~HAMMER2_THREAD_WAITING;
902d60b848STomohiro Kusumi
912d60b848STomohiro Kusumi if (oflags & HAMMER2_THREAD_WAITING) {
922d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags)) {
932d60b848STomohiro Kusumi wakeup(&thr->flags);
942d60b848STomohiro Kusumi break;
952d60b848STomohiro Kusumi }
962d60b848STomohiro Kusumi } else {
972d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags))
982d60b848STomohiro Kusumi break;
992d60b848STomohiro Kusumi }
1002d60b848STomohiro Kusumi }
1012d60b848STomohiro Kusumi }
1022d60b848STomohiro Kusumi
1032d60b848STomohiro Kusumi /*
1042d60b848STomohiro Kusumi * Set and clear flags and wakeup any waiters.
1052d60b848STomohiro Kusumi *
1062d60b848STomohiro Kusumi * WARNING! During teardown (thr) can disappear the instant our cmpset
1072d60b848STomohiro Kusumi * succeeds.
1082d60b848STomohiro Kusumi */
1092d60b848STomohiro Kusumi void
hammer2_thr_signal2(hammer2_thread_t * thr,uint32_t posflags,uint32_t negflags)1102d60b848STomohiro Kusumi hammer2_thr_signal2(hammer2_thread_t *thr, uint32_t posflags, uint32_t negflags)
1112d60b848STomohiro Kusumi {
1122d60b848STomohiro Kusumi uint32_t oflags;
1132d60b848STomohiro Kusumi uint32_t nflags;
1142d60b848STomohiro Kusumi
1152d60b848STomohiro Kusumi for (;;) {
1162d60b848STomohiro Kusumi oflags = thr->flags;
1172d60b848STomohiro Kusumi cpu_ccfence();
1182d60b848STomohiro Kusumi nflags = (oflags | posflags) &
1192d60b848STomohiro Kusumi ~(negflags | HAMMER2_THREAD_WAITING);
1202d60b848STomohiro Kusumi if (oflags & HAMMER2_THREAD_WAITING) {
1212d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags)) {
1222d60b848STomohiro Kusumi wakeup(&thr->flags);
1232d60b848STomohiro Kusumi break;
1242d60b848STomohiro Kusumi }
1252d60b848STomohiro Kusumi } else {
1262d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags))
1272d60b848STomohiro Kusumi break;
1282d60b848STomohiro Kusumi }
1292d60b848STomohiro Kusumi }
1302d60b848STomohiro Kusumi }
1312d60b848STomohiro Kusumi
1322d60b848STomohiro Kusumi /*
1332d60b848STomohiro Kusumi * Wait until all the bits in flags are set.
1342d60b848STomohiro Kusumi *
1352d60b848STomohiro Kusumi * WARNING! During teardown (thr) can disappear the instant our cmpset
1362d60b848STomohiro Kusumi * succeeds.
1372d60b848STomohiro Kusumi */
1382d60b848STomohiro Kusumi void
hammer2_thr_wait(hammer2_thread_t * thr,uint32_t flags)1392d60b848STomohiro Kusumi hammer2_thr_wait(hammer2_thread_t *thr, uint32_t flags)
1402d60b848STomohiro Kusumi {
1412d60b848STomohiro Kusumi uint32_t oflags;
1422d60b848STomohiro Kusumi uint32_t nflags;
1432d60b848STomohiro Kusumi
1442d60b848STomohiro Kusumi for (;;) {
1452d60b848STomohiro Kusumi oflags = thr->flags;
1462d60b848STomohiro Kusumi cpu_ccfence();
1472d60b848STomohiro Kusumi if ((oflags & flags) == flags)
1482d60b848STomohiro Kusumi break;
1492d60b848STomohiro Kusumi nflags = oflags | HAMMER2_THREAD_WAITING;
1502d60b848STomohiro Kusumi tsleep_interlock(&thr->flags, 0);
1512d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags)) {
1522d60b848STomohiro Kusumi tsleep(&thr->flags, PINTERLOCKED, "h2twait", hz*60);
1532d60b848STomohiro Kusumi }
1542d60b848STomohiro Kusumi }
1552d60b848STomohiro Kusumi }
1562d60b848STomohiro Kusumi
1572d60b848STomohiro Kusumi /*
1582d60b848STomohiro Kusumi * Wait until any of the bits in flags are set, with timeout.
1592d60b848STomohiro Kusumi *
1602d60b848STomohiro Kusumi * WARNING! During teardown (thr) can disappear the instant our cmpset
1612d60b848STomohiro Kusumi * succeeds.
1622d60b848STomohiro Kusumi */
1632d60b848STomohiro Kusumi int
hammer2_thr_wait_any(hammer2_thread_t * thr,uint32_t flags,int timo)1642d60b848STomohiro Kusumi hammer2_thr_wait_any(hammer2_thread_t *thr, uint32_t flags, int timo)
1652d60b848STomohiro Kusumi {
1662d60b848STomohiro Kusumi uint32_t oflags;
1672d60b848STomohiro Kusumi uint32_t nflags;
1682d60b848STomohiro Kusumi int error;
1692d60b848STomohiro Kusumi
1702d60b848STomohiro Kusumi error = 0;
1712d60b848STomohiro Kusumi for (;;) {
1722d60b848STomohiro Kusumi oflags = thr->flags;
1732d60b848STomohiro Kusumi cpu_ccfence();
1742d60b848STomohiro Kusumi if (oflags & flags)
1752d60b848STomohiro Kusumi break;
1762d60b848STomohiro Kusumi nflags = oflags | HAMMER2_THREAD_WAITING;
1772d60b848STomohiro Kusumi tsleep_interlock(&thr->flags, 0);
1782d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags)) {
1792d60b848STomohiro Kusumi error = tsleep(&thr->flags, PINTERLOCKED,
1802d60b848STomohiro Kusumi "h2twait", timo);
1812d60b848STomohiro Kusumi }
1822d60b848STomohiro Kusumi if (error == ETIMEDOUT) {
1832d60b848STomohiro Kusumi error = HAMMER2_ERROR_ETIMEDOUT;
1842d60b848STomohiro Kusumi break;
1852d60b848STomohiro Kusumi }
1862d60b848STomohiro Kusumi }
1872d60b848STomohiro Kusumi return error;
1882d60b848STomohiro Kusumi }
1892d60b848STomohiro Kusumi
1902d60b848STomohiro Kusumi /*
1912d60b848STomohiro Kusumi * Wait until the bits in flags are clear.
1922d60b848STomohiro Kusumi *
1932d60b848STomohiro Kusumi * WARNING! During teardown (thr) can disappear the instant our cmpset
1942d60b848STomohiro Kusumi * succeeds.
1952d60b848STomohiro Kusumi */
1962d60b848STomohiro Kusumi void
hammer2_thr_wait_neg(hammer2_thread_t * thr,uint32_t flags)1972d60b848STomohiro Kusumi hammer2_thr_wait_neg(hammer2_thread_t *thr, uint32_t flags)
1982d60b848STomohiro Kusumi {
1992d60b848STomohiro Kusumi uint32_t oflags;
2002d60b848STomohiro Kusumi uint32_t nflags;
2012d60b848STomohiro Kusumi
2022d60b848STomohiro Kusumi for (;;) {
2032d60b848STomohiro Kusumi oflags = thr->flags;
2042d60b848STomohiro Kusumi cpu_ccfence();
2052d60b848STomohiro Kusumi if ((oflags & flags) == 0)
2062d60b848STomohiro Kusumi break;
2072d60b848STomohiro Kusumi nflags = oflags | HAMMER2_THREAD_WAITING;
2082d60b848STomohiro Kusumi tsleep_interlock(&thr->flags, 0);
2092d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, oflags, nflags)) {
2102d60b848STomohiro Kusumi tsleep(&thr->flags, PINTERLOCKED, "h2twait", hz*60);
2112d60b848STomohiro Kusumi }
2122d60b848STomohiro Kusumi }
2132d60b848STomohiro Kusumi }
2142d60b848STomohiro Kusumi
2152d60b848STomohiro Kusumi /*
2162d60b848STomohiro Kusumi * Initialize the supplied thread structure, starting the specified
2172d60b848STomohiro Kusumi * thread.
2182d60b848STomohiro Kusumi *
2192d60b848STomohiro Kusumi * NOTE: thr structure can be retained across mounts and unmounts for this
2202d60b848STomohiro Kusumi * pmp, so make sure the flags are in a sane state.
2212d60b848STomohiro Kusumi */
2222d60b848STomohiro Kusumi void
hammer2_thr_create(hammer2_thread_t * thr,hammer2_pfs_t * pmp,hammer2_dev_t * hmp,const char * id,int clindex,int repidx,void (* func)(void * arg))2232d60b848STomohiro Kusumi hammer2_thr_create(hammer2_thread_t *thr, hammer2_pfs_t *pmp,
2242d60b848STomohiro Kusumi hammer2_dev_t *hmp,
2252d60b848STomohiro Kusumi const char *id, int clindex, int repidx,
2262d60b848STomohiro Kusumi void (*func)(void *arg))
2272d60b848STomohiro Kusumi {
2282d60b848STomohiro Kusumi thr->pmp = pmp; /* xop helpers */
2292d60b848STomohiro Kusumi thr->hmp = hmp; /* bulkfree */
2302d60b848STomohiro Kusumi thr->clindex = clindex;
2312d60b848STomohiro Kusumi thr->repidx = repidx;
2322d60b848STomohiro Kusumi TAILQ_INIT(&thr->xopq);
2332d60b848STomohiro Kusumi atomic_clear_int(&thr->flags, HAMMER2_THREAD_STOP |
2342d60b848STomohiro Kusumi HAMMER2_THREAD_STOPPED |
2352d60b848STomohiro Kusumi HAMMER2_THREAD_FREEZE |
2362d60b848STomohiro Kusumi HAMMER2_THREAD_FROZEN);
2372d60b848STomohiro Kusumi if (thr->scratch == NULL)
2382d60b848STomohiro Kusumi thr->scratch = kmalloc(MAXPHYS, M_HAMMER2, M_WAITOK | M_ZERO);
2392d60b848STomohiro Kusumi #if 0
2402d60b848STomohiro Kusumi if (repidx >= 0) {
2412d60b848STomohiro Kusumi lwkt_create(func, thr, &thr->td, NULL, 0, repidx % ncpus,
2422d60b848STomohiro Kusumi "%s-%s.%02d", id, pmp->pfs_names[clindex], repidx);
2432d60b848STomohiro Kusumi } else if (pmp) {
2442d60b848STomohiro Kusumi lwkt_create(func, thr, &thr->td, NULL, 0, -1,
2452d60b848STomohiro Kusumi "%s-%s", id, pmp->pfs_names[clindex]);
2462d60b848STomohiro Kusumi } else {
2472d60b848STomohiro Kusumi lwkt_create(func, thr, &thr->td, NULL, 0, -1, "%s", id);
2482d60b848STomohiro Kusumi }
2492d60b848STomohiro Kusumi #else
2502d60b848STomohiro Kusumi thr->td = &dummy_td;
2512d60b848STomohiro Kusumi #endif
2522d60b848STomohiro Kusumi }
2532d60b848STomohiro Kusumi
2542d60b848STomohiro Kusumi /*
2552d60b848STomohiro Kusumi * Terminate a thread. This function will silently return if the thread
2562d60b848STomohiro Kusumi * was never initialized or has already been deleted.
2572d60b848STomohiro Kusumi *
2582d60b848STomohiro Kusumi * This is accomplished by setting the STOP flag and waiting for the td
2592d60b848STomohiro Kusumi * structure to become NULL.
2602d60b848STomohiro Kusumi */
2612d60b848STomohiro Kusumi void
hammer2_thr_delete(hammer2_thread_t * thr)2622d60b848STomohiro Kusumi hammer2_thr_delete(hammer2_thread_t *thr)
2632d60b848STomohiro Kusumi {
2642d60b848STomohiro Kusumi if (thr->td == NULL)
2652d60b848STomohiro Kusumi return;
2662d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_STOP);
2672d60b848STomohiro Kusumi /* Don't wait, there's no such thread in makefs */
2682d60b848STomohiro Kusumi //hammer2_thr_wait(thr, HAMMER2_THREAD_STOPPED);
2692d60b848STomohiro Kusumi thr->pmp = NULL;
2702d60b848STomohiro Kusumi if (thr->scratch) {
2712d60b848STomohiro Kusumi kfree(thr->scratch, M_HAMMER2);
2722d60b848STomohiro Kusumi thr->scratch = NULL;
2732d60b848STomohiro Kusumi }
2742d60b848STomohiro Kusumi KKASSERT(TAILQ_EMPTY(&thr->xopq));
2752d60b848STomohiro Kusumi }
2762d60b848STomohiro Kusumi
2772d60b848STomohiro Kusumi /*
2782d60b848STomohiro Kusumi * Asynchronous remaster request. Ask the synchronization thread to
2792d60b848STomohiro Kusumi * start over soon (as if it were frozen and unfrozen, but without waiting).
2802d60b848STomohiro Kusumi * The thread always recalculates mastership relationships when restarting.
2812d60b848STomohiro Kusumi */
2822d60b848STomohiro Kusumi void
hammer2_thr_remaster(hammer2_thread_t * thr)2832d60b848STomohiro Kusumi hammer2_thr_remaster(hammer2_thread_t *thr)
2842d60b848STomohiro Kusumi {
2852d60b848STomohiro Kusumi if (thr->td == NULL)
2862d60b848STomohiro Kusumi return;
2872d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_REMASTER);
2882d60b848STomohiro Kusumi }
2892d60b848STomohiro Kusumi
2902d60b848STomohiro Kusumi void
hammer2_thr_freeze_async(hammer2_thread_t * thr)2912d60b848STomohiro Kusumi hammer2_thr_freeze_async(hammer2_thread_t *thr)
2922d60b848STomohiro Kusumi {
2932d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_FREEZE);
2942d60b848STomohiro Kusumi }
2952d60b848STomohiro Kusumi
2962d60b848STomohiro Kusumi void
hammer2_thr_freeze(hammer2_thread_t * thr)2972d60b848STomohiro Kusumi hammer2_thr_freeze(hammer2_thread_t *thr)
2982d60b848STomohiro Kusumi {
2992d60b848STomohiro Kusumi if (thr->td == NULL)
3002d60b848STomohiro Kusumi return;
3012d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_FREEZE);
3022d60b848STomohiro Kusumi hammer2_thr_wait(thr, HAMMER2_THREAD_FROZEN);
3032d60b848STomohiro Kusumi }
3042d60b848STomohiro Kusumi
3052d60b848STomohiro Kusumi void
hammer2_thr_unfreeze(hammer2_thread_t * thr)3062d60b848STomohiro Kusumi hammer2_thr_unfreeze(hammer2_thread_t *thr)
3072d60b848STomohiro Kusumi {
3082d60b848STomohiro Kusumi if (thr->td == NULL)
3092d60b848STomohiro Kusumi return;
3102d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_UNFREEZE);
3112d60b848STomohiro Kusumi hammer2_thr_wait_neg(thr, HAMMER2_THREAD_FROZEN);
3122d60b848STomohiro Kusumi }
3132d60b848STomohiro Kusumi
3142d60b848STomohiro Kusumi int
hammer2_thr_break(hammer2_thread_t * thr)3152d60b848STomohiro Kusumi hammer2_thr_break(hammer2_thread_t *thr)
3162d60b848STomohiro Kusumi {
3172d60b848STomohiro Kusumi if (thr->flags & (HAMMER2_THREAD_STOP |
3182d60b848STomohiro Kusumi HAMMER2_THREAD_REMASTER |
3192d60b848STomohiro Kusumi HAMMER2_THREAD_FREEZE)) {
3202d60b848STomohiro Kusumi return 1;
3212d60b848STomohiro Kusumi }
3222d60b848STomohiro Kusumi return 0;
3232d60b848STomohiro Kusumi }
3242d60b848STomohiro Kusumi
3252d60b848STomohiro Kusumi /****************************************************************************
3262d60b848STomohiro Kusumi * HAMMER2 XOPS API *
3272d60b848STomohiro Kusumi ****************************************************************************/
3282d60b848STomohiro Kusumi
3292d60b848STomohiro Kusumi /*
3309d036237STomohiro Kusumi * Allocate or reallocate XOP FIFO. This doesn't exist in sys/vfs/hammer2
3319d036237STomohiro Kusumi * where XOP is handled by dedicated kernel threads and when FIFO stalls
3329d036237STomohiro Kusumi * threads wait for frontend to collect results.
3339d036237STomohiro Kusumi */
3349d036237STomohiro Kusumi static void
hammer2_xop_fifo_alloc(hammer2_xop_fifo_t * fifo,size_t nmemb)3359d036237STomohiro Kusumi hammer2_xop_fifo_alloc(hammer2_xop_fifo_t *fifo, size_t nmemb)
3369d036237STomohiro Kusumi {
3379d036237STomohiro Kusumi size_t size;
3389d036237STomohiro Kusumi
3399d036237STomohiro Kusumi /* Assert nmemb requirements. */
3409d036237STomohiro Kusumi KKASSERT((nmemb & (nmemb - 1)) == 0);
3419d036237STomohiro Kusumi KKASSERT(nmemb >= HAMMER2_XOPFIFO);
3429d036237STomohiro Kusumi
3439d036237STomohiro Kusumi /* malloc or realloc fifo array. */
3449d036237STomohiro Kusumi size = nmemb * sizeof(hammer2_chain_t *);
3459d036237STomohiro Kusumi if (!fifo->array)
3469d036237STomohiro Kusumi fifo->array = kmalloc(size, M_HAMMER2, M_WAITOK | M_ZERO);
3479d036237STomohiro Kusumi else
3489d036237STomohiro Kusumi fifo->array = krealloc(fifo->array, size, M_HAMMER2,
3499d036237STomohiro Kusumi M_WAITOK | M_ZERO);
3509d036237STomohiro Kusumi KKASSERT(fifo->array);
3519d036237STomohiro Kusumi
3529d036237STomohiro Kusumi /* malloc or realloc fifo errors. */
3539d036237STomohiro Kusumi size = nmemb * sizeof(int);
3549d036237STomohiro Kusumi if (!fifo->errors)
3559d036237STomohiro Kusumi fifo->errors = kmalloc(size, M_HAMMER2, M_WAITOK | M_ZERO);
3569d036237STomohiro Kusumi else
3579d036237STomohiro Kusumi fifo->errors = krealloc(fifo->errors, size, M_HAMMER2,
3589d036237STomohiro Kusumi M_WAITOK | M_ZERO);
3599d036237STomohiro Kusumi KKASSERT(fifo->errors);
3609d036237STomohiro Kusumi }
3619d036237STomohiro Kusumi
3629d036237STomohiro Kusumi /*
3632d60b848STomohiro Kusumi * Allocate a XOP request.
3642d60b848STomohiro Kusumi *
3652d60b848STomohiro Kusumi * Once allocated a XOP request can be started, collected, and retired,
3662d60b848STomohiro Kusumi * and can be retired early if desired.
3672d60b848STomohiro Kusumi *
3682d60b848STomohiro Kusumi * NOTE: Fifo indices might not be zero but ri == wi on objcache_get().
3692d60b848STomohiro Kusumi */
3702d60b848STomohiro Kusumi void *
hammer2_xop_alloc(hammer2_inode_t * ip,int flags)3712d60b848STomohiro Kusumi hammer2_xop_alloc(hammer2_inode_t *ip, int flags)
3722d60b848STomohiro Kusumi {
3732d60b848STomohiro Kusumi hammer2_xop_t *xop;
3742d60b848STomohiro Kusumi
3752d60b848STomohiro Kusumi xop = ecalloc(1, sizeof(*xop));
3762d60b848STomohiro Kusumi KKASSERT(xop->head.cluster.array[0].chain == NULL);
3772d60b848STomohiro Kusumi
3782d60b848STomohiro Kusumi xop->head.ip1 = ip;
3792d60b848STomohiro Kusumi xop->head.desc = NULL;
3802d60b848STomohiro Kusumi xop->head.flags = flags;
3812d60b848STomohiro Kusumi xop->head.state = 0;
3822d60b848STomohiro Kusumi xop->head.error = 0;
3832d60b848STomohiro Kusumi xop->head.collect_key = 0;
3842d60b848STomohiro Kusumi xop->head.focus_dio = NULL;
3852d60b848STomohiro Kusumi
3862d60b848STomohiro Kusumi if (flags & HAMMER2_XOP_MODIFYING)
3872d60b848STomohiro Kusumi xop->head.mtid = hammer2_trans_sub(ip->pmp);
3882d60b848STomohiro Kusumi else
3892d60b848STomohiro Kusumi xop->head.mtid = 0;
3902d60b848STomohiro Kusumi
3912d60b848STomohiro Kusumi xop->head.cluster.nchains = ip->cluster.nchains;
3922d60b848STomohiro Kusumi xop->head.cluster.pmp = ip->pmp;
3932d60b848STomohiro Kusumi xop->head.cluster.flags = HAMMER2_CLUSTER_LOCKED;
3942d60b848STomohiro Kusumi
3952d60b848STomohiro Kusumi /*
3962d60b848STomohiro Kusumi * run_mask - Active thread (or frontend) associated with XOP
3972d60b848STomohiro Kusumi */
3982d60b848STomohiro Kusumi xop->head.run_mask = HAMMER2_XOPMASK_VOP;
3992d60b848STomohiro Kusumi
4009d036237STomohiro Kusumi hammer2_xop_fifo_t *fifo = &xop->head.collect[0];
4019d036237STomohiro Kusumi xop->head.fifo_size = HAMMER2_XOPFIFO;
4029d036237STomohiro Kusumi hammer2_xop_fifo_alloc(fifo, xop->head.fifo_size);
4039d036237STomohiro Kusumi
4042d60b848STomohiro Kusumi hammer2_inode_ref(ip);
4052d60b848STomohiro Kusumi
4062d60b848STomohiro Kusumi return xop;
4072d60b848STomohiro Kusumi }
4082d60b848STomohiro Kusumi
4092d60b848STomohiro Kusumi void
hammer2_xop_setname(hammer2_xop_head_t * xop,const char * name,size_t name_len)4102d60b848STomohiro Kusumi hammer2_xop_setname(hammer2_xop_head_t *xop, const char *name, size_t name_len)
4112d60b848STomohiro Kusumi {
4122d60b848STomohiro Kusumi xop->name1 = kmalloc(name_len + 1, M_HAMMER2, M_WAITOK | M_ZERO);
4132d60b848STomohiro Kusumi xop->name1_len = name_len;
4142d60b848STomohiro Kusumi bcopy(name, xop->name1, name_len);
4152d60b848STomohiro Kusumi }
4162d60b848STomohiro Kusumi
4172d60b848STomohiro Kusumi void
hammer2_xop_setname2(hammer2_xop_head_t * xop,const char * name,size_t name_len)4182d60b848STomohiro Kusumi hammer2_xop_setname2(hammer2_xop_head_t *xop, const char *name, size_t name_len)
4192d60b848STomohiro Kusumi {
4202d60b848STomohiro Kusumi xop->name2 = kmalloc(name_len + 1, M_HAMMER2, M_WAITOK | M_ZERO);
4212d60b848STomohiro Kusumi xop->name2_len = name_len;
4222d60b848STomohiro Kusumi bcopy(name, xop->name2, name_len);
4232d60b848STomohiro Kusumi }
4242d60b848STomohiro Kusumi
4252d60b848STomohiro Kusumi size_t
hammer2_xop_setname_inum(hammer2_xop_head_t * xop,hammer2_key_t inum)4262d60b848STomohiro Kusumi hammer2_xop_setname_inum(hammer2_xop_head_t *xop, hammer2_key_t inum)
4272d60b848STomohiro Kusumi {
4282d60b848STomohiro Kusumi const size_t name_len = 18;
4292d60b848STomohiro Kusumi
4302d60b848STomohiro Kusumi xop->name1 = kmalloc(name_len + 1, M_HAMMER2, M_WAITOK | M_ZERO);
4312d60b848STomohiro Kusumi xop->name1_len = name_len;
4322d60b848STomohiro Kusumi ksnprintf(xop->name1, name_len + 1, "0x%016jx", (intmax_t)inum);
4332d60b848STomohiro Kusumi
4342d60b848STomohiro Kusumi return name_len;
4352d60b848STomohiro Kusumi }
4362d60b848STomohiro Kusumi
4372d60b848STomohiro Kusumi
4382d60b848STomohiro Kusumi void
hammer2_xop_setip2(hammer2_xop_head_t * xop,hammer2_inode_t * ip2)4392d60b848STomohiro Kusumi hammer2_xop_setip2(hammer2_xop_head_t *xop, hammer2_inode_t *ip2)
4402d60b848STomohiro Kusumi {
4412d60b848STomohiro Kusumi xop->ip2 = ip2;
4422d60b848STomohiro Kusumi hammer2_inode_ref(ip2);
4432d60b848STomohiro Kusumi }
4442d60b848STomohiro Kusumi
4452d60b848STomohiro Kusumi void
hammer2_xop_setip3(hammer2_xop_head_t * xop,hammer2_inode_t * ip3)4462d60b848STomohiro Kusumi hammer2_xop_setip3(hammer2_xop_head_t *xop, hammer2_inode_t *ip3)
4472d60b848STomohiro Kusumi {
4482d60b848STomohiro Kusumi xop->ip3 = ip3;
4492d60b848STomohiro Kusumi hammer2_inode_ref(ip3);
4502d60b848STomohiro Kusumi }
4512d60b848STomohiro Kusumi
4522d60b848STomohiro Kusumi void
hammer2_xop_setip4(hammer2_xop_head_t * xop,hammer2_inode_t * ip4)4532d60b848STomohiro Kusumi hammer2_xop_setip4(hammer2_xop_head_t *xop, hammer2_inode_t *ip4)
4542d60b848STomohiro Kusumi {
4552d60b848STomohiro Kusumi xop->ip4 = ip4;
4562d60b848STomohiro Kusumi hammer2_inode_ref(ip4);
4572d60b848STomohiro Kusumi }
4582d60b848STomohiro Kusumi
4592d60b848STomohiro Kusumi void
hammer2_xop_reinit(hammer2_xop_head_t * xop)4602d60b848STomohiro Kusumi hammer2_xop_reinit(hammer2_xop_head_t *xop)
4612d60b848STomohiro Kusumi {
4622d60b848STomohiro Kusumi xop->state = 0;
4632d60b848STomohiro Kusumi xop->error = 0;
4642d60b848STomohiro Kusumi xop->collect_key = 0;
4652d60b848STomohiro Kusumi xop->run_mask = HAMMER2_XOPMASK_VOP;
4662d60b848STomohiro Kusumi }
4672d60b848STomohiro Kusumi
4682d60b848STomohiro Kusumi /*
4692d60b848STomohiro Kusumi * A mounted PFS needs Xops threads to support frontend operations.
4702d60b848STomohiro Kusumi */
4712d60b848STomohiro Kusumi void
hammer2_xop_helper_create(hammer2_pfs_t * pmp)4722d60b848STomohiro Kusumi hammer2_xop_helper_create(hammer2_pfs_t *pmp)
4732d60b848STomohiro Kusumi {
4742d60b848STomohiro Kusumi int i;
4752d60b848STomohiro Kusumi int j;
4762d60b848STomohiro Kusumi
4772d60b848STomohiro Kusumi lockmgr(&pmp->lock, LK_EXCLUSIVE);
4782d60b848STomohiro Kusumi pmp->has_xop_threads = 1;
4792d60b848STomohiro Kusumi
4802d60b848STomohiro Kusumi pmp->xop_groups = kmalloc(hammer2_xop_nthreads *
4812d60b848STomohiro Kusumi sizeof(hammer2_xop_group_t),
4822d60b848STomohiro Kusumi M_HAMMER2, M_WAITOK | M_ZERO);
4832d60b848STomohiro Kusumi for (i = 0; i < pmp->iroot->cluster.nchains; ++i) {
4842d60b848STomohiro Kusumi for (j = 0; j < hammer2_xop_nthreads; ++j) {
4852d60b848STomohiro Kusumi if (pmp->xop_groups[j].thrs[i].td)
4862d60b848STomohiro Kusumi continue;
4872d60b848STomohiro Kusumi hammer2_thr_create(&pmp->xop_groups[j].thrs[i],
4882d60b848STomohiro Kusumi pmp, NULL,
4892d60b848STomohiro Kusumi "h2xop", i, j,
4902d60b848STomohiro Kusumi hammer2_primary_xops_thread);
4912d60b848STomohiro Kusumi }
4922d60b848STomohiro Kusumi }
4932d60b848STomohiro Kusumi lockmgr(&pmp->lock, LK_RELEASE);
4942d60b848STomohiro Kusumi }
4952d60b848STomohiro Kusumi
4962d60b848STomohiro Kusumi void
hammer2_xop_helper_cleanup(hammer2_pfs_t * pmp)4972d60b848STomohiro Kusumi hammer2_xop_helper_cleanup(hammer2_pfs_t *pmp)
4982d60b848STomohiro Kusumi {
4992d60b848STomohiro Kusumi int i;
5002d60b848STomohiro Kusumi int j;
5012d60b848STomohiro Kusumi
5022d60b848STomohiro Kusumi if (pmp->xop_groups == NULL) {
5032d60b848STomohiro Kusumi KKASSERT(pmp->has_xop_threads == 0);
5042d60b848STomohiro Kusumi return;
5052d60b848STomohiro Kusumi }
5062d60b848STomohiro Kusumi
5072d60b848STomohiro Kusumi for (i = 0; i < pmp->pfs_nmasters; ++i) {
5082d60b848STomohiro Kusumi for (j = 0; j < hammer2_xop_nthreads; ++j) {
5092d60b848STomohiro Kusumi if (pmp->xop_groups[j].thrs[i].td)
5102d60b848STomohiro Kusumi hammer2_thr_delete(&pmp->xop_groups[j].thrs[i]);
5112d60b848STomohiro Kusumi }
5122d60b848STomohiro Kusumi }
5132d60b848STomohiro Kusumi pmp->has_xop_threads = 0;
5142d60b848STomohiro Kusumi kfree(pmp->xop_groups, M_HAMMER2);
5152d60b848STomohiro Kusumi pmp->xop_groups = NULL;
5162d60b848STomohiro Kusumi }
5172d60b848STomohiro Kusumi
5182d60b848STomohiro Kusumi /*
5192d60b848STomohiro Kusumi * Start a XOP request, queueing it to all nodes in the cluster to
5202d60b848STomohiro Kusumi * execute the cluster op.
5212d60b848STomohiro Kusumi *
5222d60b848STomohiro Kusumi * XXX optimize single-target case.
5232d60b848STomohiro Kusumi */
5242d60b848STomohiro Kusumi void
hammer2_xop_start_except(hammer2_xop_head_t * xop,hammer2_xop_desc_t * desc,int notidx)5252d60b848STomohiro Kusumi hammer2_xop_start_except(hammer2_xop_head_t *xop, hammer2_xop_desc_t *desc,
5262d60b848STomohiro Kusumi int notidx)
5272d60b848STomohiro Kusumi {
5282d60b848STomohiro Kusumi hammer2_inode_t *ip1;
5292d60b848STomohiro Kusumi hammer2_pfs_t *pmp;
5302d60b848STomohiro Kusumi hammer2_thread_t *thr;
5312d60b848STomohiro Kusumi int i;
5322d60b848STomohiro Kusumi int ng;
5332d60b848STomohiro Kusumi int nchains;
5342d60b848STomohiro Kusumi
5352d60b848STomohiro Kusumi ip1 = xop->ip1;
5362d60b848STomohiro Kusumi pmp = ip1->pmp;
5372d60b848STomohiro Kusumi if (pmp->has_xop_threads == 0)
5382d60b848STomohiro Kusumi hammer2_xop_helper_create(pmp);
5392d60b848STomohiro Kusumi
5402d60b848STomohiro Kusumi /*
5412d60b848STomohiro Kusumi * The sequencer assigns a worker thread to the XOP.
5422d60b848STomohiro Kusumi *
5432d60b848STomohiro Kusumi * (1) The worker threads are partitioned into two sets, one for
5442d60b848STomohiro Kusumi * NON-STRATEGY XOPs, and the other for STRATEGY XOPs. This
5452d60b848STomohiro Kusumi * guarantees that strategy calls will always be able to make
5462d60b848STomohiro Kusumi * progress and will not deadlock against non-strategy calls.
5472d60b848STomohiro Kusumi *
5482d60b848STomohiro Kusumi * (2) If clustered, non-strategy operations to the same inode must
5492d60b848STomohiro Kusumi * be serialized. This is to avoid confusion when issuing
5502d60b848STomohiro Kusumi * modifying operations because a XOP completes the instant a
5512d60b848STomohiro Kusumi * quorum is reached.
5522d60b848STomohiro Kusumi *
5532d60b848STomohiro Kusumi * TODO - RENAME fails here because it is potentially modifying
5542d60b848STomohiro Kusumi * three different inodes, but we triple-lock the inodes
5552d60b848STomohiro Kusumi * involved so it shouldn't create a sequencing schism.
5562d60b848STomohiro Kusumi */
5572d60b848STomohiro Kusumi if (xop->flags & HAMMER2_XOP_STRATEGY) {
5582d60b848STomohiro Kusumi /*
5592d60b848STomohiro Kusumi * Use worker space 0 associated with the current cpu
5602d60b848STomohiro Kusumi * for strategy ops.
5612d60b848STomohiro Kusumi */
5622d60b848STomohiro Kusumi /*
5632d60b848STomohiro Kusumi hammer2_xop_strategy_t *xopst;
5642d60b848STomohiro Kusumi u_int which;
5652d60b848STomohiro Kusumi
5662d60b848STomohiro Kusumi xopst = &((hammer2_xop_t *)xop)->xop_strategy;
5672d60b848STomohiro Kusumi which = ((unsigned int)ip1->ihash +
5682d60b848STomohiro Kusumi ((unsigned int)xopst->lbase >> HAMMER2_PBUFRADIX)) %
5692d60b848STomohiro Kusumi hammer2_xop_sgroups;
5702d60b848STomohiro Kusumi ng = mycpu->gd_cpuid % hammer2_xop_mod +
5712d60b848STomohiro Kusumi hammer2_xop_mod * which;
5722d60b848STomohiro Kusumi */
5732d60b848STomohiro Kusumi ng = 0;
5742d60b848STomohiro Kusumi } else if (hammer2_spread_workers == 0 && ip1->cluster.nchains == 1) {
5752d60b848STomohiro Kusumi /*
5762d60b848STomohiro Kusumi * For now try to keep the work on the same cpu to reduce
5772d60b848STomohiro Kusumi * IPI overhead. Several threads are assigned to each cpu,
5782d60b848STomohiro Kusumi * don't be very smart and select the one to use based on
5792d60b848STomohiro Kusumi * the inode hash.
5802d60b848STomohiro Kusumi */
5812d60b848STomohiro Kusumi /*
5822d60b848STomohiro Kusumi u_int which;
5832d60b848STomohiro Kusumi
5842d60b848STomohiro Kusumi which = (unsigned int)ip1->ihash % hammer2_xop_xgroups;
5852d60b848STomohiro Kusumi ng = mycpu->gd_cpuid % hammer2_xop_mod +
5862d60b848STomohiro Kusumi (which * hammer2_xop_mod) +
5872d60b848STomohiro Kusumi hammer2_xop_xbase;
5882d60b848STomohiro Kusumi */
5892d60b848STomohiro Kusumi ng = 0;
5902d60b848STomohiro Kusumi } else {
5912d60b848STomohiro Kusumi /*
5922d60b848STomohiro Kusumi * Hash based on inode only, must serialize inode to same
5932d60b848STomohiro Kusumi * thread regardless of current cpu.
5942d60b848STomohiro Kusumi */
5952d60b848STomohiro Kusumi /*
5962d60b848STomohiro Kusumi ng = (unsigned int)ip1->ihash %
5972d60b848STomohiro Kusumi (hammer2_xop_mod * hammer2_xop_xgroups) +
5982d60b848STomohiro Kusumi hammer2_xop_xbase;
5992d60b848STomohiro Kusumi */
6002d60b848STomohiro Kusumi ng = 0;
6012d60b848STomohiro Kusumi }
6022d60b848STomohiro Kusumi xop->desc = desc;
6032d60b848STomohiro Kusumi
6042d60b848STomohiro Kusumi /*
6052d60b848STomohiro Kusumi * The instant xop is queued another thread can pick it off. In the
6062d60b848STomohiro Kusumi * case of asynchronous ops, another thread might even finish and
6072d60b848STomohiro Kusumi * deallocate it.
6082d60b848STomohiro Kusumi */
6092d60b848STomohiro Kusumi hammer2_spin_ex(&pmp->xop_spin);
6102d60b848STomohiro Kusumi nchains = ip1->cluster.nchains;
6112d60b848STomohiro Kusumi for (i = 0; i < nchains; ++i) {
6122d60b848STomohiro Kusumi /*
6132d60b848STomohiro Kusumi * XXX ip1->cluster.array* not stable here. This temporary
6142d60b848STomohiro Kusumi * hack fixes basic issues in target XOPs which need to
6152d60b848STomohiro Kusumi * obtain a starting chain from the inode but does not
6162d60b848STomohiro Kusumi * address possible races against inode updates which
6172d60b848STomohiro Kusumi * might NULL-out a chain.
6182d60b848STomohiro Kusumi */
6192d60b848STomohiro Kusumi if (i != notidx && ip1->cluster.array[i].chain) {
6202d60b848STomohiro Kusumi thr = &pmp->xop_groups[ng].thrs[i];
6212d60b848STomohiro Kusumi atomic_set_64(&xop->run_mask, 1LLU << i);
6222d60b848STomohiro Kusumi atomic_set_64(&xop->chk_mask, 1LLU << i);
6232d60b848STomohiro Kusumi xop->collect[i].thr = thr;
6242d60b848STomohiro Kusumi TAILQ_INSERT_TAIL(&thr->xopq, xop, collect[i].entry);
6252d60b848STomohiro Kusumi }
6262d60b848STomohiro Kusumi }
6272d60b848STomohiro Kusumi hammer2_spin_unex(&pmp->xop_spin);
6282d60b848STomohiro Kusumi /* xop can become invalid at this point */
6292d60b848STomohiro Kusumi
6302d60b848STomohiro Kusumi /*
6312d60b848STomohiro Kusumi * Each thread has its own xopq
6322d60b848STomohiro Kusumi */
6332d60b848STomohiro Kusumi for (i = 0; i < nchains; ++i) {
6342d60b848STomohiro Kusumi if (i != notidx) {
6352d60b848STomohiro Kusumi thr = &pmp->xop_groups[ng].thrs[i];
6362d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_XOPQ);
6372d60b848STomohiro Kusumi hammer2_primary_xops_thread(thr);
6382d60b848STomohiro Kusumi }
6392d60b848STomohiro Kusumi }
6402d60b848STomohiro Kusumi }
6412d60b848STomohiro Kusumi
6422d60b848STomohiro Kusumi void
hammer2_xop_start(hammer2_xop_head_t * xop,hammer2_xop_desc_t * desc)6432d60b848STomohiro Kusumi hammer2_xop_start(hammer2_xop_head_t *xop, hammer2_xop_desc_t *desc)
6442d60b848STomohiro Kusumi {
6452d60b848STomohiro Kusumi hammer2_xop_start_except(xop, desc, -1);
6462d60b848STomohiro Kusumi }
6472d60b848STomohiro Kusumi
6482d60b848STomohiro Kusumi /*
6492d60b848STomohiro Kusumi * Retire a XOP. Used by both the VOP frontend and by the XOP backend.
6502d60b848STomohiro Kusumi */
6512d60b848STomohiro Kusumi void
hammer2_xop_retire(hammer2_xop_head_t * xop,uint64_t mask)6522d60b848STomohiro Kusumi hammer2_xop_retire(hammer2_xop_head_t *xop, uint64_t mask)
6532d60b848STomohiro Kusumi {
6542d60b848STomohiro Kusumi hammer2_chain_t *chain;
6552d60b848STomohiro Kusumi uint64_t nmask;
6562d60b848STomohiro Kusumi int i;
6572d60b848STomohiro Kusumi
6582d60b848STomohiro Kusumi /*
6592d60b848STomohiro Kusumi * Remove the frontend collector or remove a backend feeder.
6602d60b848STomohiro Kusumi *
6612d60b848STomohiro Kusumi * When removing the frontend we must wakeup any backend feeders
6622d60b848STomohiro Kusumi * who are waiting for FIFO space.
6632d60b848STomohiro Kusumi *
6642d60b848STomohiro Kusumi * When removing the last backend feeder we must wakeup any waiting
6652d60b848STomohiro Kusumi * frontend.
6662d60b848STomohiro Kusumi */
6672d60b848STomohiro Kusumi KKASSERT(xop->run_mask & mask);
6682d60b848STomohiro Kusumi nmask = atomic_fetchadd_64(&xop->run_mask,
6692d60b848STomohiro Kusumi -mask + HAMMER2_XOPMASK_FEED);
6702d60b848STomohiro Kusumi
6712d60b848STomohiro Kusumi /*
6722d60b848STomohiro Kusumi * More than one entity left
6732d60b848STomohiro Kusumi */
6742d60b848STomohiro Kusumi if ((nmask & HAMMER2_XOPMASK_ALLDONE) != mask) {
6752d60b848STomohiro Kusumi /*
6762d60b848STomohiro Kusumi * Frontend terminating, wakeup any backends waiting on
6772d60b848STomohiro Kusumi * fifo full.
6782d60b848STomohiro Kusumi *
6792d60b848STomohiro Kusumi * NOTE!!! The xop can get ripped out from under us at
6802d60b848STomohiro Kusumi * this point, so do not reference it again.
6812d60b848STomohiro Kusumi * The wakeup(xop) doesn't touch the xop and
6822d60b848STomohiro Kusumi * is ok.
6832d60b848STomohiro Kusumi */
6842d60b848STomohiro Kusumi if (mask == HAMMER2_XOPMASK_VOP) {
6852d60b848STomohiro Kusumi if (nmask & HAMMER2_XOPMASK_FIFOW)
6862d60b848STomohiro Kusumi wakeup(xop);
6872d60b848STomohiro Kusumi }
6882d60b848STomohiro Kusumi
6892d60b848STomohiro Kusumi /*
6902d60b848STomohiro Kusumi * Wakeup frontend if the last backend is terminating.
6912d60b848STomohiro Kusumi */
6922d60b848STomohiro Kusumi nmask -= mask;
6932d60b848STomohiro Kusumi if ((nmask & HAMMER2_XOPMASK_ALLDONE) == HAMMER2_XOPMASK_VOP) {
6942d60b848STomohiro Kusumi if (nmask & HAMMER2_XOPMASK_WAIT)
6952d60b848STomohiro Kusumi wakeup(xop);
6962d60b848STomohiro Kusumi }
6972d60b848STomohiro Kusumi
6982d60b848STomohiro Kusumi return;
6992d60b848STomohiro Kusumi }
7002d60b848STomohiro Kusumi /* else nobody else left, we can ignore FIFOW */
7012d60b848STomohiro Kusumi
7022d60b848STomohiro Kusumi /*
7032d60b848STomohiro Kusumi * All collectors are gone, we can cleanup and dispose of the XOP.
7042d60b848STomohiro Kusumi * Note that this can wind up being a frontend OR a backend.
7052d60b848STomohiro Kusumi * Pending chains are locked shared and not owned by any thread.
706*6b47f3eaSTomohiro Kusumi */
707*6b47f3eaSTomohiro Kusumi
708*6b47f3eaSTomohiro Kusumi /*
709*6b47f3eaSTomohiro Kusumi * Cleanup the xop's cluster. If there is an inode reference,
710*6b47f3eaSTomohiro Kusumi * cache the cluster chains in the inode to improve performance,
711*6b47f3eaSTomohiro Kusumi * preventing them from recursively destroying the chain recursion.
7122d60b848STomohiro Kusumi *
713*6b47f3eaSTomohiro Kusumi * Note that ip->ccache[i] does NOT necessarily represent usable
714*6b47f3eaSTomohiro Kusumi * chains or chains that are related to the inode. The chains are
715*6b47f3eaSTomohiro Kusumi * simply held to prevent bottom-up lastdrop destruction of
716*6b47f3eaSTomohiro Kusumi * potentially valuable resolved chain data.
717*6b47f3eaSTomohiro Kusumi */
718*6b47f3eaSTomohiro Kusumi if (xop->ip1) {
719*6b47f3eaSTomohiro Kusumi /*
720*6b47f3eaSTomohiro Kusumi * Cache cluster chains in a convenient inode. The chains
721*6b47f3eaSTomohiro Kusumi * are cache ref'd but not held. The inode simply serves
722*6b47f3eaSTomohiro Kusumi * as a place to cache the chains to prevent the chains
723*6b47f3eaSTomohiro Kusumi * from being cleaned up.
724*6b47f3eaSTomohiro Kusumi */
725*6b47f3eaSTomohiro Kusumi hammer2_chain_t *dropch[HAMMER2_MAXCLUSTER];
726*6b47f3eaSTomohiro Kusumi hammer2_inode_t *ip;
727*6b47f3eaSTomohiro Kusumi int prior_nchains;
728*6b47f3eaSTomohiro Kusumi
729*6b47f3eaSTomohiro Kusumi ip = xop->ip1;
730*6b47f3eaSTomohiro Kusumi hammer2_spin_ex(&ip->cluster_spin);
731*6b47f3eaSTomohiro Kusumi prior_nchains = ip->ccache_nchains;
732*6b47f3eaSTomohiro Kusumi for (i = 0; i < prior_nchains; ++i) {
733*6b47f3eaSTomohiro Kusumi dropch[i] = ip->ccache[i].chain;
734*6b47f3eaSTomohiro Kusumi ip->ccache[i].chain = NULL;
735*6b47f3eaSTomohiro Kusumi }
736*6b47f3eaSTomohiro Kusumi for (i = 0; i < xop->cluster.nchains; ++i) {
737*6b47f3eaSTomohiro Kusumi ip->ccache[i] = xop->cluster.array[i];
738*6b47f3eaSTomohiro Kusumi if (ip->ccache[i].chain)
739*6b47f3eaSTomohiro Kusumi hammer2_chain_ref(ip->ccache[i].chain);
740*6b47f3eaSTomohiro Kusumi }
741*6b47f3eaSTomohiro Kusumi ip->ccache_nchains = i;
742*6b47f3eaSTomohiro Kusumi hammer2_spin_unex(&ip->cluster_spin);
743*6b47f3eaSTomohiro Kusumi
744*6b47f3eaSTomohiro Kusumi /*
745*6b47f3eaSTomohiro Kusumi * Drop prior cache
746*6b47f3eaSTomohiro Kusumi */
747*6b47f3eaSTomohiro Kusumi for (i = 0; i < prior_nchains; ++i) {
748*6b47f3eaSTomohiro Kusumi chain = dropch[i];
749*6b47f3eaSTomohiro Kusumi if (chain)
750*6b47f3eaSTomohiro Kusumi hammer2_chain_drop(chain);
751*6b47f3eaSTomohiro Kusumi }
752*6b47f3eaSTomohiro Kusumi }
753*6b47f3eaSTomohiro Kusumi
754*6b47f3eaSTomohiro Kusumi /*
755*6b47f3eaSTomohiro Kusumi * Drop and unhold chains in xop cluster
7562d60b848STomohiro Kusumi */
7572d60b848STomohiro Kusumi for (i = 0; i < xop->cluster.nchains; ++i) {
7582d60b848STomohiro Kusumi xop->cluster.array[i].flags = 0;
7592d60b848STomohiro Kusumi chain = xop->cluster.array[i].chain;
7602d60b848STomohiro Kusumi if (chain) {
7612d60b848STomohiro Kusumi xop->cluster.array[i].chain = NULL;
7622d60b848STomohiro Kusumi hammer2_chain_drop_unhold(chain);
7632d60b848STomohiro Kusumi }
7642d60b848STomohiro Kusumi }
7652d60b848STomohiro Kusumi
7662d60b848STomohiro Kusumi /*
7672d60b848STomohiro Kusumi * Cleanup the fifos. Since we are the only entity left on this
7682d60b848STomohiro Kusumi * xop we don't have to worry about fifo flow control, and one
7692d60b848STomohiro Kusumi * lfence() will do the job.
7702d60b848STomohiro Kusumi */
7712d60b848STomohiro Kusumi cpu_lfence();
7722d60b848STomohiro Kusumi mask = xop->chk_mask;
7732d60b848STomohiro Kusumi for (i = 0; mask && i < HAMMER2_MAXCLUSTER; ++i) {
7742d60b848STomohiro Kusumi hammer2_xop_fifo_t *fifo = &xop->collect[i];
7752d60b848STomohiro Kusumi while (fifo->ri != fifo->wi) {
7769d036237STomohiro Kusumi chain = fifo->array[fifo->ri & fifo_mask(xop)];
7772d60b848STomohiro Kusumi if (chain)
7782d60b848STomohiro Kusumi hammer2_chain_drop_unhold(chain);
7792d60b848STomohiro Kusumi ++fifo->ri;
7802d60b848STomohiro Kusumi }
7812d60b848STomohiro Kusumi mask &= ~(1U << i);
7822d60b848STomohiro Kusumi }
7832d60b848STomohiro Kusumi
7842d60b848STomohiro Kusumi /*
7852d60b848STomohiro Kusumi * The inode is only held at this point, simply drop it.
7862d60b848STomohiro Kusumi */
7872d60b848STomohiro Kusumi if (xop->ip1) {
7882d60b848STomohiro Kusumi hammer2_inode_drop(xop->ip1);
7892d60b848STomohiro Kusumi xop->ip1 = NULL;
7902d60b848STomohiro Kusumi }
7912d60b848STomohiro Kusumi if (xop->ip2) {
7922d60b848STomohiro Kusumi hammer2_inode_drop(xop->ip2);
7932d60b848STomohiro Kusumi xop->ip2 = NULL;
7942d60b848STomohiro Kusumi }
7952d60b848STomohiro Kusumi if (xop->ip3) {
7962d60b848STomohiro Kusumi hammer2_inode_drop(xop->ip3);
7972d60b848STomohiro Kusumi xop->ip3 = NULL;
7982d60b848STomohiro Kusumi }
7992d60b848STomohiro Kusumi if (xop->ip4) {
8002d60b848STomohiro Kusumi hammer2_inode_drop(xop->ip4);
8012d60b848STomohiro Kusumi xop->ip4 = NULL;
8022d60b848STomohiro Kusumi }
8032d60b848STomohiro Kusumi if (xop->name1) {
8042d60b848STomohiro Kusumi kfree(xop->name1, M_HAMMER2);
8052d60b848STomohiro Kusumi xop->name1 = NULL;
8062d60b848STomohiro Kusumi xop->name1_len = 0;
8072d60b848STomohiro Kusumi }
8082d60b848STomohiro Kusumi if (xop->name2) {
8092d60b848STomohiro Kusumi kfree(xop->name2, M_HAMMER2);
8102d60b848STomohiro Kusumi xop->name2 = NULL;
8112d60b848STomohiro Kusumi xop->name2_len = 0;
8122d60b848STomohiro Kusumi }
8132d60b848STomohiro Kusumi
814daa1a189STomohiro Kusumi for (i = 0; i < xop->cluster.nchains; ++i) {
815daa1a189STomohiro Kusumi kfree(xop->collect[i].array, M_HAMMER2);
816daa1a189STomohiro Kusumi kfree(xop->collect[i].errors, M_HAMMER2);
817daa1a189STomohiro Kusumi }
818daa1a189STomohiro Kusumi
8192d60b848STomohiro Kusumi free(xop);
8202d60b848STomohiro Kusumi }
8212d60b848STomohiro Kusumi
8222d60b848STomohiro Kusumi /*
8232d60b848STomohiro Kusumi * (Backend) Returns non-zero if the frontend is still attached.
8242d60b848STomohiro Kusumi */
8252d60b848STomohiro Kusumi int
hammer2_xop_active(hammer2_xop_head_t * xop)8262d60b848STomohiro Kusumi hammer2_xop_active(hammer2_xop_head_t *xop)
8272d60b848STomohiro Kusumi {
8282d60b848STomohiro Kusumi if (xop->run_mask & HAMMER2_XOPMASK_VOP)
8292d60b848STomohiro Kusumi return 1;
8302d60b848STomohiro Kusumi else
8312d60b848STomohiro Kusumi return 0;
8322d60b848STomohiro Kusumi }
8332d60b848STomohiro Kusumi
8342d60b848STomohiro Kusumi /*
8352d60b848STomohiro Kusumi * (Backend) Feed chain data through the cluster validator and back to
8362d60b848STomohiro Kusumi * the frontend. Chains are fed from multiple nodes concurrently
8372d60b848STomohiro Kusumi * and pipelined via per-node FIFOs in the XOP.
8382d60b848STomohiro Kusumi *
8392d60b848STomohiro Kusumi * The chain must be locked (either shared or exclusive). The caller may
8402d60b848STomohiro Kusumi * unlock and drop the chain on return. This function will add an extra
8412d60b848STomohiro Kusumi * ref and hold the chain's data for the pass-back.
8422d60b848STomohiro Kusumi *
8432d60b848STomohiro Kusumi * No xop lock is needed because we are only manipulating fields under
8442d60b848STomohiro Kusumi * our direct control.
8452d60b848STomohiro Kusumi *
8462d60b848STomohiro Kusumi * Returns 0 on success and a hammer2 error code if sync is permanently
8472d60b848STomohiro Kusumi * lost. The caller retains a ref on the chain but by convention
8482d60b848STomohiro Kusumi * the lock is typically inherited by the xop (caller loses lock).
8492d60b848STomohiro Kusumi *
8502d60b848STomohiro Kusumi * Returns non-zero on error. In this situation the caller retains a
8512d60b848STomohiro Kusumi * ref on the chain but loses the lock (we unlock here).
8522d60b848STomohiro Kusumi */
8532d60b848STomohiro Kusumi int
hammer2_xop_feed(hammer2_xop_head_t * xop,hammer2_chain_t * chain,int clindex,int error)8542d60b848STomohiro Kusumi hammer2_xop_feed(hammer2_xop_head_t *xop, hammer2_chain_t *chain,
8552d60b848STomohiro Kusumi int clindex, int error)
8562d60b848STomohiro Kusumi {
8572d60b848STomohiro Kusumi hammer2_xop_fifo_t *fifo;
8582d60b848STomohiro Kusumi uint64_t mask;
8592d60b848STomohiro Kusumi
8602d60b848STomohiro Kusumi /*
8612d60b848STomohiro Kusumi * Early termination (typicaly of xop_readir)
8622d60b848STomohiro Kusumi */
8632d60b848STomohiro Kusumi if (hammer2_xop_active(xop) == 0) {
8642d60b848STomohiro Kusumi error = HAMMER2_ERROR_ABORTED;
8652d60b848STomohiro Kusumi goto done;
8662d60b848STomohiro Kusumi }
8672d60b848STomohiro Kusumi
8682d60b848STomohiro Kusumi /*
8692d60b848STomohiro Kusumi * Multi-threaded entry into the XOP collector. We own the
8702d60b848STomohiro Kusumi * fifo->wi for our clindex.
8712d60b848STomohiro Kusumi */
8722d60b848STomohiro Kusumi fifo = &xop->collect[clindex];
8732d60b848STomohiro Kusumi
8742d60b848STomohiro Kusumi if (fifo->ri == fifo->wi - HAMMER2_XOPFIFO)
8752d60b848STomohiro Kusumi lwkt_yield();
8769d036237STomohiro Kusumi while (fifo->ri == fifo->wi - xop->fifo_size) {
8772d60b848STomohiro Kusumi atomic_set_int(&fifo->flags, HAMMER2_XOP_FIFO_STALL);
8782d60b848STomohiro Kusumi mask = xop->run_mask;
8792d60b848STomohiro Kusumi if ((mask & HAMMER2_XOPMASK_VOP) == 0) {
8802d60b848STomohiro Kusumi error = HAMMER2_ERROR_ABORTED;
8812d60b848STomohiro Kusumi goto done;
8822d60b848STomohiro Kusumi }
8839d036237STomohiro Kusumi xop->fifo_size *= 2;
8849d036237STomohiro Kusumi hammer2_xop_fifo_alloc(fifo, xop->fifo_size);
8852d60b848STomohiro Kusumi }
8862d60b848STomohiro Kusumi atomic_clear_int(&fifo->flags, HAMMER2_XOP_FIFO_STALL);
8872d60b848STomohiro Kusumi if (chain)
8882d60b848STomohiro Kusumi hammer2_chain_ref_hold(chain);
8892d60b848STomohiro Kusumi if (error == 0 && chain)
8902d60b848STomohiro Kusumi error = chain->error;
8919d036237STomohiro Kusumi fifo->errors[fifo->wi & fifo_mask(xop)] = error;
8929d036237STomohiro Kusumi fifo->array[fifo->wi & fifo_mask(xop)] = chain;
8932d60b848STomohiro Kusumi cpu_sfence();
8942d60b848STomohiro Kusumi ++fifo->wi;
8952d60b848STomohiro Kusumi
8962d60b848STomohiro Kusumi mask = atomic_fetchadd_64(&xop->run_mask, HAMMER2_XOPMASK_FEED);
8972d60b848STomohiro Kusumi if (mask & HAMMER2_XOPMASK_WAIT) {
8982d60b848STomohiro Kusumi atomic_clear_64(&xop->run_mask, HAMMER2_XOPMASK_WAIT);
8992d60b848STomohiro Kusumi wakeup(xop);
9002d60b848STomohiro Kusumi }
9012d60b848STomohiro Kusumi error = 0;
9022d60b848STomohiro Kusumi
9032d60b848STomohiro Kusumi /*
90400e4ae5cSTomohiro Kusumi * Cleanup. If no error
9052d60b848STomohiro Kusumi * occurred the fifo inherits the lock and gains an additional ref.
9062d60b848STomohiro Kusumi *
9072d60b848STomohiro Kusumi * The caller's ref remains in both cases.
9082d60b848STomohiro Kusumi */
9092d60b848STomohiro Kusumi done:
9102d60b848STomohiro Kusumi return error;
9112d60b848STomohiro Kusumi }
9122d60b848STomohiro Kusumi
9132d60b848STomohiro Kusumi /*
9142d60b848STomohiro Kusumi * (Frontend) collect a response from a running cluster op.
9152d60b848STomohiro Kusumi *
9162d60b848STomohiro Kusumi * Responses are fed from all appropriate nodes concurrently
9172d60b848STomohiro Kusumi * and collected into a cohesive response >= collect_key.
9182d60b848STomohiro Kusumi *
9192d60b848STomohiro Kusumi * The collector will return the instant quorum or other requirements
9202d60b848STomohiro Kusumi * are met, even if some nodes get behind or become non-responsive.
9212d60b848STomohiro Kusumi *
9222d60b848STomohiro Kusumi * HAMMER2_XOP_COLLECT_NOWAIT - Used to 'poll' a completed collection,
9232d60b848STomohiro Kusumi * usually called synchronously from the
9242d60b848STomohiro Kusumi * node XOPs for the strategy code to
9252d60b848STomohiro Kusumi * fake the frontend collection and complete
9262d60b848STomohiro Kusumi * the BIO as soon as possible.
9272d60b848STomohiro Kusumi *
9282d60b848STomohiro Kusumi * Returns 0 on success plus a filled out xop->cluster structure.
9292d60b848STomohiro Kusumi * Return ENOENT on normal termination.
9302d60b848STomohiro Kusumi * Otherwise return an error.
9312d60b848STomohiro Kusumi *
9322d60b848STomohiro Kusumi * WARNING! If the xop returns a cluster with a non-NULL focus, note that
9332d60b848STomohiro Kusumi * none of the chains in the cluster (or the focus) are either
9342d60b848STomohiro Kusumi * locked or I/O synchronized with the cpu. hammer2_xop_gdata()
9352d60b848STomohiro Kusumi * and hammer2_xop_pdata() must be used to safely access the focus
9362d60b848STomohiro Kusumi * chain's content.
9372d60b848STomohiro Kusumi *
9382d60b848STomohiro Kusumi * The frontend can make certain assumptions based on higher-level
9392d60b848STomohiro Kusumi * locking done by the frontend, but data integrity absolutely
9402d60b848STomohiro Kusumi * requires using the gdata/pdata API.
9412d60b848STomohiro Kusumi */
9422d60b848STomohiro Kusumi int
hammer2_xop_collect(hammer2_xop_head_t * xop,int flags)9432d60b848STomohiro Kusumi hammer2_xop_collect(hammer2_xop_head_t *xop, int flags)
9442d60b848STomohiro Kusumi {
9452d60b848STomohiro Kusumi hammer2_xop_fifo_t *fifo;
9462d60b848STomohiro Kusumi hammer2_chain_t *chain;
9472d60b848STomohiro Kusumi hammer2_key_t lokey;
9482d60b848STomohiro Kusumi uint64_t mask;
9492d60b848STomohiro Kusumi int error;
9502d60b848STomohiro Kusumi int keynull;
9512d60b848STomohiro Kusumi int adv; /* advance the element */
9522d60b848STomohiro Kusumi int i;
9532d60b848STomohiro Kusumi
9542d60b848STomohiro Kusumi loop:
9552d60b848STomohiro Kusumi /*
9562d60b848STomohiro Kusumi * First loop tries to advance pieces of the cluster which
9572d60b848STomohiro Kusumi * are out of sync.
9582d60b848STomohiro Kusumi */
9592d60b848STomohiro Kusumi lokey = HAMMER2_KEY_MAX;
9602d60b848STomohiro Kusumi keynull = HAMMER2_CHECK_NULL;
9612d60b848STomohiro Kusumi mask = xop->run_mask;
9622d60b848STomohiro Kusumi cpu_lfence();
9632d60b848STomohiro Kusumi
9642d60b848STomohiro Kusumi for (i = 0; i < xop->cluster.nchains; ++i) {
9652d60b848STomohiro Kusumi chain = xop->cluster.array[i].chain;
9662d60b848STomohiro Kusumi if (chain == NULL) {
9672d60b848STomohiro Kusumi adv = 1;
9682d60b848STomohiro Kusumi } else if (chain->bref.key < xop->collect_key) {
9692d60b848STomohiro Kusumi adv = 1;
9702d60b848STomohiro Kusumi } else {
9712d60b848STomohiro Kusumi keynull &= ~HAMMER2_CHECK_NULL;
9722d60b848STomohiro Kusumi if (lokey > chain->bref.key)
9732d60b848STomohiro Kusumi lokey = chain->bref.key;
9742d60b848STomohiro Kusumi adv = 0;
9752d60b848STomohiro Kusumi }
9762d60b848STomohiro Kusumi if (adv == 0)
9772d60b848STomohiro Kusumi continue;
9782d60b848STomohiro Kusumi
9792d60b848STomohiro Kusumi /*
9802d60b848STomohiro Kusumi * Advance element if possible, advanced element may be NULL.
9812d60b848STomohiro Kusumi */
9822d60b848STomohiro Kusumi if (chain)
9832d60b848STomohiro Kusumi hammer2_chain_drop_unhold(chain);
9842d60b848STomohiro Kusumi
9852d60b848STomohiro Kusumi fifo = &xop->collect[i];
9862d60b848STomohiro Kusumi if (fifo->ri != fifo->wi) {
9872d60b848STomohiro Kusumi cpu_lfence();
9889d036237STomohiro Kusumi chain = fifo->array[fifo->ri & fifo_mask(xop)];
9899d036237STomohiro Kusumi error = fifo->errors[fifo->ri & fifo_mask(xop)];
9902d60b848STomohiro Kusumi ++fifo->ri;
9912d60b848STomohiro Kusumi xop->cluster.array[i].chain = chain;
9922d60b848STomohiro Kusumi xop->cluster.array[i].error = error;
9932d60b848STomohiro Kusumi if (chain == NULL) {
9942d60b848STomohiro Kusumi /* XXX */
9952d60b848STomohiro Kusumi xop->cluster.array[i].flags |=
9962d60b848STomohiro Kusumi HAMMER2_CITEM_NULL;
9972d60b848STomohiro Kusumi }
9982d60b848STomohiro Kusumi if (fifo->wi - fifo->ri <= HAMMER2_XOPFIFO / 2) {
9992d60b848STomohiro Kusumi if (fifo->flags & HAMMER2_XOP_FIFO_STALL) {
10002d60b848STomohiro Kusumi atomic_clear_int(&fifo->flags,
10012d60b848STomohiro Kusumi HAMMER2_XOP_FIFO_STALL);
10022d60b848STomohiro Kusumi wakeup(xop);
10032d60b848STomohiro Kusumi lwkt_yield();
10042d60b848STomohiro Kusumi }
10052d60b848STomohiro Kusumi }
10062d60b848STomohiro Kusumi --i; /* loop on same index */
10072d60b848STomohiro Kusumi } else {
10082d60b848STomohiro Kusumi /*
10092d60b848STomohiro Kusumi * Retain CITEM_NULL flag. If set just repeat EOF.
10102d60b848STomohiro Kusumi * If not, the NULL,0 combination indicates an
10112d60b848STomohiro Kusumi * operation in-progress.
10122d60b848STomohiro Kusumi */
10132d60b848STomohiro Kusumi xop->cluster.array[i].chain = NULL;
10142d60b848STomohiro Kusumi /* retain any CITEM_NULL setting */
10152d60b848STomohiro Kusumi }
10162d60b848STomohiro Kusumi }
10172d60b848STomohiro Kusumi
10182d60b848STomohiro Kusumi /*
10192d60b848STomohiro Kusumi * Determine whether the lowest collected key meets clustering
10202d60b848STomohiro Kusumi * requirements. Returns HAMMER2_ERROR_*:
10212d60b848STomohiro Kusumi *
10222d60b848STomohiro Kusumi * 0 - key valid, cluster can be returned.
10232d60b848STomohiro Kusumi *
10242d60b848STomohiro Kusumi * ENOENT - normal end of scan, return ENOENT.
10252d60b848STomohiro Kusumi *
10262d60b848STomohiro Kusumi * ESRCH - sufficient elements collected, quorum agreement
10272d60b848STomohiro Kusumi * that lokey is not a valid element and should be
10282d60b848STomohiro Kusumi * skipped.
10292d60b848STomohiro Kusumi *
10302d60b848STomohiro Kusumi * EDEADLK - sufficient elements collected, no quorum agreement
10312d60b848STomohiro Kusumi * (and no agreement possible). In this situation a
10322d60b848STomohiro Kusumi * repair is needed, for now we loop.
10332d60b848STomohiro Kusumi *
10342d60b848STomohiro Kusumi * EINPROGRESS - insufficient elements collected to resolve, wait
10352d60b848STomohiro Kusumi * for event and loop.
10362d60b848STomohiro Kusumi *
103700e4ae5cSTomohiro Kusumi * EIO - IO error or CRC check error from hammer2_cluster_check()
10382d60b848STomohiro Kusumi */
10392d60b848STomohiro Kusumi if ((flags & HAMMER2_XOP_COLLECT_WAITALL) &&
10402d60b848STomohiro Kusumi (mask & HAMMER2_XOPMASK_ALLDONE) != HAMMER2_XOPMASK_VOP) {
10412d60b848STomohiro Kusumi error = HAMMER2_ERROR_EINPROGRESS;
10422d60b848STomohiro Kusumi } else {
10432d60b848STomohiro Kusumi error = hammer2_cluster_check(&xop->cluster, lokey, keynull);
10442d60b848STomohiro Kusumi }
10452d60b848STomohiro Kusumi if (error == HAMMER2_ERROR_EINPROGRESS) {
10462d60b848STomohiro Kusumi if (flags & HAMMER2_XOP_COLLECT_NOWAIT)
10472d60b848STomohiro Kusumi goto done;
10482d60b848STomohiro Kusumi tsleep_interlock(xop, 0);
10492d60b848STomohiro Kusumi if (atomic_cmpset_64(&xop->run_mask,
10502d60b848STomohiro Kusumi mask, mask | HAMMER2_XOPMASK_WAIT)) {
10512d60b848STomohiro Kusumi tsleep(xop, PINTERLOCKED, "h2coll", hz*60);
10522d60b848STomohiro Kusumi }
10532d60b848STomohiro Kusumi goto loop;
10542d60b848STomohiro Kusumi }
10552d60b848STomohiro Kusumi if (error == HAMMER2_ERROR_ESRCH) {
10562d60b848STomohiro Kusumi if (lokey != HAMMER2_KEY_MAX) {
10572d60b848STomohiro Kusumi xop->collect_key = lokey + 1;
10582d60b848STomohiro Kusumi goto loop;
10592d60b848STomohiro Kusumi }
10602d60b848STomohiro Kusumi error = HAMMER2_ERROR_ENOENT;
10612d60b848STomohiro Kusumi }
10622d60b848STomohiro Kusumi if (error == HAMMER2_ERROR_EDEADLK) {
10632d60b848STomohiro Kusumi kprintf("hammer2: no quorum possible lokey %016jx\n",
10642d60b848STomohiro Kusumi lokey);
10652d60b848STomohiro Kusumi if (lokey != HAMMER2_KEY_MAX) {
10662d60b848STomohiro Kusumi xop->collect_key = lokey + 1;
10672d60b848STomohiro Kusumi goto loop;
10682d60b848STomohiro Kusumi }
10692d60b848STomohiro Kusumi error = HAMMER2_ERROR_ENOENT;
10702d60b848STomohiro Kusumi }
10712d60b848STomohiro Kusumi if (lokey == HAMMER2_KEY_MAX)
10722d60b848STomohiro Kusumi xop->collect_key = lokey;
10732d60b848STomohiro Kusumi else
10742d60b848STomohiro Kusumi xop->collect_key = lokey + 1;
10752d60b848STomohiro Kusumi done:
10762d60b848STomohiro Kusumi return error;
10772d60b848STomohiro Kusumi }
10782d60b848STomohiro Kusumi
10792d60b848STomohiro Kusumi /*
10802d60b848STomohiro Kusumi * N x M processing threads are available to handle XOPs, N per cluster
10812d60b848STomohiro Kusumi * index x M cluster nodes.
10822d60b848STomohiro Kusumi *
10832d60b848STomohiro Kusumi * Locate and return the next runnable xop, or NULL if no xops are
10842d60b848STomohiro Kusumi * present or none of the xops are currently runnable (for various reasons).
10852d60b848STomohiro Kusumi * The xop is left on the queue and serves to block other dependent xops
10862d60b848STomohiro Kusumi * from being run.
10872d60b848STomohiro Kusumi *
10882d60b848STomohiro Kusumi * Dependent xops will not be returned.
10892d60b848STomohiro Kusumi *
10902d60b848STomohiro Kusumi * Sets HAMMER2_XOP_FIFO_RUN on the returned xop or returns NULL.
10912d60b848STomohiro Kusumi *
10922d60b848STomohiro Kusumi * NOTE! Xops run concurrently for each cluster index.
10932d60b848STomohiro Kusumi */
10942d60b848STomohiro Kusumi #define XOP_HASH_SIZE 16
10952d60b848STomohiro Kusumi #define XOP_HASH_MASK (XOP_HASH_SIZE - 1)
10962d60b848STomohiro Kusumi
10972d60b848STomohiro Kusumi static __inline
10982d60b848STomohiro Kusumi int
xop_testhash(hammer2_thread_t * thr,hammer2_inode_t * ip,uint32_t * hash)10992d60b848STomohiro Kusumi xop_testhash(hammer2_thread_t *thr, hammer2_inode_t *ip, uint32_t *hash)
11002d60b848STomohiro Kusumi {
11012d60b848STomohiro Kusumi uint32_t mask;
11022d60b848STomohiro Kusumi int hv;
11032d60b848STomohiro Kusumi
11042d60b848STomohiro Kusumi hv = (int)((uintptr_t)ip + (uintptr_t)thr) / sizeof(hammer2_inode_t);
11052d60b848STomohiro Kusumi mask = 1U << (hv & 31);
11062d60b848STomohiro Kusumi hv >>= 5;
11072d60b848STomohiro Kusumi
11082d60b848STomohiro Kusumi return ((int)(hash[hv & XOP_HASH_MASK] & mask));
11092d60b848STomohiro Kusumi }
11102d60b848STomohiro Kusumi
11112d60b848STomohiro Kusumi static __inline
11122d60b848STomohiro Kusumi void
xop_sethash(hammer2_thread_t * thr,hammer2_inode_t * ip,uint32_t * hash)11132d60b848STomohiro Kusumi xop_sethash(hammer2_thread_t *thr, hammer2_inode_t *ip, uint32_t *hash)
11142d60b848STomohiro Kusumi {
11152d60b848STomohiro Kusumi uint32_t mask;
11162d60b848STomohiro Kusumi int hv;
11172d60b848STomohiro Kusumi
11182d60b848STomohiro Kusumi hv = (int)((uintptr_t)ip + (uintptr_t)thr) / sizeof(hammer2_inode_t);
11192d60b848STomohiro Kusumi mask = 1U << (hv & 31);
11202d60b848STomohiro Kusumi hv >>= 5;
11212d60b848STomohiro Kusumi
11222d60b848STomohiro Kusumi hash[hv & XOP_HASH_MASK] |= mask;
11232d60b848STomohiro Kusumi }
11242d60b848STomohiro Kusumi
11252d60b848STomohiro Kusumi static
11262d60b848STomohiro Kusumi hammer2_xop_head_t *
hammer2_xop_next(hammer2_thread_t * thr)11272d60b848STomohiro Kusumi hammer2_xop_next(hammer2_thread_t *thr)
11282d60b848STomohiro Kusumi {
11292d60b848STomohiro Kusumi hammer2_pfs_t *pmp = thr->pmp;
11302d60b848STomohiro Kusumi int clindex = thr->clindex;
11312d60b848STomohiro Kusumi uint32_t hash[XOP_HASH_SIZE] = { 0 };
11322d60b848STomohiro Kusumi hammer2_xop_head_t *xop;
11332d60b848STomohiro Kusumi
11342d60b848STomohiro Kusumi hammer2_spin_ex(&pmp->xop_spin);
11352d60b848STomohiro Kusumi TAILQ_FOREACH(xop, &thr->xopq, collect[clindex].entry) {
11362d60b848STomohiro Kusumi /*
11372d60b848STomohiro Kusumi * Check dependency
11382d60b848STomohiro Kusumi */
11392d60b848STomohiro Kusumi if (xop_testhash(thr, xop->ip1, hash) ||
11402d60b848STomohiro Kusumi (xop->ip2 && xop_testhash(thr, xop->ip2, hash)) ||
11412d60b848STomohiro Kusumi (xop->ip3 && xop_testhash(thr, xop->ip3, hash)) ||
11422d60b848STomohiro Kusumi (xop->ip4 && xop_testhash(thr, xop->ip4, hash)))
11432d60b848STomohiro Kusumi {
11442d60b848STomohiro Kusumi continue;
11452d60b848STomohiro Kusumi }
11462d60b848STomohiro Kusumi xop_sethash(thr, xop->ip1, hash);
11472d60b848STomohiro Kusumi if (xop->ip2)
11482d60b848STomohiro Kusumi xop_sethash(thr, xop->ip2, hash);
11492d60b848STomohiro Kusumi if (xop->ip3)
11502d60b848STomohiro Kusumi xop_sethash(thr, xop->ip3, hash);
11512d60b848STomohiro Kusumi if (xop->ip4)
11522d60b848STomohiro Kusumi xop_sethash(thr, xop->ip4, hash);
11532d60b848STomohiro Kusumi
11542d60b848STomohiro Kusumi /*
11552d60b848STomohiro Kusumi * Check already running
11562d60b848STomohiro Kusumi */
11572d60b848STomohiro Kusumi if (xop->collect[clindex].flags & HAMMER2_XOP_FIFO_RUN)
11582d60b848STomohiro Kusumi continue;
11592d60b848STomohiro Kusumi
11602d60b848STomohiro Kusumi /*
11612d60b848STomohiro Kusumi * Found a good one, return it.
11622d60b848STomohiro Kusumi */
11632d60b848STomohiro Kusumi atomic_set_int(&xop->collect[clindex].flags,
11642d60b848STomohiro Kusumi HAMMER2_XOP_FIFO_RUN);
11652d60b848STomohiro Kusumi break;
11662d60b848STomohiro Kusumi }
11672d60b848STomohiro Kusumi hammer2_spin_unex(&pmp->xop_spin);
11682d60b848STomohiro Kusumi
11692d60b848STomohiro Kusumi return xop;
11702d60b848STomohiro Kusumi }
11712d60b848STomohiro Kusumi
11722d60b848STomohiro Kusumi /*
11732d60b848STomohiro Kusumi * Remove the completed XOP from the queue, clear HAMMER2_XOP_FIFO_RUN.
11742d60b848STomohiro Kusumi *
11752d60b848STomohiro Kusumi * NOTE! Xops run concurrently for each cluster index.
11762d60b848STomohiro Kusumi */
11772d60b848STomohiro Kusumi static
11782d60b848STomohiro Kusumi void
hammer2_xop_dequeue(hammer2_thread_t * thr,hammer2_xop_head_t * xop)11792d60b848STomohiro Kusumi hammer2_xop_dequeue(hammer2_thread_t *thr, hammer2_xop_head_t *xop)
11802d60b848STomohiro Kusumi {
11812d60b848STomohiro Kusumi hammer2_pfs_t *pmp = thr->pmp;
11822d60b848STomohiro Kusumi int clindex = thr->clindex;
11832d60b848STomohiro Kusumi
11842d60b848STomohiro Kusumi hammer2_spin_ex(&pmp->xop_spin);
11852d60b848STomohiro Kusumi TAILQ_REMOVE(&thr->xopq, xop, collect[clindex].entry);
11862d60b848STomohiro Kusumi atomic_clear_int(&xop->collect[clindex].flags,
11872d60b848STomohiro Kusumi HAMMER2_XOP_FIFO_RUN);
11882d60b848STomohiro Kusumi hammer2_spin_unex(&pmp->xop_spin);
11892d60b848STomohiro Kusumi if (TAILQ_FIRST(&thr->xopq))
11902d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_XOPQ);
11912d60b848STomohiro Kusumi }
11922d60b848STomohiro Kusumi
11932d60b848STomohiro Kusumi /*
11942d60b848STomohiro Kusumi * Primary management thread for xops support. Each node has several such
11952d60b848STomohiro Kusumi * threads which replicate front-end operations on cluster nodes.
11962d60b848STomohiro Kusumi *
11972d60b848STomohiro Kusumi * XOPS thread node operations, allowing the function to focus on a single
11982d60b848STomohiro Kusumi * node in the cluster after validating the operation with the cluster.
11992d60b848STomohiro Kusumi * This is primarily what prevents dead or stalled nodes from stalling
12002d60b848STomohiro Kusumi * the front-end.
12012d60b848STomohiro Kusumi */
12022d60b848STomohiro Kusumi void
hammer2_primary_xops_thread(void * arg)12032d60b848STomohiro Kusumi hammer2_primary_xops_thread(void *arg)
12042d60b848STomohiro Kusumi {
12052d60b848STomohiro Kusumi hammer2_thread_t *thr = arg;
12062d60b848STomohiro Kusumi hammer2_xop_head_t *xop;
12072d60b848STomohiro Kusumi uint64_t mask;
12082d60b848STomohiro Kusumi uint32_t flags;
12092d60b848STomohiro Kusumi uint32_t nflags;
12102d60b848STomohiro Kusumi
12112d60b848STomohiro Kusumi mask = 1LLU << thr->clindex;
12122d60b848STomohiro Kusumi
12132d60b848STomohiro Kusumi for (;;) {
12142d60b848STomohiro Kusumi flags = thr->flags;
12152d60b848STomohiro Kusumi
12162d60b848STomohiro Kusumi /*
12172d60b848STomohiro Kusumi * Handle stop request
12182d60b848STomohiro Kusumi */
12192d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_STOP)
12202d60b848STomohiro Kusumi break;
12212d60b848STomohiro Kusumi
12222d60b848STomohiro Kusumi /*
12232d60b848STomohiro Kusumi * Handle freeze request
12242d60b848STomohiro Kusumi */
12252d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_FREEZE) {
12262d60b848STomohiro Kusumi hammer2_thr_signal2(thr, HAMMER2_THREAD_FROZEN,
12272d60b848STomohiro Kusumi HAMMER2_THREAD_FREEZE);
12282d60b848STomohiro Kusumi continue;
12292d60b848STomohiro Kusumi }
12302d60b848STomohiro Kusumi
12312d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_UNFREEZE) {
12322d60b848STomohiro Kusumi hammer2_thr_signal2(thr, 0,
12332d60b848STomohiro Kusumi HAMMER2_THREAD_FROZEN |
12342d60b848STomohiro Kusumi HAMMER2_THREAD_UNFREEZE);
12352d60b848STomohiro Kusumi continue;
12362d60b848STomohiro Kusumi }
12372d60b848STomohiro Kusumi
12382d60b848STomohiro Kusumi /*
12392d60b848STomohiro Kusumi * Force idle if frozen until unfrozen or stopped.
12402d60b848STomohiro Kusumi */
12412d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_FROZEN) {
12422d60b848STomohiro Kusumi hammer2_thr_wait_any(thr,
12432d60b848STomohiro Kusumi HAMMER2_THREAD_UNFREEZE |
12442d60b848STomohiro Kusumi HAMMER2_THREAD_STOP,
12452d60b848STomohiro Kusumi 0);
12462d60b848STomohiro Kusumi continue;
12472d60b848STomohiro Kusumi }
12482d60b848STomohiro Kusumi
12492d60b848STomohiro Kusumi /*
12502d60b848STomohiro Kusumi * Reset state on REMASTER request
12512d60b848STomohiro Kusumi */
12522d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_REMASTER) {
12532d60b848STomohiro Kusumi hammer2_thr_signal2(thr, 0, HAMMER2_THREAD_REMASTER);
12542d60b848STomohiro Kusumi /* reset state here */
12552d60b848STomohiro Kusumi continue;
12562d60b848STomohiro Kusumi }
12572d60b848STomohiro Kusumi
12582d60b848STomohiro Kusumi /*
12592d60b848STomohiro Kusumi * Process requests. Each request can be multi-queued.
12602d60b848STomohiro Kusumi *
12612d60b848STomohiro Kusumi * If we get behind and the frontend VOP is no longer active,
12622d60b848STomohiro Kusumi * we retire the request without processing it. The callback
12632d60b848STomohiro Kusumi * may also abort processing if the frontend VOP becomes
12642d60b848STomohiro Kusumi * inactive.
12652d60b848STomohiro Kusumi */
12662d60b848STomohiro Kusumi if (flags & HAMMER2_THREAD_XOPQ) {
12672d60b848STomohiro Kusumi nflags = flags & ~HAMMER2_THREAD_XOPQ;
12682d60b848STomohiro Kusumi if (!atomic_cmpset_int(&thr->flags, flags, nflags))
12692d60b848STomohiro Kusumi continue;
12702d60b848STomohiro Kusumi flags = nflags;
12712d60b848STomohiro Kusumi /* fall through */
12722d60b848STomohiro Kusumi }
12732d60b848STomohiro Kusumi while ((xop = hammer2_xop_next(thr)) != NULL) {
12742d60b848STomohiro Kusumi if (hammer2_xop_active(xop)) {
12752d60b848STomohiro Kusumi xop->desc->storage_func((hammer2_xop_t *)xop,
12762d60b848STomohiro Kusumi thr->scratch,
12772d60b848STomohiro Kusumi thr->clindex);
12782d60b848STomohiro Kusumi hammer2_xop_dequeue(thr, xop);
12792d60b848STomohiro Kusumi hammer2_xop_retire(xop, mask);
12802d60b848STomohiro Kusumi } else {
12812d60b848STomohiro Kusumi hammer2_xop_feed(xop, NULL, thr->clindex,
12822d60b848STomohiro Kusumi ECONNABORTED);
12832d60b848STomohiro Kusumi hammer2_xop_dequeue(thr, xop);
12842d60b848STomohiro Kusumi hammer2_xop_retire(xop, mask);
12852d60b848STomohiro Kusumi }
12862d60b848STomohiro Kusumi }
12872d60b848STomohiro Kusumi
12882d60b848STomohiro Kusumi /* Don't wait, this is a XOP caller thread in makefs */
12892d60b848STomohiro Kusumi break;
12902d60b848STomohiro Kusumi
12912d60b848STomohiro Kusumi /*
12922d60b848STomohiro Kusumi * Wait for event, interlock using THREAD_WAITING and
12932d60b848STomohiro Kusumi * THREAD_SIGNAL.
12942d60b848STomohiro Kusumi *
12952d60b848STomohiro Kusumi * For robustness poll on a 30-second interval, but nominally
12962d60b848STomohiro Kusumi * expect to be woken up.
12972d60b848STomohiro Kusumi */
12982d60b848STomohiro Kusumi nflags = flags | HAMMER2_THREAD_WAITING;
12992d60b848STomohiro Kusumi
13002d60b848STomohiro Kusumi tsleep_interlock(&thr->flags, 0);
13012d60b848STomohiro Kusumi if (atomic_cmpset_int(&thr->flags, flags, nflags)) {
13022d60b848STomohiro Kusumi tsleep(&thr->flags, PINTERLOCKED, "h2idle", hz*30);
13032d60b848STomohiro Kusumi }
13042d60b848STomohiro Kusumi }
13052d60b848STomohiro Kusumi
13062d60b848STomohiro Kusumi #if 0
13072d60b848STomohiro Kusumi /*
13082d60b848STomohiro Kusumi * Cleanup / termination
13092d60b848STomohiro Kusumi */
13102d60b848STomohiro Kusumi while ((xop = TAILQ_FIRST(&thr->xopq)) != NULL) {
13112d60b848STomohiro Kusumi kprintf("hammer2_thread: aborting xop %s\n", xop->desc->id);
13122d60b848STomohiro Kusumi TAILQ_REMOVE(&thr->xopq, xop,
13132d60b848STomohiro Kusumi collect[thr->clindex].entry);
13142d60b848STomohiro Kusumi hammer2_xop_retire(xop, mask);
13152d60b848STomohiro Kusumi }
13162d60b848STomohiro Kusumi #endif
13172d60b848STomohiro Kusumi thr->td = NULL;
13182d60b848STomohiro Kusumi hammer2_thr_signal(thr, HAMMER2_THREAD_STOPPED);
13192d60b848STomohiro Kusumi /* thr structure can go invalid after this point */
13202d60b848STomohiro Kusumi }
1321