xfs_iomap.c 19.9 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 20 21 22 23 24 25 26 27
 */
#include "xfs.h"
#include "xfs_fs.h"
#include "xfs_log.h"
#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"
28
#include "xfs_alloc_btree.h"
L
Linus Torvalds 已提交
29 30 31
#include "xfs_ialloc_btree.h"
#include "xfs_dinode.h"
#include "xfs_inode.h"
32
#include "xfs_inode_item.h"
33
#include "xfs_btree.h"
L
Linus Torvalds 已提交
34 35 36 37 38 39 40 41 42
#include "xfs_bmap.h"
#include "xfs_rtalloc.h"
#include "xfs_error.h"
#include "xfs_itable.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 已提交
43
#include "xfs_trace.h"
44
#include "xfs_icache.h"
L
Linus Torvalds 已提交
45 46 47 48 49 50


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

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

62 63 64 65 66 67 68 69 70 71 72 73 74 75
	if (!XFS_IS_REALTIME_INODE(ip)) {
		/*
		 * Round up 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.
		 *
		 * If mounted with the "-o swalloc" option the alignment is
		 * increased from the strip unit size to the stripe width.
		 */
		if (mp->m_swidth && (mp->m_flags & XFS_MOUNT_SWALLOC))
			align = mp->m_swidth;
		else if (mp->m_dalign)
			align = mp->m_dalign;

76
		if (align && XFS_ISIZE(ip) >= XFS_FSB_TO_B(mp, align))
77 78
			new_last_fsb = roundup_64(*last_fsb, align);
	}
79 80 81 82 83 84 85 86 87 88 89 90 91 92

	/*
	 * 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) {
93
		error = xfs_bmap_eof(ip, new_last_fsb, XFS_DATA_FORK, &eof);
94 95 96 97 98 99 100 101
		if (error)
			return error;
		if (eof)
			*last_fsb = new_last_fsb;
	}
	return 0;
}

102
STATIC int
103
xfs_alert_fsblock_zero(
104 105 106
	xfs_inode_t	*ip,
	xfs_bmbt_irec_t	*imap)
{
107
	xfs_alert_tag(ip->i_mount, XFS_PTAG_FSBLOCK_ZERO,
108 109 110 111 112 113 114 115 116 117 118
			"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 已提交
119
int
L
Linus Torvalds 已提交
120 121
xfs_iomap_write_direct(
	xfs_inode_t	*ip,
122
	xfs_off_t	offset,
L
Linus Torvalds 已提交
123
	size_t		count,
124
	xfs_bmbt_irec_t *imap,
125
	int		nmaps)
L
Linus Torvalds 已提交
126 127 128 129
{
	xfs_mount_t	*mp = ip->i_mount;
	xfs_fileoff_t	offset_fsb;
	xfs_fileoff_t	last_fsb;
130
	xfs_filblks_t	count_fsb, resaligned;
L
Linus Torvalds 已提交
131
	xfs_fsblock_t	firstfsb;
132
	xfs_extlen_t	extsz, temp;
133
	int		nimaps;
L
Linus Torvalds 已提交
134
	int		bmapi_flag;
135
	int		quota_flag;
L
Linus Torvalds 已提交
136 137 138
	int		rt;
	xfs_trans_t	*tp;
	xfs_bmap_free_t free_list;
139
	uint		qblocks, resblks, resrtextents;
L
Linus Torvalds 已提交
140
	int		committed;
141
	int		error;
L
Linus Torvalds 已提交
142

143
	error = xfs_qm_dqattach(ip, 0);
L
Linus Torvalds 已提交
144 145 146
	if (error)
		return XFS_ERROR(error);

147
	rt = XFS_IS_REALTIME_INODE(ip);
148
	extsz = xfs_get_extsz_hint(ip);
L
Linus Torvalds 已提交
149

150 151
	offset_fsb = XFS_B_TO_FSBT(mp, offset);
	last_fsb = XFS_B_TO_FSB(mp, ((xfs_ufsize_t)(offset + count)));
152
	if ((offset + count) > XFS_ISIZE(ip)) {
153
		error = xfs_iomap_eof_align_last_fsb(mp, ip, extsz, &last_fsb);
154
		if (error)
155
			return XFS_ERROR(error);
L
Linus Torvalds 已提交
156
	} else {
157
		if (nmaps && (imap->br_startblock == HOLESTARTBLOCK))
158
			last_fsb = MIN(last_fsb, (xfs_fileoff_t)
159 160
					imap->br_blockcount +
					imap->br_startoff);
L
Linus Torvalds 已提交
161
	}
162 163 164 165 166 167 168 169 170 171 172 173 174 175
	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;
176 177 178 179
		resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
		quota_flag = XFS_QMOPT_RES_RTBLKS;
	} else {
		resrtextents = 0;
180
		resblks = qblocks = XFS_DIOSTRAT_SPACE_RES(mp, resaligned);
181 182
		quota_flag = XFS_QMOPT_RES_REGBLKS;
	}
L
Linus Torvalds 已提交
183 184

	/*
185
	 * Allocate and setup the transaction
L
Linus Torvalds 已提交
186 187 188
	 */
	tp = xfs_trans_alloc(mp, XFS_TRANS_DIOSTRAT);
	error = xfs_trans_reserve(tp, resblks,
189
			XFS_WRITE_LOG_RES(mp), resrtextents,
L
Linus Torvalds 已提交
190 191 192
			XFS_TRANS_PERM_LOG_RES,
			XFS_WRITE_LOG_COUNT);
	/*
193
	 * Check for running out of space, note: need lock to return
L
Linus Torvalds 已提交
194
	 */
