xfs_dfrag.c 12.4 KB
Newer Older
L
Linus Torvalds 已提交
1
/*
2
 * Copyright (c) 2000-2006 Silicon Graphics, Inc.
3
 * All Rights Reserved.
L
Linus Torvalds 已提交
4
 *
5 6
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
L
Linus Torvalds 已提交
7 8
 * published by the Free Software Foundation.
 *
9 10 11 12
 * This program is distributed in the hope that it would be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
L
Linus Torvalds 已提交
13
 *
14 15 16
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write the Free Software Foundation,
 * Inc.,  51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
L
Linus Torvalds 已提交
17 18
 */
#include "xfs.h"
19
#include "xfs_fs.h"
L
Linus Torvalds 已提交
20 21 22 23
#include "xfs_types.h"
#include "xfs_log.h"
#include "xfs_trans.h"
#include "xfs_sb.h"
24
#include "xfs_ag.h"
L
Linus Torvalds 已提交
25 26 27 28
#include "xfs_mount.h"
#include "xfs_bmap_btree.h"
#include "xfs_dinode.h"
#include "xfs_inode.h"
29
#include "xfs_inode_item.h"
L
Linus Torvalds 已提交
30 31 32 33
#include "xfs_bmap.h"
#include "xfs_itable.h"
#include "xfs_dfrag.h"
#include "xfs_error.h"
34
#include "xfs_vnodeops.h"
C
Christoph Hellwig 已提交
35
#include "xfs_trace.h"
L
Linus Torvalds 已提交
36

37 38 39 40 41 42

static int xfs_swap_extents(
	xfs_inode_t	*ip,	/* target inode */
	xfs_inode_t	*tip,	/* tmp inode */
	xfs_swapext_t	*sxp);

L
Linus Torvalds 已提交
43
/*
44
 * ioctl interface for swapext
L
Linus Torvalds 已提交
45 46 47
 */
int
xfs_swapext(
48
	xfs_swapext_t	*sxp)
L
Linus Torvalds 已提交
49
{
C
Christoph Hellwig 已提交
50
	xfs_inode_t     *ip, *tip;
51 52
	struct fd	f, tmp;
	int		error = 0;
L
Linus Torvalds 已提交
53 54

	/* Pull information for the target fd */
55 56
	f = fdget((int)sxp->sx_fdtarget);
	if (!f.file) {
L
Linus Torvalds 已提交
57
		error = XFS_ERROR(EINVAL);
58
		goto out;
L
Linus Torvalds 已提交
59 60
	}

61 62 63
	if (!(f.file->f_mode & FMODE_WRITE) ||
	    !(f.file->f_mode & FMODE_READ) ||
	    (f.file->f_flags & O_APPEND)) {
64 65 66 67
		error = XFS_ERROR(EBADF);
		goto out_put_file;
	}

68 69
	tmp = fdget((int)sxp->sx_fdtmp);
	if (!tmp.file) {
L
Linus Torvalds 已提交
70
		error = XFS_ERROR(EINVAL);
C
Christoph Hellwig 已提交
71
		goto out_put_file;
L
Linus Torvalds 已提交
72 73
	}

74 75 76
	if (!(tmp.file->f_mode & FMODE_WRITE) ||
	    !(tmp.file->f_mode & FMODE_READ) ||
	    (tmp.file->f_flags & O_APPEND)) {
77
		error = XFS_ERROR(EBADF);
78
		goto out_put_tmp_file;
79 80
	}

81 82
	if (IS_SWAPFILE(f.file->f_path.dentry->d_inode) ||
	    IS_SWAPFILE(tmp.file->f_path.dentry->d_inode)) {
83
		error = XFS_ERROR(EINVAL);
84
		goto out_put_tmp_file;
85 86
	}

87 88
	ip = XFS_I(f.file->f_path.dentry->d_inode);
	tip = XFS_I(tmp.file->f_path.dentry->d_inode);
L
Linus Torvalds 已提交
89 90

	if (ip->i_mount != tip->i_mount) {
C
Christoph Hellwig 已提交
91
		error = XFS_ERROR(EINVAL);
92
		goto out_put_tmp_file;
L
Linus Torvalds 已提交
93 94 95
	}

	if (ip->i_ino == tip->i_ino) {
C
Christoph Hellwig 已提交
96
		error = XFS_ERROR(EINVAL);
97
		goto out_put_tmp_file;
L
Linus Torvalds 已提交
98 99
	}

C
Christoph Hellwig 已提交
100 101
	if (XFS_FORCED_SHUTDOWN(ip->i_mount)) {
		error = XFS_ERROR(EIO);
102
		goto out_put_tmp_file;
L
Linus Torvalds 已提交
103 104
	}

105
	error = xfs_swap_extents(ip, tip, sxp);
106

107
 out_put_tmp_file:
108
	fdput(tmp);
C
Christoph Hellwig 已提交
109
 out_put_file:
110
	fdput(f);
C
Christoph Hellwig 已提交
111
 out:
112 113 114
	return error;
}

