xfs_iomap.c 19.3 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 19
 */
#include "xfs.h"
#include "xfs_fs.h"
20
#include "xfs_bit.h"
L
Linus Torvalds 已提交
21
#include "xfs_log.h"
22
#include "xfs_inum.h"
L
Linus Torvalds 已提交
23 24 25 26 27 28 29
#include "xfs_trans.h"
#include "xfs_sb.h"
#include "xfs_ag.h"
#include "xfs_alloc.h"
#include "xfs_quota.h"
#include "xfs_mount.h"
#include "xfs_bmap_btree.h"
30
#include "xfs_alloc_btree.h"
L
Linus Torvalds 已提交
31 32 33
#include "xfs_ialloc_btree.h"
#include "xfs_dinode.h"
#include "xfs_inode.h"
34
#include "xfs_btree.h"
L
Linus Torvalds 已提交
35 36 37 38 39 40 41 42 43 44
#include "xfs_bmap.h"
#include "xfs_rtalloc.h"
#include "xfs_error.h"
#include "xfs_itable.h"
#include "xfs_rw.h"
#include "xfs_attr.h"
#include "xfs_buf_item.h"
#include "xfs_trans_space.h"
#include "xfs_utils.h"
#include "xfs_iomap.h"
C
Christoph Hellwig 已提交
45
#include "xfs_trace.h"
L
Linus Torvalds 已提交
46 47 48 49 50 51


#define XFS_WRITEIO_ALIGN(mp,off)	(((off) >> mp->m_writeio_log) \
						<< mp->m_writeio_log)
#define XFS_WRITE_IMAPS		XFS_BMAP_MAX_NMAP

52 53 54
STATIC int
xfs_iomap_eof_align_last_fsb(
	xfs_mount_t	*mp,
55
	xfs_inode_t	*ip,
56 57 58 59 60 61 62
	xfs_extlen_t	extsize,
	xfs_fileoff_t	*last_fsb)
{
	xfs_fileoff_t	new_last_fsb = 0;
	xfs_extlen_t	align;
	int		eof, error;

63
	if (XFS_IS_REALTIME_INODE(ip))
64 65 66 67 68 69 70
		;
	/*
	 * If mounted with the "-o swalloc" option, roundup the allocation
	 * request to a stripe width boundary if the file size is >=
	 * stripe width and we are allocating past the allocation eof.
	 */
	else if (mp->m_swidth && (mp->m_flags & XFS_MOUNT_SWALLOC) &&
71
	        (ip->i_size >= XFS_FSB_TO_B(mp, mp->m_swidth)))
72 73 74 75 76 77
		new_last_fsb = roundup_64(*last_fsb, mp->m_swidth);
	/*
	 * Roundup the allocation request to a stripe unit (m_dalign) boundary
	 * if the file size is >= stripe unit size, and we are allocating past
	 * the allocation eof.
	 */
78
	else if (mp->m_dalign && (ip->i_size >= XFS_FSB_TO_B(mp, mp->m_dalign)))
79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
		new_last_fsb = roundup_64(*last_fsb, mp->m_dalign);

	/*
	 * Always round up the allocation request to an extent boundary
	 * (when file on a real-time subvolume or has di_extsize hint).
	 */
	if (extsize) {
		if (new_last_fsb)
			align = roundup_64(new_last_fsb, extsize);
		else
			align = extsize;
		new_last_fsb = roundup_64(*last_fsb, align);
	}

	if (new_last_fsb) {
94
		error = xfs_bmap_eof(ip, new_last_fsb, XFS_DATA_FORK, &eof);
95 96 97 98 99 100 101 102
		if (error)
			return error;
		if (eof)
			*last_fsb = new_last_fsb;
	}
	return 0;
}

