1eda14cbcSMatt Macy /* 2eda14cbcSMatt Macy * CDDL HEADER START 3eda14cbcSMatt Macy * 4eda14cbcSMatt Macy * The contents of this file are subject to the terms of the 5eda14cbcSMatt Macy * Common Development and Distribution License (the "License"). 6eda14cbcSMatt Macy * You may not use this file except in compliance with the License. 7eda14cbcSMatt Macy * 8eda14cbcSMatt Macy * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 9eda14cbcSMatt Macy * or http://www.opensolaris.org/os/licensing. 10eda14cbcSMatt Macy * See the License for the specific language governing permissions 11eda14cbcSMatt Macy * and limitations under the License. 12eda14cbcSMatt Macy * 13eda14cbcSMatt Macy * When distributing Covered Code, include this CDDL HEADER in each 14eda14cbcSMatt Macy * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 15eda14cbcSMatt Macy * If applicable, add the following below this CDDL HEADER, with the 16eda14cbcSMatt Macy * fields enclosed by brackets "[]" replaced with your own identifying 17eda14cbcSMatt Macy * information: Portions Copyright [yyyy] [name of copyright owner] 18eda14cbcSMatt Macy * 19eda14cbcSMatt Macy * CDDL HEADER END 20eda14cbcSMatt Macy */ 21eda14cbcSMatt Macy /* 22eda14cbcSMatt Macy * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved. 23eda14cbcSMatt Macy * Copyright 2011 Nexenta Systems, Inc. All rights reserved. 24eda14cbcSMatt Macy * Copyright (c) 2012, 2017 by Delphix. All rights reserved. 25eda14cbcSMatt Macy */ 26eda14cbcSMatt Macy 27eda14cbcSMatt Macy #include <sys/dmu.h> 28eda14cbcSMatt Macy #include <sys/dmu_impl.h> 29eda14cbcSMatt Macy #include <sys/dbuf.h> 30eda14cbcSMatt Macy #include <sys/dmu_tx.h> 31eda14cbcSMatt Macy #include <sys/dmu_objset.h> 32eda14cbcSMatt Macy #include <sys/dsl_dataset.h> 33eda14cbcSMatt Macy #include <sys/dsl_dir.h> 34eda14cbcSMatt Macy #include <sys/dsl_pool.h> 35eda14cbcSMatt Macy #include <sys/zap_impl.h> 36eda14cbcSMatt Macy #include <sys/spa.h> 37eda14cbcSMatt Macy #include <sys/sa.h> 38eda14cbcSMatt Macy #include <sys/sa_impl.h> 39eda14cbcSMatt Macy #include <sys/zfs_context.h> 40eda14cbcSMatt Macy #include <sys/trace_zfs.h> 41eda14cbcSMatt Macy 42eda14cbcSMatt Macy typedef void (*dmu_tx_hold_func_t)(dmu_tx_t *tx, struct dnode *dn, 43eda14cbcSMatt Macy uint64_t arg1, uint64_t arg2); 44eda14cbcSMatt Macy 45eda14cbcSMatt Macy dmu_tx_stats_t dmu_tx_stats = { 46eda14cbcSMatt Macy { "dmu_tx_assigned", KSTAT_DATA_UINT64 }, 47eda14cbcSMatt Macy { "dmu_tx_delay", KSTAT_DATA_UINT64 }, 48eda14cbcSMatt Macy { "dmu_tx_error", KSTAT_DATA_UINT64 }, 49eda14cbcSMatt Macy { "dmu_tx_suspended", KSTAT_DATA_UINT64 }, 50eda14cbcSMatt Macy { "dmu_tx_group", KSTAT_DATA_UINT64 }, 51eda14cbcSMatt Macy { "dmu_tx_memory_reserve", KSTAT_DATA_UINT64 }, 52eda14cbcSMatt Macy { "dmu_tx_memory_reclaim", KSTAT_DATA_UINT64 }, 53eda14cbcSMatt Macy { "dmu_tx_dirty_throttle", KSTAT_DATA_UINT64 }, 54eda14cbcSMatt Macy { "dmu_tx_dirty_delay", KSTAT_DATA_UINT64 }, 55eda14cbcSMatt Macy { "dmu_tx_dirty_over_max", KSTAT_DATA_UINT64 }, 563f9d360cSMartin Matuska { "dmu_tx_wrlog_over_max", KSTAT_DATA_UINT64 }, 57eda14cbcSMatt Macy { "dmu_tx_dirty_frees_delay", KSTAT_DATA_UINT64 }, 58eda14cbcSMatt Macy { "dmu_tx_quota", KSTAT_DATA_UINT64 }, 59eda14cbcSMatt Macy }; 60eda14cbcSMatt Macy 61eda14cbcSMatt Macy static kstat_t *dmu_tx_ksp; 62eda14cbcSMatt Macy 63eda14cbcSMatt Macy dmu_tx_t * 64eda14cbcSMatt Macy dmu_tx_create_dd(dsl_dir_t *dd) 65eda14cbcSMatt Macy { 66eda14cbcSMatt Macy dmu_tx_t *tx = kmem_zalloc(sizeof (dmu_tx_t), KM_SLEEP); 67eda14cbcSMatt Macy tx->tx_dir = dd; 68eda14cbcSMatt Macy if (dd != NULL) 69eda14cbcSMatt Macy tx->tx_pool = dd->dd_pool; 70eda14cbcSMatt Macy list_create(&tx->tx_holds, sizeof (dmu_tx_hold_t), 71eda14cbcSMatt Macy offsetof(dmu_tx_hold_t, txh_node)); 72eda14cbcSMatt Macy list_create(&tx->tx_callbacks, sizeof (dmu_tx_callback_t), 73eda14cbcSMatt Macy offsetof(dmu_tx_callback_t, dcb_node)); 74eda14cbcSMatt Macy tx->tx_start = gethrtime(); 75eda14cbcSMatt Macy return (tx); 76eda14cbcSMatt Macy } 77eda14cbcSMatt Macy 78eda14cbcSMatt Macy dmu_tx_t * 79eda14cbcSMatt Macy dmu_tx_create(objset_t *os) 80eda14cbcSMatt Macy { 81eda14cbcSMatt Macy dmu_tx_t *tx = dmu_tx_create_dd(os->os_dsl_dataset->ds_dir); 82eda14cbcSMatt Macy tx->tx_objset = os; 83eda14cbcSMatt Macy return (tx); 84eda14cbcSMatt Macy } 85eda14cbcSMatt Macy 86eda14cbcSMatt Macy dmu_tx_t * 87eda14cbcSMatt Macy dmu_tx_create_assigned(struct dsl_pool *dp, uint64_t txg) 88eda14cbcSMatt Macy { 89eda14cbcSMatt Macy dmu_tx_t *tx = dmu_tx_create_dd(NULL); 90eda14cbcSMatt Macy 91eda14cbcSMatt Macy TXG_VERIFY(dp->dp_spa, txg); 92eda14cbcSMatt Macy tx->tx_pool = dp; 93eda14cbcSMatt Macy tx->tx_txg = txg; 94eda14cbcSMatt Macy tx->tx_anyobj = TRUE; 95eda14cbcSMatt Macy 96eda14cbcSMatt Macy return (tx); 97eda14cbcSMatt Macy } 98eda14cbcSMatt Macy 99eda14cbcSMatt Macy int 100eda14cbcSMatt Macy dmu_tx_is_syncing(dmu_tx_t *tx) 101eda14cbcSMatt Macy { 102eda14cbcSMatt Macy return (tx->tx_anyobj); 103eda14cbcSMatt Macy } 104eda14cbcSMatt Macy 105eda14cbcSMatt Macy int 106eda14cbcSMatt Macy dmu_tx_private_ok(dmu_tx_t *tx) 107eda14cbcSMatt Macy { 108eda14cbcSMatt Macy return (tx->tx_anyobj); 109eda14cbcSMatt Macy } 110eda14cbcSMatt Macy 111eda14cbcSMatt Macy static dmu_tx_hold_t * 112eda14cbcSMatt Macy dmu_tx_hold_dnode_impl(dmu_tx_t *tx, dnode_t *dn, enum dmu_tx_hold_type type, 113eda14cbcSMatt Macy uint64_t arg1, uint64_t arg2) 114eda14cbcSMatt Macy { 115eda14cbcSMatt Macy dmu_tx_hold_t *txh; 116eda14cbcSMatt Macy 117eda14cbcSMatt Macy if (dn != NULL) { 118eda14cbcSMatt Macy (void) zfs_refcount_add(&dn->dn_holds, tx); 119eda14cbcSMatt Macy if (tx->tx_txg != 0) { 120eda14cbcSMatt Macy mutex_enter(&dn->dn_mtx); 121eda14cbcSMatt Macy /* 122eda14cbcSMatt Macy * dn->dn_assigned_txg == tx->tx_txg doesn't pose a 123eda14cbcSMatt Macy * problem, but there's no way for it to happen (for 124eda14cbcSMatt Macy * now, at least). 125eda14cbcSMatt Macy */ 126eda14cbcSMatt Macy ASSERT(dn->dn_assigned_txg == 0); 127eda14cbcSMatt Macy dn->dn_assigned_txg = tx->tx_txg; 128eda14cbcSMatt Macy (void) zfs_refcount_add(&dn->dn_tx_holds, tx); 129eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 130eda14cbcSMatt Macy } 131eda14cbcSMatt Macy } 132eda14cbcSMatt Macy 133eda14cbcSMatt Macy txh = kmem_zalloc(sizeof (dmu_tx_hold_t), KM_SLEEP); 134eda14cbcSMatt Macy txh->txh_tx = tx; 135eda14cbcSMatt Macy txh->txh_dnode = dn; 136eda14cbcSMatt Macy zfs_refcount_create(&txh->txh_space_towrite); 137eda14cbcSMatt Macy zfs_refcount_create(&txh->txh_memory_tohold); 138eda14cbcSMatt Macy txh->txh_type = type; 139eda14cbcSMatt Macy txh->txh_arg1 = arg1; 140eda14cbcSMatt Macy txh->txh_arg2 = arg2; 141eda14cbcSMatt Macy list_insert_tail(&tx->tx_holds, txh); 142eda14cbcSMatt Macy 143eda14cbcSMatt Macy return (txh); 144eda14cbcSMatt Macy } 145eda14cbcSMatt Macy 146eda14cbcSMatt Macy static dmu_tx_hold_t * 147eda14cbcSMatt Macy dmu_tx_hold_object_impl(dmu_tx_t *tx, objset_t *os, uint64_t object, 148eda14cbcSMatt Macy enum dmu_tx_hold_type type, uint64_t arg1, uint64_t arg2) 149eda14cbcSMatt Macy { 150eda14cbcSMatt Macy dnode_t *dn = NULL; 151eda14cbcSMatt Macy dmu_tx_hold_t *txh; 152eda14cbcSMatt Macy int err; 153eda14cbcSMatt Macy 154eda14cbcSMatt Macy if (object != DMU_NEW_OBJECT) { 155eda14cbcSMatt Macy err = dnode_hold(os, object, FTAG, &dn); 156eda14cbcSMatt Macy if (err != 0) { 157eda14cbcSMatt Macy tx->tx_err = err; 158eda14cbcSMatt Macy return (NULL); 159eda14cbcSMatt Macy } 160eda14cbcSMatt Macy } 161eda14cbcSMatt Macy txh = dmu_tx_hold_dnode_impl(tx, dn, type, arg1, arg2); 162eda14cbcSMatt Macy if (dn != NULL) 163eda14cbcSMatt Macy dnode_rele(dn, FTAG); 164eda14cbcSMatt Macy return (txh); 165eda14cbcSMatt Macy } 166eda14cbcSMatt Macy 167eda14cbcSMatt Macy void 168eda14cbcSMatt Macy dmu_tx_add_new_object(dmu_tx_t *tx, dnode_t *dn) 169eda14cbcSMatt Macy { 170eda14cbcSMatt Macy /* 171eda14cbcSMatt Macy * If we're syncing, they can manipulate any object anyhow, and 172eda14cbcSMatt Macy * the hold on the dnode_t can cause problems. 173eda14cbcSMatt Macy */ 174eda14cbcSMatt Macy if (!dmu_tx_is_syncing(tx)) 175eda14cbcSMatt Macy (void) dmu_tx_hold_dnode_impl(tx, dn, THT_NEWOBJECT, 0, 0); 176eda14cbcSMatt Macy } 177eda14cbcSMatt Macy 178eda14cbcSMatt Macy /* 179eda14cbcSMatt Macy * This function reads specified data from disk. The specified data will 180eda14cbcSMatt Macy * be needed to perform the transaction -- i.e, it will be read after 181eda14cbcSMatt Macy * we do dmu_tx_assign(). There are two reasons that we read the data now 182eda14cbcSMatt Macy * (before dmu_tx_assign()): 183eda14cbcSMatt Macy * 184eda14cbcSMatt Macy * 1. Reading it now has potentially better performance. The transaction 185eda14cbcSMatt Macy * has not yet been assigned, so the TXG is not held open, and also the 186eda14cbcSMatt Macy * caller typically has less locks held when calling dmu_tx_hold_*() than 187eda14cbcSMatt Macy * after the transaction has been assigned. This reduces the lock (and txg) 188eda14cbcSMatt Macy * hold times, thus reducing lock contention. 189eda14cbcSMatt Macy * 190eda14cbcSMatt Macy * 2. It is easier for callers (primarily the ZPL) to handle i/o errors 191eda14cbcSMatt Macy * that are detected before they start making changes to the DMU state 192eda14cbcSMatt Macy * (i.e. now). Once the transaction has been assigned, and some DMU 193eda14cbcSMatt Macy * state has been changed, it can be difficult to recover from an i/o 194eda14cbcSMatt Macy * error (e.g. to undo the changes already made in memory at the DMU 195eda14cbcSMatt Macy * layer). Typically code to do so does not exist in the caller -- it 196eda14cbcSMatt Macy * assumes that the data has already been cached and thus i/o errors are 197eda14cbcSMatt Macy * not possible. 198eda14cbcSMatt Macy * 199eda14cbcSMatt Macy * It has been observed that the i/o initiated here can be a performance 200eda14cbcSMatt Macy * problem, and it appears to be optional, because we don't look at the 201eda14cbcSMatt Macy * data which is read. However, removing this read would only serve to 202eda14cbcSMatt Macy * move the work elsewhere (after the dmu_tx_assign()), where it may 203eda14cbcSMatt Macy * have a greater impact on performance (in addition to the impact on 204eda14cbcSMatt Macy * fault tolerance noted above). 205eda14cbcSMatt Macy */ 206eda14cbcSMatt Macy static int 207eda14cbcSMatt Macy dmu_tx_check_ioerr(zio_t *zio, dnode_t *dn, int level, uint64_t blkid) 208eda14cbcSMatt Macy { 209eda14cbcSMatt Macy int err; 210eda14cbcSMatt Macy dmu_buf_impl_t *db; 211eda14cbcSMatt Macy 212eda14cbcSMatt Macy rw_enter(&dn->dn_struct_rwlock, RW_READER); 213eda14cbcSMatt Macy db = dbuf_hold_level(dn, level, blkid, FTAG); 214eda14cbcSMatt Macy rw_exit(&dn->dn_struct_rwlock); 215eda14cbcSMatt Macy if (db == NULL) 216eda14cbcSMatt Macy return (SET_ERROR(EIO)); 217eda14cbcSMatt Macy err = dbuf_read(db, zio, DB_RF_CANFAIL | DB_RF_NOPREFETCH); 218eda14cbcSMatt Macy dbuf_rele(db, FTAG); 219eda14cbcSMatt Macy return (err); 220eda14cbcSMatt Macy } 221eda14cbcSMatt Macy 222eda14cbcSMatt Macy /* ARGSUSED */ 223eda14cbcSMatt Macy static void 224eda14cbcSMatt Macy dmu_tx_count_write(dmu_tx_hold_t *txh, uint64_t off, uint64_t len) 225eda14cbcSMatt Macy { 226eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 227eda14cbcSMatt Macy int err = 0; 228eda14cbcSMatt Macy 229eda14cbcSMatt Macy if (len == 0) 230eda14cbcSMatt Macy return; 231eda14cbcSMatt Macy 232eda14cbcSMatt Macy (void) zfs_refcount_add_many(&txh->txh_space_towrite, len, FTAG); 233eda14cbcSMatt Macy 234eda14cbcSMatt Macy if (dn == NULL) 235eda14cbcSMatt Macy return; 236eda14cbcSMatt Macy 237eda14cbcSMatt Macy /* 238eda14cbcSMatt Macy * For i/o error checking, read the blocks that will be needed 239eda14cbcSMatt Macy * to perform the write: the first and last level-0 blocks (if 240eda14cbcSMatt Macy * they are not aligned, i.e. if they are partial-block writes), 241eda14cbcSMatt Macy * and all the level-1 blocks. 242eda14cbcSMatt Macy */ 243eda14cbcSMatt Macy if (dn->dn_maxblkid == 0) { 244eda14cbcSMatt Macy if (off < dn->dn_datablksz && 245eda14cbcSMatt Macy (off > 0 || len < dn->dn_datablksz)) { 246eda14cbcSMatt Macy err = dmu_tx_check_ioerr(NULL, dn, 0, 0); 247eda14cbcSMatt Macy if (err != 0) { 248eda14cbcSMatt Macy txh->txh_tx->tx_err = err; 249eda14cbcSMatt Macy } 250eda14cbcSMatt Macy } 251eda14cbcSMatt Macy } else { 252eda14cbcSMatt Macy zio_t *zio = zio_root(dn->dn_objset->os_spa, 253eda14cbcSMatt Macy NULL, NULL, ZIO_FLAG_CANFAIL); 254eda14cbcSMatt Macy 255eda14cbcSMatt Macy /* first level-0 block */ 256eda14cbcSMatt Macy uint64_t start = off >> dn->dn_datablkshift; 257eda14cbcSMatt Macy if (P2PHASE(off, dn->dn_datablksz) || len < dn->dn_datablksz) { 258eda14cbcSMatt Macy err = dmu_tx_check_ioerr(zio, dn, 0, start); 259eda14cbcSMatt Macy if (err != 0) { 260eda14cbcSMatt Macy txh->txh_tx->tx_err = err; 261eda14cbcSMatt Macy } 262eda14cbcSMatt Macy } 263eda14cbcSMatt Macy 264eda14cbcSMatt Macy /* last level-0 block */ 265eda14cbcSMatt Macy uint64_t end = (off + len - 1) >> dn->dn_datablkshift; 266eda14cbcSMatt Macy if (end != start && end <= dn->dn_maxblkid && 267eda14cbcSMatt Macy P2PHASE(off + len, dn->dn_datablksz)) { 268eda14cbcSMatt Macy err = dmu_tx_check_ioerr(zio, dn, 0, end); 269eda14cbcSMatt Macy if (err != 0) { 270eda14cbcSMatt Macy txh->txh_tx->tx_err = err; 271eda14cbcSMatt Macy } 272eda14cbcSMatt Macy } 273eda14cbcSMatt Macy 274eda14cbcSMatt Macy /* level-1 blocks */ 275eda14cbcSMatt Macy if (dn->dn_nlevels > 1) { 276eda14cbcSMatt Macy int shft = dn->dn_indblkshift - SPA_BLKPTRSHIFT; 277eda14cbcSMatt Macy for (uint64_t i = (start >> shft) + 1; 278eda14cbcSMatt Macy i < end >> shft; i++) { 279eda14cbcSMatt Macy err = dmu_tx_check_ioerr(zio, dn, 1, i); 280eda14cbcSMatt Macy if (err != 0) { 281eda14cbcSMatt Macy txh->txh_tx->tx_err = err; 282eda14cbcSMatt Macy } 283eda14cbcSMatt Macy } 284eda14cbcSMatt Macy } 285eda14cbcSMatt Macy 286eda14cbcSMatt Macy err = zio_wait(zio); 287eda14cbcSMatt Macy if (err != 0) { 288eda14cbcSMatt Macy txh->txh_tx->tx_err = err; 289eda14cbcSMatt Macy } 290eda14cbcSMatt Macy } 291eda14cbcSMatt Macy } 292eda14cbcSMatt Macy 293eda14cbcSMatt Macy static void 294eda14cbcSMatt Macy dmu_tx_count_dnode(dmu_tx_hold_t *txh) 295eda14cbcSMatt Macy { 296eda14cbcSMatt Macy (void) zfs_refcount_add_many(&txh->txh_space_towrite, 297eda14cbcSMatt Macy DNODE_MIN_SIZE, FTAG); 298eda14cbcSMatt Macy } 299eda14cbcSMatt Macy 300eda14cbcSMatt Macy void 301eda14cbcSMatt Macy dmu_tx_hold_write(dmu_tx_t *tx, uint64_t object, uint64_t off, int len) 302eda14cbcSMatt Macy { 303eda14cbcSMatt Macy dmu_tx_hold_t *txh; 304eda14cbcSMatt Macy 305eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 306eda14cbcSMatt Macy ASSERT3U(len, <=, DMU_MAX_ACCESS); 307eda14cbcSMatt Macy ASSERT(len == 0 || UINT64_MAX - off >= len - 1); 308eda14cbcSMatt Macy 309eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, 310eda14cbcSMatt Macy object, THT_WRITE, off, len); 311eda14cbcSMatt Macy if (txh != NULL) { 312eda14cbcSMatt Macy dmu_tx_count_write(txh, off, len); 313eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 314eda14cbcSMatt Macy } 315eda14cbcSMatt Macy } 316eda14cbcSMatt Macy 317eda14cbcSMatt Macy void 318eda14cbcSMatt Macy dmu_tx_hold_write_by_dnode(dmu_tx_t *tx, dnode_t *dn, uint64_t off, int len) 319eda14cbcSMatt Macy { 320eda14cbcSMatt Macy dmu_tx_hold_t *txh; 321eda14cbcSMatt Macy 322eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 323eda14cbcSMatt Macy ASSERT3U(len, <=, DMU_MAX_ACCESS); 324eda14cbcSMatt Macy ASSERT(len == 0 || UINT64_MAX - off >= len - 1); 325eda14cbcSMatt Macy 326eda14cbcSMatt Macy txh = dmu_tx_hold_dnode_impl(tx, dn, THT_WRITE, off, len); 327eda14cbcSMatt Macy if (txh != NULL) { 328eda14cbcSMatt Macy dmu_tx_count_write(txh, off, len); 329eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 330eda14cbcSMatt Macy } 331eda14cbcSMatt Macy } 332eda14cbcSMatt Macy 333eda14cbcSMatt Macy /* 334eda14cbcSMatt Macy * This function marks the transaction as being a "net free". The end 335eda14cbcSMatt Macy * result is that refquotas will be disabled for this transaction, and 336eda14cbcSMatt Macy * this transaction will be able to use half of the pool space overhead 337eda14cbcSMatt Macy * (see dsl_pool_adjustedsize()). Therefore this function should only 338eda14cbcSMatt Macy * be called for transactions that we expect will not cause a net increase 339eda14cbcSMatt Macy * in the amount of space used (but it's OK if that is occasionally not true). 340eda14cbcSMatt Macy */ 341eda14cbcSMatt Macy void 342eda14cbcSMatt Macy dmu_tx_mark_netfree(dmu_tx_t *tx) 343eda14cbcSMatt Macy { 344eda14cbcSMatt Macy tx->tx_netfree = B_TRUE; 345eda14cbcSMatt Macy } 346eda14cbcSMatt Macy 347eda14cbcSMatt Macy static void 348eda14cbcSMatt Macy dmu_tx_hold_free_impl(dmu_tx_hold_t *txh, uint64_t off, uint64_t len) 349eda14cbcSMatt Macy { 350eda14cbcSMatt Macy dmu_tx_t *tx = txh->txh_tx; 351eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 352eda14cbcSMatt Macy int err; 353eda14cbcSMatt Macy 354eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 355eda14cbcSMatt Macy 356eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 357eda14cbcSMatt Macy 358eda14cbcSMatt Macy if (off >= (dn->dn_maxblkid + 1) * dn->dn_datablksz) 359eda14cbcSMatt Macy return; 360eda14cbcSMatt Macy if (len == DMU_OBJECT_END) 361eda14cbcSMatt Macy len = (dn->dn_maxblkid + 1) * dn->dn_datablksz - off; 362eda14cbcSMatt Macy 363eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 364eda14cbcSMatt Macy 365eda14cbcSMatt Macy /* 366eda14cbcSMatt Macy * For i/o error checking, we read the first and last level-0 367eda14cbcSMatt Macy * blocks if they are not aligned, and all the level-1 blocks. 368eda14cbcSMatt Macy * 369eda14cbcSMatt Macy * Note: dbuf_free_range() assumes that we have not instantiated 370eda14cbcSMatt Macy * any level-0 dbufs that will be completely freed. Therefore we must 371eda14cbcSMatt Macy * exercise care to not read or count the first and last blocks 372eda14cbcSMatt Macy * if they are blocksize-aligned. 373eda14cbcSMatt Macy */ 374eda14cbcSMatt Macy if (dn->dn_datablkshift == 0) { 375eda14cbcSMatt Macy if (off != 0 || len < dn->dn_datablksz) 376eda14cbcSMatt Macy dmu_tx_count_write(txh, 0, dn->dn_datablksz); 377eda14cbcSMatt Macy } else { 378eda14cbcSMatt Macy /* first block will be modified if it is not aligned */ 379eda14cbcSMatt Macy if (!IS_P2ALIGNED(off, 1 << dn->dn_datablkshift)) 380eda14cbcSMatt Macy dmu_tx_count_write(txh, off, 1); 381eda14cbcSMatt Macy /* last block will be modified if it is not aligned */ 382eda14cbcSMatt Macy if (!IS_P2ALIGNED(off + len, 1 << dn->dn_datablkshift)) 383eda14cbcSMatt Macy dmu_tx_count_write(txh, off + len, 1); 384eda14cbcSMatt Macy } 385eda14cbcSMatt Macy 386eda14cbcSMatt Macy /* 387eda14cbcSMatt Macy * Check level-1 blocks. 388eda14cbcSMatt Macy */ 389eda14cbcSMatt Macy if (dn->dn_nlevels > 1) { 390eda14cbcSMatt Macy int shift = dn->dn_datablkshift + dn->dn_indblkshift - 391eda14cbcSMatt Macy SPA_BLKPTRSHIFT; 392eda14cbcSMatt Macy uint64_t start = off >> shift; 393eda14cbcSMatt Macy uint64_t end = (off + len) >> shift; 394eda14cbcSMatt Macy 395eda14cbcSMatt Macy ASSERT(dn->dn_indblkshift != 0); 396eda14cbcSMatt Macy 397eda14cbcSMatt Macy /* 398eda14cbcSMatt Macy * dnode_reallocate() can result in an object with indirect 399eda14cbcSMatt Macy * blocks having an odd data block size. In this case, 400eda14cbcSMatt Macy * just check the single block. 401eda14cbcSMatt Macy */ 402eda14cbcSMatt Macy if (dn->dn_datablkshift == 0) 403eda14cbcSMatt Macy start = end = 0; 404eda14cbcSMatt Macy 405eda14cbcSMatt Macy zio_t *zio = zio_root(tx->tx_pool->dp_spa, 406eda14cbcSMatt Macy NULL, NULL, ZIO_FLAG_CANFAIL); 407eda14cbcSMatt Macy for (uint64_t i = start; i <= end; i++) { 408eda14cbcSMatt Macy uint64_t ibyte = i << shift; 409eda14cbcSMatt Macy err = dnode_next_offset(dn, 0, &ibyte, 2, 1, 0); 410eda14cbcSMatt Macy i = ibyte >> shift; 411eda14cbcSMatt Macy if (err == ESRCH || i > end) 412eda14cbcSMatt Macy break; 413eda14cbcSMatt Macy if (err != 0) { 414eda14cbcSMatt Macy tx->tx_err = err; 415eda14cbcSMatt Macy (void) zio_wait(zio); 416eda14cbcSMatt Macy return; 417eda14cbcSMatt Macy } 418eda14cbcSMatt Macy 419eda14cbcSMatt Macy (void) zfs_refcount_add_many(&txh->txh_memory_tohold, 420eda14cbcSMatt Macy 1 << dn->dn_indblkshift, FTAG); 421eda14cbcSMatt Macy 422eda14cbcSMatt Macy err = dmu_tx_check_ioerr(zio, dn, 1, i); 423eda14cbcSMatt Macy if (err != 0) { 424eda14cbcSMatt Macy tx->tx_err = err; 425eda14cbcSMatt Macy (void) zio_wait(zio); 426eda14cbcSMatt Macy return; 427eda14cbcSMatt Macy } 428eda14cbcSMatt Macy } 429eda14cbcSMatt Macy err = zio_wait(zio); 430eda14cbcSMatt Macy if (err != 0) { 431eda14cbcSMatt Macy tx->tx_err = err; 432eda14cbcSMatt Macy return; 433eda14cbcSMatt Macy } 434eda14cbcSMatt Macy } 435eda14cbcSMatt Macy } 436eda14cbcSMatt Macy 437eda14cbcSMatt Macy void 438eda14cbcSMatt Macy dmu_tx_hold_free(dmu_tx_t *tx, uint64_t object, uint64_t off, uint64_t len) 439eda14cbcSMatt Macy { 440eda14cbcSMatt Macy dmu_tx_hold_t *txh; 441eda14cbcSMatt Macy 442eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, 443eda14cbcSMatt Macy object, THT_FREE, off, len); 444eda14cbcSMatt Macy if (txh != NULL) 445eda14cbcSMatt Macy (void) dmu_tx_hold_free_impl(txh, off, len); 446eda14cbcSMatt Macy } 447eda14cbcSMatt Macy 448eda14cbcSMatt Macy void 449eda14cbcSMatt Macy dmu_tx_hold_free_by_dnode(dmu_tx_t *tx, dnode_t *dn, uint64_t off, uint64_t len) 450eda14cbcSMatt Macy { 451eda14cbcSMatt Macy dmu_tx_hold_t *txh; 452eda14cbcSMatt Macy 453eda14cbcSMatt Macy txh = dmu_tx_hold_dnode_impl(tx, dn, THT_FREE, off, len); 454eda14cbcSMatt Macy if (txh != NULL) 455eda14cbcSMatt Macy (void) dmu_tx_hold_free_impl(txh, off, len); 456eda14cbcSMatt Macy } 457eda14cbcSMatt Macy 458eda14cbcSMatt Macy static void 459eda14cbcSMatt Macy dmu_tx_hold_zap_impl(dmu_tx_hold_t *txh, const char *name) 460eda14cbcSMatt Macy { 461eda14cbcSMatt Macy dmu_tx_t *tx = txh->txh_tx; 462eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 463eda14cbcSMatt Macy int err; 464eda14cbcSMatt Macy 465eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 466eda14cbcSMatt Macy 467eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 468eda14cbcSMatt Macy 469eda14cbcSMatt Macy /* 470eda14cbcSMatt Macy * Modifying a almost-full microzap is around the worst case (128KB) 471eda14cbcSMatt Macy * 472eda14cbcSMatt Macy * If it is a fat zap, the worst case would be 7*16KB=112KB: 473eda14cbcSMatt Macy * - 3 blocks overwritten: target leaf, ptrtbl block, header block 474eda14cbcSMatt Macy * - 4 new blocks written if adding: 475eda14cbcSMatt Macy * - 2 blocks for possibly split leaves, 476eda14cbcSMatt Macy * - 2 grown ptrtbl blocks 477eda14cbcSMatt Macy */ 478eda14cbcSMatt Macy (void) zfs_refcount_add_many(&txh->txh_space_towrite, 479eda14cbcSMatt Macy MZAP_MAX_BLKSZ, FTAG); 480eda14cbcSMatt Macy 481eda14cbcSMatt Macy if (dn == NULL) 482eda14cbcSMatt Macy return; 483eda14cbcSMatt Macy 484eda14cbcSMatt Macy ASSERT3U(DMU_OT_BYTESWAP(dn->dn_type), ==, DMU_BSWAP_ZAP); 485eda14cbcSMatt Macy 486eda14cbcSMatt Macy if (dn->dn_maxblkid == 0 || name == NULL) { 487eda14cbcSMatt Macy /* 488eda14cbcSMatt Macy * This is a microzap (only one block), or we don't know 489eda14cbcSMatt Macy * the name. Check the first block for i/o errors. 490eda14cbcSMatt Macy */ 491eda14cbcSMatt Macy err = dmu_tx_check_ioerr(NULL, dn, 0, 0); 492eda14cbcSMatt Macy if (err != 0) { 493eda14cbcSMatt Macy tx->tx_err = err; 494eda14cbcSMatt Macy } 495eda14cbcSMatt Macy } else { 496eda14cbcSMatt Macy /* 497eda14cbcSMatt Macy * Access the name so that we'll check for i/o errors to 498eda14cbcSMatt Macy * the leaf blocks, etc. We ignore ENOENT, as this name 499eda14cbcSMatt Macy * may not yet exist. 500eda14cbcSMatt Macy */ 501eda14cbcSMatt Macy err = zap_lookup_by_dnode(dn, name, 8, 0, NULL); 502eda14cbcSMatt Macy if (err == EIO || err == ECKSUM || err == ENXIO) { 503eda14cbcSMatt Macy tx->tx_err = err; 504eda14cbcSMatt Macy } 505eda14cbcSMatt Macy } 506eda14cbcSMatt Macy } 507eda14cbcSMatt Macy 508eda14cbcSMatt Macy void 509eda14cbcSMatt Macy dmu_tx_hold_zap(dmu_tx_t *tx, uint64_t object, int add, const char *name) 510eda14cbcSMatt Macy { 511eda14cbcSMatt Macy dmu_tx_hold_t *txh; 512eda14cbcSMatt Macy 513eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 514eda14cbcSMatt Macy 515eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, 516eda14cbcSMatt Macy object, THT_ZAP, add, (uintptr_t)name); 517eda14cbcSMatt Macy if (txh != NULL) 518eda14cbcSMatt Macy dmu_tx_hold_zap_impl(txh, name); 519eda14cbcSMatt Macy } 520eda14cbcSMatt Macy 521eda14cbcSMatt Macy void 522eda14cbcSMatt Macy dmu_tx_hold_zap_by_dnode(dmu_tx_t *tx, dnode_t *dn, int add, const char *name) 523eda14cbcSMatt Macy { 524eda14cbcSMatt Macy dmu_tx_hold_t *txh; 525eda14cbcSMatt Macy 526eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 527eda14cbcSMatt Macy ASSERT(dn != NULL); 528eda14cbcSMatt Macy 529eda14cbcSMatt Macy txh = dmu_tx_hold_dnode_impl(tx, dn, THT_ZAP, add, (uintptr_t)name); 530eda14cbcSMatt Macy if (txh != NULL) 531eda14cbcSMatt Macy dmu_tx_hold_zap_impl(txh, name); 532eda14cbcSMatt Macy } 533eda14cbcSMatt Macy 534eda14cbcSMatt Macy void 535eda14cbcSMatt Macy dmu_tx_hold_bonus(dmu_tx_t *tx, uint64_t object) 536eda14cbcSMatt Macy { 537eda14cbcSMatt Macy dmu_tx_hold_t *txh; 538eda14cbcSMatt Macy 539eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 540eda14cbcSMatt Macy 541eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, 542eda14cbcSMatt Macy object, THT_BONUS, 0, 0); 543eda14cbcSMatt Macy if (txh) 544eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 545eda14cbcSMatt Macy } 546eda14cbcSMatt Macy 547eda14cbcSMatt Macy void 548eda14cbcSMatt Macy dmu_tx_hold_bonus_by_dnode(dmu_tx_t *tx, dnode_t *dn) 549eda14cbcSMatt Macy { 550eda14cbcSMatt Macy dmu_tx_hold_t *txh; 551eda14cbcSMatt Macy 552eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 553eda14cbcSMatt Macy 554eda14cbcSMatt Macy txh = dmu_tx_hold_dnode_impl(tx, dn, THT_BONUS, 0, 0); 555eda14cbcSMatt Macy if (txh) 556eda14cbcSMatt Macy dmu_tx_count_dnode(txh); 557eda14cbcSMatt Macy } 558eda14cbcSMatt Macy 559eda14cbcSMatt Macy void 560eda14cbcSMatt Macy dmu_tx_hold_space(dmu_tx_t *tx, uint64_t space) 561eda14cbcSMatt Macy { 562eda14cbcSMatt Macy dmu_tx_hold_t *txh; 563eda14cbcSMatt Macy 564eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 565eda14cbcSMatt Macy 566eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, 567eda14cbcSMatt Macy DMU_NEW_OBJECT, THT_SPACE, space, 0); 568eda14cbcSMatt Macy if (txh) { 569eda14cbcSMatt Macy (void) zfs_refcount_add_many( 570eda14cbcSMatt Macy &txh->txh_space_towrite, space, FTAG); 571eda14cbcSMatt Macy } 572eda14cbcSMatt Macy } 573eda14cbcSMatt Macy 574eda14cbcSMatt Macy #ifdef ZFS_DEBUG 575eda14cbcSMatt Macy void 576eda14cbcSMatt Macy dmu_tx_dirty_buf(dmu_tx_t *tx, dmu_buf_impl_t *db) 577eda14cbcSMatt Macy { 578eda14cbcSMatt Macy boolean_t match_object = B_FALSE; 579eda14cbcSMatt Macy boolean_t match_offset = B_FALSE; 580eda14cbcSMatt Macy 581eda14cbcSMatt Macy DB_DNODE_ENTER(db); 582eda14cbcSMatt Macy dnode_t *dn = DB_DNODE(db); 583eda14cbcSMatt Macy ASSERT(tx->tx_txg != 0); 584eda14cbcSMatt Macy ASSERT(tx->tx_objset == NULL || dn->dn_objset == tx->tx_objset); 585eda14cbcSMatt Macy ASSERT3U(dn->dn_object, ==, db->db.db_object); 586eda14cbcSMatt Macy 587eda14cbcSMatt Macy if (tx->tx_anyobj) { 588eda14cbcSMatt Macy DB_DNODE_EXIT(db); 589eda14cbcSMatt Macy return; 590eda14cbcSMatt Macy } 591eda14cbcSMatt Macy 592eda14cbcSMatt Macy /* XXX No checking on the meta dnode for now */ 593eda14cbcSMatt Macy if (db->db.db_object == DMU_META_DNODE_OBJECT) { 594eda14cbcSMatt Macy DB_DNODE_EXIT(db); 595eda14cbcSMatt Macy return; 596eda14cbcSMatt Macy } 597eda14cbcSMatt Macy 598eda14cbcSMatt Macy for (dmu_tx_hold_t *txh = list_head(&tx->tx_holds); txh != NULL; 599eda14cbcSMatt Macy txh = list_next(&tx->tx_holds, txh)) { 600eda14cbcSMatt Macy ASSERT3U(dn->dn_assigned_txg, ==, tx->tx_txg); 601eda14cbcSMatt Macy if (txh->txh_dnode == dn && txh->txh_type != THT_NEWOBJECT) 602eda14cbcSMatt Macy match_object = TRUE; 603eda14cbcSMatt Macy if (txh->txh_dnode == NULL || txh->txh_dnode == dn) { 604eda14cbcSMatt Macy int datablkshift = dn->dn_datablkshift ? 605eda14cbcSMatt Macy dn->dn_datablkshift : SPA_MAXBLOCKSHIFT; 606eda14cbcSMatt Macy int epbs = dn->dn_indblkshift - SPA_BLKPTRSHIFT; 607eda14cbcSMatt Macy int shift = datablkshift + epbs * db->db_level; 608eda14cbcSMatt Macy uint64_t beginblk = shift >= 64 ? 0 : 609eda14cbcSMatt Macy (txh->txh_arg1 >> shift); 610eda14cbcSMatt Macy uint64_t endblk = shift >= 64 ? 0 : 611eda14cbcSMatt Macy ((txh->txh_arg1 + txh->txh_arg2 - 1) >> shift); 612eda14cbcSMatt Macy uint64_t blkid = db->db_blkid; 613eda14cbcSMatt Macy 614eda14cbcSMatt Macy /* XXX txh_arg2 better not be zero... */ 615eda14cbcSMatt Macy 616eda14cbcSMatt Macy dprintf("found txh type %x beginblk=%llx endblk=%llx\n", 61733b8c039SMartin Matuska txh->txh_type, (u_longlong_t)beginblk, 61833b8c039SMartin Matuska (u_longlong_t)endblk); 619eda14cbcSMatt Macy 620eda14cbcSMatt Macy switch (txh->txh_type) { 621eda14cbcSMatt Macy case THT_WRITE: 622eda14cbcSMatt Macy if (blkid >= beginblk && blkid <= endblk) 623eda14cbcSMatt Macy match_offset = TRUE; 624eda14cbcSMatt Macy /* 625eda14cbcSMatt Macy * We will let this hold work for the bonus 626eda14cbcSMatt Macy * or spill buffer so that we don't need to 627eda14cbcSMatt Macy * hold it when creating a new object. 628eda14cbcSMatt Macy */ 629eda14cbcSMatt Macy if (blkid == DMU_BONUS_BLKID || 630eda14cbcSMatt Macy blkid == DMU_SPILL_BLKID) 631eda14cbcSMatt Macy match_offset = TRUE; 632eda14cbcSMatt Macy /* 633eda14cbcSMatt Macy * They might have to increase nlevels, 634eda14cbcSMatt Macy * thus dirtying the new TLIBs. Or the 635eda14cbcSMatt Macy * might have to change the block size, 636eda14cbcSMatt Macy * thus dirying the new lvl=0 blk=0. 637eda14cbcSMatt Macy */ 638eda14cbcSMatt Macy if (blkid == 0) 639eda14cbcSMatt Macy match_offset = TRUE; 640eda14cbcSMatt Macy break; 641eda14cbcSMatt Macy case THT_FREE: 642eda14cbcSMatt Macy /* 643eda14cbcSMatt Macy * We will dirty all the level 1 blocks in 644eda14cbcSMatt Macy * the free range and perhaps the first and 645eda14cbcSMatt Macy * last level 0 block. 646eda14cbcSMatt Macy */ 647eda14cbcSMatt Macy if (blkid >= beginblk && (blkid <= endblk || 648eda14cbcSMatt Macy txh->txh_arg2 == DMU_OBJECT_END)) 649eda14cbcSMatt Macy match_offset = TRUE; 650eda14cbcSMatt Macy break; 651eda14cbcSMatt Macy case THT_SPILL: 652eda14cbcSMatt Macy if (blkid == DMU_SPILL_BLKID) 653eda14cbcSMatt Macy match_offset = TRUE; 654eda14cbcSMatt Macy break; 655eda14cbcSMatt Macy case THT_BONUS: 656eda14cbcSMatt Macy if (blkid == DMU_BONUS_BLKID) 657eda14cbcSMatt Macy match_offset = TRUE; 658eda14cbcSMatt Macy break; 659eda14cbcSMatt Macy case THT_ZAP: 660eda14cbcSMatt Macy match_offset = TRUE; 661eda14cbcSMatt Macy break; 662eda14cbcSMatt Macy case THT_NEWOBJECT: 663eda14cbcSMatt Macy match_object = TRUE; 664eda14cbcSMatt Macy break; 665eda14cbcSMatt Macy default: 666eda14cbcSMatt Macy cmn_err(CE_PANIC, "bad txh_type %d", 667eda14cbcSMatt Macy txh->txh_type); 668eda14cbcSMatt Macy } 669eda14cbcSMatt Macy } 670eda14cbcSMatt Macy if (match_object && match_offset) { 671eda14cbcSMatt Macy DB_DNODE_EXIT(db); 672eda14cbcSMatt Macy return; 673eda14cbcSMatt Macy } 674eda14cbcSMatt Macy } 675eda14cbcSMatt Macy DB_DNODE_EXIT(db); 676eda14cbcSMatt Macy panic("dirtying dbuf obj=%llx lvl=%u blkid=%llx but not tx_held\n", 677eda14cbcSMatt Macy (u_longlong_t)db->db.db_object, db->db_level, 678eda14cbcSMatt Macy (u_longlong_t)db->db_blkid); 679eda14cbcSMatt Macy } 680eda14cbcSMatt Macy #endif 681eda14cbcSMatt Macy 682eda14cbcSMatt Macy /* 683eda14cbcSMatt Macy * If we can't do 10 iops, something is wrong. Let us go ahead 684eda14cbcSMatt Macy * and hit zfs_dirty_data_max. 685eda14cbcSMatt Macy */ 686*e92ffd9bSMartin Matuska static const hrtime_t zfs_delay_max_ns = 100 * MICROSEC; /* 100 milliseconds */ 687eda14cbcSMatt Macy 688eda14cbcSMatt Macy /* 689eda14cbcSMatt Macy * We delay transactions when we've determined that the backend storage 690eda14cbcSMatt Macy * isn't able to accommodate the rate of incoming writes. 691eda14cbcSMatt Macy * 692eda14cbcSMatt Macy * If there is already a transaction waiting, we delay relative to when 693eda14cbcSMatt Macy * that transaction finishes waiting. This way the calculated min_time 694eda14cbcSMatt Macy * is independent of the number of threads concurrently executing 695eda14cbcSMatt Macy * transactions. 696eda14cbcSMatt Macy * 697eda14cbcSMatt Macy * If we are the only waiter, wait relative to when the transaction 698eda14cbcSMatt Macy * started, rather than the current time. This credits the transaction for 699eda14cbcSMatt Macy * "time already served", e.g. reading indirect blocks. 700eda14cbcSMatt Macy * 701eda14cbcSMatt Macy * The minimum time for a transaction to take is calculated as: 702eda14cbcSMatt Macy * min_time = scale * (dirty - min) / (max - dirty) 703eda14cbcSMatt Macy * min_time is then capped at zfs_delay_max_ns. 704eda14cbcSMatt Macy * 705eda14cbcSMatt Macy * The delay has two degrees of freedom that can be adjusted via tunables. 706eda14cbcSMatt Macy * The percentage of dirty data at which we start to delay is defined by 707eda14cbcSMatt Macy * zfs_delay_min_dirty_percent. This should typically be at or above 708eda14cbcSMatt Macy * zfs_vdev_async_write_active_max_dirty_percent so that we only start to 709eda14cbcSMatt Macy * delay after writing at full speed has failed to keep up with the incoming 710eda14cbcSMatt Macy * write rate. The scale of the curve is defined by zfs_delay_scale. Roughly 711eda14cbcSMatt Macy * speaking, this variable determines the amount of delay at the midpoint of 712eda14cbcSMatt Macy * the curve. 713eda14cbcSMatt Macy * 714eda14cbcSMatt Macy * delay 715eda14cbcSMatt Macy * 10ms +-------------------------------------------------------------*+ 716eda14cbcSMatt Macy * | *| 717eda14cbcSMatt Macy * 9ms + *+ 718eda14cbcSMatt Macy * | *| 719eda14cbcSMatt Macy * 8ms + *+ 720eda14cbcSMatt Macy * | * | 721eda14cbcSMatt Macy * 7ms + * + 722eda14cbcSMatt Macy * | * | 723eda14cbcSMatt Macy * 6ms + * + 724eda14cbcSMatt Macy * | * | 725eda14cbcSMatt Macy * 5ms + * + 726eda14cbcSMatt Macy * | * | 727eda14cbcSMatt Macy * 4ms + * + 728eda14cbcSMatt Macy * | * | 729eda14cbcSMatt Macy * 3ms + * + 730eda14cbcSMatt Macy * | * | 731eda14cbcSMatt Macy * 2ms + (midpoint) * + 732eda14cbcSMatt Macy * | | ** | 733eda14cbcSMatt Macy * 1ms + v *** + 734eda14cbcSMatt Macy * | zfs_delay_scale ----------> ******** | 735eda14cbcSMatt Macy * 0 +-------------------------------------*********----------------+ 736eda14cbcSMatt Macy * 0% <- zfs_dirty_data_max -> 100% 737eda14cbcSMatt Macy * 738eda14cbcSMatt Macy * Note that since the delay is added to the outstanding time remaining on the 739eda14cbcSMatt Macy * most recent transaction, the delay is effectively the inverse of IOPS. 740eda14cbcSMatt Macy * Here the midpoint of 500us translates to 2000 IOPS. The shape of the curve 741eda14cbcSMatt Macy * was chosen such that small changes in the amount of accumulated dirty data 742eda14cbcSMatt Macy * in the first 3/4 of the curve yield relatively small differences in the 743eda14cbcSMatt Macy * amount of delay. 744eda14cbcSMatt Macy * 745eda14cbcSMatt Macy * The effects can be easier to understand when the amount of delay is 746eda14cbcSMatt Macy * represented on a log scale: 747eda14cbcSMatt Macy * 748eda14cbcSMatt Macy * delay 749eda14cbcSMatt Macy * 100ms +-------------------------------------------------------------++ 750eda14cbcSMatt Macy * + + 751eda14cbcSMatt Macy * | | 752eda14cbcSMatt Macy * + *+ 753eda14cbcSMatt Macy * 10ms + *+ 754eda14cbcSMatt Macy * + ** + 755eda14cbcSMatt Macy * | (midpoint) ** | 756eda14cbcSMatt Macy * + | ** + 757eda14cbcSMatt Macy * 1ms + v **** + 758eda14cbcSMatt Macy * + zfs_delay_scale ----------> ***** + 759eda14cbcSMatt Macy * | **** | 760eda14cbcSMatt Macy * + **** + 761eda14cbcSMatt Macy * 100us + ** + 762eda14cbcSMatt Macy * + * + 763eda14cbcSMatt Macy * | * | 764eda14cbcSMatt Macy * + * + 765eda14cbcSMatt Macy * 10us + * + 766eda14cbcSMatt Macy * + + 767eda14cbcSMatt Macy * | | 768eda14cbcSMatt Macy * + + 769eda14cbcSMatt Macy * +--------------------------------------------------------------+ 770eda14cbcSMatt Macy * 0% <- zfs_dirty_data_max -> 100% 771eda14cbcSMatt Macy * 772eda14cbcSMatt Macy * Note here that only as the amount of dirty data approaches its limit does 773eda14cbcSMatt Macy * the delay start to increase rapidly. The goal of a properly tuned system 774eda14cbcSMatt Macy * should be to keep the amount of dirty data out of that range by first 775eda14cbcSMatt Macy * ensuring that the appropriate limits are set for the I/O scheduler to reach 776eda14cbcSMatt Macy * optimal throughput on the backend storage, and then by changing the value 777eda14cbcSMatt Macy * of zfs_delay_scale to increase the steepness of the curve. 778eda14cbcSMatt Macy */ 779eda14cbcSMatt Macy static void 780eda14cbcSMatt Macy dmu_tx_delay(dmu_tx_t *tx, uint64_t dirty) 781eda14cbcSMatt Macy { 782eda14cbcSMatt Macy dsl_pool_t *dp = tx->tx_pool; 783eda14cbcSMatt Macy uint64_t delay_min_bytes = 784eda14cbcSMatt Macy zfs_dirty_data_max * zfs_delay_min_dirty_percent / 100; 785eda14cbcSMatt Macy hrtime_t wakeup, min_tx_time, now; 786eda14cbcSMatt Macy 787eda14cbcSMatt Macy if (dirty <= delay_min_bytes) 788eda14cbcSMatt Macy return; 789eda14cbcSMatt Macy 790eda14cbcSMatt Macy /* 791eda14cbcSMatt Macy * The caller has already waited until we are under the max. 792eda14cbcSMatt Macy * We make them pass us the amount of dirty data so we don't 793eda14cbcSMatt Macy * have to handle the case of it being >= the max, which could 794eda14cbcSMatt Macy * cause a divide-by-zero if it's == the max. 795eda14cbcSMatt Macy */ 796eda14cbcSMatt Macy ASSERT3U(dirty, <, zfs_dirty_data_max); 797eda14cbcSMatt Macy 798eda14cbcSMatt Macy now = gethrtime(); 799eda14cbcSMatt Macy min_tx_time = zfs_delay_scale * 800eda14cbcSMatt Macy (dirty - delay_min_bytes) / (zfs_dirty_data_max - dirty); 801eda14cbcSMatt Macy min_tx_time = MIN(min_tx_time, zfs_delay_max_ns); 802eda14cbcSMatt Macy if (now > tx->tx_start + min_tx_time) 803eda14cbcSMatt Macy return; 804eda14cbcSMatt Macy 805eda14cbcSMatt Macy DTRACE_PROBE3(delay__mintime, dmu_tx_t *, tx, uint64_t, dirty, 806eda14cbcSMatt Macy uint64_t, min_tx_time); 807eda14cbcSMatt Macy 808eda14cbcSMatt Macy mutex_enter(&dp->dp_lock); 809eda14cbcSMatt Macy wakeup = MAX(tx->tx_start + min_tx_time, 810eda14cbcSMatt Macy dp->dp_last_wakeup + min_tx_time); 811eda14cbcSMatt Macy dp->dp_last_wakeup = wakeup; 812eda14cbcSMatt Macy mutex_exit(&dp->dp_lock); 813eda14cbcSMatt Macy 814eda14cbcSMatt Macy zfs_sleep_until(wakeup); 815eda14cbcSMatt Macy } 816eda14cbcSMatt Macy 817eda14cbcSMatt Macy /* 818eda14cbcSMatt Macy * This routine attempts to assign the transaction to a transaction group. 819eda14cbcSMatt Macy * To do so, we must determine if there is sufficient free space on disk. 820eda14cbcSMatt Macy * 821eda14cbcSMatt Macy * If this is a "netfree" transaction (i.e. we called dmu_tx_mark_netfree() 822eda14cbcSMatt Macy * on it), then it is assumed that there is sufficient free space, 823eda14cbcSMatt Macy * unless there's insufficient slop space in the pool (see the comment 824eda14cbcSMatt Macy * above spa_slop_shift in spa_misc.c). 825eda14cbcSMatt Macy * 826eda14cbcSMatt Macy * If it is not a "netfree" transaction, then if the data already on disk 827eda14cbcSMatt Macy * is over the allowed usage (e.g. quota), this will fail with EDQUOT or 828eda14cbcSMatt Macy * ENOSPC. Otherwise, if the current rough estimate of pending changes, 829eda14cbcSMatt Macy * plus the rough estimate of this transaction's changes, may exceed the 830eda14cbcSMatt Macy * allowed usage, then this will fail with ERESTART, which will cause the 831eda14cbcSMatt Macy * caller to wait for the pending changes to be written to disk (by waiting 832eda14cbcSMatt Macy * for the next TXG to open), and then check the space usage again. 833eda14cbcSMatt Macy * 834eda14cbcSMatt Macy * The rough estimate of pending changes is comprised of the sum of: 835eda14cbcSMatt Macy * 836eda14cbcSMatt Macy * - this transaction's holds' txh_space_towrite 837eda14cbcSMatt Macy * 838eda14cbcSMatt Macy * - dd_tempreserved[], which is the sum of in-flight transactions' 839eda14cbcSMatt Macy * holds' txh_space_towrite (i.e. those transactions that have called 840eda14cbcSMatt Macy * dmu_tx_assign() but not yet called dmu_tx_commit()). 841eda14cbcSMatt Macy * 842eda14cbcSMatt Macy * - dd_space_towrite[], which is the amount of dirtied dbufs. 843eda14cbcSMatt Macy * 844eda14cbcSMatt Macy * Note that all of these values are inflated by spa_get_worst_case_asize(), 845eda14cbcSMatt Macy * which means that we may get ERESTART well before we are actually in danger 846eda14cbcSMatt Macy * of running out of space, but this also mitigates any small inaccuracies 847eda14cbcSMatt Macy * in the rough estimate (e.g. txh_space_towrite doesn't take into account 848eda14cbcSMatt Macy * indirect blocks, and dd_space_towrite[] doesn't take into account changes 849eda14cbcSMatt Macy * to the MOS). 850eda14cbcSMatt Macy * 851eda14cbcSMatt Macy * Note that due to this algorithm, it is possible to exceed the allowed 852eda14cbcSMatt Macy * usage by one transaction. Also, as we approach the allowed usage, 853eda14cbcSMatt Macy * we will allow a very limited amount of changes into each TXG, thus 854eda14cbcSMatt Macy * decreasing performance. 855eda14cbcSMatt Macy */ 856eda14cbcSMatt Macy static int 857eda14cbcSMatt Macy dmu_tx_try_assign(dmu_tx_t *tx, uint64_t txg_how) 858eda14cbcSMatt Macy { 859eda14cbcSMatt Macy spa_t *spa = tx->tx_pool->dp_spa; 860eda14cbcSMatt Macy 861eda14cbcSMatt Macy ASSERT0(tx->tx_txg); 862eda14cbcSMatt Macy 863eda14cbcSMatt Macy if (tx->tx_err) { 864eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_error); 865eda14cbcSMatt Macy return (tx->tx_err); 866eda14cbcSMatt Macy } 867eda14cbcSMatt Macy 868eda14cbcSMatt Macy if (spa_suspended(spa)) { 869eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_suspended); 870eda14cbcSMatt Macy 871eda14cbcSMatt Macy /* 872eda14cbcSMatt Macy * If the user has indicated a blocking failure mode 873eda14cbcSMatt Macy * then return ERESTART which will block in dmu_tx_wait(). 874eda14cbcSMatt Macy * Otherwise, return EIO so that an error can get 875eda14cbcSMatt Macy * propagated back to the VOP calls. 876eda14cbcSMatt Macy * 877eda14cbcSMatt Macy * Note that we always honor the txg_how flag regardless 878eda14cbcSMatt Macy * of the failuremode setting. 879eda14cbcSMatt Macy */ 880eda14cbcSMatt Macy if (spa_get_failmode(spa) == ZIO_FAILURE_MODE_CONTINUE && 881eda14cbcSMatt Macy !(txg_how & TXG_WAIT)) 882eda14cbcSMatt Macy return (SET_ERROR(EIO)); 883eda14cbcSMatt Macy 884eda14cbcSMatt Macy return (SET_ERROR(ERESTART)); 885eda14cbcSMatt Macy } 886eda14cbcSMatt Macy 887eda14cbcSMatt Macy if (!tx->tx_dirty_delayed && 8883f9d360cSMartin Matuska dsl_pool_wrlog_over_max(tx->tx_pool)) { 8893f9d360cSMartin Matuska DMU_TX_STAT_BUMP(dmu_tx_wrlog_over_max); 8903f9d360cSMartin Matuska return (SET_ERROR(ERESTART)); 8913f9d360cSMartin Matuska } 8923f9d360cSMartin Matuska 8933f9d360cSMartin Matuska if (!tx->tx_dirty_delayed && 894eda14cbcSMatt Macy dsl_pool_need_dirty_delay(tx->tx_pool)) { 895eda14cbcSMatt Macy tx->tx_wait_dirty = B_TRUE; 896eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_dirty_delay); 897eda14cbcSMatt Macy return (SET_ERROR(ERESTART)); 898eda14cbcSMatt Macy } 899eda14cbcSMatt Macy 900eda14cbcSMatt Macy tx->tx_txg = txg_hold_open(tx->tx_pool, &tx->tx_txgh); 901eda14cbcSMatt Macy tx->tx_needassign_txh = NULL; 902eda14cbcSMatt Macy 903eda14cbcSMatt Macy /* 904eda14cbcSMatt Macy * NB: No error returns are allowed after txg_hold_open, but 905eda14cbcSMatt Macy * before processing the dnode holds, due to the 906eda14cbcSMatt Macy * dmu_tx_unassign() logic. 907eda14cbcSMatt Macy */ 908eda14cbcSMatt Macy 909eda14cbcSMatt Macy uint64_t towrite = 0; 910eda14cbcSMatt Macy uint64_t tohold = 0; 911eda14cbcSMatt Macy for (dmu_tx_hold_t *txh = list_head(&tx->tx_holds); txh != NULL; 912eda14cbcSMatt Macy txh = list_next(&tx->tx_holds, txh)) { 913eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 914eda14cbcSMatt Macy if (dn != NULL) { 915eda14cbcSMatt Macy /* 916eda14cbcSMatt Macy * This thread can't hold the dn_struct_rwlock 917eda14cbcSMatt Macy * while assigning the tx, because this can lead to 918eda14cbcSMatt Macy * deadlock. Specifically, if this dnode is already 919eda14cbcSMatt Macy * assigned to an earlier txg, this thread may need 920eda14cbcSMatt Macy * to wait for that txg to sync (the ERESTART case 921eda14cbcSMatt Macy * below). The other thread that has assigned this 922eda14cbcSMatt Macy * dnode to an earlier txg prevents this txg from 923eda14cbcSMatt Macy * syncing until its tx can complete (calling 924eda14cbcSMatt Macy * dmu_tx_commit()), but it may need to acquire the 925eda14cbcSMatt Macy * dn_struct_rwlock to do so (e.g. via 926eda14cbcSMatt Macy * dmu_buf_hold*()). 927eda14cbcSMatt Macy * 928eda14cbcSMatt Macy * Note that this thread can't hold the lock for 929eda14cbcSMatt Macy * read either, but the rwlock doesn't record 930eda14cbcSMatt Macy * enough information to make that assertion. 931eda14cbcSMatt Macy */ 932eda14cbcSMatt Macy ASSERT(!RW_WRITE_HELD(&dn->dn_struct_rwlock)); 933eda14cbcSMatt Macy 934eda14cbcSMatt Macy mutex_enter(&dn->dn_mtx); 935eda14cbcSMatt Macy if (dn->dn_assigned_txg == tx->tx_txg - 1) { 936eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 937eda14cbcSMatt Macy tx->tx_needassign_txh = txh; 938eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_group); 939eda14cbcSMatt Macy return (SET_ERROR(ERESTART)); 940eda14cbcSMatt Macy } 941eda14cbcSMatt Macy if (dn->dn_assigned_txg == 0) 942eda14cbcSMatt Macy dn->dn_assigned_txg = tx->tx_txg; 943eda14cbcSMatt Macy ASSERT3U(dn->dn_assigned_txg, ==, tx->tx_txg); 944eda14cbcSMatt Macy (void) zfs_refcount_add(&dn->dn_tx_holds, tx); 945eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 946eda14cbcSMatt Macy } 947eda14cbcSMatt Macy towrite += zfs_refcount_count(&txh->txh_space_towrite); 948eda14cbcSMatt Macy tohold += zfs_refcount_count(&txh->txh_memory_tohold); 949eda14cbcSMatt Macy } 950eda14cbcSMatt Macy 951eda14cbcSMatt Macy /* needed allocation: worst-case estimate of write space */ 952eda14cbcSMatt Macy uint64_t asize = spa_get_worst_case_asize(tx->tx_pool->dp_spa, towrite); 953eda14cbcSMatt Macy /* calculate memory footprint estimate */ 954eda14cbcSMatt Macy uint64_t memory = towrite + tohold; 955eda14cbcSMatt Macy 956eda14cbcSMatt Macy if (tx->tx_dir != NULL && asize != 0) { 957eda14cbcSMatt Macy int err = dsl_dir_tempreserve_space(tx->tx_dir, memory, 958eda14cbcSMatt Macy asize, tx->tx_netfree, &tx->tx_tempreserve_cookie, tx); 959eda14cbcSMatt Macy if (err != 0) 960eda14cbcSMatt Macy return (err); 961eda14cbcSMatt Macy } 962eda14cbcSMatt Macy 963eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_assigned); 964eda14cbcSMatt Macy 965eda14cbcSMatt Macy return (0); 966eda14cbcSMatt Macy } 967eda14cbcSMatt Macy 968eda14cbcSMatt Macy static void 969eda14cbcSMatt Macy dmu_tx_unassign(dmu_tx_t *tx) 970eda14cbcSMatt Macy { 971eda14cbcSMatt Macy if (tx->tx_txg == 0) 972eda14cbcSMatt Macy return; 973eda14cbcSMatt Macy 974eda14cbcSMatt Macy txg_rele_to_quiesce(&tx->tx_txgh); 975eda14cbcSMatt Macy 976eda14cbcSMatt Macy /* 977eda14cbcSMatt Macy * Walk the transaction's hold list, removing the hold on the 978eda14cbcSMatt Macy * associated dnode, and notifying waiters if the refcount drops to 0. 979eda14cbcSMatt Macy */ 980eda14cbcSMatt Macy for (dmu_tx_hold_t *txh = list_head(&tx->tx_holds); 981eda14cbcSMatt Macy txh && txh != tx->tx_needassign_txh; 982eda14cbcSMatt Macy txh = list_next(&tx->tx_holds, txh)) { 983eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 984eda14cbcSMatt Macy 985eda14cbcSMatt Macy if (dn == NULL) 986eda14cbcSMatt Macy continue; 987eda14cbcSMatt Macy mutex_enter(&dn->dn_mtx); 988eda14cbcSMatt Macy ASSERT3U(dn->dn_assigned_txg, ==, tx->tx_txg); 989eda14cbcSMatt Macy 990eda14cbcSMatt Macy if (zfs_refcount_remove(&dn->dn_tx_holds, tx) == 0) { 991eda14cbcSMatt Macy dn->dn_assigned_txg = 0; 992eda14cbcSMatt Macy cv_broadcast(&dn->dn_notxholds); 993eda14cbcSMatt Macy } 994eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 995eda14cbcSMatt Macy } 996eda14cbcSMatt Macy 997eda14cbcSMatt Macy txg_rele_to_sync(&tx->tx_txgh); 998eda14cbcSMatt Macy 999eda14cbcSMatt Macy tx->tx_lasttried_txg = tx->tx_txg; 1000eda14cbcSMatt Macy tx->tx_txg = 0; 1001eda14cbcSMatt Macy } 1002eda14cbcSMatt Macy 1003eda14cbcSMatt Macy /* 1004eda14cbcSMatt Macy * Assign tx to a transaction group; txg_how is a bitmask: 1005eda14cbcSMatt Macy * 1006eda14cbcSMatt Macy * If TXG_WAIT is set and the currently open txg is full, this function 1007eda14cbcSMatt Macy * will wait until there's a new txg. This should be used when no locks 1008eda14cbcSMatt Macy * are being held. With this bit set, this function will only fail if 1009eda14cbcSMatt Macy * we're truly out of space (or over quota). 1010eda14cbcSMatt Macy * 1011eda14cbcSMatt Macy * If TXG_WAIT is *not* set and we can't assign into the currently open 1012eda14cbcSMatt Macy * txg without blocking, this function will return immediately with 1013eda14cbcSMatt Macy * ERESTART. This should be used whenever locks are being held. On an 1014eda14cbcSMatt Macy * ERESTART error, the caller should drop all locks, call dmu_tx_wait(), 1015eda14cbcSMatt Macy * and try again. 1016eda14cbcSMatt Macy * 1017eda14cbcSMatt Macy * If TXG_NOTHROTTLE is set, this indicates that this tx should not be 1018eda14cbcSMatt Macy * delayed due on the ZFS Write Throttle (see comments in dsl_pool.c for 1019eda14cbcSMatt Macy * details on the throttle). This is used by the VFS operations, after 1020eda14cbcSMatt Macy * they have already called dmu_tx_wait() (though most likely on a 1021eda14cbcSMatt Macy * different tx). 1022184c1b94SMartin Matuska * 1023184c1b94SMartin Matuska * It is guaranteed that subsequent successful calls to dmu_tx_assign() 1024184c1b94SMartin Matuska * will assign the tx to monotonically increasing txgs. Of course this is 1025184c1b94SMartin Matuska * not strong monotonicity, because the same txg can be returned multiple 1026184c1b94SMartin Matuska * times in a row. This guarantee holds both for subsequent calls from 1027184c1b94SMartin Matuska * one thread and for multiple threads. For example, it is impossible to 1028184c1b94SMartin Matuska * observe the following sequence of events: 1029184c1b94SMartin Matuska * 1030184c1b94SMartin Matuska * Thread 1 Thread 2 1031184c1b94SMartin Matuska * 1032184c1b94SMartin Matuska * dmu_tx_assign(T1, ...) 1033184c1b94SMartin Matuska * 1 <- dmu_tx_get_txg(T1) 1034184c1b94SMartin Matuska * dmu_tx_assign(T2, ...) 1035184c1b94SMartin Matuska * 2 <- dmu_tx_get_txg(T2) 1036184c1b94SMartin Matuska * dmu_tx_assign(T3, ...) 1037184c1b94SMartin Matuska * 1 <- dmu_tx_get_txg(T3) 1038eda14cbcSMatt Macy */ 1039eda14cbcSMatt Macy int 1040eda14cbcSMatt Macy dmu_tx_assign(dmu_tx_t *tx, uint64_t txg_how) 1041eda14cbcSMatt Macy { 1042eda14cbcSMatt Macy int err; 1043eda14cbcSMatt Macy 1044eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 1045eda14cbcSMatt Macy ASSERT0(txg_how & ~(TXG_WAIT | TXG_NOTHROTTLE)); 1046eda14cbcSMatt Macy ASSERT(!dsl_pool_sync_context(tx->tx_pool)); 1047eda14cbcSMatt Macy 1048eda14cbcSMatt Macy /* If we might wait, we must not hold the config lock. */ 1049eda14cbcSMatt Macy IMPLY((txg_how & TXG_WAIT), !dsl_pool_config_held(tx->tx_pool)); 1050eda14cbcSMatt Macy 1051eda14cbcSMatt Macy if ((txg_how & TXG_NOTHROTTLE)) 1052eda14cbcSMatt Macy tx->tx_dirty_delayed = B_TRUE; 1053eda14cbcSMatt Macy 1054eda14cbcSMatt Macy while ((err = dmu_tx_try_assign(tx, txg_how)) != 0) { 1055eda14cbcSMatt Macy dmu_tx_unassign(tx); 1056eda14cbcSMatt Macy 1057eda14cbcSMatt Macy if (err != ERESTART || !(txg_how & TXG_WAIT)) 1058eda14cbcSMatt Macy return (err); 1059eda14cbcSMatt Macy 1060eda14cbcSMatt Macy dmu_tx_wait(tx); 1061eda14cbcSMatt Macy } 1062eda14cbcSMatt Macy 1063eda14cbcSMatt Macy txg_rele_to_quiesce(&tx->tx_txgh); 1064eda14cbcSMatt Macy 1065eda14cbcSMatt Macy return (0); 1066eda14cbcSMatt Macy } 1067eda14cbcSMatt Macy 1068eda14cbcSMatt Macy void 1069eda14cbcSMatt Macy dmu_tx_wait(dmu_tx_t *tx) 1070eda14cbcSMatt Macy { 1071eda14cbcSMatt Macy spa_t *spa = tx->tx_pool->dp_spa; 1072eda14cbcSMatt Macy dsl_pool_t *dp = tx->tx_pool; 1073eda14cbcSMatt Macy hrtime_t before; 1074eda14cbcSMatt Macy 1075eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 1076eda14cbcSMatt Macy ASSERT(!dsl_pool_config_held(tx->tx_pool)); 1077eda14cbcSMatt Macy 1078eda14cbcSMatt Macy before = gethrtime(); 1079eda14cbcSMatt Macy 1080eda14cbcSMatt Macy if (tx->tx_wait_dirty) { 1081eda14cbcSMatt Macy uint64_t dirty; 1082eda14cbcSMatt Macy 1083eda14cbcSMatt Macy /* 1084eda14cbcSMatt Macy * dmu_tx_try_assign() has determined that we need to wait 1085eda14cbcSMatt Macy * because we've consumed much or all of the dirty buffer 1086eda14cbcSMatt Macy * space. 1087eda14cbcSMatt Macy */ 1088eda14cbcSMatt Macy mutex_enter(&dp->dp_lock); 1089eda14cbcSMatt Macy if (dp->dp_dirty_total >= zfs_dirty_data_max) 1090eda14cbcSMatt Macy DMU_TX_STAT_BUMP(dmu_tx_dirty_over_max); 1091eda14cbcSMatt Macy while (dp->dp_dirty_total >= zfs_dirty_data_max) 1092eda14cbcSMatt Macy cv_wait(&dp->dp_spaceavail_cv, &dp->dp_lock); 1093eda14cbcSMatt Macy dirty = dp->dp_dirty_total; 1094eda14cbcSMatt Macy mutex_exit(&dp->dp_lock); 1095eda14cbcSMatt Macy 1096eda14cbcSMatt Macy dmu_tx_delay(tx, dirty); 1097eda14cbcSMatt Macy 1098eda14cbcSMatt Macy tx->tx_wait_dirty = B_FALSE; 1099eda14cbcSMatt Macy 1100eda14cbcSMatt Macy /* 1101eda14cbcSMatt Macy * Note: setting tx_dirty_delayed only has effect if the 1102eda14cbcSMatt Macy * caller used TX_WAIT. Otherwise they are going to 1103eda14cbcSMatt Macy * destroy this tx and try again. The common case, 1104eda14cbcSMatt Macy * zfs_write(), uses TX_WAIT. 1105eda14cbcSMatt Macy */ 1106eda14cbcSMatt Macy tx->tx_dirty_delayed = B_TRUE; 1107eda14cbcSMatt Macy } else if (spa_suspended(spa) || tx->tx_lasttried_txg == 0) { 1108eda14cbcSMatt Macy /* 1109eda14cbcSMatt Macy * If the pool is suspended we need to wait until it 1110eda14cbcSMatt Macy * is resumed. Note that it's possible that the pool 1111eda14cbcSMatt Macy * has become active after this thread has tried to 1112eda14cbcSMatt Macy * obtain a tx. If that's the case then tx_lasttried_txg 1113eda14cbcSMatt Macy * would not have been set. 1114eda14cbcSMatt Macy */ 1115eda14cbcSMatt Macy txg_wait_synced(dp, spa_last_synced_txg(spa) + 1); 1116eda14cbcSMatt Macy } else if (tx->tx_needassign_txh) { 1117eda14cbcSMatt Macy dnode_t *dn = tx->tx_needassign_txh->txh_dnode; 1118eda14cbcSMatt Macy 1119eda14cbcSMatt Macy mutex_enter(&dn->dn_mtx); 1120eda14cbcSMatt Macy while (dn->dn_assigned_txg == tx->tx_lasttried_txg - 1) 1121eda14cbcSMatt Macy cv_wait(&dn->dn_notxholds, &dn->dn_mtx); 1122eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 1123eda14cbcSMatt Macy tx->tx_needassign_txh = NULL; 1124eda14cbcSMatt Macy } else { 1125eda14cbcSMatt Macy /* 1126eda14cbcSMatt Macy * If we have a lot of dirty data just wait until we sync 1127eda14cbcSMatt Macy * out a TXG at which point we'll hopefully have synced 1128eda14cbcSMatt Macy * a portion of the changes. 1129eda14cbcSMatt Macy */ 1130eda14cbcSMatt Macy txg_wait_synced(dp, spa_last_synced_txg(spa) + 1); 1131eda14cbcSMatt Macy } 1132eda14cbcSMatt Macy 1133eda14cbcSMatt Macy spa_tx_assign_add_nsecs(spa, gethrtime() - before); 1134eda14cbcSMatt Macy } 1135eda14cbcSMatt Macy 1136eda14cbcSMatt Macy static void 1137eda14cbcSMatt Macy dmu_tx_destroy(dmu_tx_t *tx) 1138eda14cbcSMatt Macy { 1139eda14cbcSMatt Macy dmu_tx_hold_t *txh; 1140eda14cbcSMatt Macy 1141eda14cbcSMatt Macy while ((txh = list_head(&tx->tx_holds)) != NULL) { 1142eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 1143eda14cbcSMatt Macy 1144eda14cbcSMatt Macy list_remove(&tx->tx_holds, txh); 1145eda14cbcSMatt Macy zfs_refcount_destroy_many(&txh->txh_space_towrite, 1146eda14cbcSMatt Macy zfs_refcount_count(&txh->txh_space_towrite)); 1147eda14cbcSMatt Macy zfs_refcount_destroy_many(&txh->txh_memory_tohold, 1148eda14cbcSMatt Macy zfs_refcount_count(&txh->txh_memory_tohold)); 1149eda14cbcSMatt Macy kmem_free(txh, sizeof (dmu_tx_hold_t)); 1150eda14cbcSMatt Macy if (dn != NULL) 1151eda14cbcSMatt Macy dnode_rele(dn, tx); 1152eda14cbcSMatt Macy } 1153eda14cbcSMatt Macy 1154eda14cbcSMatt Macy list_destroy(&tx->tx_callbacks); 1155eda14cbcSMatt Macy list_destroy(&tx->tx_holds); 1156eda14cbcSMatt Macy kmem_free(tx, sizeof (dmu_tx_t)); 1157eda14cbcSMatt Macy } 1158eda14cbcSMatt Macy 1159eda14cbcSMatt Macy void 1160eda14cbcSMatt Macy dmu_tx_commit(dmu_tx_t *tx) 1161eda14cbcSMatt Macy { 1162eda14cbcSMatt Macy ASSERT(tx->tx_txg != 0); 1163eda14cbcSMatt Macy 1164eda14cbcSMatt Macy /* 1165eda14cbcSMatt Macy * Go through the transaction's hold list and remove holds on 1166eda14cbcSMatt Macy * associated dnodes, notifying waiters if no holds remain. 1167eda14cbcSMatt Macy */ 1168eda14cbcSMatt Macy for (dmu_tx_hold_t *txh = list_head(&tx->tx_holds); txh != NULL; 1169eda14cbcSMatt Macy txh = list_next(&tx->tx_holds, txh)) { 1170eda14cbcSMatt Macy dnode_t *dn = txh->txh_dnode; 1171eda14cbcSMatt Macy 1172eda14cbcSMatt Macy if (dn == NULL) 1173eda14cbcSMatt Macy continue; 1174eda14cbcSMatt Macy 1175eda14cbcSMatt Macy mutex_enter(&dn->dn_mtx); 1176eda14cbcSMatt Macy ASSERT3U(dn->dn_assigned_txg, ==, tx->tx_txg); 1177eda14cbcSMatt Macy 1178eda14cbcSMatt Macy if (zfs_refcount_remove(&dn->dn_tx_holds, tx) == 0) { 1179eda14cbcSMatt Macy dn->dn_assigned_txg = 0; 1180eda14cbcSMatt Macy cv_broadcast(&dn->dn_notxholds); 1181eda14cbcSMatt Macy } 1182eda14cbcSMatt Macy mutex_exit(&dn->dn_mtx); 1183eda14cbcSMatt Macy } 1184eda14cbcSMatt Macy 1185eda14cbcSMatt Macy if (tx->tx_tempreserve_cookie) 1186eda14cbcSMatt Macy dsl_dir_tempreserve_clear(tx->tx_tempreserve_cookie, tx); 1187eda14cbcSMatt Macy 1188eda14cbcSMatt Macy if (!list_is_empty(&tx->tx_callbacks)) 1189eda14cbcSMatt Macy txg_register_callbacks(&tx->tx_txgh, &tx->tx_callbacks); 1190eda14cbcSMatt Macy 1191eda14cbcSMatt Macy if (tx->tx_anyobj == FALSE) 1192eda14cbcSMatt Macy txg_rele_to_sync(&tx->tx_txgh); 1193eda14cbcSMatt Macy 1194eda14cbcSMatt Macy dmu_tx_destroy(tx); 1195eda14cbcSMatt Macy } 1196eda14cbcSMatt Macy 1197eda14cbcSMatt Macy void 1198eda14cbcSMatt Macy dmu_tx_abort(dmu_tx_t *tx) 1199eda14cbcSMatt Macy { 1200eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 1201eda14cbcSMatt Macy 1202eda14cbcSMatt Macy /* 1203eda14cbcSMatt Macy * Call any registered callbacks with an error code. 1204eda14cbcSMatt Macy */ 1205eda14cbcSMatt Macy if (!list_is_empty(&tx->tx_callbacks)) 1206eda14cbcSMatt Macy dmu_tx_do_callbacks(&tx->tx_callbacks, SET_ERROR(ECANCELED)); 1207eda14cbcSMatt Macy 1208eda14cbcSMatt Macy dmu_tx_destroy(tx); 1209eda14cbcSMatt Macy } 1210eda14cbcSMatt Macy 1211eda14cbcSMatt Macy uint64_t 1212eda14cbcSMatt Macy dmu_tx_get_txg(dmu_tx_t *tx) 1213eda14cbcSMatt Macy { 1214eda14cbcSMatt Macy ASSERT(tx->tx_txg != 0); 1215eda14cbcSMatt Macy return (tx->tx_txg); 1216eda14cbcSMatt Macy } 1217eda14cbcSMatt Macy 1218eda14cbcSMatt Macy dsl_pool_t * 1219eda14cbcSMatt Macy dmu_tx_pool(dmu_tx_t *tx) 1220eda14cbcSMatt Macy { 1221eda14cbcSMatt Macy ASSERT(tx->tx_pool != NULL); 1222eda14cbcSMatt Macy return (tx->tx_pool); 1223eda14cbcSMatt Macy } 1224eda14cbcSMatt Macy 1225eda14cbcSMatt Macy void 1226eda14cbcSMatt Macy dmu_tx_callback_register(dmu_tx_t *tx, dmu_tx_callback_func_t *func, void *data) 1227eda14cbcSMatt Macy { 1228eda14cbcSMatt Macy dmu_tx_callback_t *dcb; 1229eda14cbcSMatt Macy 1230eda14cbcSMatt Macy dcb = kmem_alloc(sizeof (dmu_tx_callback_t), KM_SLEEP); 1231eda14cbcSMatt Macy 1232eda14cbcSMatt Macy dcb->dcb_func = func; 1233eda14cbcSMatt Macy dcb->dcb_data = data; 1234eda14cbcSMatt Macy 1235eda14cbcSMatt Macy list_insert_tail(&tx->tx_callbacks, dcb); 1236eda14cbcSMatt Macy } 1237eda14cbcSMatt Macy 1238eda14cbcSMatt Macy /* 1239eda14cbcSMatt Macy * Call all the commit callbacks on a list, with a given error code. 1240eda14cbcSMatt Macy */ 1241eda14cbcSMatt Macy void 1242eda14cbcSMatt Macy dmu_tx_do_callbacks(list_t *cb_list, int error) 1243eda14cbcSMatt Macy { 1244eda14cbcSMatt Macy dmu_tx_callback_t *dcb; 1245eda14cbcSMatt Macy 1246eda14cbcSMatt Macy while ((dcb = list_tail(cb_list)) != NULL) { 1247eda14cbcSMatt Macy list_remove(cb_list, dcb); 1248eda14cbcSMatt Macy dcb->dcb_func(dcb->dcb_data, error); 1249eda14cbcSMatt Macy kmem_free(dcb, sizeof (dmu_tx_callback_t)); 1250eda14cbcSMatt Macy } 1251eda14cbcSMatt Macy } 1252eda14cbcSMatt Macy 1253eda14cbcSMatt Macy /* 1254eda14cbcSMatt Macy * Interface to hold a bunch of attributes. 1255eda14cbcSMatt Macy * used for creating new files. 1256eda14cbcSMatt Macy * attrsize is the total size of all attributes 1257eda14cbcSMatt Macy * to be added during object creation 1258eda14cbcSMatt Macy * 1259eda14cbcSMatt Macy * For updating/adding a single attribute dmu_tx_hold_sa() should be used. 1260eda14cbcSMatt Macy */ 1261eda14cbcSMatt Macy 1262eda14cbcSMatt Macy /* 1263eda14cbcSMatt Macy * hold necessary attribute name for attribute registration. 1264eda14cbcSMatt Macy * should be a very rare case where this is needed. If it does 1265eda14cbcSMatt Macy * happen it would only happen on the first write to the file system. 1266eda14cbcSMatt Macy */ 1267eda14cbcSMatt Macy static void 1268eda14cbcSMatt Macy dmu_tx_sa_registration_hold(sa_os_t *sa, dmu_tx_t *tx) 1269eda14cbcSMatt Macy { 1270eda14cbcSMatt Macy if (!sa->sa_need_attr_registration) 1271eda14cbcSMatt Macy return; 1272eda14cbcSMatt Macy 1273eda14cbcSMatt Macy for (int i = 0; i != sa->sa_num_attrs; i++) { 1274eda14cbcSMatt Macy if (!sa->sa_attr_table[i].sa_registered) { 1275eda14cbcSMatt Macy if (sa->sa_reg_attr_obj) 1276eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_reg_attr_obj, 1277eda14cbcSMatt Macy B_TRUE, sa->sa_attr_table[i].sa_name); 1278eda14cbcSMatt Macy else 1279eda14cbcSMatt Macy dmu_tx_hold_zap(tx, DMU_NEW_OBJECT, 1280eda14cbcSMatt Macy B_TRUE, sa->sa_attr_table[i].sa_name); 1281eda14cbcSMatt Macy } 1282eda14cbcSMatt Macy } 1283eda14cbcSMatt Macy } 1284eda14cbcSMatt Macy 1285eda14cbcSMatt Macy void 1286eda14cbcSMatt Macy dmu_tx_hold_spill(dmu_tx_t *tx, uint64_t object) 1287eda14cbcSMatt Macy { 1288eda14cbcSMatt Macy dmu_tx_hold_t *txh; 1289eda14cbcSMatt Macy 1290eda14cbcSMatt Macy txh = dmu_tx_hold_object_impl(tx, tx->tx_objset, object, 1291eda14cbcSMatt Macy THT_SPILL, 0, 0); 1292eda14cbcSMatt Macy if (txh != NULL) 1293eda14cbcSMatt Macy (void) zfs_refcount_add_many(&txh->txh_space_towrite, 1294eda14cbcSMatt Macy SPA_OLD_MAXBLOCKSIZE, FTAG); 1295eda14cbcSMatt Macy } 1296eda14cbcSMatt Macy 1297eda14cbcSMatt Macy void 1298eda14cbcSMatt Macy dmu_tx_hold_sa_create(dmu_tx_t *tx, int attrsize) 1299eda14cbcSMatt Macy { 1300eda14cbcSMatt Macy sa_os_t *sa = tx->tx_objset->os_sa; 1301eda14cbcSMatt Macy 1302eda14cbcSMatt Macy dmu_tx_hold_bonus(tx, DMU_NEW_OBJECT); 1303eda14cbcSMatt Macy 1304eda14cbcSMatt Macy if (tx->tx_objset->os_sa->sa_master_obj == 0) 1305eda14cbcSMatt Macy return; 1306eda14cbcSMatt Macy 1307eda14cbcSMatt Macy if (tx->tx_objset->os_sa->sa_layout_attr_obj) { 1308eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_layout_attr_obj, B_TRUE, NULL); 1309eda14cbcSMatt Macy } else { 1310eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_master_obj, B_TRUE, SA_LAYOUTS); 1311eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_master_obj, B_TRUE, SA_REGISTRY); 1312eda14cbcSMatt Macy dmu_tx_hold_zap(tx, DMU_NEW_OBJECT, B_TRUE, NULL); 1313eda14cbcSMatt Macy dmu_tx_hold_zap(tx, DMU_NEW_OBJECT, B_TRUE, NULL); 1314eda14cbcSMatt Macy } 1315eda14cbcSMatt Macy 1316eda14cbcSMatt Macy dmu_tx_sa_registration_hold(sa, tx); 1317eda14cbcSMatt Macy 1318eda14cbcSMatt Macy if (attrsize <= DN_OLD_MAX_BONUSLEN && !sa->sa_force_spill) 1319eda14cbcSMatt Macy return; 1320eda14cbcSMatt Macy 1321eda14cbcSMatt Macy (void) dmu_tx_hold_object_impl(tx, tx->tx_objset, DMU_NEW_OBJECT, 1322eda14cbcSMatt Macy THT_SPILL, 0, 0); 1323eda14cbcSMatt Macy } 1324eda14cbcSMatt Macy 1325eda14cbcSMatt Macy /* 1326eda14cbcSMatt Macy * Hold SA attribute 1327eda14cbcSMatt Macy * 1328eda14cbcSMatt Macy * dmu_tx_hold_sa(dmu_tx_t *tx, sa_handle_t *, attribute, add, size) 1329eda14cbcSMatt Macy * 1330eda14cbcSMatt Macy * variable_size is the total size of all variable sized attributes 1331eda14cbcSMatt Macy * passed to this function. It is not the total size of all 1332eda14cbcSMatt Macy * variable size attributes that *may* exist on this object. 1333eda14cbcSMatt Macy */ 1334eda14cbcSMatt Macy void 1335eda14cbcSMatt Macy dmu_tx_hold_sa(dmu_tx_t *tx, sa_handle_t *hdl, boolean_t may_grow) 1336eda14cbcSMatt Macy { 1337eda14cbcSMatt Macy uint64_t object; 1338eda14cbcSMatt Macy sa_os_t *sa = tx->tx_objset->os_sa; 1339eda14cbcSMatt Macy 1340eda14cbcSMatt Macy ASSERT(hdl != NULL); 1341eda14cbcSMatt Macy 1342eda14cbcSMatt Macy object = sa_handle_object(hdl); 1343eda14cbcSMatt Macy 1344eda14cbcSMatt Macy dmu_buf_impl_t *db = (dmu_buf_impl_t *)hdl->sa_bonus; 1345eda14cbcSMatt Macy DB_DNODE_ENTER(db); 1346eda14cbcSMatt Macy dmu_tx_hold_bonus_by_dnode(tx, DB_DNODE(db)); 1347eda14cbcSMatt Macy DB_DNODE_EXIT(db); 1348eda14cbcSMatt Macy 1349eda14cbcSMatt Macy if (tx->tx_objset->os_sa->sa_master_obj == 0) 1350eda14cbcSMatt Macy return; 1351eda14cbcSMatt Macy 1352eda14cbcSMatt Macy if (tx->tx_objset->os_sa->sa_reg_attr_obj == 0 || 1353eda14cbcSMatt Macy tx->tx_objset->os_sa->sa_layout_attr_obj == 0) { 1354eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_master_obj, B_TRUE, SA_LAYOUTS); 1355eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_master_obj, B_TRUE, SA_REGISTRY); 1356eda14cbcSMatt Macy dmu_tx_hold_zap(tx, DMU_NEW_OBJECT, B_TRUE, NULL); 1357eda14cbcSMatt Macy dmu_tx_hold_zap(tx, DMU_NEW_OBJECT, B_TRUE, NULL); 1358eda14cbcSMatt Macy } 1359eda14cbcSMatt Macy 1360eda14cbcSMatt Macy dmu_tx_sa_registration_hold(sa, tx); 1361eda14cbcSMatt Macy 1362eda14cbcSMatt Macy if (may_grow && tx->tx_objset->os_sa->sa_layout_attr_obj) 1363eda14cbcSMatt Macy dmu_tx_hold_zap(tx, sa->sa_layout_attr_obj, B_TRUE, NULL); 1364eda14cbcSMatt Macy 1365eda14cbcSMatt Macy if (sa->sa_force_spill || may_grow || hdl->sa_spill) { 1366eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 1367eda14cbcSMatt Macy dmu_tx_hold_spill(tx, object); 1368eda14cbcSMatt Macy } else { 1369eda14cbcSMatt Macy dnode_t *dn; 1370eda14cbcSMatt Macy 1371eda14cbcSMatt Macy DB_DNODE_ENTER(db); 1372eda14cbcSMatt Macy dn = DB_DNODE(db); 1373eda14cbcSMatt Macy if (dn->dn_have_spill) { 1374eda14cbcSMatt Macy ASSERT(tx->tx_txg == 0); 1375eda14cbcSMatt Macy dmu_tx_hold_spill(tx, object); 1376eda14cbcSMatt Macy } 1377eda14cbcSMatt Macy DB_DNODE_EXIT(db); 1378eda14cbcSMatt Macy } 1379eda14cbcSMatt Macy } 1380eda14cbcSMatt Macy 1381eda14cbcSMatt Macy void 1382eda14cbcSMatt Macy dmu_tx_init(void) 1383eda14cbcSMatt Macy { 1384eda14cbcSMatt Macy dmu_tx_ksp = kstat_create("zfs", 0, "dmu_tx", "misc", 1385eda14cbcSMatt Macy KSTAT_TYPE_NAMED, sizeof (dmu_tx_stats) / sizeof (kstat_named_t), 1386eda14cbcSMatt Macy KSTAT_FLAG_VIRTUAL); 1387eda14cbcSMatt Macy 1388eda14cbcSMatt Macy if (dmu_tx_ksp != NULL) { 1389eda14cbcSMatt Macy dmu_tx_ksp->ks_data = &dmu_tx_stats; 1390eda14cbcSMatt Macy kstat_install(dmu_tx_ksp); 1391eda14cbcSMatt Macy } 1392eda14cbcSMatt Macy } 1393eda14cbcSMatt Macy 1394eda14cbcSMatt Macy void 1395eda14cbcSMatt Macy dmu_tx_fini(void) 1396eda14cbcSMatt Macy { 1397eda14cbcSMatt Macy if (dmu_tx_ksp != NULL) { 1398eda14cbcSMatt Macy kstat_delete(dmu_tx_ksp); 1399eda14cbcSMatt Macy dmu_tx_ksp = NULL; 1400eda14cbcSMatt Macy } 1401eda14cbcSMatt Macy } 1402eda14cbcSMatt Macy 1403eda14cbcSMatt Macy #if defined(_KERNEL) 1404eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_create); 1405eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_write); 1406eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_write_by_dnode); 1407eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_free); 1408eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_free_by_dnode); 1409eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_zap); 1410eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_zap_by_dnode); 1411eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_bonus); 1412eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_bonus_by_dnode); 1413eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_abort); 1414eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_assign); 1415eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_wait); 1416eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_commit); 1417eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_mark_netfree); 1418eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_get_txg); 1419eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_callback_register); 1420eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_do_callbacks); 1421eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_spill); 1422eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_sa_create); 1423eda14cbcSMatt Macy EXPORT_SYMBOL(dmu_tx_hold_sa); 1424eda14cbcSMatt Macy #endif 1425