115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163
/*
 * We need to check that the format of the data fork in the temporary inode is
 * valid for the target inode before doing the swap. This is not a problem with
 * attr1 because of the fixed fork offset, but attr2 has a dynamically sized
 * data fork depending on the space the attribute fork is taking so we can get
 * invalid formats on the target inode.
 *
 * E.g. target has space for 7 extents in extent format, temp inode only has
 * space for 6.  If we defragment down to 7 extents, then the tmp format is a
 * btree, but when swapped it needs to be in extent format. Hence we can't just
 * blindly swap data forks on attr2 filesystems.
 *
 * Note that we check the swap in both directions so that we don't end up with
 * a corrupt temporary inode, either.
 *
 * Note that fixing the way xfs_fsr sets up the attribute fork in the source
 * inode will prevent this situation from occurring, so all we do here is
 * reject and log the attempt. basically we are putting the responsibility on
 * userspace to get this right.
 */
static int
xfs_swap_extents_check_format(
	xfs_inode_t	*ip,	/* target inode */
	xfs_inode_t	*tip)	/* tmp inode */
{

	/* Should never get a local format */
	if (ip->i_d.di_format == XFS_DINODE_FMT_LOCAL ||
	    tip->i_d.di_format == XFS_DINODE_FMT_LOCAL)
		return EINVAL;

	/*
	 * if the target inode has less extents that then temporary inode then
	 * why did userspace call us?
	 */
	if (ip->i_d.di_nextents < tip->i_d.di_nextents)
		return EINVAL;

	/*
	 * if the target inode is in extent form and the temp inode is in btree
	 * form then we will end up with the target inode in the wrong format
	 * as we already know there are less extents in the temp inode.
	 */
	if (ip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
	    tip->i_d.di_format == XFS_DINODE_FMT_BTREE)
		return EINVAL;

	/* Check temp in extent form to max in target */
	if (tip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
164 165
	    XFS_IFORK_NEXTENTS(tip, XFS_DATA_FORK) >
			XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
166 167 168 169
		return EINVAL;

	/* Check target in extent form to max in temp */
	if (ip->i_d.di_format == XFS_DINODE_FMT_EXTENTS &&
170 171
	    XFS_IFORK_NEXTENTS(ip, XFS_DATA_FORK) >
			XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
172 173
		return EINVAL;

174 175 176 177 178 179 180 181 182
	/*
	 * If we are in a btree format, check that the temp root block will fit
	 * in the target and that it has enough extents to be in btree format
	 * in the target.
	 *
	 * Note that we have to be careful to allow btree->extent conversions
	 * (a common defrag case) which will occur when the temp inode is in
	 * extent format...
	 */
183 184 185 186 187 188 189 190
	if (tip->i_d.di_format == XFS_DINODE_FMT_BTREE) {
		if (XFS_IFORK_BOFF(ip) &&
		    tip->i_df.if_broot_bytes > XFS_IFORK_BOFF(ip))
			return EINVAL;
		if (XFS_IFORK_NEXTENTS(tip, XFS_DATA_FORK) <=
		    XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK))
			return EINVAL;
	}
191

192
	/* Reciprocal target->temp btree format checks */
193 194 195 196 197 198 199 200 201
	if (ip->i_d.di_format == XFS_DINODE_FMT_BTREE) {
		if (XFS_IFORK_BOFF(tip) &&
		    ip->i_df.if_broot_bytes > XFS_IFORK_BOFF(tip))
			return EINVAL;

		if (XFS_IFORK_NEXTENTS(ip, XFS_DATA_FORK) <=
		    XFS_IFORK_MAXEXT(tip, XFS_DATA_FORK))
			return EINVAL;
	}
202 203 204 205

	return 0;
}

206
static int
207
xfs_swap_extents(
208 209
	xfs_inode_t	*ip,	/* target inode */
	xfs_inode_t	*tip,	/* tmp inode */
210 211
	xfs_swapext_t	*sxp)
{
212
	xfs_mount_t	*mp = ip->i_mount;
213 214 215
	xfs_trans_t	*tp;
	xfs_bstat_t	*sbp = &sxp->sx_stat;
	xfs_ifork_t	*tempifp, *ifp, *tifp;
216
	int		src_log_flags, target_log_flags;
217 218 219 220 221 222 223 224
	int		error = 0;
	int		aforkblks = 0;
	int		taforkblks = 0;
	__uint64_t	tmp;

	tempifp = kmem_alloc(sizeof(xfs_ifork_t), KM_MAYFAIL);
	if (!tempifp) {
		error = XFS_ERROR(ENOMEM);
225
		goto out;
226 227
	}

228 229 230 231 232 233 234 235
	/*
	 * we have to do two separate lock calls here to keep lockdep
	 * happy. If we try to get all the locks in one call, lock will
	 * report false positives when we drop the ILOCK and regain them
	 * below.
	 */
	xfs_lock_two_inodes(ip, tip, XFS_IOLOCK_EXCL);
	xfs_lock_two_inodes(ip, tip, XFS_ILOCK_EXCL);
L
Linus Torvalds 已提交
236 237 238 239

	/* Verify that both files have the same format */
	if ((ip->i_d.di_mode & S_IFMT) != (tip->i_d.di_mode & S_IFMT)) {
		error = XFS_ERROR(EINVAL);
240
		goto out_unlock;
L
Linus Torvalds 已提交
241 242 243
	}

	/* Verify both files are either real-time or non-realtime */
244
	if (XFS_IS_REALTIME_INODE(ip) != XFS_IS_REALTIME_INODE(tip)) {
L
Linus Torvalds 已提交
245
		error = XFS_ERROR(EINVAL);
246
		goto out_unlock;
L
Linus Torvalds 已提交
247 248
	}

249
	error = -filemap_write_and_wait(VFS_I(tip)->i_mapping);
D
Dave Chinner 已提交
250 251
	if (error)
		goto out_unlock;
252
	truncate_pagecache_range(VFS_I(tip), 0, -1);
L
Linus Torvalds 已提交
253 254

	/* Verify O_DIRECT for ftmp */
255
	if (VN_CACHED(VFS_I(tip)) != 0) {
L
Linus Torvalds 已提交
256
		error = XFS_ERROR(EINVAL);
257
		goto out_unlock;
L
Linus Torvalds 已提交
258 259 260
	}

	/* Verify all data are being swapped */
261 262 263
	if (sxp->sx_offset != 0 ||
	    sxp->sx_length != ip->i_d.di_size ||
	    sxp->sx_length != tip->i_d.di_size) {
L
Linus Torvalds 已提交
264
		error = XFS_ERROR(EFAULT);
265
		goto out_unlock;
L
Linus Torvalds 已提交
266 267
	}

268 269 270
	trace_xfs_swap_extent_before(ip, 0);
	trace_xfs_swap_extent_before(tip, 1);

271 272 273
	/* check inode formats now that data is flushed */
	error = xfs_swap_extents_check_format(ip, tip);
	if (error) {
274
		xfs_notice(mp,
275
		    "%s: inode 0x%llx format is incompatible for exchanging.",
276
				__func__, ip->i_ino);
277
		goto out_unlock;
L
Linus Torvalds 已提交
278 279 280 281 282 283 284 285 286
	}

	/*
	 * Compare the current change & modify times with that
	 * passed in.  If they differ, we abort this swap.
	 * This is the mechanism used to ensure the calling
	 * process that the file was not changed out from
	 * under it.
	 */
287 288 289 290
	if ((sbp->bs_ctime.tv_sec != VFS_I(ip)->i_ctime.tv_sec) ||
	    (sbp->bs_ctime.tv_nsec != VFS_I(ip)->i_ctime.tv_nsec) ||
	    (sbp->bs_mtime.tv_sec != VFS_I(ip)->i_mtime.tv_sec) ||
	    (sbp->bs_mtime.tv_nsec != VFS_I(ip)->i_mtime.tv_nsec)) {
L
Linus Torvalds 已提交
291
		error = XFS_ERROR(EBUSY);
292
		goto out_unlock;
L
Linus Torvalds 已提交
293 294 295 296 297
	}

	/* We need to fail if the file is memory mapped.  Once we have tossed
	 * all existing pages, the page fault will have no option
	 * but to go to the filesystem for pages. By making the page fault call
298
	 * vop_read (or write in the case of autogrow) they block on the iolock
L
Linus Torvalds 已提交
299 300
	 * until we have switched the extents.
	 */
301
	if (VN_MAPPED(VFS_I(ip))) {
L
Linus Torvalds 已提交
302
		error = XFS_ERROR(EBUSY);
303
		goto out_unlock;
L
Linus Torvalds 已提交
304 305 306 307 308 309 310 311 312 313 314 315
	}

	xfs_iunlock(ip, XFS_ILOCK_EXCL);
	xfs_iunlock(tip, XFS_ILOCK_EXCL);

	/*
	 * There is a race condition here since we gave up the
	 * ilock.  However, the data fork will not change since
	 * we have the iolock (locked for truncation too) so we
	 * are safe.  We don't really care if non-io related
	 * fields change.
	 */
D
Dave Chinner 已提交
316
	truncate_pagecache_range(VFS_I(ip), 0, -1);
L
Linus Torvalds 已提交
317 318 319 320 321 322 323 324

	tp = xfs_trans_alloc(mp, XFS_TRANS_SWAPEXT);
	if ((error = xfs_trans_reserve(tp, 0,
				     XFS_ICHANGE_LOG_RES(mp), 0,
				     0, 0))) {
		xfs_iunlock(ip,  XFS_IOLOCK_EXCL);
		xfs_iunlock(tip, XFS_IOLOCK_EXCL);
		xfs_trans_cancel(tp, 0);
325
		goto out;
L
Linus Torvalds 已提交
326
	}
327
	xfs_lock_two_inodes(ip, tip, XFS_ILOCK_EXCL);
L
Linus Torvalds 已提交
328 329 330 331 332 333 334

	/*
	 * Count the number of extended attribute blocks
	 */
	if ( ((XFS_IFORK_Q(ip) != 0) && (ip->i_d.di_anextents > 0)) &&
	     (ip->i_d.di_aformat != XFS_DINODE_FMT_LOCAL)) {
		error = xfs_bmap_count_blocks(tp, ip, XFS_ATTR_FORK, &aforkblks);
335 336
		if (error)
			goto out_trans_cancel;
L
Linus Torvalds 已提交
337 338 339 340 341
	}
	if ( ((XFS_IFORK_Q(tip) != 0) && (tip->i_d.di_anextents > 0)) &&
	     (tip->i_d.di_aformat != XFS_DINODE_FMT_LOCAL)) {
		error = xfs_bmap_count_blocks(tp, tip, XFS_ATTR_FORK,
			&taforkblks);
342 343
		if (error)
			goto out_trans_cancel;
L
Linus Torvalds 已提交
344 345 346 347 348 349 350
	}

	/*
	 * Swap the data forks of the inodes
	 */
	ifp = &ip->i_df;
	tifp = &tip->i_df;
351 352 353
	*tempifp = *ifp;	/* struct copy */
	*ifp = *tifp;		/* struct copy */
	*tifp = *tempifp;	/* struct copy */
L
Linus Torvalds 已提交
354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369

	/*
	 * Fix the on-disk inode values
	 */
	tmp = (__uint64_t)ip->i_d.di_nblocks;
	ip->i_d.di_nblocks = tip->i_d.di_nblocks - taforkblks + aforkblks;
	tip->i_d.di_nblocks = tmp + taforkblks - aforkblks;

	tmp = (__uint64_t) ip->i_d.di_nextents;
	ip->i_d.di_nextents = tip->i_d.di_nextents;
	tip->i_d.di_nextents = tmp;

	tmp = (__uint64_t) ip->i_d.di_format;
	ip->i_d.di_format = tip->i_d.di_format;
	tip->i_d.di_format = tmp;

370 371 372 373 374 375 376 377 378 379 380 381 382
	/*
	 * The extents in the source inode could still contain speculative
	 * preallocation beyond EOF (e.g. the file is open but not modified
	 * while defrag is in progress). In that case, we need to copy over the
	 * number of delalloc blocks the data fork in the source inode is
	 * tracking beyond EOF so that when the fork is truncated away when the
	 * temporary inode is unlinked we don't underrun the i_delayed_blks
	 * counter on that inode.
	 */
	ASSERT(tip->i_delayed_blks == 0);
	tip->i_delayed_blks = ip->i_delayed_blks;
	ip->i_delayed_blks = 0;

383 384
	src_log_flags = XFS_ILOG_CORE;
	switch (ip->i_d.di_format) {
L
Linus Torvalds 已提交
385 386 387 388 389 390 391 392 393
	case XFS_DINODE_FMT_EXTENTS:
		/* If the extents fit in the inode, fix the
		 * pointer.  Otherwise it's already NULL or
		 * pointing to the extent.
		 */
		if (ip->i_d.di_nextents <= XFS_INLINE_EXTS) {
			ifp->if_u1.if_extents =
				ifp->if_u2.if_inline_ext;
		}
394
		src_log_flags |= XFS_ILOG_DEXT;
L
Linus Torvalds 已提交
395 396
		break;
	case XFS_DINODE_FMT_BTREE:
397
		src_log_flags |= XFS_ILOG_DBROOT;
L
Linus Torvalds 已提交
398 399 400
		break;
	}

401 402
	target_log_flags = XFS_ILOG_CORE;
	switch (tip->i_d.di_format) {
L
Linus Torvalds 已提交
403 404 405 406 407 408 409 410 411
	case XFS_DINODE_FMT_EXTENTS:
		/* If the extents fit in the inode, fix the
		 * pointer.  Otherwise it's already NULL or
		 * pointing to the extent.
		 */
		if (tip->i_d.di_nextents <= XFS_INLINE_EXTS) {
			tifp->if_u1.if_extents =
				tifp->if_u2.if_inline_ext;
		}
412
		target_log_flags |= XFS_ILOG_DEXT;
L
Linus Torvalds 已提交
413 414
		break;
	case XFS_DINODE_FMT_BTREE:
415
		target_log_flags |= XFS_ILOG_DBROOT;
L
Linus Torvalds 已提交
416 417 418 419
		break;
	}


420 421
	xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL | XFS_IOLOCK_EXCL);
	xfs_trans_ijoin(tp, tip, XFS_ILOCK_EXCL | XFS_IOLOCK_EXCL);
L
Linus Torvalds 已提交
422

423 424
	xfs_trans_log_inode(tp, ip,  src_log_flags);
	xfs_trans_log_inode(tp, tip, target_log_flags);
L
Linus Torvalds 已提交
425 426 427 428 429

	/*
	 * If this is a synchronous mount, make sure that the
	 * transaction goes to disk before returning to the user.
	 */
430
	if (mp->m_flags & XFS_MOUNT_WSYNC)
L
Linus Torvalds 已提交
431 432
		xfs_trans_set_sync(tp);

433
	error = xfs_trans_commit(tp, 0);
L
Linus Torvalds 已提交
434

435 436
	trace_xfs_swap_extent_after(ip, 0);
	trace_xfs_swap_extent_after(tip, 1);
437 438
out:
	kmem_free(tempifp);
L
Linus Torvalds 已提交
439
	return error;
440

441 442 443 444 445
out_unlock:
	xfs_iunlock(ip,  XFS_ILOCK_EXCL | XFS_IOLOCK_EXCL);
	xfs_iunlock(tip, XFS_ILOCK_EXCL | XFS_IOLOCK_EXCL);
	goto out;

446 447 448
out_trans_cancel:
	xfs_trans_cancel(tp, 0);
	goto out_unlock;
L
Linus Torvalds 已提交
449
}