103
STATIC int
104
xfs_alert_fsblock_zero(
105 106 107
	xfs_inode_t	*ip,
	xfs_bmbt_irec_t	*imap)
{
108
	xfs_alert_tag(ip->i_mount, XFS_PTAG_FSBLOCK_ZERO,
109 110 111 112 113 114 115 116 117 118 119
			"Access to block zero in inode %llu "
			"start_block: %llx start_off: %llx "
			"blkcnt: %llx extent-state: %x\n",
		(unsigned long long)ip->i_ino,
		(unsigned long long)imap->br_startblock,
		(unsigned long long)imap->br_startoff,
		(unsigned long long)imap->br_blockcount,
		imap->br_state);
	return EFSCORRUPTED;
}

C
Christoph Hellwig 已提交
120
int
L
Linus Torvalds 已提交
121 122
xfs_iomap_write_direct(
	xfs_inode_t	*ip,
123
	xfs_off_t	offset,
L
Linus Torvalds 已提交
124
	size_t		count,
125
	xfs_bmbt_irec_t *imap,
126
	int		nmaps)
L
Linus Torvalds 已提交
127 128 129 130
{
	xfs_mount_t	*mp = ip->i_mount;
	xfs_fileoff_t	offset_fsb;
	xfs_fileoff_t	last_fsb;
131
	xfs_filblks_t	count_fsb, resaligned;
L
Linus Torvalds 已提交
132
	xfs_fsblock_t	firstfsb;
133
	xfs_extlen_t	extsz, temp;
134
	int		nimaps;
L
Linus Torvalds 已提交
135
	int		bmapi_flag;
136
	int		quota_flag;
L
Linus Torvalds 已提交
137 138 139
	int		rt;
	xfs_trans_t	*tp;
	xfs_bmap_free_t free_list;
140
	uint		qblocks, resblks, resrtextents;
L
Linus Torvalds 已提交
141
	int		committed;
142
	int		error;
L
Linus Torvalds 已提交
143 144 145 146 147

	/*
	 * Make sure that the dquots are there. This doesn't hold
	 * the ilock across a disk read.
	 */
C
Christoph Hellwig 已提交
148
	error = xfs_qm_dqattach_locked(ip, 0);
L
Linus Torvalds 已提交
149 150 151
	if (error)
		return XFS_ERROR(error);

152
	rt = XFS_IS_REALTIME_INODE(ip);
153
	extsz = xfs_get_extsz_hint(ip);
L
Linus Torvalds 已提交
154

155 156
	offset_fsb = XFS_B_TO_FSBT(mp, offset);
	last_fsb = XFS_B_TO_FSB(mp, ((xfs_ufsize_t)(offset + count)));
157 158
	if ((offset + count) > ip->i_size) {
		error = xfs_iomap_eof_align_last_fsb(mp, ip, extsz, &last_fsb);
159 160
		if (error)
			goto error_out;
L
Linus Torvalds 已提交
161
	} else {
162
		if (nmaps && (imap->br_startblock == HOLESTARTBLOCK))
163
			last_fsb = MIN(last_fsb, (xfs_fileoff_t)
164 165
					imap->br_blockcount +
					imap->br_startoff);
L
Linus Torvalds 已提交
166
	}
167 168 169 170 171 172 173 174 175 176 177 178 179 180
	count_fsb = last_fsb - offset_fsb;
	ASSERT(count_fsb > 0);

	resaligned = count_fsb;
	if (unlikely(extsz)) {
		if ((temp = do_mod(offset_fsb, extsz)))
			resaligned += temp;
		if ((temp = do_mod(resaligned, extsz)))
			resaligned += extsz - temp;
	}

	if (unlikely(rt)) {
		resrtextents = qblocks = resaligned;
		resrtextents /= mp->m_sb.sb_rextsize;
181 182 183 184
		resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
		quota_flag = XFS_QMOPT_RES_RTBLKS;
	} else {
		resrtextents = 0;
185
		resblks = qblocks = XFS_DIOSTRAT_SPACE_RES(mp, resaligned);
186 187
		quota_flag = XFS_QMOPT_RES_REGBLKS;
	}
L
Linus Torvalds 已提交
188 189

	/*
190
	 * Allocate and setup the transaction
L
Linus Torvalds 已提交
191 192 193 194
	 */
	xfs_iunlock(ip, XFS_ILOCK_EXCL);
	tp = xfs_trans_alloc(mp, XFS_TRANS_DIOSTRAT);
	error = xfs_trans_reserve(tp, resblks,
195
			XFS_WRITE_LOG_RES(mp), resrtextents,
L
Linus Torvalds 已提交
196 197 198
			XFS_TRANS_PERM_LOG_RES,
			XFS_WRITE_LOG_COUNT);
	/*
199
	 * Check for running out of space, note: need lock to return
L
Linus Torvalds 已提交
200 201 202 203 204
	 */
	if (error)
		xfs_trans_cancel(tp, 0);
	xfs_ilock(ip, XFS_ILOCK_EXCL);
	if (error)
205
		goto error_out;
L
Linus Torvalds 已提交
206

C
Christoph Hellwig 已提交
207
	error = xfs_trans_reserve_quota_nblks(tp, ip, qblocks, 0, quota_flag);
208
	if (error)
L
Linus Torvalds 已提交
209 210
		goto error1;

211
	xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
212

213
	bmapi_flag = 0;
214
	if (offset < ip->i_size || extsz)
L
Linus Torvalds 已提交
215 216 217
		bmapi_flag |= XFS_BMAPI_PREALLOC;

	/*
218 219
	 * From this point onwards we overwrite the imap pointer that the
	 * caller gave to us.
L
Linus Torvalds 已提交
220
	 */
221
	xfs_bmap_init(&free_list, &firstfsb);
222
	nimaps = 1;
223 224
	error = xfs_bmapi_write(tp, ip, offset_fsb, count_fsb, bmapi_flag,
				&firstfsb, 0, imap, &nimaps, &free_list);
225
	if (error)
L
Linus Torvalds 已提交
226 227 228
		goto error0;

	/*
229
	 * Complete the transaction
L
Linus Torvalds 已提交
230
	 */
231
	error = xfs_bmap_finish(&tp, &free_list, &committed);
232
	if (error)
L
Linus Torvalds 已提交
233
		goto error0;
234
	error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
235
	if (error)
L
Linus Torvalds 已提交
236 237
		goto error_out;

238 239 240
	/*
	 * Copy any maps to caller's array and return any error.
	 */
L
Linus Torvalds 已提交
241
	if (nimaps == 0) {
242 243 244 245
		error = ENOSPC;
		goto error_out;
	}

246
	if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip))) {
247
		error = xfs_alert_fsblock_zero(ip, imap);
L
Linus Torvalds 已提交
248 249 250 251 252
		goto error_out;
	}

	return 0;