195
	if (error) {
L
Linus Torvalds 已提交
196
		xfs_trans_cancel(tp, 0);
197 198 199
		return XFS_ERROR(error);
	}

L
Linus Torvalds 已提交
200 201
	xfs_ilock(ip, XFS_ILOCK_EXCL);

C
Christoph Hellwig 已提交
202
	error = xfs_trans_reserve_quota_nblks(tp, ip, qblocks, 0, quota_flag);
203
	if (error)
204
		goto out_trans_cancel;
L
Linus Torvalds 已提交
205

206
	xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
207

208
	bmapi_flag = 0;
209
	if (offset < XFS_ISIZE(ip) || extsz)
L
Linus Torvalds 已提交
210 211 212
		bmapi_flag |= XFS_BMAPI_PREALLOC;

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

	/*
224
	 * Complete the transaction
L
Linus Torvalds 已提交
225
	 */
226
	error = xfs_bmap_finish(&tp, &free_list, &committed);
227
	if (error)
228
		goto out_bmap_cancel;
229
	error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
230
	if (error)
231
		goto out_unlock;
L
Linus Torvalds 已提交
232

233 234 235
	/*
	 * Copy any maps to caller's array and return any error.
	 */
L
Linus Torvalds 已提交
236
	if (nimaps == 0) {
237 238
		error = XFS_ERROR(ENOSPC);
		goto out_unlock;
239 240
	}

241
	if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip)))
242
		error = xfs_alert_fsblock_zero(ip, imap);
L
Linus Torvalds 已提交
243

244 245 246
out_unlock:
	xfs_iunlock(ip, XFS_ILOCK_EXCL);
	return error;
L
Linus Torvalds 已提交
247

248
out_bmap_cancel:
L
Linus Torvalds 已提交
249
	xfs_bmap_cancel(&free_list);
250
	xfs_trans_unreserve_quota_nblks(tp, ip, (long)qblocks, 0, quota_flag);
251
out_trans_cancel:
L
Linus Torvalds 已提交
252
	xfs_trans_cancel(tp, XFS_TRANS_RELEASE_LOG_RES | XFS_TRANS_ABORT);
253
	goto out_unlock;
L
Linus Torvalds 已提交
254 255
}

256
/*
D
Dave Chinner 已提交
257 258 259
 * 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().
260 261 262
 *
 * If we find we already have delalloc preallocation beyond EOF, don't do more
 * preallocation as it it not needed.
263 264 265 266
 */
STATIC int
xfs_iomap_eof_want_preallocate(
	xfs_mount_t	*mp,
267
	xfs_inode_t	*ip,
268 269 270 271 272 273 274 275 276 277
	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;
278
	int		found_delalloc = 0;
279 280

	*prealloc = 0;
281
	if (offset + count <= XFS_ISIZE(ip))
282 283 284 285 286 287 288
		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)));
289
	count_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
290 291
	while (count_fsb > 0) {
		imaps = nimaps;
292
		firstblock = NULLFSBLOCK;
D
Dave Chinner 已提交
293 294
		error = xfs_bmapi_read(ip, start_fsb, count_fsb, imap, &imaps,
				       0);
295 296 297 298 299 300 301 302
		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;
303 304 305

			if (imap[n].br_startblock == DELAYSTARTBLOCK)
				found_delalloc = 1;
306 307
		}
	}
308 309
	if (!found_delalloc)
		*prealloc = 1;
310 311 312
	return 0;
}

313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329
/*
 * 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;

330 331 332 333 334
		/*
		 * 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.
		 */
335
		alloc_blocks = XFS_B_TO_FSB(mp, XFS_ISIZE(ip)) + 1;
336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353
		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;
