dsl_destroy.c revision dfc115332c94a2f62058ac7f2bce7631fbd20b3d
13b2aab1Matthew Ahrens/*
23b2aab1Matthew Ahrens * CDDL HEADER START
33b2aab1Matthew Ahrens *
43b2aab1Matthew Ahrens * The contents of this file are subject to the terms of the
53b2aab1Matthew Ahrens * Common Development and Distribution License (the "License").
63b2aab1Matthew Ahrens * You may not use this file except in compliance with the License.
73b2aab1Matthew Ahrens *
83b2aab1Matthew Ahrens * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
93b2aab1Matthew Ahrens * or http://www.opensolaris.org/os/licensing.
103b2aab1Matthew Ahrens * See the License for the specific language governing permissions
113b2aab1Matthew Ahrens * and limitations under the License.
123b2aab1Matthew Ahrens *
133b2aab1Matthew Ahrens * When distributing Covered Code, include this CDDL HEADER in each
143b2aab1Matthew Ahrens * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
153b2aab1Matthew Ahrens * If applicable, add the following below this CDDL HEADER, with the
163b2aab1Matthew Ahrens * fields enclosed by brackets "[]" replaced with your own identifying
173b2aab1Matthew Ahrens * information: Portions Copyright [yyyy] [name of copyright owner]
183b2aab1Matthew Ahrens *
193b2aab1Matthew Ahrens * CDDL HEADER END
203b2aab1Matthew Ahrens */
213b2aab1Matthew Ahrens/*
223b2aab1Matthew Ahrens * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved.
23dfc1153Chris Williamson * Copyright (c) 2012, 2016 by Delphix. All rights reserved.
24a7a845eSteven Hartland * Copyright (c) 2013 Steven Hartland. All rights reserved.
25a2afb61Jerry Jelinek * Copyright (c) 2013 by Joyent, Inc. All rights reserved.
26c3d26abMatthew Ahrens * Copyright (c) 2014 Integros [integros.com]
273b2aab1Matthew Ahrens */
283b2aab1Matthew Ahrens
293b2aab1Matthew Ahrens#include <sys/zfs_context.h>
303b2aab1Matthew Ahrens#include <sys/dsl_userhold.h>
313b2aab1Matthew Ahrens#include <sys/dsl_dataset.h>
323b2aab1Matthew Ahrens#include <sys/dsl_synctask.h>
33dfc1153Chris Williamson#include <sys/dsl_destroy.h>
343b2aab1Matthew Ahrens#include <sys/dmu_tx.h>
353b2aab1Matthew Ahrens#include <sys/dsl_pool.h>
363b2aab1Matthew Ahrens#include <sys/dsl_dir.h>
373b2aab1Matthew Ahrens#include <sys/dmu_traverse.h>
383b2aab1Matthew Ahrens#include <sys/dsl_scan.h>
393b2aab1Matthew Ahrens#include <sys/dmu_objset.h>
403b2aab1Matthew Ahrens#include <sys/zap.h>
413b2aab1Matthew Ahrens#include <sys/zfeature.h>
423b2aab1Matthew Ahrens#include <sys/zfs_ioctl.h>
433b2aab1Matthew Ahrens#include <sys/dsl_deleg.h>
442acef22Matthew Ahrens#include <sys/dmu_impl.h>
45dfc1153Chris Williamson#include <sys/zcp.h>
463b2aab1Matthew Ahrens
4734f2f8cMatthew Ahrensint
483b2aab1Matthew Ahrensdsl_destroy_snapshot_check_impl(dsl_dataset_t *ds, boolean_t defer)
493b2aab1Matthew Ahrens{
50bc9014eJustin Gibbs	if (!ds->ds_is_snapshot)
51be6fd75Matthew Ahrens		return (SET_ERROR(EINVAL));
523b2aab1Matthew Ahrens
533b2aab1Matthew Ahrens	if (dsl_dataset_long_held(ds))
54be6fd75Matthew Ahrens		return (SET_ERROR(EBUSY));
553b2aab1Matthew Ahrens
563b2aab1Matthew Ahrens	/*
573b2aab1Matthew Ahrens	 * Only allow deferred destroy on pools that support it.
583b2aab1Matthew Ahrens	 * NOTE: deferred destroy is only supported on snapshots.
593b2aab1Matthew Ahrens	 */
603b2aab1Matthew Ahrens	if (defer) {
613b2aab1Matthew Ahrens		if (spa_version(ds->ds_dir->dd_pool->dp_spa) <
623b2aab1Matthew Ahrens		    SPA_VERSION_USERREFS)
63be6fd75Matthew Ahrens			return (SET_ERROR(ENOTSUP));
643b2aab1Matthew Ahrens		return (0);
653b2aab1Matthew Ahrens	}
663b2aab1Matthew Ahrens
673b2aab1Matthew Ahrens	/*
683b2aab1Matthew Ahrens	 * If this snapshot has an elevated user reference count,
693b2aab1Matthew Ahrens	 * we can't destroy it yet.
703b2aab1Matthew Ahrens	 */
713b2aab1Matthew Ahrens	if (ds->ds_userrefs > 0)
72be6fd75Matthew Ahrens		return (SET_ERROR(EBUSY));
733b2aab1Matthew Ahrens
743b2aab1Matthew Ahrens	/*
753b2aab1Matthew Ahrens	 * Can't delete a branch point.
763b2aab1Matthew Ahrens	 */
77c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_num_children > 1)
78be6fd75Matthew Ahrens		return (SET_ERROR(EEXIST));
793b2aab1Matthew Ahrens
803b2aab1Matthew Ahrens	return (0);
813b2aab1Matthew Ahrens}
823b2aab1Matthew Ahrens
83dfc1153Chris Williamsonint
843b2aab1Matthew Ahrensdsl_destroy_snapshot_check(void *arg, dmu_tx_t *tx)
853b2aab1Matthew Ahrens{
86dfc1153Chris Williamson	dsl_destroy_snapshot_arg_t *ddsa = arg;
87dfc1153Chris Williamson	const char *dsname = ddsa->ddsa_name;
88dfc1153Chris Williamson	boolean_t defer = ddsa->ddsa_defer;
89dfc1153Chris Williamson
903b2aab1Matthew Ahrens	dsl_pool_t *dp = dmu_tx_pool(tx);
913b2aab1Matthew Ahrens	int error = 0;
92dfc1153Chris Williamson	dsl_dataset_t *ds;
933b2aab1Matthew Ahrens
94dfc1153Chris Williamson	error = dsl_dataset_hold(dp, dsname, FTAG, &ds);
953b2aab1Matthew Ahrens
96dfc1153Chris Williamson	/*
97dfc1153Chris Williamson	 * If the snapshot does not exist, silently ignore it, and
98dfc1153Chris Williamson	 * dsl_destroy_snapshot_sync() will be a no-op
99dfc1153Chris Williamson	 * (it's "already destroyed").
100dfc1153Chris Williamson	 */
101dfc1153Chris Williamson	if (error == ENOENT)
102dfc1153Chris Williamson		return (0);
1033b2aab1Matthew Ahrens
104dfc1153Chris Williamson	if (error == 0) {
105dfc1153Chris Williamson		error = dsl_destroy_snapshot_check_impl(ds, defer);
106dfc1153Chris Williamson		dsl_dataset_rele(ds, FTAG);
1073b2aab1Matthew Ahrens	}
1083b2aab1Matthew Ahrens
109dfc1153Chris Williamson	return (error);
1103b2aab1Matthew Ahrens}
1113b2aab1Matthew Ahrens
1123b2aab1Matthew Ahrensstruct process_old_arg {
1133b2aab1Matthew Ahrens	dsl_dataset_t *ds;
1143b2aab1Matthew Ahrens	dsl_dataset_t *ds_prev;
1153b2aab1Matthew Ahrens	boolean_t after_branch_point;
1163b2aab1Matthew Ahrens	zio_t *pio;
1173b2aab1Matthew Ahrens	uint64_t used, comp, uncomp;
1183b2aab1Matthew Ahrens};
1193b2aab1Matthew Ahrens
1203b2aab1Matthew Ahrensstatic int
1213b2aab1Matthew Ahrensprocess_old_cb(void *arg, const blkptr_t *bp, dmu_tx_t *tx)
1223b2aab1Matthew Ahrens{
1233b2aab1Matthew Ahrens	struct process_old_arg *poa = arg;
1243b2aab1Matthew Ahrens	dsl_pool_t *dp = poa->ds->ds_dir->dd_pool;
1253b2aab1Matthew Ahrens
12643466aaMax Grossman	ASSERT(!BP_IS_HOLE(bp));
12743466aaMax Grossman
128c137962Justin T. Gibbs	if (bp->blk_birth <= dsl_dataset_phys(poa->ds)->ds_prev_snap_txg) {
1293b2aab1Matthew Ahrens		dsl_deadlist_insert(&poa->ds->ds_deadlist, bp, tx);
1303b2aab1Matthew Ahrens		if (poa->ds_prev && !poa->after_branch_point &&
1313b2aab1Matthew Ahrens		    bp->blk_birth >
132c137962Justin T. Gibbs		    dsl_dataset_phys(poa->ds_prev)->ds_prev_snap_txg) {
133c137962Justin T. Gibbs			dsl_dataset_phys(poa->ds_prev)->ds_unique_bytes +=
1343b2aab1Matthew Ahrens			    bp_get_dsize_sync(dp->dp_spa, bp);
1353b2aab1Matthew Ahrens		}
1363b2aab1Matthew Ahrens	} else {
1373b2aab1Matthew Ahrens		poa->used += bp_get_dsize_sync(dp->dp_spa, bp);
1383b2aab1Matthew Ahrens		poa->comp += BP_GET_PSIZE(bp);
1393b2aab1Matthew Ahrens		poa->uncomp += BP_GET_UCSIZE(bp);
1403b2aab1Matthew Ahrens		dsl_free_sync(poa->pio, dp, tx->tx_txg, bp);
1413b2aab1Matthew Ahrens	}
1423b2aab1Matthew Ahrens	return (0);
1433b2aab1Matthew Ahrens}
1443b2aab1Matthew Ahrens
1453b2aab1Matthew Ahrensstatic void
1463b2aab1Matthew Ahrensprocess_old_deadlist(dsl_dataset_t *ds, dsl_dataset_t *ds_prev,
1473b2aab1Matthew Ahrens    dsl_dataset_t *ds_next, boolean_t after_branch_point, dmu_tx_t *tx)
1483b2aab1Matthew Ahrens{
1493b2aab1Matthew Ahrens	struct process_old_arg poa = { 0 };
1503b2aab1Matthew Ahrens	dsl_pool_t *dp = ds->ds_dir->dd_pool;
1513b2aab1Matthew Ahrens	objset_t *mos = dp->dp_meta_objset;
1523b2aab1Matthew Ahrens	uint64_t deadlist_obj;
1533b2aab1Matthew Ahrens
1543b2aab1Matthew Ahrens	ASSERT(ds->ds_deadlist.dl_oldfmt);
1553b2aab1Matthew Ahrens	ASSERT(ds_next->ds_deadlist.dl_oldfmt);
1563b2aab1Matthew Ahrens
1573b2aab1Matthew Ahrens	poa.ds = ds;
1583b2aab1Matthew Ahrens	poa.ds_prev = ds_prev;
1593b2aab1Matthew Ahrens	poa.after_branch_point = after_branch_point;
1603b2aab1Matthew Ahrens	poa.pio = zio_root(dp->dp_spa, NULL, NULL, ZIO_FLAG_MUSTSUCCEED);
1613b2aab1Matthew Ahrens	VERIFY0(bpobj_iterate(&ds_next->ds_deadlist.dl_bpobj,
1623b2aab1Matthew Ahrens	    process_old_cb, &poa, tx));
1633b2aab1Matthew Ahrens	VERIFY0(zio_wait(poa.pio));
164c137962Justin T. Gibbs	ASSERT3U(poa.used, ==, dsl_dataset_phys(ds)->ds_unique_bytes);
1653b2aab1Matthew Ahrens
1663b2aab1Matthew Ahrens	/* change snapused */
1673b2aab1Matthew Ahrens	dsl_dir_diduse_space(ds->ds_dir, DD_USED_SNAP,
1683b2aab1Matthew Ahrens	    -poa.used, -poa.comp, -poa.uncomp, tx);
1693b2aab1Matthew Ahrens
1703b2aab1Matthew Ahrens	/* swap next's deadlist to our deadlist */
1713b2aab1Matthew Ahrens	dsl_deadlist_close(&ds->ds_deadlist);
1723b2aab1Matthew Ahrens	dsl_deadlist_close(&ds_next->ds_deadlist);
173c137962Justin T. Gibbs	deadlist_obj = dsl_dataset_phys(ds)->ds_deadlist_obj;
174c137962Justin T. Gibbs	dsl_dataset_phys(ds)->ds_deadlist_obj =
175c137962Justin T. Gibbs	    dsl_dataset_phys(ds_next)->ds_deadlist_obj;
176c137962Justin T. Gibbs	dsl_dataset_phys(ds_next)->ds_deadlist_obj = deadlist_obj;
177c137962Justin T. Gibbs	dsl_deadlist_open(&ds->ds_deadlist, mos,
178c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_deadlist_obj);
1793b2aab1Matthew Ahrens	dsl_deadlist_open(&ds_next->ds_deadlist, mos,
180c137962Justin T. Gibbs	    dsl_dataset_phys(ds_next)->ds_deadlist_obj);
1813b2aab1Matthew Ahrens}
1823b2aab1Matthew Ahrens
1833b2aab1Matthew Ahrensstatic void
1843b2aab1Matthew Ahrensdsl_dataset_remove_clones_key(dsl_dataset_t *ds, uint64_t mintxg, dmu_tx_t *tx)
1853b2aab1Matthew Ahrens{
1863b2aab1Matthew Ahrens	objset_t *mos = ds->ds_dir->dd_pool->dp_meta_objset;
1873b2aab1Matthew Ahrens	zap_cursor_t zc;
1883b2aab1Matthew Ahrens	zap_attribute_t za;
1893b2aab1Matthew Ahrens
1903b2aab1Matthew Ahrens	/*
1913b2aab1Matthew Ahrens	 * If it is the old version, dd_clones doesn't exist so we can't
1923b2aab1Matthew Ahrens	 * find the clones, but dsl_deadlist_remove_key() is a no-op so it
1933b2aab1Matthew Ahrens	 * doesn't matter.
1943b2aab1Matthew Ahrens	 */
195c137962Justin T. Gibbs	if (dsl_dir_phys(ds->ds_dir)->dd_clones == 0)
1963b2aab1Matthew Ahrens		return;
1973b2aab1Matthew Ahrens
198c137962Justin T. Gibbs	for (zap_cursor_init(&zc, mos, dsl_dir_phys(ds->ds_dir)->dd_clones);
1993b2aab1Matthew Ahrens	    zap_cursor_retrieve(&zc, &za) == 0;
2003b2aab1Matthew Ahrens	    zap_cursor_advance(&zc)) {
2013b2aab1Matthew Ahrens		dsl_dataset_t *clone;
2023b2aab1Matthew Ahrens
2033b2aab1Matthew Ahrens		VERIFY0(dsl_dataset_hold_obj(ds->ds_dir->dd_pool,
2043b2aab1Matthew Ahrens		    za.za_first_integer, FTAG, &clone));
2053b2aab1Matthew Ahrens		if (clone->ds_dir->dd_origin_txg > mintxg) {
2063b2aab1Matthew Ahrens			dsl_deadlist_remove_key(&clone->ds_deadlist,
2073b2aab1Matthew Ahrens			    mintxg, tx);
2083b2aab1Matthew Ahrens			dsl_dataset_remove_clones_key(clone, mintxg, tx);
2093b2aab1Matthew Ahrens		}
2103b2aab1Matthew Ahrens		dsl_dataset_rele(clone, FTAG);
2113b2aab1Matthew Ahrens	}
2123b2aab1Matthew Ahrens	zap_cursor_fini(&zc);
2133b2aab1Matthew Ahrens}
2143b2aab1Matthew Ahrens
2153b2aab1Matthew Ahrensvoid
2163b2aab1Matthew Ahrensdsl_destroy_snapshot_sync_impl(dsl_dataset_t *ds, boolean_t defer, dmu_tx_t *tx)
2173b2aab1Matthew Ahrens{
2183b2aab1Matthew Ahrens	int err;
2193b2aab1Matthew Ahrens	int after_branch_point = FALSE;
2203b2aab1Matthew Ahrens	dsl_pool_t *dp = ds->ds_dir->dd_pool;
2213b2aab1Matthew Ahrens	objset_t *mos = dp->dp_meta_objset;
2223b2aab1Matthew Ahrens	dsl_dataset_t *ds_prev = NULL;
2233b2aab1Matthew Ahrens	uint64_t obj;
2243b2aab1Matthew Ahrens
2253b2aab1Matthew Ahrens	ASSERT(RRW_WRITE_HELD(&dp->dp_config_rwlock));
226c166b69Paul Dagnelie	rrw_enter(&ds->ds_bp_rwlock, RW_READER, FTAG);
227c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds)->ds_bp.blk_birth, <=, tx->tx_txg);
228c166b69Paul Dagnelie	rrw_exit(&ds->ds_bp_rwlock, FTAG);
2293b2aab1Matthew Ahrens	ASSERT(refcount_is_zero(&ds->ds_longholds));
2303b2aab1Matthew Ahrens
2313b2aab1Matthew Ahrens	if (defer &&
232c137962Justin T. Gibbs	    (ds->ds_userrefs > 0 ||
233c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_num_children > 1)) {
2343b2aab1Matthew Ahrens		ASSERT(spa_version(dp->dp_spa) >= SPA_VERSION_USERREFS);
2353b2aab1Matthew Ahrens		dmu_buf_will_dirty(ds->ds_dbuf, tx);
236c137962Justin T. Gibbs		dsl_dataset_phys(ds)->ds_flags |= DS_FLAG_DEFER_DESTROY;
2373b2aab1Matthew Ahrens		spa_history_log_internal_ds(ds, "defer_destroy", tx, "");
2383b2aab1Matthew Ahrens		return;
2393b2aab1Matthew Ahrens	}
2403b2aab1Matthew Ahrens
241c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds)->ds_num_children, <=, 1);
2423b2aab1Matthew Ahrens
2433b2aab1Matthew Ahrens	/* We need to log before removing it from the namespace. */
2443b2aab1Matthew Ahrens	spa_history_log_internal_ds(ds, "destroy", tx, "");
2453b2aab1Matthew Ahrens
2463b2aab1Matthew Ahrens	dsl_scan_ds_destroyed(ds, tx);
2473b2aab1Matthew Ahrens
2483b2aab1Matthew Ahrens	obj = ds->ds_object;
2493b2aab1Matthew Ahrens
250ca0cc39Matthew Ahrens	for (spa_feature_t f = 0; f < SPA_FEATURES; f++) {
251ca0cc39Matthew Ahrens		if (ds->ds_feature_inuse[f]) {
252ca0cc39Matthew Ahrens			dsl_dataset_deactivate_feature(obj, f, tx);
253ca0cc39Matthew Ahrens			ds->ds_feature_inuse[f] = B_FALSE;
254ca0cc39Matthew Ahrens		}
255b515258Matthew Ahrens	}
256c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_prev_snap_obj != 0) {
2573b2aab1Matthew Ahrens		ASSERT3P(ds->ds_prev, ==, NULL);
2583b2aab1Matthew Ahrens		VERIFY0(dsl_dataset_hold_obj(dp,
259c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_prev_snap_obj, FTAG, &ds_prev));
2603b2aab1Matthew Ahrens		after_branch_point =
261c137962Justin T. Gibbs		    (dsl_dataset_phys(ds_prev)->ds_next_snap_obj != obj);
2623b2aab1Matthew Ahrens
2633b2aab1Matthew Ahrens		dmu_buf_will_dirty(ds_prev->ds_dbuf, tx);
2643b2aab1Matthew Ahrens		if (after_branch_point &&
265c137962Justin T. Gibbs		    dsl_dataset_phys(ds_prev)->ds_next_clones_obj != 0) {
2663b2aab1Matthew Ahrens			dsl_dataset_remove_from_next_clones(ds_prev, obj, tx);
267c137962Justin T. Gibbs			if (dsl_dataset_phys(ds)->ds_next_snap_obj != 0) {
2683b2aab1Matthew Ahrens				VERIFY0(zap_add_int(mos,
269c137962Justin T. Gibbs				    dsl_dataset_phys(ds_prev)->
270c137962Justin T. Gibbs				    ds_next_clones_obj,
271c137962Justin T. Gibbs				    dsl_dataset_phys(ds)->ds_next_snap_obj,
272c137962Justin T. Gibbs				    tx));
2733b2aab1Matthew Ahrens			}
2743b2aab1Matthew Ahrens		}
2753b2aab1Matthew Ahrens		if (!after_branch_point) {
276c137962Justin T. Gibbs			dsl_dataset_phys(ds_prev)->ds_next_snap_obj =
277c137962Justin T. Gibbs			    dsl_dataset_phys(ds)->ds_next_snap_obj;
2783b2aab1Matthew Ahrens		}
2793b2aab1Matthew Ahrens	}
2803b2aab1Matthew Ahrens
2813b2aab1Matthew Ahrens	dsl_dataset_t *ds_next;
2823b2aab1Matthew Ahrens	uint64_t old_unique;
2833b2aab1Matthew Ahrens	uint64_t used = 0, comp = 0, uncomp = 0;
2843b2aab1Matthew Ahrens
2853b2aab1Matthew Ahrens	VERIFY0(dsl_dataset_hold_obj(dp,
286c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_next_snap_obj, FTAG, &ds_next));
287c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds_next)->ds_prev_snap_obj, ==, obj);
2883b2aab1Matthew Ahrens
289c137962Justin T. Gibbs	old_unique = dsl_dataset_phys(ds_next)->ds_unique_bytes;
2903b2aab1Matthew Ahrens
2913b2aab1Matthew Ahrens	dmu_buf_will_dirty(ds_next->ds_dbuf, tx);
292c137962Justin T. Gibbs	dsl_dataset_phys(ds_next)->ds_prev_snap_obj =
293c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_prev_snap_obj;
294c137962Justin T. Gibbs	dsl_dataset_phys(ds_next)->ds_prev_snap_txg =
295c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_prev_snap_txg;
296c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds)->ds_prev_snap_txg, ==,
297c137962Justin T. Gibbs	    ds_prev ? dsl_dataset_phys(ds_prev)->ds_creation_txg : 0);
2983b2aab1Matthew Ahrens
2993b2aab1Matthew Ahrens	if (ds_next->ds_deadlist.dl_oldfmt) {
3003b2aab1Matthew Ahrens		process_old_deadlist(ds, ds_prev, ds_next,
3013b2aab1Matthew Ahrens		    after_branch_point, tx);
3023b2aab1Matthew Ahrens	} else {
3033b2aab1Matthew Ahrens		/* Adjust prev's unique space. */
3043b2aab1Matthew Ahrens		if (ds_prev && !after_branch_point) {
3053b2aab1Matthew Ahrens			dsl_deadlist_space_range(&ds_next->ds_deadlist,
306c137962Justin T. Gibbs			    dsl_dataset_phys(ds_prev)->ds_prev_snap_txg,
307c137962Justin T. Gibbs			    dsl_dataset_phys(ds)->ds_prev_snap_txg,
3083b2aab1Matthew Ahrens			    &used, &comp, &uncomp);
309c137962Justin T. Gibbs			dsl_dataset_phys(ds_prev)->ds_unique_bytes += used;
3103b2aab1Matthew Ahrens		}
3113b2aab1Matthew Ahrens
3123b2aab1Matthew Ahrens		/* Adjust snapused. */
3133b2aab1Matthew Ahrens		dsl_deadlist_space_range(&ds_next->ds_deadlist,
314c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_prev_snap_txg, UINT64_MAX,
3153b2aab1Matthew Ahrens		    &used, &comp, &uncomp);
3163b2aab1Matthew Ahrens		dsl_dir_diduse_space(ds->ds_dir, DD_USED_SNAP,
3173b2aab1Matthew Ahrens		    -used, -comp, -uncomp, tx);
3183b2aab1Matthew Ahrens
3193b2aab1Matthew Ahrens		/* Move blocks to be freed to pool's free list. */
3203b2aab1Matthew Ahrens		dsl_deadlist_move_bpobj(&ds_next->ds_deadlist,
321c137962Justin T. Gibbs		    &dp->dp_free_bpobj, dsl_dataset_phys(ds)->ds_prev_snap_txg,
3223b2aab1Matthew Ahrens		    tx);
3233b2aab1Matthew Ahrens		dsl_dir_diduse_space(tx->tx_pool->dp_free_dir,
3243b2aab1Matthew Ahrens		    DD_USED_HEAD, used, comp, uncomp, tx);
3253b2aab1Matthew Ahrens
3263b2aab1Matthew Ahrens		/* Merge our deadlist into next's and free it. */
3273b2aab1Matthew Ahrens		dsl_deadlist_merge(&ds_next->ds_deadlist,
328c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_deadlist_obj, tx);
3293b2aab1Matthew Ahrens	}
3303b2aab1Matthew Ahrens	dsl_deadlist_close(&ds->ds_deadlist);
331c137962Justin T. Gibbs	dsl_deadlist_free(mos, dsl_dataset_phys(ds)->ds_deadlist_obj, tx);
3323b2aab1Matthew Ahrens	dmu_buf_will_dirty(ds->ds_dbuf, tx);
333c137962Justin T. Gibbs	dsl_dataset_phys(ds)->ds_deadlist_obj = 0;
3343b2aab1Matthew Ahrens
3353b2aab1Matthew Ahrens	/* Collapse range in clone heads */
3363b2aab1Matthew Ahrens	dsl_dataset_remove_clones_key(ds,
337c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_creation_txg, tx);
3383b2aab1Matthew Ahrens
339bc9014eJustin Gibbs	if (ds_next->ds_is_snapshot) {
3403b2aab1Matthew Ahrens		dsl_dataset_t *ds_nextnext;
3413b2aab1Matthew Ahrens
3423b2aab1Matthew Ahrens		/*
3433b2aab1Matthew Ahrens		 * Update next's unique to include blocks which
3443b2aab1Matthew Ahrens		 * were previously shared by only this snapshot
3453b2aab1Matthew Ahrens		 * and it.  Those blocks will be born after the
3463b2aab1Matthew Ahrens		 * prev snap and before this snap, and will have
3473b2aab1Matthew Ahrens		 * died after the next snap and before the one
3483b2aab1Matthew Ahrens		 * after that (ie. be on the snap after next's
3493b2aab1Matthew Ahrens		 * deadlist).
3503b2aab1Matthew Ahrens		 */
3513b2aab1Matthew Ahrens		VERIFY0(dsl_dataset_hold_obj(dp,
352c137962Justin T. Gibbs		    dsl_dataset_phys(ds_next)->ds_next_snap_obj,
353c137962Justin T. Gibbs		    FTAG, &ds_nextnext));
3543b2aab1Matthew Ahrens		dsl_deadlist_space_range(&ds_nextnext->ds_deadlist,
355c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_prev_snap_txg,
356c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_creation_txg,
3573b2aab1Matthew Ahrens		    &used, &comp, &uncomp);
358c137962Justin T. Gibbs		dsl_dataset_phys(ds_next)->ds_unique_bytes += used;
3593b2aab1Matthew Ahrens		dsl_dataset_rele(ds_nextnext, FTAG);
3603b2aab1Matthew Ahrens		ASSERT3P(ds_next->ds_prev, ==, NULL);
3613b2aab1Matthew Ahrens
3623b2aab1Matthew Ahrens		/* Collapse range in this head. */
3633b2aab1Matthew Ahrens		dsl_dataset_t *hds;
3643b2aab1Matthew Ahrens		VERIFY0(dsl_dataset_hold_obj(dp,
365c137962Justin T. Gibbs		    dsl_dir_phys(ds->ds_dir)->dd_head_dataset_obj, FTAG, &hds));
3663b2aab1Matthew Ahrens		dsl_deadlist_remove_key(&hds->ds_deadlist,
367c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_creation_txg, tx);
3683b2aab1Matthew Ahrens		dsl_dataset_rele(hds, FTAG);
3693b2aab1Matthew Ahrens
3703b2aab1Matthew Ahrens	} else {
3713b2aab1Matthew Ahrens		ASSERT3P(ds_next->ds_prev, ==, ds);
3723b2aab1Matthew Ahrens		dsl_dataset_rele(ds_next->ds_prev, ds_next);
3733b2aab1Matthew Ahrens		ds_next->ds_prev = NULL;
3743b2aab1Matthew Ahrens		if (ds_prev) {
3753b2aab1Matthew Ahrens			VERIFY0(dsl_dataset_hold_obj(dp,
376c137962Justin T. Gibbs			    dsl_dataset_phys(ds)->ds_prev_snap_obj,
3773b2aab1Matthew Ahrens			    ds_next, &ds_next->ds_prev));
3783b2aab1Matthew Ahrens		}
3793b2aab1Matthew Ahrens
3803b2aab1Matthew Ahrens		dsl_dataset_recalc_head_uniq(ds_next);
3813b2aab1Matthew Ahrens
3823b2aab1Matthew Ahrens		/*
3833b2aab1Matthew Ahrens		 * Reduce the amount of our unconsumed refreservation
3843b2aab1Matthew Ahrens		 * being charged to our parent by the amount of
3853b2aab1Matthew Ahrens		 * new unique data we have gained.
3863b2aab1Matthew Ahrens		 */
3873b2aab1Matthew Ahrens		if (old_unique < ds_next->ds_reserved) {
3883b2aab1Matthew Ahrens			int64_t mrsdelta;
3893b2aab1Matthew Ahrens			uint64_t new_unique =
390c137962Justin T. Gibbs			    dsl_dataset_phys(ds_next)->ds_unique_bytes;
3913b2aab1Matthew Ahrens
3923b2aab1Matthew Ahrens			ASSERT(old_unique <= new_unique);
3933b2aab1Matthew Ahrens			mrsdelta = MIN(new_unique - old_unique,
3943b2aab1Matthew Ahrens			    ds_next->ds_reserved - old_unique);
3953b2aab1Matthew Ahrens			dsl_dir_diduse_space(ds->ds_dir,
3963b2aab1Matthew Ahrens			    DD_USED_REFRSRV, -mrsdelta, 0, 0, tx);
3973b2aab1Matthew Ahrens		}
3983b2aab1Matthew Ahrens	}
3993b2aab1Matthew Ahrens	dsl_dataset_rele(ds_next, FTAG);
4003b2aab1Matthew Ahrens
4013b2aab1Matthew Ahrens	/*
4023b2aab1Matthew Ahrens	 * This must be done after the dsl_traverse(), because it will
4033b2aab1Matthew Ahrens	 * re-open the objset.
4043b2aab1Matthew Ahrens	 */
4053b2aab1Matthew Ahrens	if (ds->ds_objset) {
4063b2aab1Matthew Ahrens		dmu_objset_evict(ds->ds_objset);
4073b2aab1Matthew Ahrens		ds->ds_objset = NULL;
4083b2aab1Matthew Ahrens	}
4093b2aab1Matthew Ahrens
4103b2aab1Matthew Ahrens	/* remove from snapshot namespace */
4113b2aab1Matthew Ahrens	dsl_dataset_t *ds_head;
412c137962Justin T. Gibbs	ASSERT(dsl_dataset_phys(ds)->ds_snapnames_zapobj == 0);
4133b2aab1Matthew Ahrens	VERIFY0(dsl_dataset_hold_obj(dp,
414c137962Justin T. Gibbs	    dsl_dir_phys(ds->ds_dir)->dd_head_dataset_obj, FTAG, &ds_head));
4153b2aab1Matthew Ahrens	VERIFY0(dsl_dataset_get_snapname(ds));
4163b2aab1Matthew Ahrens#ifdef ZFS_DEBUG
4173b2aab1Matthew Ahrens	{
4183b2aab1Matthew Ahrens		uint64_t val;
4193b2aab1Matthew Ahrens
4203b2aab1Matthew Ahrens		err = dsl_dataset_snap_lookup(ds_head,
4213b2aab1Matthew Ahrens		    ds->ds_snapname, &val);
4223b2aab1Matthew Ahrens		ASSERT0(err);
4233b2aab1Matthew Ahrens		ASSERT3U(val, ==, obj);
4243b2aab1Matthew Ahrens	}
4253b2aab1Matthew Ahrens#endif
426a2afb61Jerry Jelinek	VERIFY0(dsl_dataset_snap_remove(ds_head, ds->ds_snapname, tx, B_TRUE));
4273b2aab1Matthew Ahrens	dsl_dataset_rele(ds_head, FTAG);
4283b2aab1Matthew Ahrens
4293b2aab1Matthew Ahrens	if (ds_prev != NULL)
4303b2aab1Matthew Ahrens		dsl_dataset_rele(ds_prev, FTAG);
4313b2aab1Matthew Ahrens
4323b2aab1Matthew Ahrens	spa_prop_clear_bootfs(dp->dp_spa, ds->ds_object, tx);
4333b2aab1Matthew Ahrens
434c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_next_clones_obj != 0) {
4353b2aab1Matthew Ahrens		uint64_t count;
4363b2aab1Matthew Ahrens		ASSERT0(zap_count(mos,
437c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_next_clones_obj, &count) &&
438c137962Justin T. Gibbs		    count == 0);
4393b2aab1Matthew Ahrens		VERIFY0(dmu_object_free(mos,
440c137962Justin T. Gibbs		    dsl_dataset_phys(ds)->ds_next_clones_obj, tx));
4413b2aab1Matthew Ahrens	}
442c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_props_obj != 0)
443c137962Justin T. Gibbs		VERIFY0(zap_destroy(mos, dsl_dataset_phys(ds)->ds_props_obj,
444c137962Justin T. Gibbs		    tx));
445c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_userrefs_obj != 0)
446c137962Justin T. Gibbs		VERIFY0(zap_destroy(mos, dsl_dataset_phys(ds)->ds_userrefs_obj,
447c137962Justin T. Gibbs		    tx));
4483b2aab1Matthew Ahrens	dsl_dir_rele(ds->ds_dir, ds);
4493b2aab1Matthew Ahrens	ds->ds_dir = NULL;
4502acef22Matthew Ahrens	dmu_object_free_zapified(mos, obj, tx);
4513b2aab1Matthew Ahrens}
4523b2aab1Matthew Ahrens
453dfc1153Chris Williamsonvoid
4543b2aab1Matthew Ahrensdsl_destroy_snapshot_sync(void *arg, dmu_tx_t *tx)
4553b2aab1Matthew Ahrens{
456dfc1153Chris Williamson	dsl_destroy_snapshot_arg_t *ddsa = arg;
457dfc1153Chris Williamson	const char *dsname = ddsa->ddsa_name;
458dfc1153Chris Williamson	boolean_t defer = ddsa->ddsa_defer;
4593b2aab1Matthew Ahrens
460dfc1153Chris Williamson	dsl_pool_t *dp = dmu_tx_pool(tx);
461dfc1153Chris Williamson	dsl_dataset_t *ds;
4623b2aab1Matthew Ahrens
463dfc1153Chris Williamson	int error = dsl_dataset_hold(dp, dsname, FTAG, &ds);
464dfc1153Chris Williamson	if (error == ENOENT)
465dfc1153Chris Williamson		return;
466dfc1153Chris Williamson	ASSERT0(error);
467dfc1153Chris Williamson	dsl_destroy_snapshot_sync_impl(ds, defer, tx);
468dfc1153Chris Williamson	dsl_dataset_rele(ds, FTAG);
4693b2aab1Matthew Ahrens}
4703b2aab1Matthew Ahrens
4713b2aab1Matthew Ahrens/*
4723b2aab1Matthew Ahrens * The semantics of this function are described in the comment above
4733b2aab1Matthew Ahrens * lzc_destroy_snaps().  To summarize:
4743b2aab1Matthew Ahrens *
4753b2aab1Matthew Ahrens * The snapshots must all be in the same pool.
4763b2aab1Matthew Ahrens *
4773b2aab1Matthew Ahrens * Snapshots that don't exist will be silently ignored (considered to be
4783b2aab1Matthew Ahrens * "already deleted").
4793b2aab1Matthew Ahrens *
4803b2aab1Matthew Ahrens * On success, all snaps will be destroyed and this will return 0.
4813b2aab1Matthew Ahrens * On failure, no snaps will be destroyed, the errlist will be filled in,
4823b2aab1Matthew Ahrens * and this will return an errno.
4833b2aab1Matthew Ahrens */
4843b2aab1Matthew Ahrensint
4853b2aab1Matthew Ahrensdsl_destroy_snapshots_nvl(nvlist_t *snaps, boolean_t defer,
4863b2aab1Matthew Ahrens    nvlist_t *errlist)
4873b2aab1Matthew Ahrens{
488dfc1153Chris Williamson	if (nvlist_next_nvpair(snaps, NULL) == NULL)
4893b2aab1Matthew Ahrens		return (0);
4903b2aab1Matthew Ahrens
491dfc1153Chris Williamson	nvlist_t *arg = fnvlist_alloc();
492dfc1153Chris Williamson	nvlist_t *snaps_normalized = fnvlist_alloc();
493dfc1153Chris Williamson	/*
494dfc1153Chris Williamson	 * lzc_destroy_snaps() is documented to take an nvlist whose
495dfc1153Chris Williamson	 * values "don't matter".  We need to convert that nvlist to one
496dfc1153Chris Williamson	 * that we know can be converted to LUA.
497dfc1153Chris Williamson	 */
498dfc1153Chris Williamson	for (nvpair_t *pair = nvlist_next_nvpair(snaps, NULL);
499dfc1153Chris Williamson	    pair != NULL; pair = nvlist_next_nvpair(snaps, pair)) {
500dfc1153Chris Williamson		fnvlist_add_boolean_value(snaps_normalized,
501dfc1153Chris Williamson		    nvpair_name(pair), B_TRUE);
502dfc1153Chris Williamson	}
503dfc1153Chris Williamson	fnvlist_add_nvlist(arg, "snaps", snaps_normalized);
504dfc1153Chris Williamson	fnvlist_add_boolean_value(arg, "defer", defer);
505dfc1153Chris Williamson
506dfc1153Chris Williamson	nvlist_t *wrapper = fnvlist_alloc();
507dfc1153Chris Williamson	fnvlist_add_nvlist(wrapper, ZCP_ARG_ARGLIST, arg);
508dfc1153Chris Williamson	fnvlist_free(arg);
509dfc1153Chris Williamson
510dfc1153Chris Williamson	const char *program =
511dfc1153Chris Williamson	    "arg = ...\n"
512dfc1153Chris Williamson	    "snaps = arg['snaps']\n"
513dfc1153Chris Williamson	    "defer = arg['defer']\n"
514dfc1153Chris Williamson	    "errors = { }\n"
515dfc1153Chris Williamson	    "has_errors = false\n"
516dfc1153Chris Williamson	    "for snap, v in pairs(snaps) do\n"
517dfc1153Chris Williamson	    "    errno = zfs.check.destroy{snap, defer=defer}\n"
518dfc1153Chris Williamson	    "    zfs.debug('snap: ' .. snap .. ' errno: ' .. errno)\n"
519dfc1153Chris Williamson	    "    if errno == ENOENT then\n"
520dfc1153Chris Williamson	    "        snaps[snap] = nil\n"
521dfc1153Chris Williamson	    "    elseif errno ~= 0 then\n"
522dfc1153Chris Williamson	    "        errors[snap] = errno\n"
523dfc1153Chris Williamson	    "        has_errors = true\n"
524dfc1153Chris Williamson	    "    end\n"
525dfc1153Chris Williamson	    "end\n"
526dfc1153Chris Williamson	    "if has_errors then\n"
527dfc1153Chris Williamson	    "    return errors\n"
528dfc1153Chris Williamson	    "end\n"
529dfc1153Chris Williamson	    "for snap, v in pairs(snaps) do\n"
530dfc1153Chris Williamson	    "    errno = zfs.sync.destroy{snap, defer=defer}\n"
531dfc1153Chris Williamson	    "    assert(errno == 0)\n"
532dfc1153Chris Williamson	    "end\n"
533dfc1153Chris Williamson	    "return { }\n";
534dfc1153Chris Williamson
535dfc1153Chris Williamson	nvlist_t *result = fnvlist_alloc();
536dfc1153Chris Williamson	int error = zcp_eval(nvpair_name(nvlist_next_nvpair(snaps, NULL)),
537dfc1153Chris Williamson	    program,
538dfc1153Chris Williamson	    0,
539dfc1153Chris Williamson	    zfs_lua_max_memlimit,
540dfc1153Chris Williamson	    fnvlist_lookup_nvpair(wrapper, ZCP_ARG_ARGLIST), result);
541dfc1153Chris Williamson	if (error != 0) {
542dfc1153Chris Williamson		char *errorstr = NULL;
543dfc1153Chris Williamson		(void) nvlist_lookup_string(result, ZCP_RET_ERROR, &errorstr);
544dfc1153Chris Williamson		if (errorstr != NULL) {
545dfc1153Chris Williamson			zfs_dbgmsg(errorstr);
546dfc1153Chris Williamson		}
547dfc1153Chris Williamson		return (error);
548dfc1153Chris Williamson	}
549dfc1153Chris Williamson	fnvlist_free(wrapper);
5503b2aab1Matthew Ahrens
551dfc1153Chris Williamson	/*
552dfc1153Chris Williamson	 * lzc_destroy_snaps() is documented to fill the errlist with
553dfc1153Chris Williamson	 * int32 values, so we need to covert the int64 values that are
554dfc1153Chris Williamson	 * returned from LUA.
555dfc1153Chris Williamson	 */
556dfc1153Chris Williamson	int rv = 0;
557dfc1153Chris Williamson	nvlist_t *errlist_raw = fnvlist_lookup_nvlist(result, ZCP_RET_RETURN);
558dfc1153Chris Williamson	for (nvpair_t *pair = nvlist_next_nvpair(errlist_raw, NULL);
559dfc1153Chris Williamson	    pair != NULL; pair = nvlist_next_nvpair(errlist_raw, pair)) {
560dfc1153Chris Williamson		int32_t val = (int32_t)fnvpair_value_int64(pair);
561dfc1153Chris Williamson		if (rv == 0)
562dfc1153Chris Williamson			rv = val;
563dfc1153Chris Williamson		fnvlist_add_int32(errlist, nvpair_name(pair), val);
564dfc1153Chris Williamson	}
565dfc1153Chris Williamson	fnvlist_free(result);
566dfc1153Chris Williamson	return (rv);
5673b2aab1Matthew Ahrens}
5683b2aab1Matthew Ahrens
5693b2aab1Matthew Ahrensint
5703b2aab1Matthew Ahrensdsl_destroy_snapshot(const char *name, boolean_t defer)
5713b2aab1Matthew Ahrens{
5723b2aab1Matthew Ahrens	int error;
5733b2aab1Matthew Ahrens	nvlist_t *nvl = fnvlist_alloc();
5743b2aab1Matthew Ahrens	nvlist_t *errlist = fnvlist_alloc();
5753b2aab1Matthew Ahrens
5763b2aab1Matthew Ahrens	fnvlist_add_boolean(nvl, name);
5773b2aab1Matthew Ahrens	error = dsl_destroy_snapshots_nvl(nvl, defer, errlist);
5783b2aab1Matthew Ahrens	fnvlist_free(errlist);
5793b2aab1Matthew Ahrens	fnvlist_free(nvl);
5803b2aab1Matthew Ahrens	return (error);
5813b2aab1Matthew Ahrens}
5823b2aab1Matthew Ahrens
5833b2aab1Matthew Ahrensstruct killarg {
5843b2aab1Matthew Ahrens	dsl_dataset_t *ds;
5853b2aab1Matthew Ahrens	dmu_tx_t *tx;
5863b2aab1Matthew Ahrens};
5873b2aab1Matthew Ahrens
5883b2aab1Matthew Ahrens/* ARGSUSED */
5893b2aab1Matthew Ahrensstatic int
5903b2aab1Matthew Ahrenskill_blkptr(spa_t *spa, zilog_t *zilog, const blkptr_t *bp,
5917802d7bMatthew Ahrens    const zbookmark_phys_t *zb, const dnode_phys_t *dnp, void *arg)
5923b2aab1Matthew Ahrens{
5933b2aab1Matthew Ahrens	struct killarg *ka = arg;
5943b2aab1Matthew Ahrens	dmu_tx_t *tx = ka->tx;
5953b2aab1Matthew Ahrens
596a2cdcddPaul Dagnelie	if (bp == NULL || BP_IS_HOLE(bp) || BP_IS_EMBEDDED(bp))
5973b2aab1Matthew Ahrens		return (0);
5983b2aab1Matthew Ahrens
5993b2aab1Matthew Ahrens	if (zb->zb_level == ZB_ZIL_LEVEL) {
6003b2aab1Matthew Ahrens		ASSERT(zilog != NULL);
6013b2aab1Matthew Ahrens		/*
6023b2aab1Matthew Ahrens		 * It's a block in the intent log.  It has no
6033b2aab1Matthew Ahrens		 * accounting, so just free it.
6043b2aab1Matthew Ahrens		 */
6053b2aab1Matthew Ahrens		dsl_free(ka->tx->tx_pool, ka->tx->tx_txg, bp);
6063b2aab1Matthew Ahrens	} else {
6073b2aab1Matthew Ahrens		ASSERT(zilog == NULL);
608c137962Justin T. Gibbs		ASSERT3U(bp->blk_birth, >,
609c137962Justin T. Gibbs		    dsl_dataset_phys(ka->ds)->ds_prev_snap_txg);
6103b2aab1Matthew Ahrens		(void) dsl_dataset_block_kill(ka->ds, bp, tx, B_FALSE);
6113b2aab1Matthew Ahrens	}
6123b2aab1Matthew Ahrens
6133b2aab1Matthew Ahrens	return (0);
6143b2aab1Matthew Ahrens}
6153b2aab1Matthew Ahrens
6163b2aab1Matthew Ahrensstatic void
6173b2aab1Matthew Ahrensold_synchronous_dataset_destroy(dsl_dataset_t *ds, dmu_tx_t *tx)
6183b2aab1Matthew Ahrens{
6193b2aab1Matthew Ahrens	struct killarg ka;
6203b2aab1Matthew Ahrens
6213b2aab1Matthew Ahrens	/*
6223b2aab1Matthew Ahrens	 * Free everything that we point to (that's born after
6233b2aab1Matthew Ahrens	 * the previous snapshot, if we are a clone)
6243b2aab1Matthew Ahrens	 *
6253b2aab1Matthew Ahrens	 * NB: this should be very quick, because we already
6263b2aab1Matthew Ahrens	 * freed all the objects in open context.
6273b2aab1Matthew Ahrens	 */
6283b2aab1Matthew Ahrens	ka.ds = ds;
6293b2aab1Matthew Ahrens	ka.tx = tx;
6303b2aab1Matthew Ahrens	VERIFY0(traverse_dataset(ds,
631c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_prev_snap_txg, TRAVERSE_POST,
6323b2aab1Matthew Ahrens	    kill_blkptr, &ka));
633c137962Justin T. Gibbs	ASSERT(!DS_UNIQUE_IS_ACCURATE(ds) ||
634c137962Justin T. Gibbs	    dsl_dataset_phys(ds)->ds_unique_bytes == 0);
6353b2aab1Matthew Ahrens}
6363b2aab1Matthew Ahrens
6373b2aab1Matthew Ahrensint
6383b2aab1Matthew Ahrensdsl_destroy_head_check_impl(dsl_dataset_t *ds, int expected_holds)
6393b2aab1Matthew Ahrens{
6403b2aab1Matthew Ahrens	int error;
6413b2aab1Matthew Ahrens	uint64_t count;
6423b2aab1Matthew Ahrens	objset_t *mos;
6433b2aab1Matthew Ahrens
644bc9014eJustin Gibbs	ASSERT(!ds->ds_is_snapshot);
645bc9014eJustin Gibbs	if (ds->ds_is_snapshot)
646be6fd75Matthew Ahrens		return (SET_ERROR(EINVAL));
6473b2aab1Matthew Ahrens
6483b2aab1Matthew Ahrens	if (refcount_count(&ds->ds_longholds) != expected_holds)
649be6fd75Matthew Ahrens		return (SET_ERROR(EBUSY));
6503b2aab1Matthew Ahrens
6513b2aab1Matthew Ahrens	mos = ds->ds_dir->dd_pool->dp_meta_objset;
6523b2aab1Matthew Ahrens
6533b2aab1Matthew Ahrens	/*
6543b2aab1Matthew Ahrens	 * Can't delete a head dataset if there are snapshots of it.
6553b2aab1Matthew Ahrens	 * (Except if the only snapshots are from the branch we cloned
6563b2aab1Matthew Ahrens	 * from.)
6573b2aab1Matthew Ahrens	 */
6583b2aab1Matthew Ahrens	if (ds->ds_prev != NULL &&
659c137962Justin T. Gibbs	    dsl_dataset_phys(ds->ds_prev)->ds_next_snap_obj == ds->ds_object)
660be6fd75Matthew Ahrens		return (SET_ERROR(EBUSY));
6613b2aab1Matthew Ahrens
6623b2aab1Matthew Ahrens	/*
6633b2aab1Matthew Ahrens	 * Can't delete if there are children of this fs.
6643b2aab1Matthew Ahrens	 */
6653b2aab1Matthew Ahrens	error = zap_count(mos,
666c137962Justin T. Gibbs	    dsl_dir_phys(ds->ds_dir)->dd_child_dir_zapobj, &count);
6673b2aab1Matthew Ahrens	if (error != 0)
6683b2aab1Matthew Ahrens		return (error);
6693b2aab1Matthew Ahrens	if (count != 0)
670be6fd75Matthew Ahrens		return (SET_ERROR(EEXIST));
6713b2aab1Matthew Ahrens
6723b2aab1Matthew Ahrens	if (dsl_dir_is_clone(ds->ds_dir) && DS_IS_DEFER_DESTROY(ds->ds_prev) &&
673c137962Justin T. Gibbs	    dsl_dataset_phys(ds->ds_prev)->ds_num_children == 2 &&
6743b2aab1Matthew Ahrens	    ds->ds_prev->ds_userrefs == 0) {
6753b2aab1Matthew Ahrens		/* We need to remove the origin snapshot as well. */
6763b2aab1Matthew Ahrens		if (!refcount_is_zero(&ds->ds_prev->ds_longholds))
677be6fd75Matthew Ahrens			return (SET_ERROR(EBUSY));
6783b2aab1Matthew Ahrens	}
6793b2aab1Matthew Ahrens	return (0);
6803b2aab1Matthew Ahrens}
6813b2aab1Matthew Ahrens
682dfc1153Chris Williamsonint
6833b2aab1Matthew Ahrensdsl_destroy_head_check(void *arg, dmu_tx_t *tx)
6843b2aab1Matthew Ahrens{
6853b2aab1Matthew Ahrens	dsl_destroy_head_arg_t *ddha = arg;
6863b2aab1Matthew Ahrens	dsl_pool_t *dp = dmu_tx_pool(tx);
6873b2aab1Matthew Ahrens	dsl_dataset_t *ds;
6883b2aab1Matthew Ahrens	int error;
6893b2aab1Matthew Ahrens
6903b2aab1Matthew Ahrens	error = dsl_dataset_hold(dp, ddha->ddha_name, FTAG, &ds);
6913b2aab1Matthew Ahrens	if (error != 0)
6923b2aab1Matthew Ahrens		return (error);
6933b2aab1Matthew Ahrens
6943b2aab1Matthew Ahrens	error = dsl_destroy_head_check_impl(ds, 0);
6953b2aab1Matthew Ahrens	dsl_dataset_rele(ds, FTAG);
6963b2aab1Matthew Ahrens	return (error);
6973b2aab1Matthew Ahrens}
6983b2aab1Matthew Ahrens
6993b2aab1Matthew Ahrensstatic void
7003b2aab1Matthew Ahrensdsl_dir_destroy_sync(uint64_t ddobj, dmu_tx_t *tx)
7013b2aab1Matthew Ahrens{
7023b2aab1Matthew Ahrens	dsl_dir_t *dd;
7033b2aab1Matthew Ahrens	dsl_pool_t *dp = dmu_tx_pool(tx);
7043b2aab1Matthew Ahrens	objset_t *mos = dp->dp_meta_objset;
7053b2aab1Matthew Ahrens	dd_used_t t;
7063b2aab1Matthew Ahrens
7073b2aab1Matthew Ahrens	ASSERT(RRW_WRITE_HELD(&dmu_tx_pool(tx)->dp_config_rwlock));
7083b2aab1Matthew Ahrens
7093b2aab1Matthew Ahrens	VERIFY0(dsl_dir_hold_obj(dp, ddobj, NULL, FTAG, &dd));
7103b2aab1Matthew Ahrens
711c137962Justin T. Gibbs	ASSERT0(dsl_dir_phys(dd)->dd_head_dataset_obj);
7123b2aab1Matthew Ahrens
7133b2aab1Matthew Ahrens	/*
714a2afb61Jerry Jelinek	 * Decrement the filesystem count for all parent filesystems.
715a2afb61Jerry Jelinek	 *
716a2afb61Jerry Jelinek	 * When we receive an incremental stream into a filesystem that already
717a2afb61Jerry Jelinek	 * exists, a temporary clone is created.  We never count this temporary
718a2afb61Jerry Jelinek	 * clone, whose name begins with a '%'.
719a2afb61Jerry Jelinek	 */
720a2afb61Jerry Jelinek	if (dd->dd_myname[0] != '%' && dd->dd_parent != NULL)
721a2afb61Jerry Jelinek		dsl_fs_ss_count_adjust(dd->dd_parent, -1,
722a2afb61Jerry Jelinek		    DD_FIELD_FILESYSTEM_COUNT, tx);
723a2afb61Jerry Jelinek
724a2afb61Jerry Jelinek	/*
7253b2aab1Matthew Ahrens	 * Remove our reservation. The impl() routine avoids setting the
7263b2aab1Matthew Ahrens	 * actual property, which would require the (already destroyed) ds.
7273b2aab1Matthew Ahrens	 */
7283b2aab1Matthew Ahrens	dsl_dir_set_reservation_sync_impl(dd, 0, tx);
7293b2aab1Matthew Ahrens
730c137962Justin T. Gibbs	ASSERT0(dsl_dir_phys(dd)->dd_used_bytes);
731c137962Justin T. Gibbs	ASSERT0(dsl_dir_phys(dd)->dd_reserved);
7323b2aab1Matthew Ahrens	for (t = 0; t < DD_USED_NUM; t++)
733c137962Justin T. Gibbs		ASSERT0(dsl_dir_phys(dd)->dd_used_breakdown[t]);
7343b2aab1Matthew Ahrens
735c137962Justin T. Gibbs	VERIFY0(zap_destroy(mos, dsl_dir_phys(dd)->dd_child_dir_zapobj, tx));
736c137962Justin T. Gibbs	VERIFY0(zap_destroy(mos, dsl_dir_phys(dd)->dd_props_zapobj, tx));
737c137962Justin T. Gibbs	VERIFY0(dsl_deleg_destroy(mos, dsl_dir_phys(dd)->dd_deleg_zapobj, tx));
7383b2aab1Matthew Ahrens	VERIFY0(zap_remove(mos,
739c137962Justin T. Gibbs	    dsl_dir_phys(dd->dd_parent)->dd_child_dir_zapobj,
740c137962Justin T. Gibbs	    dd->dd_myname, tx));
7413b2aab1Matthew Ahrens
7423b2aab1Matthew Ahrens	dsl_dir_rele(dd, FTAG);
7432acef22Matthew Ahrens	dmu_object_free_zapified(mos, ddobj, tx);
7443b2aab1Matthew Ahrens}
7453b2aab1Matthew Ahrens
7463b2aab1Matthew Ahrensvoid
7473b2aab1Matthew Ahrensdsl_destroy_head_sync_impl(dsl_dataset_t *ds, dmu_tx_t *tx)
7483b2aab1Matthew Ahrens{
7493b2aab1Matthew Ahrens	dsl_pool_t *dp = dmu_tx_pool(tx);
7503b2aab1Matthew Ahrens	objset_t *mos = dp->dp_meta_objset;
7513b2aab1Matthew Ahrens	uint64_t obj, ddobj, prevobj = 0;
7523b2aab1Matthew Ahrens	boolean_t rmorigin;
7533b2aab1Matthew Ahrens
754c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds)->ds_num_children, <=, 1);
7553b2aab1Matthew Ahrens	ASSERT(ds->ds_prev == NULL ||
756c137962Justin T. Gibbs	    dsl_dataset_phys(ds->ds_prev)->ds_next_snap_obj != ds->ds_object);
757c166b69Paul Dagnelie	rrw_enter(&ds->ds_bp_rwlock, RW_READER, FTAG);
758c137962Justin T. Gibbs	ASSERT3U(dsl_dataset_phys(ds)->ds_bp.blk_birth, <=, tx->tx_txg);
759c166b69Paul Dagnelie	rrw_exit(&ds->ds_bp_rwlock, FTAG);
7603b2aab1Matthew Ahrens	ASSERT(RRW_WRITE_HELD(&dp->dp_config_rwlock));
7613b2aab1Matthew Ahrens
7623b2aab1Matthew Ahrens	/* We need to log before removing it from the namespace. */
7633b2aab1Matthew Ahrens	spa_history_log_internal_ds(ds, "destroy", tx, "");
7643b2aab1Matthew Ahrens
7653b2aab1Matthew Ahrens	rmorigin = (dsl_dir_is_clone(ds->ds_dir) &&
7663b2aab1Matthew Ahrens	    DS_IS_DEFER_DESTROY(ds->ds_prev) &&
767c137962Justin T. Gibbs	    dsl_dataset_phys(ds->ds_prev)->ds_num_children == 2 &&
7683b2aab1Matthew Ahrens	    ds->ds_prev->ds_userrefs == 0);
7693b2aab1Matthew Ahrens
7705d7b4d4Matthew Ahrens	/* Remove our reservation. */
7713b2aab1Matthew Ahrens	if (ds->ds_reserved != 0) {
7723b2aab1Matthew Ahrens		dsl_dataset_set_refreservation_sync_impl(ds,
7733b2aab1Matthew Ahrens		    (ZPROP_SRC_NONE | ZPROP_SRC_LOCAL | ZPROP_SRC_RECEIVED),
7743b2aab1Matthew Ahrens		    0, tx);
7753b2aab1Matthew Ahrens		ASSERT0(ds->ds_reserved);
7763b2aab1Matthew Ahrens	}
7773b2aab1Matthew Ahrens
778ca0cc39Matthew Ahrens	obj = ds->ds_object;
779b515258Matthew Ahrens
780ca0cc39Matthew Ahrens	for (spa_feature_t f = 0; f < SPA_FEATURES; f++) {
781ca0cc39Matthew Ahrens		if (ds->ds_feature_inuse[f]) {
782ca0cc39Matthew Ahrens			dsl_dataset_deactivate_feature(obj, f, tx);
783ca0cc39Matthew Ahrens			ds->ds_feature_inuse[f] = B_FALSE;
784ca0cc39Matthew Ahrens		}
785ca0cc39Matthew Ahrens	}
7863b2aab1Matthew Ahrens
787ca0cc39Matthew Ahrens	dsl_scan_ds_destroyed(ds, tx);
7883b2aab1Matthew Ahrens
789c137962Justin T. Gibbs	if (dsl_dataset_phys(ds)->ds_prev_snap_obj != 0) {
7903b2aab1Matthew Ahrens		/* This is a clone */
7913b2aab1Matthew Ahrens		ASSERT(ds->ds_prev != NULL);
792c137962Justin T. Gibbs		ASSERT3U(dsl_dataset_phys(ds->ds_prev)->ds_next_snap_obj, !=,
793c137962Justin T. Gibbs		    obj);
794c137962Justin T. Gibbs		ASSERT0(dsl_dataset_phys(ds)->ds_next_snap_obj);
7953b2aab1Matthew Ahrens
7963b2aab1Matthew Ahrens		dmu_buf_will_dirty(ds->ds_prev->ds_dbuf, tx);
797c137962Justin T. Gibbs		if (dsl_dataset_phys(ds->ds_prev)->ds_next_clones_obj != 0) {
7983b2aab1Matthew Ahrens			dsl_dataset_remove_from_next_clones(ds->ds_prev,
7993b2aab1Matthew Ahrens			    obj, tx);
8003b2aab1Matthew Ahrens		}
8013b2aab1Matthew Ahrens
802c137962Justin T. Gibbs		ASSERT3U(dsl_dataset_phys(ds->ds_prev)->ds_num_children, >, 1);
803c137962Justin T. Gibbs		dsl_dataset_phys(ds->ds_prev)->ds_num_children--;
8043b2aab1Matthew Ahrens	}
8053b2aab1Matthew Ahrens
8063b2aab1Matthew Ahrens	/*
8073b2aab1Matthew Ahrens	 * Destroy the deadlist.  Unless it's a clone, the
8083b2aab1Matthew Ahrens	 * deadlist should be empty.  (If it's a clone, it's
8093b2aab1Matthew Ahrens	 * safe to ignore the deadlist contents.)
8103b2aab1Matthew Ahrens	 */
8113b2aab1Matthew Ahrens	dsl_deadlist_close(&ds->ds_deadlist);
812c137962Justin T. Gibbs	dsl_deadlist_free(mos, dsl_dataset_phys(ds)->ds_deadlist_obj, tx);
8133b2aab1Matthew Ahrens	dmu_buf_will_dirty(ds->ds_dbuf, tx);
814c137962Justin T. Gibbs	dsl_dataset_phys(ds)->ds_deadlist_obj = 0;
8153b2aab1Matthew Ahrens
8162acef22Matthew Ahrens	objset_t *os;
8173b2aab1Matthew Ahrens	VERIFY0(dmu_objset_from_ds(ds, &os));
8183b2aab1Matthew Ahrens
8192acef22Matthew Ahrens	if (!spa_feature_is_enabled(dp->dp_spa, SPA_FEATURE_ASYNC_DESTROY)) {
8203b2aab1Matthew Ahrens		old_synchronous_dataset_destroy(ds, tx);
821