253
error0:	/* Cancel bmap, unlock inode, unreserve quota blocks, cancel trans */
L
Linus Torvalds 已提交
254
	xfs_bmap_cancel(&free_list);
C
Christoph Hellwig 已提交
255
	xfs_trans_unreserve_quota_nblks(tp, ip, qblocks, 0, quota_flag);
L
Linus Torvalds 已提交
256

257
error1:	/* Just cancel transaction */
L
Linus Torvalds 已提交
258 259 260 261 262 263
	xfs_trans_cancel(tp, XFS_TRANS_RELEASE_LOG_RES | XFS_TRANS_ABORT);

error_out:
	return XFS_ERROR(error);
}

264
/*
D
Dave Chinner 已提交
265 266 267
 * If the caller is doing a write at the end of the file, then extend the
 * allocation out to the file system's write iosize.  We clean up any extra
 * space left over when the file is closed in xfs_inactive().
268 269 270
 *
 * If we find we already have delalloc preallocation beyond EOF, don't do more
 * preallocation as it it not needed.
271 272 273 274
 */
STATIC int
xfs_iomap_eof_want_preallocate(
	xfs_mount_t	*mp,
275
	xfs_inode_t	*ip,
276 277 278 279 280 281 282 283 284 285
	xfs_off_t	offset,
	size_t		count,
	xfs_bmbt_irec_t *imap,
	int		nimaps,
	int		*prealloc)
{
	xfs_fileoff_t   start_fsb;
	xfs_filblks_t   count_fsb;
	xfs_fsblock_t	firstblock;
	int		n, error, imaps;
286
	int		found_delalloc = 0;
287 288

	*prealloc = 0;
D
Dave Chinner 已提交
289
	if ((offset + count) <= ip->i_size)
290 291 292 293 294 295 296 297 298 299
		return 0;

	/*
	 * If there are any real blocks past eof, then don't
	 * do any speculative allocation.
	 */
	start_fsb = XFS_B_TO_FSBT(mp, ((xfs_ufsize_t)(offset + count - 1)));
	count_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)XFS_MAXIOFFSET(mp));
	while (count_fsb > 0) {
		imaps = nimaps;
300
		firstblock = NULLFSBLOCK;
D
Dave Chinner 已提交
301 302
		error = xfs_bmapi_read(ip, start_fsb, count_fsb, imap, &imaps,
				       0);
303 304 305 306 307 308 309 310
		if (error)
			return error;
		for (n = 0; n < imaps; n++) {
			if ((imap[n].br_startblock != HOLESTARTBLOCK) &&
			    (imap[n].br_startblock != DELAYSTARTBLOCK))
				return 0;
			start_fsb += imap[n].br_blockcount;
			count_fsb -= imap[n].br_blockcount;
311 312 313

			if (imap[n].br_startblock == DELAYSTARTBLOCK)
				found_delalloc = 1;
314 315
		}
	}