354 355 356 357 358 359 360 361 362

		/*
		 * If we are still trying to allocate more space than is
		 * available, squash the prealloc hard. This can happen if we
		 * have a large file on a small filesystem and the above
		 * lowspace thresholds are smaller than MAXEXTLEN.
		 */
		while (alloc_blocks >= freesp)
			alloc_blocks >>= 4;
363 364 365 366 367 368 369 370
	}

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

	return alloc_blocks;
}

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

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

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

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

402

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

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

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

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

425 426 427 428
	/*
	 * Make sure preallocation does not create extents beyond the range we
	 * actually support in this filesystem.
	 */
D
Dave Chinner 已提交
429 430
	if (last_fsb > XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes))
		last_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
431 432 433

	ASSERT(last_fsb > offset_fsb);

434
	nimaps = XFS_WRITE_IMAPS;
435 436
	error = xfs_bmapi_delay(ip, offset_fsb, last_fsb - offset_fsb,
				imap, &nimaps, XFS_BMAPI_ENTIRE);
437 438 439 440 441 442
	switch (error) {
	case 0:
	case ENOSPC:
	case EDQUOT:
		break;
	default:
L
Linus Torvalds 已提交
443
		return XFS_ERROR(error);
444
	}
445

L
Linus Torvalds 已提交
446
	/*
D
Dave Chinner 已提交
447
	 * If bmapi returned us nothing, we got either ENOSPC or EDQUOT. Retry
448
	 * without EOF preallocation.
L
Linus Torvalds 已提交
449 450
	 */
	if (nimaps == 0) {
C
Christoph Hellwig 已提交
451
		trace_xfs_delalloc_enospc(ip, offset, count);
D
Dave Chinner 已提交
452 453 454 455
		if (prealloc) {
			prealloc = 0;
			error = 0;
			goto retry;
456
		}
D
Dave Chinner 已提交
457
		return XFS_ERROR(error ? error : ENOSPC);
L
Linus Torvalds 已提交
458 459
	}

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

463 464 465 466 467 468 469
	/*
	 * Tag the inode as speculatively preallocated so we can reclaim this
	 * space on demand, if necessary.
	 */
	if (prealloc)
		xfs_inode_set_eofblocks_tag(ip);

470
	*ret_imap = imap[0];
L
Linus Torvalds 已提交
471 472 473 474 475 476 477 478 479
	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.
480 481 482
 *
 * 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 已提交
483
 */
C
Christoph Hellwig 已提交
484
int
L
Linus Torvalds 已提交
485 486
xfs_iomap_write_allocate(
	xfs_inode_t	*ip,
487
	xfs_off_t	offset,
488
	size_t		count,
489
	xfs_bmbt_irec_t *imap)
L
Linus Torvalds 已提交
490 491 492 493 494 495 496 497
{
	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;
498
	int		nimaps, committed;
L
Linus Torvalds 已提交
499 500 501 502 503 504
	int		error = 0;
	int		nres;

	/*
	 * Make sure that the dquots are there.
	 */
C
Christoph Hellwig 已提交
505 506
	error = xfs_qm_dqattach(ip, 0);
	if (error)
L
Linus Torvalds 已提交
507 508
		return XFS_ERROR(error);

509
	offset_fsb = XFS_B_TO_FSBT(mp, offset);
510 511
	count_fsb = imap->br_blockcount;
	map_start_fsb = imap->br_startoff;
L
Linus Torvalds 已提交
512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527

	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);
528
			tp->t_flags |= XFS_TRANS_RESERVE;
L
Linus Torvalds 已提交
529 530 531 532 533 534 535 536 537 538
			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);
539
			xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
540

541
			xfs_bmap_init(&free_list, &first_block);
L
Linus Torvalds 已提交
542 543

			/*
544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572
			 * 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 已提交
573
			 */
574
			nimaps = 1;
575
			end_fsb = XFS_B_TO_FSB(mp, XFS_ISIZE(ip));
576 577 578 579 580
			error = xfs_bmap_last_offset(NULL, ip, &last_block,
							XFS_DATA_FORK);
			if (error)
				goto trans_cancel;

L
Linus Torvalds 已提交
581 582 583 584 585 586 587 588 589
			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;
				}
			}

590 591 592 593
			/*
			 * From this point onwards we overwrite the imap
			 * pointer that the caller gave to us.
			 */
594
			error = xfs_bmapi_write(tp, ip, map_start_fsb,
595 596 597
						count_fsb,
						XFS_BMAPI_STACK_SWITCH,
						&first_block, 1,
598
						imap, &nimaps, &free_list);
L
Linus Torvalds 已提交
599 600 601
			if (error)
				goto trans_cancel;

602
			error = xfs_bmap_finish(&tp, &free_list, &committed);