316 317
	if (!found_delalloc)
		*prealloc = 1;
318 319 320
	return 0;
}

321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337
/*
 * If we don't have a user specified preallocation size, dynamically increase
 * the preallocation size as the size of the file grows. Cap the maximum size
 * at a single extent or less if the filesystem is near full. The closer the
 * filesystem is to full, the smaller the maximum prealocation.
 */
STATIC xfs_fsblock_t
xfs_iomap_prealloc_size(
	struct xfs_mount	*mp,
	struct xfs_inode	*ip)
{
	xfs_fsblock_t		alloc_blocks = 0;

	if (!(mp->m_flags & XFS_MOUNT_DFLT_IOSIZE)) {
		int shift = 0;
		int64_t freesp;

338 339 340 341 342 343
		/*
		 * rounddown_pow_of_two() returns an undefined result
		 * if we pass in alloc_blocks = 0. Hence the "+ 1" to
		 * ensure we always pass in a non-zero value.
		 */
		alloc_blocks = XFS_B_TO_FSB(mp, ip->i_size) + 1;
344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369
		alloc_blocks = XFS_FILEOFF_MIN(MAXEXTLEN,
					rounddown_pow_of_two(alloc_blocks));

		xfs_icsb_sync_counters(mp, XFS_ICSB_LAZY_COUNT);
		freesp = mp->m_sb.sb_fdblocks;
		if (freesp < mp->m_low_space[XFS_LOWSP_5_PCNT]) {
			shift = 2;
			if (freesp < mp->m_low_space[XFS_LOWSP_4_PCNT])
				shift++;
			if (freesp < mp->m_low_space[XFS_LOWSP_3_PCNT])
				shift++;
			if (freesp < mp->m_low_space[XFS_LOWSP_2_PCNT])
				shift++;
			if (freesp < mp->m_low_space[XFS_LOWSP_1_PCNT])
				shift++;
		}
		if (shift)
			alloc_blocks >>= shift;
	}

	if (alloc_blocks < mp->m_writeio_blocks)
		alloc_blocks = mp->m_writeio_blocks;

	return alloc_blocks;
}

C
Christoph Hellwig 已提交
370
int
L
Linus Torvalds 已提交
371 372
xfs_iomap_write_delay(
	xfs_inode_t	*ip,
373
	xfs_off_t	offset,
L
Linus Torvalds 已提交
374
	size_t		count,
375
	xfs_bmbt_irec_t *ret_imap)
L
Linus Torvalds 已提交
376 377 378 379
{
	xfs_mount_t	*mp = ip->i_mount;
	xfs_fileoff_t	offset_fsb;
	xfs_fileoff_t	last_fsb;
380 381 382
	xfs_off_t	aligned_offset;
	xfs_fileoff_t	ioalign;
	xfs_extlen_t	extsz;
L
Linus Torvalds 已提交
383 384
	int		nimaps;
	xfs_bmbt_irec_t imap[XFS_WRITE_IMAPS];
D
Dave Chinner 已提交
385
	int		prealloc, flushed = 0;
386
	int		error;
L
Linus Torvalds 已提交
387

C
Christoph Hellwig 已提交
388
	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
L
Linus Torvalds 已提交
389 390 391 392 393

	/*
	 * Make sure that the dquots are there. This doesn't hold
	 * the ilock across a disk read.
	 */
C
Christoph Hellwig 已提交
394
	error = xfs_qm_dqattach_locked(ip, 0);
L
Linus Torvalds 已提交
395 396 397
	if (error)
		return XFS_ERROR(error);

398
	extsz = xfs_get_extsz_hint(ip);
399 400
	offset_fsb = XFS_B_TO_FSBT(mp, offset);

401

402
	error = xfs_iomap_eof_want_preallocate(mp, ip, offset, count,
403
				imap, XFS_WRITE_IMAPS, &prealloc);
404 405
	if (error)
		return error;
L
Linus Torvalds 已提交
406

D
Dave Chinner 已提交
407
retry:
408
	if (prealloc) {
409 410
		xfs_fsblock_t	alloc_blocks = xfs_iomap_prealloc_size(mp, ip);

L
Linus Torvalds 已提交
411 412
		aligned_offset = XFS_WRITEIO_ALIGN(mp, (offset + count - 1));
		ioalign = XFS_B_TO_FSBT(mp, aligned_offset);
413
		last_fsb = ioalign + alloc_blocks;
414 415
	} else {
		last_fsb = XFS_B_TO_FSB(mp, ((xfs_ufsize_t)(offset + count)));
L
Linus Torvalds 已提交
416 417
	}

418
	if (prealloc || extsz) {
419
		error = xfs_iomap_eof_align_last_fsb(mp, ip, extsz, &last_fsb);
420
		if (error)
L
Linus Torvalds 已提交
421 422
			return error;
	}
423 424

	nimaps = XFS_WRITE_IMAPS;
425 426
	error = xfs_bmapi_delay(ip, offset_fsb, last_fsb - offset_fsb,
				imap, &nimaps, XFS_BMAPI_ENTIRE);
427 428 429 430 431 432
	switch (error) {
	case 0:
	case ENOSPC:
	case EDQUOT:
		break;
	default:
L
Linus Torvalds 已提交
433
		return XFS_ERROR(error);
434
	}
435

L
Linus Torvalds 已提交
436
	/*
437 438 439 440
	 * If bmapi returned us nothing, we got either ENOSPC or EDQUOT.  For
	 * ENOSPC, * flush all other inodes with delalloc blocks to free up
	 * some of the excess reserved metadata space. For both cases, retry
	 * without EOF preallocation.
L
Linus Torvalds 已提交
441 442
	 */
	if (nimaps == 0) {
C
Christoph Hellwig 已提交
443
		trace_xfs_delalloc_enospc(ip, offset, count);
D
Dave Chinner 已提交
444
		if (flushed)
445
			return XFS_ERROR(error ? error : ENOSPC);
L
Linus Torvalds 已提交
446

447 448 449 450 451
		if (error == ENOSPC) {
			xfs_iunlock(ip, XFS_ILOCK_EXCL);
			xfs_flush_inodes(ip);
			xfs_ilock(ip, XFS_ILOCK_EXCL);
		}
D
Dave Chinner 已提交
452 453

		flushed = 1;
L
Linus Torvalds 已提交
454
		error = 0;
D
Dave Chinner 已提交
455
		prealloc = 0;
L
Linus Torvalds 已提交
456 457 458
		goto retry;
	}

459
	if (!(imap[0].br_startblock || XFS_IS_REALTIME_INODE(ip)))
460
		return xfs_alert_fsblock_zero(ip, &imap[0]);
461 462

	*ret_imap = imap[0];
L
Linus Torvalds 已提交
463 464 465 466 467 468 469 470 471
	return 0;
}