L
Linus Torvalds 已提交
603 604 605
			if (error)
				goto trans_cancel;

606
			error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
L
Linus Torvalds 已提交
607 608 609 610 611 612 613 614 615 616
			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
		 */
617
		if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip)))
618
			return xfs_alert_fsblock_zero(ip, imap);
619

620 621 622
		if ((offset_fsb >= imap->br_startoff) &&
		    (offset_fsb < (imap->br_startoff +
				   imap->br_blockcount))) {
623 624
			XFS_STATS_INC(xs_xstrat_quick);
			return 0;
L
Linus Torvalds 已提交
625 626
		}

627 628
		/*
		 * So far we have not mapped the requested part of the
L
Linus Torvalds 已提交
629 630
		 * file, just surrounding data, try again.
		 */
631 632
		count_fsb -= imap->br_blockcount;
		map_start_fsb = imap->br_startoff + imap->br_blockcount;
L
Linus Torvalds 已提交
633 634 635 636 637 638 639 640 641 642 643 644 645
	}

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,
646
	xfs_off_t	offset,
L
Linus Torvalds 已提交
647 648 649 650 651 652
	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;
653 654 655 656 657
	xfs_fsblock_t	firstfsb;
	int		nimaps;
	xfs_trans_t	*tp;
	xfs_bmbt_irec_t imap;
	xfs_bmap_free_t free_list;
658
	xfs_fsize_t	i_size;
659
	uint		resblks;
L
Linus Torvalds 已提交
660 661 662
	int		committed;
	int		error;

C
Christoph Hellwig 已提交
663
	trace_xfs_unwritten_convert(ip, offset, count);
L
Linus Torvalds 已提交
664 665 666 667 668

	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);

669 670 671 672 673 674 675 676 677 678
	/*
	 * 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.
	 */
679
	resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0) << 1;
L
Linus Torvalds 已提交
680

681
	do {
L
Linus Torvalds 已提交
682 683 684 685
		/*
		 * 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.
686 687 688 689 690 691
		 *
		 * 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 已提交
692
		 */
J
Jan Kara 已提交
693
		sb_start_intwrite(mp->m_super);
694
		tp = _xfs_trans_alloc(mp, XFS_TRANS_STRAT_WRITE, KM_NOFS);
J
Jan Kara 已提交
695
		tp->t_flags |= XFS_TRANS_RESERVE | XFS_TRANS_FREEZE_PROT;
696
		error = xfs_trans_reserve(tp, resblks,
L
Linus Torvalds 已提交
697 698 699 700 701
				XFS_WRITE_LOG_RES(mp), 0,
				XFS_TRANS_PERM_LOG_RES,
				XFS_WRITE_LOG_COUNT);
		if (error) {
			xfs_trans_cancel(tp, 0);
702
			return XFS_ERROR(error);
L
Linus Torvalds 已提交
703 704 705
		}

		xfs_ilock(ip, XFS_ILOCK_EXCL);
706
		xfs_trans_ijoin(tp, ip, 0);
L
Linus Torvalds 已提交
707 708 709 710

		/*
		 * Modify the unwritten extent state of the buffer.
		 */
711
		xfs_bmap_init(&free_list, &firstfsb);
L
Linus Torvalds 已提交
712
		nimaps = 1;
713 714
		error = xfs_bmapi_write(tp, ip, offset_fsb, count_fsb,
				  XFS_BMAPI_CONVERT, &firstfsb,
715
				  1, &imap, &nimaps, &free_list);
L
Linus Torvalds 已提交
716 717 718
		if (error)
			goto error_on_bmapi_transaction;

719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734
		/*
		 * Log the updated inode size as we go.  We have to be careful
		 * to only log it up to the actual write offset if it is
		 * halfway into a block.
		 */
		i_size = XFS_FSB_TO_B(mp, offset_fsb + count_fsb);
		if (i_size > offset + count)
			i_size = offset + count;

		i_size = xfs_new_eof(ip, i_size);
		if (i_size) {
			ip->i_d.di_size = i_size;
			xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
		}

		error = xfs_bmap_finish(&tp, &free_list, &committed);
L
Linus Torvalds 已提交
735 736 737
		if (error)
			goto error_on_bmapi_transaction;

738
		error = xfs_trans_commit(tp, XFS_TRANS_RELEASE_LOG_RES);
L
Linus Torvalds 已提交
739 740
		xfs_iunlock(ip, XFS_ILOCK_EXCL);
		if (error)
741 742
			return XFS_ERROR(error);

743
		if (!(imap.br_startblock || XFS_IS_REALTIME_INODE(ip)))
744
			return xfs_alert_fsblock_zero(ip, &imap);
L
Linus Torvalds 已提交
745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765

		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);
}