/*
 * Pass in a delayed allocate extent, convert it to real extents;
 * return to the caller the extent we create which maps on top of
 * the originating callers request.
 *
 * Called without a lock on the inode.
472 473 474
 *
 * We no longer bother to look at the incoming map - all we have to
 * guarantee is that whatever we allocate fills the required range.
L
Linus Torvalds 已提交
475
 */
C
Christoph Hellwig 已提交
476
int
L
Linus Torvalds 已提交
477 478
xfs_iomap_write_allocate(
	xfs_inode_t	*ip,
479
	xfs_off_t	offset,
480
	size_t		count,
481
	xfs_bmbt_irec_t *imap)
L
Linus Torvalds 已提交
482 483 484 485 486 487 488 489
{
	xfs_mount_t	*mp = ip->i_mount;
	xfs_fileoff_t	offset_fsb, last_block;
	xfs_fileoff_t	end_fsb, map_start_fsb;
	xfs_fsblock_t	first_block;
	xfs_bmap_free_t	free_list;
	xfs_filblks_t	count_fsb;
	xfs_trans_t	*tp;
490
	int		nimaps, committed;
L
Linus Torvalds 已提交
491 492 493 494 495 496
	int		error = 0;
	int		nres;

	/*
	 * Make sure that the dquots are there.
	 */
C
Christoph Hellwig 已提交
497 498
	error = xfs_qm_dqattach(ip, 0);
	if (error)
L
Linus Torvalds 已提交
499 500
		return XFS_ERROR(error);

501
	offset_fsb = XFS_B_TO_FSBT(mp, offset);
502 503
	count_fsb = imap->br_blockcount;
	map_start_fsb = imap->br_startoff;
L
Linus Torvalds 已提交
504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519

	XFS_STATS_ADD(xs_xstrat_bytes, XFS_FSB_TO_B(mp, count_fsb));

	while (count_fsb != 0) {
		/*
		 * Set up a transaction with which to allocate the
		 * backing store for the file.  Do allocations in a
		 * loop until we get some space in the range we are
		 * interested in.  The other space that might be allocated
		 * is in the delayed allocation extent on which we sit
		 * but before our buffer starts.
		 */

		nimaps = 0;
		while (nimaps == 0) {
			tp = xfs_trans_alloc(mp, XFS_TRANS_STRAT_WRITE);
520
			tp->t_flags |= XFS_TRANS_RESERVE;
L
Linus Torvalds 已提交
521 522 523 524 525 526 527 528 529 530
			nres = XFS_EXTENTADD_SPACE_RES(mp, XFS_DATA_FORK);
			error = xfs_trans_reserve(tp, nres,
					XFS_WRITE_LOG_RES(mp),
					0, XFS_TRANS_PERM_LOG_RES,
					XFS_WRITE_LOG_COUNT);
			if (error) {
				xfs_trans_cancel(tp, 0);
				return XFS_ERROR(error);
			}
			xfs_ilock(ip, XFS_ILOCK_EXCL);
531
			xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
532

533
			xfs_bmap_init(&free_list, &first_block);
L
Linus Torvalds 已提交
534 535

			/*
536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564
			 * it is possible that the extents have changed since
			 * we did the read call as we dropped the ilock for a
			 * while. We have to be careful about truncates or hole
			 * punchs here - we are not allowed to allocate
			 * non-delalloc blocks here.
			 *
			 * The only protection against truncation is the pages
			 * for the range we are being asked to convert are
			 * locked and hence a truncate will block on them
			 * first.
			 *
			 * As a result, if we go beyond the range we really
			 * need and hit an delalloc extent boundary followed by
			 * a hole while we have excess blocks in the map, we
			 * will fill the hole incorrectly and overrun the
			 * transaction reservation.
			 *
			 * Using a single map prevents this as we are forced to
			 * check each map we look for overlap with the desired
			 * range and abort as soon as we find it. Also, given
			 * that we only return a single map, having one beyond
			 * what we can return is probably a bit silly.
			 *
			 * We also need to check that we don't go beyond EOF;
			 * this is a truncate optimisation as a truncate sets
			 * the new file size before block on the pages we
			 * currently have locked under writeback. Because they
			 * are about to be tossed, we don't need to write them
			 * back....
L
Linus Torvalds 已提交
565
			 */
566
			nimaps = 1;
567
			end_fsb = XFS_B_TO_FSB(mp, ip->i_size);
568 569 570 571 572
			error = xfs_bmap_last_offset(NULL, ip, &last_block,
							XFS_DATA_FORK);
			if (error)
				goto trans_cancel;

L
Linus Torvalds 已提交
573 574 575 576 577 578 579 580 581
			last_block = XFS_FILEOFF_MAX(last_block, end_fsb);
			if ((map_start_fsb + count_fsb) > last_block) {
				count_fsb = last_block - map_start_fsb;
				if (count_fsb == 0) {
					error = EAGAIN;
					goto trans_cancel;
				}
			}

582 583 584 585
			/*
			 * From this point onwards we overwrite the imap
			 * pointer that the caller gave to us.
			 */
586 587 588
			error = xfs_bmapi_write(tp, ip, map_start_fsb,
						count_fsb, 0, &first_block, 1,
						imap, &nimaps, &free_list);
L
Linus Torvalds 已提交
589 590 591
			if (error)
				goto trans_cancel;

592
			error = xfs_bmap_finish(&tp, &free_list, &committed);
L
Linus Torvalds 已提交
593 594 595
			if (error)
				goto trans_cancel;

596
			error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
L
Linus Torvalds 已提交
597 598 599 600 601 602 603 604 605 606
			if (error)
				goto error0;

			xfs_iunlock(ip, XFS_ILOCK_EXCL);
		}

		/*
		 * See if we were able to allocate an extent that
		 * covers at least part of the callers request
		 */
607
		if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip)))
608
			return xfs_alert_fsblock_zero(ip, imap);
609

610 611 612
		if ((offset_fsb >= imap->br_startoff) &&
		    (offset_fsb < (imap->br_startoff +
				   imap->br_blockcount))) {
613 614
			XFS_STATS_INC(xs_xstrat_quick);
			return 0;
L
Linus Torvalds 已提交
615 616
		}

617 618
		/*
		 * So far we have not mapped the requested part of the
L
Linus Torvalds 已提交
619 620
		 * file, just surrounding data, try again.
		 */
621 622
		count_fsb -= imap->br_blockcount;
		map_start_fsb = imap->br_startoff + imap->br_blockcount;
L
Linus Torvalds 已提交
623 624 625 626 627 628 629 630 631 632 633 634 635
	}

trans_cancel:
	xfs_bmap_cancel(&free_list);
	xfs_trans_cancel(tp, XFS_TRANS_RELEASE_LOG_RES | XFS_TRANS_ABORT);
error0:
	xfs_iunlock(ip, XFS_ILOCK_EXCL);
	return XFS_ERROR(error);
}

int
xfs_iomap_write_unwritten(
	xfs_inode_t	*ip,
636
	xfs_off_t	offset,
L
Linus Torvalds 已提交
637 638 639 640 641 642
	size_t		count)
{
	xfs_mount_t	*mp = ip->i_mount;
	xfs_fileoff_t	offset_fsb;
	xfs_filblks_t	count_fsb;
	xfs_filblks_t	numblks_fsb;
643 644 645 646 647 648
	xfs_fsblock_t	firstfsb;
	int		nimaps;
	xfs_trans_t	*tp;
	xfs_bmbt_irec_t imap;
	xfs_bmap_free_t free_list;
	uint		resblks;
L
Linus Torvalds 已提交
649 650 651
	int		committed;
	int		error;

C
Christoph Hellwig 已提交
652
	trace_xfs_unwritten_convert(ip, offset, count);
L
Linus Torvalds 已提交
653 654 655 656 657

	offset_fsb = XFS_B_TO_FSBT(mp, offset);
	count_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)offset + count);
	count_fsb = (xfs_filblks_t)(count_fsb - offset_fsb);

658 659 660 661 662 663 664 665 666 667
	/*
	 * Reserve enough blocks in this transaction for two complete extent
	 * btree splits.  We may be converting the middle part of an unwritten
	 * extent and in this case we will insert two new extents in the btree
	 * each of which could cause a full split.
	 *
	 * This reservation amount will be used in the first call to
	 * xfs_bmbt_split() to select an AG with enough space to satisfy the
	 * rest of the operation.
	 */
668
	resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0) << 1;
L
Linus Torvalds 已提交
669

670
	do {
L
Linus Torvalds 已提交
671 672 673 674
		/*
		 * set up a transaction to convert the range of extents
		 * from unwritten to real. Do allocations in a loop until
		 * we have covered the range passed in.
675 676 677 678 679 680
		 *
		 * Note that we open code the transaction allocation here
		 * to pass KM_NOFS--we can't risk to recursing back into
		 * the filesystem here as we might be asked to write out
		 * the same inode that we complete here and might deadlock
		 * on the iolock.
L
Linus Torvalds 已提交
681
		 */
682 683
		xfs_wait_for_freeze(mp, SB_FREEZE_TRANS);
		tp = _xfs_trans_alloc(mp, XFS_TRANS_STRAT_WRITE, KM_NOFS);
684
		tp->t_flags |= XFS_TRANS_RESERVE;
685
		error = xfs_trans_reserve(tp, resblks,
L
Linus Torvalds 已提交
686 687 688 689 690
				XFS_WRITE_LOG_RES(mp), 0,
				XFS_TRANS_PERM_LOG_RES,
				XFS_WRITE_LOG_COUNT);
		if (error) {
			xfs_trans_cancel(tp, 0);
691
			return XFS_ERROR(error);
L
Linus Torvalds 已提交
692 693 694
		}

		xfs_ilock(ip, XFS_ILOCK_EXCL);
695
		xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
696 697 698 699

		/*
		 * Modify the unwritten extent state of the buffer.
		 */
700
		xfs_bmap_init(&free_list, &firstfsb);
L
Linus Torvalds 已提交
701
		nimaps = 1;
702 703
		error = xfs_bmapi_write(tp, ip, offset_fsb, count_fsb,
				  XFS_BMAPI_CONVERT, &firstfsb,
704
				  1, &imap, &nimaps, &free_list);
L
Linus Torvalds 已提交
705 706 707
		if (error)
			goto error_on_bmapi_transaction;

708
		error = xfs_bmap_finish(&(tp), &(free_list), &committed);
L
Linus Torvalds 已提交
709 710 711
		if (error)
			goto error_on_bmapi_transaction;

712
		error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
L
Linus Torvalds 已提交
713 714
		xfs_iunlock(ip, XFS_ILOCK_EXCL);
		if (error)
715 716
			return XFS_ERROR(error);

717
		if (!(imap.br_startblock || XFS_IS_REALTIME_INODE(ip)))
718
			return xfs_alert_fsblock_zero(ip, &imap);
L
Linus Torvalds 已提交
719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739

		if ((numblks_fsb = imap.br_blockcount) == 0) {
			/*
			 * The numblks_fsb value should always get
			 * smaller, otherwise the loop is stuck.
			 */
			ASSERT(imap.br_blockcount);
			break;
		}
		offset_fsb += numblks_fsb;
		count_fsb -= numblks_fsb;
	} while (count_fsb > 0);

	return 0;

error_on_bmapi_transaction:
	xfs_bmap_cancel(&free_list);
	xfs_trans_cancel(tp, (XFS_TRANS_RELEASE_LOG_RES | XFS_TRANS_ABORT));
	xfs_iunlock(ip, XFS_ILOCK_EXCL);
	return XFS_ERROR(error);
}