blob: 9ed146b96856d5c5a41d56bff5b5da4653492aeb [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
Olaf Weber3e57ecf2006-06-09 14:48:12 +10002 * Copyright (c) 2000-2006 Silicon Graphics, Inc.
Nathan Scott7b718762005-11-02 14:58:39 +11003 * All Rights Reserved.
Linus Torvalds1da177e2005-04-16 15:20:36 -07004 *
Nathan Scott7b718762005-11-02 14:58:39 +11005 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License as
Linus Torvalds1da177e2005-04-16 15:20:36 -07007 * published by the Free Software Foundation.
8 *
Nathan Scott7b718762005-11-02 14:58:39 +11009 * This program is distributed in the hope that it would be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
Linus Torvalds1da177e2005-04-16 15:20:36 -070013 *
Nathan Scott7b718762005-11-02 14:58:39 +110014 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write the Free Software Foundation,
16 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
Linus Torvalds1da177e2005-04-16 15:20:36 -070017 */
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include "xfs.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include "xfs_fs.h"
Dave Chinner70a98832013-10-23 10:36:05 +110020#include "xfs_shared.h"
Dave Chinner239880e2013-10-23 10:50:10 +110021#include "xfs_format.h"
22#include "xfs_log_format.h"
23#include "xfs_trans_resv.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include "xfs_mount.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070025#include "xfs_inode.h"
Nathan Scotta844f452005-11-02 14:38:42 +110026#include "xfs_btree.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110027#include "xfs_bmap_btree.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070028#include "xfs_bmap.h"
Dave Chinner68988112013-08-12 20:49:42 +100029#include "xfs_bmap_util.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include "xfs_error.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110031#include "xfs_trans.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070032#include "xfs_trans_space.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070033#include "xfs_iomap.h"
Christoph Hellwig0b1b2132009-12-14 23:14:59 +000034#include "xfs_trace.h"
Brian Foster27b52862012-11-06 09:50:38 -050035#include "xfs_icache.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110036#include "xfs_quota.h"
Brian Foster76a42022013-03-18 10:51:47 -040037#include "xfs_dquot_item.h"
38#include "xfs_dquot.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070039
Linus Torvalds1da177e2005-04-16 15:20:36 -070040
41#define XFS_WRITEIO_ALIGN(mp,off) (((off) >> mp->m_writeio_log) \
42 << mp->m_writeio_log)
Linus Torvalds1da177e2005-04-16 15:20:36 -070043#define XFS_WRITE_IMAPS XFS_BMAP_MAX_NMAP
44
Linus Torvalds1da177e2005-04-16 15:20:36 -070045STATIC int
Nathan Scottdd9f4382006-01-11 15:28:28 +110046xfs_iomap_eof_align_last_fsb(
47 xfs_mount_t *mp,
Lachlan McIlroy541d7d32007-10-11 17:34:33 +100048 xfs_inode_t *ip,
Nathan Scottdd9f4382006-01-11 15:28:28 +110049 xfs_extlen_t extsize,
50 xfs_fileoff_t *last_fsb)
51{
Christoph Hellwigbf322d92011-12-18 20:00:05 +000052 xfs_extlen_t align = 0;
Nathan Scottdd9f4382006-01-11 15:28:28 +110053 int eof, error;
54
Christoph Hellwigbf322d92011-12-18 20:00:05 +000055 if (!XFS_IS_REALTIME_INODE(ip)) {
56 /*
57 * Round up the allocation request to a stripe unit
58 * (m_dalign) boundary if the file size is >= stripe unit
59 * size, and we are allocating past the allocation eof.
60 *
61 * If mounted with the "-o swalloc" option the alignment is
62 * increased from the strip unit size to the stripe width.
63 */
64 if (mp->m_swidth && (mp->m_flags & XFS_MOUNT_SWALLOC))
65 align = mp->m_swidth;
66 else if (mp->m_dalign)
67 align = mp->m_dalign;
68
Peter Watkins76b57302014-12-04 09:30:51 +110069 if (align && XFS_ISIZE(ip) < XFS_FSB_TO_B(mp, align))
70 align = 0;
Christoph Hellwigbf322d92011-12-18 20:00:05 +000071 }
Nathan Scottdd9f4382006-01-11 15:28:28 +110072
73 /*
74 * Always round up the allocation request to an extent boundary
75 * (when file on a real-time subvolume or has di_extsize hint).
76 */
77 if (extsize) {
Peter Watkins76b57302014-12-04 09:30:51 +110078 if (align)
79 align = roundup_64(align, extsize);
Nathan Scottdd9f4382006-01-11 15:28:28 +110080 else
81 align = extsize;
Nathan Scottdd9f4382006-01-11 15:28:28 +110082 }
83
Peter Watkins76b57302014-12-04 09:30:51 +110084 if (align) {
85 xfs_fileoff_t new_last_fsb = roundup_64(*last_fsb, align);
Lachlan McIlroy541d7d32007-10-11 17:34:33 +100086 error = xfs_bmap_eof(ip, new_last_fsb, XFS_DATA_FORK, &eof);
Nathan Scottdd9f4382006-01-11 15:28:28 +110087 if (error)
88 return error;
89 if (eof)
90 *last_fsb = new_last_fsb;
91 }
92 return 0;
93}
94
95STATIC int
Dave Chinner6d4a8ec2011-03-07 10:06:35 +110096xfs_alert_fsblock_zero(
Nathan Scott572d95f2006-09-28 11:03:20 +100097 xfs_inode_t *ip,
98 xfs_bmbt_irec_t *imap)
99{
Dave Chinner6a19d932011-03-07 10:02:35 +1100100 xfs_alert_tag(ip->i_mount, XFS_PTAG_FSBLOCK_ZERO,
Nathan Scott572d95f2006-09-28 11:03:20 +1000101 "Access to block zero in inode %llu "
102 "start_block: %llx start_off: %llx "
Eric Sandeen08e96e12013-10-11 20:59:05 -0500103 "blkcnt: %llx extent-state: %x",
Nathan Scott572d95f2006-09-28 11:03:20 +1000104 (unsigned long long)ip->i_ino,
105 (unsigned long long)imap->br_startblock,
106 (unsigned long long)imap->br_startoff,
107 (unsigned long long)imap->br_blockcount,
108 imap->br_state);
Dave Chinner24513372014-06-25 14:58:08 +1000109 return -EFSCORRUPTED;
Nathan Scott572d95f2006-09-28 11:03:20 +1000110}
111
Christoph Hellwiga206c812010-12-10 08:42:20 +0000112int
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113xfs_iomap_write_direct(
114 xfs_inode_t *ip,
Nathan Scottf403b7f2005-05-05 13:33:40 -0700115 xfs_off_t offset,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116 size_t count,
Christoph Hellwig30704512010-06-24 11:42:19 +1000117 xfs_bmbt_irec_t *imap,
Christoph Hellwig405f8042010-12-10 08:42:19 +0000118 int nmaps)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119{
120 xfs_mount_t *mp = ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121 xfs_fileoff_t offset_fsb;
122 xfs_fileoff_t last_fsb;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100123 xfs_filblks_t count_fsb, resaligned;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124 xfs_fsblock_t firstfsb;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100125 xfs_extlen_t extsz, temp;
Eric Sandeen0116d932005-11-02 15:00:01 +1100126 int nimaps;
Nathan Scott06d10dd2005-06-21 15:48:47 +1000127 int quota_flag;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128 int rt;
129 xfs_trans_t *tp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130 xfs_bmap_free_t free_list;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100131 uint qblocks, resblks, resrtextents;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700132 int committed;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100133 int error;
Brian Foster009c6e82015-10-12 15:34:20 +1100134 int lockmode;
Dave Chinner1ca19152015-11-03 12:37:00 +1100135 int bmapi_flags = XFS_BMAPI_PREALLOC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700136
Nathan Scottdd9f4382006-01-11 15:28:28 +1100137 rt = XFS_IS_REALTIME_INODE(ip);
David Chinner957d0eb2007-06-18 16:50:37 +1000138 extsz = xfs_get_extsz_hint(ip);
Brian Foster009c6e82015-10-12 15:34:20 +1100139 lockmode = XFS_ILOCK_SHARED; /* locked by caller */
140
141 ASSERT(xfs_isilocked(ip, lockmode));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142
David Chinner957d0eb2007-06-18 16:50:37 +1000143 offset_fsb = XFS_B_TO_FSBT(mp, offset);
144 last_fsb = XFS_B_TO_FSB(mp, ((xfs_ufsize_t)(offset + count)));
Christoph Hellwigce7ae1512011-12-18 20:00:11 +0000145 if ((offset + count) > XFS_ISIZE(ip)) {
Brian Foster009c6e82015-10-12 15:34:20 +1100146 /*
147 * Assert that the in-core extent list is present since this can
148 * call xfs_iread_extents() and we only have the ilock shared.
149 * This should be safe because the lock was held around a bmapi
150 * call in the caller and we only need it to access the in-core
151 * list.
152 */
153 ASSERT(XFS_IFORK_PTR(ip, XFS_DATA_FORK)->if_flags &
154 XFS_IFEXTENTS);
Lachlan McIlroy9f6c92b2008-12-22 17:56:49 +1100155 error = xfs_iomap_eof_align_last_fsb(mp, ip, extsz, &last_fsb);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100156 if (error)
Brian Foster009c6e82015-10-12 15:34:20 +1100157 goto out_unlock;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100158 } else {
Christoph Hellwig405f8042010-12-10 08:42:19 +0000159 if (nmaps && (imap->br_startblock == HOLESTARTBLOCK))
Nathan Scottdd9f4382006-01-11 15:28:28 +1100160 last_fsb = MIN(last_fsb, (xfs_fileoff_t)
Christoph Hellwig30704512010-06-24 11:42:19 +1000161 imap->br_blockcount +
162 imap->br_startoff);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100163 }
164 count_fsb = last_fsb - offset_fsb;
165 ASSERT(count_fsb > 0);
166
167 resaligned = count_fsb;
168 if (unlikely(extsz)) {
169 if ((temp = do_mod(offset_fsb, extsz)))
170 resaligned += temp;
171 if ((temp = do_mod(resaligned, extsz)))
172 resaligned += extsz - temp;
173 }
174
175 if (unlikely(rt)) {
176 resrtextents = qblocks = resaligned;
177 resrtextents /= mp->m_sb.sb_rextsize;
David Chinner84e1e992007-06-18 16:50:27 +1000178 resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0);
179 quota_flag = XFS_QMOPT_RES_RTBLKS;
180 } else {
181 resrtextents = 0;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100182 resblks = qblocks = XFS_DIOSTRAT_SPACE_RES(mp, resaligned);
David Chinner84e1e992007-06-18 16:50:27 +1000183 quota_flag = XFS_QMOPT_RES_REGBLKS;
184 }
Nathan Scottdd9f4382006-01-11 15:28:28 +1100185
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186 /*
Brian Foster009c6e82015-10-12 15:34:20 +1100187 * Drop the shared lock acquired by the caller, attach the dquot if
188 * necessary and move on to transaction setup.
189 */
190 xfs_iunlock(ip, lockmode);
191 error = xfs_qm_dqattach(ip, 0);
192 if (error)
193 return error;
194
195 /*
Nathan Scott06d10dd2005-06-21 15:48:47 +1000196 * Allocate and setup the transaction
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198 tp = xfs_trans_alloc(mp, XFS_TRANS_DIOSTRAT);
Dave Chinner1ca19152015-11-03 12:37:00 +1100199
200 /*
201 * For DAX, we do not allocate unwritten extents, but instead we zero
202 * the block before we commit the transaction. Ideally we'd like to do
203 * this outside the transaction context, but if we commit and then crash
204 * we may not have zeroed the blocks and this will be exposed on
205 * recovery of the allocation. Hence we must zero before commit.
Dave Chinner3b0fe472016-01-04 16:22:45 +1100206 *
Dave Chinner1ca19152015-11-03 12:37:00 +1100207 * Further, if we are mapping unwritten extents here, we need to zero
208 * and convert them to written so that we don't need an unwritten extent
209 * callback for DAX. This also means that we need to be able to dip into
Dave Chinner3b0fe472016-01-04 16:22:45 +1100210 * the reserve block pool for bmbt block allocation if there is no space
211 * left but we need to do unwritten extent conversion.
Dave Chinner1ca19152015-11-03 12:37:00 +1100212 */
Dave Chinner3b0fe472016-01-04 16:22:45 +1100213
Dave Chinner1ca19152015-11-03 12:37:00 +1100214 if (IS_DAX(VFS_I(ip))) {
215 bmapi_flags = XFS_BMAPI_CONVERT | XFS_BMAPI_ZERO;
Dave Chinner3b0fe472016-01-04 16:22:45 +1100216 if (ISUNWRITTEN(imap)) {
217 tp->t_flags |= XFS_TRANS_RESERVE;
218 resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0) << 1;
219 }
Dave Chinner1ca19152015-11-03 12:37:00 +1100220 }
Jie Liu3d3c8b52013-08-12 20:49:59 +1000221 error = xfs_trans_reserve(tp, &M_RES(mp)->tr_write,
222 resblks, resrtextents);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223 /*
Nathan Scott06d10dd2005-06-21 15:48:47 +1000224 * Check for running out of space, note: need lock to return
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225 */
Dave Chinner507630b2012-03-27 10:34:50 -0400226 if (error) {
Christoph Hellwig4906e212015-06-04 13:47:56 +1000227 xfs_trans_cancel(tp);
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000228 return error;
Dave Chinner507630b2012-03-27 10:34:50 -0400229 }
230
Brian Foster009c6e82015-10-12 15:34:20 +1100231 lockmode = XFS_ILOCK_EXCL;
232 xfs_ilock(ip, lockmode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233
Christoph Hellwig7d095252009-06-08 15:33:32 +0200234 error = xfs_trans_reserve_quota_nblks(tp, ip, qblocks, 0, quota_flag);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100235 if (error)
Dave Chinner507630b2012-03-27 10:34:50 -0400236 goto out_trans_cancel;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237
Christoph Hellwigddc34152011-09-19 15:00:54 +0000238 xfs_trans_ijoin(tp, ip, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240 /*
Christoph Hellwig30704512010-06-24 11:42:19 +1000241 * From this point onwards we overwrite the imap pointer that the
242 * caller gave to us.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243 */
Eric Sandeen9d87c312009-01-14 23:22:07 -0600244 xfs_bmap_init(&free_list, &firstfsb);
Nathan Scott06d10dd2005-06-21 15:48:47 +1000245 nimaps = 1;
Christoph Hellwigd531d912014-02-10 10:27:43 +1100246 error = xfs_bmapi_write(tp, ip, offset_fsb, count_fsb,
Dave Chinner264e89a2015-11-03 13:28:41 +1100247 bmapi_flags, &firstfsb, resblks, imap,
Brian Fosterdbd5c8c2015-10-12 16:04:13 +1100248 &nimaps, &free_list);
Nathan Scott06d10dd2005-06-21 15:48:47 +1000249 if (error)
Dave Chinner507630b2012-03-27 10:34:50 -0400250 goto out_bmap_cancel;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251
252 /*
Nathan Scott06d10dd2005-06-21 15:48:47 +1000253 * Complete the transaction
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254 */
Eric Sandeenf7c99b62007-02-10 18:37:16 +1100255 error = xfs_bmap_finish(&tp, &free_list, &committed);
Nathan Scott06d10dd2005-06-21 15:48:47 +1000256 if (error)
Dave Chinner507630b2012-03-27 10:34:50 -0400257 goto out_bmap_cancel;
Dave Chinner1ca19152015-11-03 12:37:00 +1100258
Christoph Hellwig70393312015-06-04 13:48:08 +1000259 error = xfs_trans_commit(tp);
Nathan Scott06d10dd2005-06-21 15:48:47 +1000260 if (error)
Dave Chinner507630b2012-03-27 10:34:50 -0400261 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262
Nathan Scott06d10dd2005-06-21 15:48:47 +1000263 /*
264 * Copy any maps to caller's array and return any error.
265 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700266 if (nimaps == 0) {
Dave Chinner24513372014-06-25 14:58:08 +1000267 error = -ENOSPC;
Dave Chinner507630b2012-03-27 10:34:50 -0400268 goto out_unlock;
Nathan Scott572d95f2006-09-28 11:03:20 +1000269 }
270
Dave Chinner507630b2012-03-27 10:34:50 -0400271 if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip)))
Dave Chinner6d4a8ec2011-03-07 10:06:35 +1100272 error = xfs_alert_fsblock_zero(ip, imap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273
Dave Chinner507630b2012-03-27 10:34:50 -0400274out_unlock:
Brian Foster009c6e82015-10-12 15:34:20 +1100275 xfs_iunlock(ip, lockmode);
Dave Chinner507630b2012-03-27 10:34:50 -0400276 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700277
Dave Chinner507630b2012-03-27 10:34:50 -0400278out_bmap_cancel:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 xfs_bmap_cancel(&free_list);
Dave Chinnerea562ed2012-05-08 20:48:53 +1000280 xfs_trans_unreserve_quota_nblks(tp, ip, (long)qblocks, 0, quota_flag);
Dave Chinner507630b2012-03-27 10:34:50 -0400281out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +1000282 xfs_trans_cancel(tp);
Dave Chinner507630b2012-03-27 10:34:50 -0400283 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284}
285
Nathan Scottdd9f4382006-01-11 15:28:28 +1100286/*
Dave Chinner8de2bf92009-04-06 18:49:12 +0200287 * If the caller is doing a write at the end of the file, then extend the
288 * allocation out to the file system's write iosize. We clean up any extra
289 * space left over when the file is closed in xfs_inactive().
Dave Chinner055388a2011-01-04 11:35:03 +1100290 *
291 * If we find we already have delalloc preallocation beyond EOF, don't do more
292 * preallocation as it it not needed.
Nathan Scottdd9f4382006-01-11 15:28:28 +1100293 */
294STATIC int
295xfs_iomap_eof_want_preallocate(
296 xfs_mount_t *mp,
Lachlan McIlroy541d7d32007-10-11 17:34:33 +1000297 xfs_inode_t *ip,
Nathan Scottdd9f4382006-01-11 15:28:28 +1100298 xfs_off_t offset,
299 size_t count,
Nathan Scottdd9f4382006-01-11 15:28:28 +1100300 xfs_bmbt_irec_t *imap,
301 int nimaps,
302 int *prealloc)
303{
304 xfs_fileoff_t start_fsb;
305 xfs_filblks_t count_fsb;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100306 int n, error, imaps;
Dave Chinner055388a2011-01-04 11:35:03 +1100307 int found_delalloc = 0;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100308
309 *prealloc = 0;
Christoph Hellwigce7ae1512011-12-18 20:00:11 +0000310 if (offset + count <= XFS_ISIZE(ip))
Nathan Scottdd9f4382006-01-11 15:28:28 +1100311 return 0;
312
313 /*
Dave Chinner133eeb12013-06-27 16:04:48 +1000314 * If the file is smaller than the minimum prealloc and we are using
315 * dynamic preallocation, don't do any preallocation at all as it is
316 * likely this is the only write to the file that is going to be done.
317 */
318 if (!(mp->m_flags & XFS_MOUNT_DFLT_IOSIZE) &&
319 XFS_ISIZE(ip) < XFS_FSB_TO_B(mp, mp->m_writeio_blocks))
320 return 0;
321
322 /*
Nathan Scottdd9f4382006-01-11 15:28:28 +1100323 * If there are any real blocks past eof, then don't
324 * do any speculative allocation.
325 */
326 start_fsb = XFS_B_TO_FSBT(mp, ((xfs_ufsize_t)(offset + count - 1)));
Dave Chinner32972382012-06-08 15:44:54 +1000327 count_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100328 while (count_fsb > 0) {
329 imaps = nimaps;
Dave Chinner5c8ed202011-09-18 20:40:45 +0000330 error = xfs_bmapi_read(ip, start_fsb, count_fsb, imap, &imaps,
331 0);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100332 if (error)
333 return error;
334 for (n = 0; n < imaps; n++) {
335 if ((imap[n].br_startblock != HOLESTARTBLOCK) &&
336 (imap[n].br_startblock != DELAYSTARTBLOCK))
337 return 0;
338 start_fsb += imap[n].br_blockcount;
339 count_fsb -= imap[n].br_blockcount;
Dave Chinner055388a2011-01-04 11:35:03 +1100340
341 if (imap[n].br_startblock == DELAYSTARTBLOCK)
342 found_delalloc = 1;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100343 }
344 }
Dave Chinner055388a2011-01-04 11:35:03 +1100345 if (!found_delalloc)
346 *prealloc = 1;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100347 return 0;
348}
349
Dave Chinner055388a2011-01-04 11:35:03 +1100350/*
Dave Chinnera1e16c22013-02-11 16:05:01 +1100351 * Determine the initial size of the preallocation. We are beyond the current
352 * EOF here, but we need to take into account whether this is a sparse write or
353 * an extending write when determining the preallocation size. Hence we need to
354 * look up the extent that ends at the current write offset and use the result
355 * to determine the preallocation size.
356 *
357 * If the extent is a hole, then preallocation is essentially disabled.
358 * Otherwise we take the size of the preceeding data extent as the basis for the
359 * preallocation size. If the size of the extent is greater than half the
360 * maximum extent length, then use the current offset as the basis. This ensures
361 * that for large files the preallocation size always extends to MAXEXTLEN
362 * rather than falling short due to things like stripe unit/width alignment of
363 * real extents.
364 */
Mark Tinguelye8108ce2013-02-24 13:04:37 -0600365STATIC xfs_fsblock_t
Dave Chinnera1e16c22013-02-11 16:05:01 +1100366xfs_iomap_eof_prealloc_initial_size(
367 struct xfs_mount *mp,
368 struct xfs_inode *ip,
369 xfs_off_t offset,
370 xfs_bmbt_irec_t *imap,
371 int nimaps)
372{
373 xfs_fileoff_t start_fsb;
374 int imaps = 1;
375 int error;
376
377 ASSERT(nimaps >= imaps);
378
379 /* if we are using a specific prealloc size, return now */
380 if (mp->m_flags & XFS_MOUNT_DFLT_IOSIZE)
381 return 0;
382
Dave Chinner133eeb12013-06-27 16:04:48 +1000383 /* If the file is small, then use the minimum prealloc */
384 if (XFS_ISIZE(ip) < XFS_FSB_TO_B(mp, mp->m_dalign))
385 return 0;
386
Dave Chinnera1e16c22013-02-11 16:05:01 +1100387 /*
388 * As we write multiple pages, the offset will always align to the
389 * start of a page and hence point to a hole at EOF. i.e. if the size is
390 * 4096 bytes, we only have one block at FSB 0, but XFS_B_TO_FSB(4096)
391 * will return FSB 1. Hence if there are blocks in the file, we want to
392 * point to the block prior to the EOF block and not the hole that maps
393 * directly at @offset.
394 */
395 start_fsb = XFS_B_TO_FSB(mp, offset);
396 if (start_fsb)
397 start_fsb--;
398 error = xfs_bmapi_read(ip, start_fsb, 1, imap, &imaps, XFS_BMAPI_ENTIRE);
399 if (error)
400 return 0;
401
402 ASSERT(imaps == 1);
403 if (imap[0].br_startblock == HOLESTARTBLOCK)
404 return 0;
405 if (imap[0].br_blockcount <= (MAXEXTLEN >> 1))
Brian Fostere114b5f2013-02-19 10:24:41 -0500406 return imap[0].br_blockcount << 1;
Dave Chinnera1e16c22013-02-11 16:05:01 +1100407 return XFS_B_TO_FSB(mp, offset);
408}
409
Brian Foster76a42022013-03-18 10:51:47 -0400410STATIC bool
411xfs_quota_need_throttle(
412 struct xfs_inode *ip,
413 int type,
414 xfs_fsblock_t alloc_blocks)
415{
416 struct xfs_dquot *dq = xfs_inode_dquot(ip, type);
417
418 if (!dq || !xfs_this_quota_on(ip->i_mount, type))
419 return false;
420
421 /* no hi watermark, no throttle */
422 if (!dq->q_prealloc_hi_wmark)
423 return false;
424
425 /* under the lo watermark, no throttle */
426 if (dq->q_res_bcount + alloc_blocks < dq->q_prealloc_lo_wmark)
427 return false;
428
429 return true;
430}
431
432STATIC void
433xfs_quota_calc_throttle(
434 struct xfs_inode *ip,
435 int type,
436 xfs_fsblock_t *qblocks,
Brian Fosterf0740512014-07-24 19:56:08 +1000437 int *qshift,
438 int64_t *qfreesp)
Brian Foster76a42022013-03-18 10:51:47 -0400439{
440 int64_t freesp;
441 int shift = 0;
442 struct xfs_dquot *dq = xfs_inode_dquot(ip, type);
443
Eric Sandeen5cca3f62014-10-02 09:27:09 +1000444 /* no dq, or over hi wmark, squash the prealloc completely */
445 if (!dq || dq->q_res_bcount >= dq->q_prealloc_hi_wmark) {
Brian Foster76a42022013-03-18 10:51:47 -0400446 *qblocks = 0;
Brian Fosterf0740512014-07-24 19:56:08 +1000447 *qfreesp = 0;
Brian Foster76a42022013-03-18 10:51:47 -0400448 return;
449 }
450
451 freesp = dq->q_prealloc_hi_wmark - dq->q_res_bcount;
452 if (freesp < dq->q_low_space[XFS_QLOWSP_5_PCNT]) {
453 shift = 2;
454 if (freesp < dq->q_low_space[XFS_QLOWSP_3_PCNT])
455 shift += 2;
456 if (freesp < dq->q_low_space[XFS_QLOWSP_1_PCNT])
457 shift += 2;
458 }
459
Brian Fosterf0740512014-07-24 19:56:08 +1000460 if (freesp < *qfreesp)
461 *qfreesp = freesp;
462
Brian Foster76a42022013-03-18 10:51:47 -0400463 /* only overwrite the throttle values if we are more aggressive */
464 if ((freesp >> shift) < (*qblocks >> *qshift)) {
465 *qblocks = freesp;
466 *qshift = shift;
467 }
468}
469
Dave Chinnera1e16c22013-02-11 16:05:01 +1100470/*
Dave Chinner055388a2011-01-04 11:35:03 +1100471 * If we don't have a user specified preallocation size, dynamically increase
472 * the preallocation size as the size of the file grows. Cap the maximum size
473 * at a single extent or less if the filesystem is near full. The closer the
474 * filesystem is to full, the smaller the maximum prealocation.
475 */
476STATIC xfs_fsblock_t
477xfs_iomap_prealloc_size(
478 struct xfs_mount *mp,
Dave Chinnera1e16c22013-02-11 16:05:01 +1100479 struct xfs_inode *ip,
480 xfs_off_t offset,
481 struct xfs_bmbt_irec *imap,
482 int nimaps)
Dave Chinner055388a2011-01-04 11:35:03 +1100483{
484 xfs_fsblock_t alloc_blocks = 0;
Brian Foster3c58b5f2013-03-18 10:51:43 -0400485 int shift = 0;
486 int64_t freesp;
Brian Foster76a42022013-03-18 10:51:47 -0400487 xfs_fsblock_t qblocks;
488 int qshift = 0;
Dave Chinner055388a2011-01-04 11:35:03 +1100489
Dave Chinnera1e16c22013-02-11 16:05:01 +1100490 alloc_blocks = xfs_iomap_eof_prealloc_initial_size(mp, ip, offset,
491 imap, nimaps);
Brian Foster3c58b5f2013-03-18 10:51:43 -0400492 if (!alloc_blocks)
493 goto check_writeio;
Brian Foster76a42022013-03-18 10:51:47 -0400494 qblocks = alloc_blocks;
Dave Chinner055388a2011-01-04 11:35:03 +1100495
Brian Fosterc9bdbdc2013-03-18 10:51:44 -0400496 /*
497 * MAXEXTLEN is not a power of two value but we round the prealloc down
498 * to the nearest power of two value after throttling. To prevent the
499 * round down from unconditionally reducing the maximum supported prealloc
500 * size, we round up first, apply appropriate throttling, round down and
501 * cap the value to MAXEXTLEN.
502 */
503 alloc_blocks = XFS_FILEOFF_MIN(roundup_pow_of_two(MAXEXTLEN),
504 alloc_blocks);
Dave Chinner055388a2011-01-04 11:35:03 +1100505
Dave Chinner0d485ad2015-02-23 21:22:03 +1100506 freesp = percpu_counter_read_positive(&mp->m_fdblocks);
Brian Foster3c58b5f2013-03-18 10:51:43 -0400507 if (freesp < mp->m_low_space[XFS_LOWSP_5_PCNT]) {
508 shift = 2;
509 if (freesp < mp->m_low_space[XFS_LOWSP_4_PCNT])
510 shift++;
511 if (freesp < mp->m_low_space[XFS_LOWSP_3_PCNT])
512 shift++;
513 if (freesp < mp->m_low_space[XFS_LOWSP_2_PCNT])
514 shift++;
515 if (freesp < mp->m_low_space[XFS_LOWSP_1_PCNT])
516 shift++;
Dave Chinner055388a2011-01-04 11:35:03 +1100517 }
Brian Foster76a42022013-03-18 10:51:47 -0400518
519 /*
Brian Fosterf0740512014-07-24 19:56:08 +1000520 * Check each quota to cap the prealloc size, provide a shift value to
521 * throttle with and adjust amount of available space.
Brian Foster76a42022013-03-18 10:51:47 -0400522 */
523 if (xfs_quota_need_throttle(ip, XFS_DQ_USER, alloc_blocks))
Brian Fosterf0740512014-07-24 19:56:08 +1000524 xfs_quota_calc_throttle(ip, XFS_DQ_USER, &qblocks, &qshift,
525 &freesp);
Brian Foster76a42022013-03-18 10:51:47 -0400526 if (xfs_quota_need_throttle(ip, XFS_DQ_GROUP, alloc_blocks))
Brian Fosterf0740512014-07-24 19:56:08 +1000527 xfs_quota_calc_throttle(ip, XFS_DQ_GROUP, &qblocks, &qshift,
528 &freesp);
Brian Foster76a42022013-03-18 10:51:47 -0400529 if (xfs_quota_need_throttle(ip, XFS_DQ_PROJ, alloc_blocks))
Brian Fosterf0740512014-07-24 19:56:08 +1000530 xfs_quota_calc_throttle(ip, XFS_DQ_PROJ, &qblocks, &qshift,
531 &freesp);
Brian Foster76a42022013-03-18 10:51:47 -0400532
533 /*
534 * The final prealloc size is set to the minimum of free space available
535 * in each of the quotas and the overall filesystem.
536 *
537 * The shift throttle value is set to the maximum value as determined by
538 * the global low free space values and per-quota low free space values.
539 */
540 alloc_blocks = MIN(alloc_blocks, qblocks);
541 shift = MAX(shift, qshift);
542
Brian Foster3c58b5f2013-03-18 10:51:43 -0400543 if (shift)
544 alloc_blocks >>= shift;
Brian Fosterc9bdbdc2013-03-18 10:51:44 -0400545 /*
546 * rounddown_pow_of_two() returns an undefined result if we pass in
547 * alloc_blocks = 0.
548 */
549 if (alloc_blocks)
550 alloc_blocks = rounddown_pow_of_two(alloc_blocks);
551 if (alloc_blocks > MAXEXTLEN)
552 alloc_blocks = MAXEXTLEN;
Dave Chinner055388a2011-01-04 11:35:03 +1100553
Brian Foster3c58b5f2013-03-18 10:51:43 -0400554 /*
555 * If we are still trying to allocate more space than is
556 * available, squash the prealloc hard. This can happen if we
557 * have a large file on a small filesystem and the above
558 * lowspace thresholds are smaller than MAXEXTLEN.
559 */
560 while (alloc_blocks && alloc_blocks >= freesp)
561 alloc_blocks >>= 4;
562
563check_writeio:
Dave Chinner055388a2011-01-04 11:35:03 +1100564 if (alloc_blocks < mp->m_writeio_blocks)
565 alloc_blocks = mp->m_writeio_blocks;
566
Brian Foster19cb7e32013-03-18 10:51:48 -0400567 trace_xfs_iomap_prealloc_size(ip, alloc_blocks, shift,
568 mp->m_writeio_blocks);
569
Dave Chinner055388a2011-01-04 11:35:03 +1100570 return alloc_blocks;
571}
572
Christoph Hellwiga206c812010-12-10 08:42:20 +0000573int
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574xfs_iomap_write_delay(
575 xfs_inode_t *ip,
Nathan Scottf403b7f2005-05-05 13:33:40 -0700576 xfs_off_t offset,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577 size_t count,
Christoph Hellwig405f8042010-12-10 08:42:19 +0000578 xfs_bmbt_irec_t *ret_imap)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579{
580 xfs_mount_t *mp = ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581 xfs_fileoff_t offset_fsb;
582 xfs_fileoff_t last_fsb;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100583 xfs_off_t aligned_offset;
584 xfs_fileoff_t ioalign;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100585 xfs_extlen_t extsz;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700586 int nimaps;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587 xfs_bmbt_irec_t imap[XFS_WRITE_IMAPS];
Dave Chinner9aa05002012-10-08 21:56:04 +1100588 int prealloc;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100589 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700590
Christoph Hellwig579aa9c2008-04-22 17:34:00 +1000591 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700592
593 /*
594 * Make sure that the dquots are there. This doesn't hold
595 * the ilock across a disk read.
596 */
Christoph Hellwig7d095252009-06-08 15:33:32 +0200597 error = xfs_qm_dqattach_locked(ip, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598 if (error)
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000599 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600
David Chinner957d0eb2007-06-18 16:50:37 +1000601 extsz = xfs_get_extsz_hint(ip);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100602 offset_fsb = XFS_B_TO_FSBT(mp, offset);
603
Lachlan McIlroy9f6c92b2008-12-22 17:56:49 +1100604 error = xfs_iomap_eof_want_preallocate(mp, ip, offset, count,
Christoph Hellwig405f8042010-12-10 08:42:19 +0000605 imap, XFS_WRITE_IMAPS, &prealloc);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100606 if (error)
607 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608
Dave Chinner8de2bf92009-04-06 18:49:12 +0200609retry:
Nathan Scottdd9f4382006-01-11 15:28:28 +1100610 if (prealloc) {
Dave Chinnera1e16c22013-02-11 16:05:01 +1100611 xfs_fsblock_t alloc_blocks;
612
613 alloc_blocks = xfs_iomap_prealloc_size(mp, ip, offset, imap,
614 XFS_WRITE_IMAPS);
Dave Chinner055388a2011-01-04 11:35:03 +1100615
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616 aligned_offset = XFS_WRITEIO_ALIGN(mp, (offset + count - 1));
617 ioalign = XFS_B_TO_FSBT(mp, aligned_offset);
Dave Chinner055388a2011-01-04 11:35:03 +1100618 last_fsb = ioalign + alloc_blocks;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100619 } else {
620 last_fsb = XFS_B_TO_FSB(mp, ((xfs_ufsize_t)(offset + count)));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621 }
Nathan Scottdd9f4382006-01-11 15:28:28 +1100622
623 if (prealloc || extsz) {
Lachlan McIlroy9f6c92b2008-12-22 17:56:49 +1100624 error = xfs_iomap_eof_align_last_fsb(mp, ip, extsz, &last_fsb);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100625 if (error)
626 return error;
627 }
628
Dave Chinner3ed91162012-04-29 22:43:19 +1000629 /*
630 * Make sure preallocation does not create extents beyond the range we
631 * actually support in this filesystem.
632 */
Dave Chinnerd2c28192012-06-08 15:44:53 +1000633 if (last_fsb > XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes))
634 last_fsb = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
Dave Chinner3ed91162012-04-29 22:43:19 +1000635
636 ASSERT(last_fsb > offset_fsb);
637
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 nimaps = XFS_WRITE_IMAPS;
Christoph Hellwig44032802011-09-18 20:40:48 +0000639 error = xfs_bmapi_delay(ip, offset_fsb, last_fsb - offset_fsb,
640 imap, &nimaps, XFS_BMAPI_ENTIRE);
Dave Chinner055388a2011-01-04 11:35:03 +1100641 switch (error) {
642 case 0:
Dave Chinner24513372014-06-25 14:58:08 +1000643 case -ENOSPC:
644 case -EDQUOT:
Dave Chinner055388a2011-01-04 11:35:03 +1100645 break;
646 default:
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000647 return error;
Dave Chinner055388a2011-01-04 11:35:03 +1100648 }
Nathan Scottdd9f4382006-01-11 15:28:28 +1100649
Linus Torvalds1da177e2005-04-16 15:20:36 -0700650 /*
Dave Chinner9aa05002012-10-08 21:56:04 +1100651 * If bmapi returned us nothing, we got either ENOSPC or EDQUOT. Retry
Dave Chinner055388a2011-01-04 11:35:03 +1100652 * without EOF preallocation.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700653 */
654 if (nimaps == 0) {
Christoph Hellwig0b1b2132009-12-14 23:14:59 +0000655 trace_xfs_delalloc_enospc(ip, offset, count);
Dave Chinner9aa05002012-10-08 21:56:04 +1100656 if (prealloc) {
657 prealloc = 0;
658 error = 0;
659 goto retry;
Dave Chinner055388a2011-01-04 11:35:03 +1100660 }
Dave Chinner24513372014-06-25 14:58:08 +1000661 return error ? error : -ENOSPC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662 }
663
David Chinner86c4d622008-04-29 12:53:21 +1000664 if (!(imap[0].br_startblock || XFS_IS_REALTIME_INODE(ip)))
Dave Chinner6d4a8ec2011-03-07 10:06:35 +1100665 return xfs_alert_fsblock_zero(ip, &imap[0]);
Nathan Scottdd9f4382006-01-11 15:28:28 +1100666
Brian Foster27b52862012-11-06 09:50:38 -0500667 /*
668 * Tag the inode as speculatively preallocated so we can reclaim this
669 * space on demand, if necessary.
670 */
671 if (prealloc)
672 xfs_inode_set_eofblocks_tag(ip);
673
Nathan Scottdd9f4382006-01-11 15:28:28 +1100674 *ret_imap = imap[0];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700675 return 0;
676}
677
678/*
679 * Pass in a delayed allocate extent, convert it to real extents;
680 * return to the caller the extent we create which maps on top of
681 * the originating callers request.
682 *
683 * Called without a lock on the inode.
David Chinnere4143a12007-11-23 16:29:11 +1100684 *
685 * We no longer bother to look at the incoming map - all we have to
686 * guarantee is that whatever we allocate fills the required range.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687 */
Christoph Hellwiga206c812010-12-10 08:42:20 +0000688int
Linus Torvalds1da177e2005-04-16 15:20:36 -0700689xfs_iomap_write_allocate(
690 xfs_inode_t *ip,
Nathan Scottf403b7f2005-05-05 13:33:40 -0700691 xfs_off_t offset,
Christoph Hellwig405f8042010-12-10 08:42:19 +0000692 xfs_bmbt_irec_t *imap)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700693{
694 xfs_mount_t *mp = ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 xfs_fileoff_t offset_fsb, last_block;
696 xfs_fileoff_t end_fsb, map_start_fsb;
697 xfs_fsblock_t first_block;
698 xfs_bmap_free_t free_list;
699 xfs_filblks_t count_fsb;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700 xfs_trans_t *tp;
David Chinnere4143a12007-11-23 16:29:11 +1100701 int nimaps, committed;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702 int error = 0;
703 int nres;
704
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705 /*
706 * Make sure that the dquots are there.
707 */
Christoph Hellwig7d095252009-06-08 15:33:32 +0200708 error = xfs_qm_dqattach(ip, 0);
709 if (error)
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000710 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700711
Nathan Scott24e17b52005-05-05 13:33:20 -0700712 offset_fsb = XFS_B_TO_FSBT(mp, offset);
Christoph Hellwig30704512010-06-24 11:42:19 +1000713 count_fsb = imap->br_blockcount;
714 map_start_fsb = imap->br_startoff;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700715
Bill O'Donnellff6d6af2015-10-12 18:21:22 +1100716 XFS_STATS_ADD(mp, xs_xstrat_bytes, XFS_FSB_TO_B(mp, count_fsb));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700717
718 while (count_fsb != 0) {
719 /*
720 * Set up a transaction with which to allocate the
721 * backing store for the file. Do allocations in a
722 * loop until we get some space in the range we are
723 * interested in. The other space that might be allocated
724 * is in the delayed allocation extent on which we sit
725 * but before our buffer starts.
726 */
727
728 nimaps = 0;
729 while (nimaps == 0) {
730 tp = xfs_trans_alloc(mp, XFS_TRANS_STRAT_WRITE);
David Chinner84e1e992007-06-18 16:50:27 +1000731 tp->t_flags |= XFS_TRANS_RESERVE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700732 nres = XFS_EXTENTADD_SPACE_RES(mp, XFS_DATA_FORK);
Jie Liu3d3c8b52013-08-12 20:49:59 +1000733 error = xfs_trans_reserve(tp, &M_RES(mp)->tr_write,
734 nres, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700735 if (error) {
Christoph Hellwig4906e212015-06-04 13:47:56 +1000736 xfs_trans_cancel(tp);
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000737 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700738 }
739 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwigddc34152011-09-19 15:00:54 +0000740 xfs_trans_ijoin(tp, ip, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741
Eric Sandeen9d87c312009-01-14 23:22:07 -0600742 xfs_bmap_init(&free_list, &first_block);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743
Linus Torvalds1da177e2005-04-16 15:20:36 -0700744 /*
David Chinnere4143a12007-11-23 16:29:11 +1100745 * it is possible that the extents have changed since
746 * we did the read call as we dropped the ilock for a
747 * while. We have to be careful about truncates or hole
748 * punchs here - we are not allowed to allocate
749 * non-delalloc blocks here.
750 *
751 * The only protection against truncation is the pages
752 * for the range we are being asked to convert are
753 * locked and hence a truncate will block on them
754 * first.
755 *
756 * As a result, if we go beyond the range we really
757 * need and hit an delalloc extent boundary followed by
758 * a hole while we have excess blocks in the map, we
759 * will fill the hole incorrectly and overrun the
760 * transaction reservation.
761 *
762 * Using a single map prevents this as we are forced to
763 * check each map we look for overlap with the desired
764 * range and abort as soon as we find it. Also, given
765 * that we only return a single map, having one beyond
766 * what we can return is probably a bit silly.
767 *
768 * We also need to check that we don't go beyond EOF;
769 * this is a truncate optimisation as a truncate sets
770 * the new file size before block on the pages we
771 * currently have locked under writeback. Because they
772 * are about to be tossed, we don't need to write them
773 * back....
Linus Torvalds1da177e2005-04-16 15:20:36 -0700774 */
David Chinnere4143a12007-11-23 16:29:11 +1100775 nimaps = 1;
Christoph Hellwigce7ae1512011-12-18 20:00:11 +0000776 end_fsb = XFS_B_TO_FSB(mp, XFS_ISIZE(ip));
Eric Sandeen7fb2cd42014-04-14 18:58:05 +1000777 error = xfs_bmap_last_offset(ip, &last_block,
David Chinner7c9ef852008-04-10 12:21:59 +1000778 XFS_DATA_FORK);
779 if (error)
780 goto trans_cancel;
781
Linus Torvalds1da177e2005-04-16 15:20:36 -0700782 last_block = XFS_FILEOFF_MAX(last_block, end_fsb);
783 if ((map_start_fsb + count_fsb) > last_block) {
784 count_fsb = last_block - map_start_fsb;
785 if (count_fsb == 0) {
Dave Chinner24513372014-06-25 14:58:08 +1000786 error = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700787 goto trans_cancel;
788 }
789 }
790
Christoph Hellwig30704512010-06-24 11:42:19 +1000791 /*
Christoph Hellwig30704512010-06-24 11:42:19 +1000792 * From this point onwards we overwrite the imap
793 * pointer that the caller gave to us.
794 */
Dave Chinnerc0dc7822011-09-18 20:40:52 +0000795 error = xfs_bmapi_write(tp, ip, map_start_fsb,
Brian Fosterdbd5c8c2015-10-12 16:04:13 +1100796 count_fsb, 0, &first_block,
797 nres, imap, &nimaps,
798 &free_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700799 if (error)
800 goto trans_cancel;
801
Eric Sandeenf7c99b62007-02-10 18:37:16 +1100802 error = xfs_bmap_finish(&tp, &free_list, &committed);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700803 if (error)
804 goto trans_cancel;
805
Christoph Hellwig70393312015-06-04 13:48:08 +1000806 error = xfs_trans_commit(tp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700807 if (error)
808 goto error0;
809
810 xfs_iunlock(ip, XFS_ILOCK_EXCL);
811 }
812
813 /*
814 * See if we were able to allocate an extent that
815 * covers at least part of the callers request
816 */
Christoph Hellwig30704512010-06-24 11:42:19 +1000817 if (!(imap->br_startblock || XFS_IS_REALTIME_INODE(ip)))
Dave Chinner6d4a8ec2011-03-07 10:06:35 +1100818 return xfs_alert_fsblock_zero(ip, imap);
David Chinner86c4d622008-04-29 12:53:21 +1000819
Christoph Hellwig30704512010-06-24 11:42:19 +1000820 if ((offset_fsb >= imap->br_startoff) &&
821 (offset_fsb < (imap->br_startoff +
822 imap->br_blockcount))) {
Bill O'Donnellff6d6af2015-10-12 18:21:22 +1100823 XFS_STATS_INC(mp, xs_xstrat_quick);
David Chinnere4143a12007-11-23 16:29:11 +1100824 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700825 }
826
David Chinnere4143a12007-11-23 16:29:11 +1100827 /*
828 * So far we have not mapped the requested part of the
Linus Torvalds1da177e2005-04-16 15:20:36 -0700829 * file, just surrounding data, try again.
830 */
Christoph Hellwig30704512010-06-24 11:42:19 +1000831 count_fsb -= imap->br_blockcount;
832 map_start_fsb = imap->br_startoff + imap->br_blockcount;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700833 }
834
835trans_cancel:
836 xfs_bmap_cancel(&free_list);
Christoph Hellwig4906e212015-06-04 13:47:56 +1000837 xfs_trans_cancel(tp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700838error0:
839 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000840 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700841}
842
843int
844xfs_iomap_write_unwritten(
845 xfs_inode_t *ip,
Nathan Scottf403b7f2005-05-05 13:33:40 -0700846 xfs_off_t offset,
Christoph Hellwigd32057f2015-01-09 10:48:12 +1100847 xfs_off_t count)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700848{
849 xfs_mount_t *mp = ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700850 xfs_fileoff_t offset_fsb;
851 xfs_filblks_t count_fsb;
852 xfs_filblks_t numblks_fsb;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100853 xfs_fsblock_t firstfsb;
854 int nimaps;
855 xfs_trans_t *tp;
856 xfs_bmbt_irec_t imap;
857 xfs_bmap_free_t free_list;
Christoph Hellwig84803fb2012-02-29 09:53:50 +0000858 xfs_fsize_t i_size;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100859 uint resblks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700860 int committed;
861 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700862
Christoph Hellwig0b1b2132009-12-14 23:14:59 +0000863 trace_xfs_unwritten_convert(ip, offset, count);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700864
865 offset_fsb = XFS_B_TO_FSBT(mp, offset);
866 count_fsb = XFS_B_TO_FSB(mp, (xfs_ufsize_t)offset + count);
867 count_fsb = (xfs_filblks_t)(count_fsb - offset_fsb);
868
Lachlan McIlroy4ddd8bb2008-06-27 13:32:53 +1000869 /*
870 * Reserve enough blocks in this transaction for two complete extent
871 * btree splits. We may be converting the middle part of an unwritten
872 * extent and in this case we will insert two new extents in the btree
873 * each of which could cause a full split.
874 *
875 * This reservation amount will be used in the first call to
876 * xfs_bmbt_split() to select an AG with enough space to satisfy the
877 * rest of the operation.
878 */
Nathan Scottdd9f4382006-01-11 15:28:28 +1100879 resblks = XFS_DIOSTRAT_SPACE_RES(mp, 0) << 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700880
Nathan Scottdd9f4382006-01-11 15:28:28 +1100881 do {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882 /*
883 * set up a transaction to convert the range of extents
884 * from unwritten to real. Do allocations in a loop until
885 * we have covered the range passed in.
Christoph Hellwig80641dc2009-10-19 04:00:03 +0000886 *
887 * Note that we open code the transaction allocation here
888 * to pass KM_NOFS--we can't risk to recursing back into
889 * the filesystem here as we might be asked to write out
890 * the same inode that we complete here and might deadlock
891 * on the iolock.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700892 */
Jan Karad9457dc2012-06-12 16:20:39 +0200893 sb_start_intwrite(mp->m_super);
Christoph Hellwig80641dc2009-10-19 04:00:03 +0000894 tp = _xfs_trans_alloc(mp, XFS_TRANS_STRAT_WRITE, KM_NOFS);
Jan Karad9457dc2012-06-12 16:20:39 +0200895 tp->t_flags |= XFS_TRANS_RESERVE | XFS_TRANS_FREEZE_PROT;
Jie Liu3d3c8b52013-08-12 20:49:59 +1000896 error = xfs_trans_reserve(tp, &M_RES(mp)->tr_write,
897 resblks, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898 if (error) {
Christoph Hellwig4906e212015-06-04 13:47:56 +1000899 xfs_trans_cancel(tp);
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000900 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901 }
902
903 xfs_ilock(ip, XFS_ILOCK_EXCL);
Christoph Hellwigddc34152011-09-19 15:00:54 +0000904 xfs_trans_ijoin(tp, ip, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905
906 /*
907 * Modify the unwritten extent state of the buffer.
908 */
Eric Sandeen9d87c312009-01-14 23:22:07 -0600909 xfs_bmap_init(&free_list, &firstfsb);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 nimaps = 1;
Dave Chinnerc0dc7822011-09-18 20:40:52 +0000911 error = xfs_bmapi_write(tp, ip, offset_fsb, count_fsb,
Brian Fosterdbd5c8c2015-10-12 16:04:13 +1100912 XFS_BMAPI_CONVERT, &firstfsb, resblks,
913 &imap, &nimaps, &free_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914 if (error)
915 goto error_on_bmapi_transaction;
916
Christoph Hellwig84803fb2012-02-29 09:53:50 +0000917 /*
918 * Log the updated inode size as we go. We have to be careful
919 * to only log it up to the actual write offset if it is
920 * halfway into a block.
921 */
922 i_size = XFS_FSB_TO_B(mp, offset_fsb + count_fsb);
923 if (i_size > offset + count)
924 i_size = offset + count;
925
926 i_size = xfs_new_eof(ip, i_size);
927 if (i_size) {
928 ip->i_d.di_size = i_size;
929 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
930 }
931
932 error = xfs_bmap_finish(&tp, &free_list, &committed);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933 if (error)
934 goto error_on_bmapi_transaction;
935
Christoph Hellwig70393312015-06-04 13:48:08 +1000936 error = xfs_trans_commit(tp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937 xfs_iunlock(ip, XFS_ILOCK_EXCL);
938 if (error)
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000939 return error;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100940
David Chinner86c4d622008-04-29 12:53:21 +1000941 if (!(imap.br_startblock || XFS_IS_REALTIME_INODE(ip)))
Dave Chinner6d4a8ec2011-03-07 10:06:35 +1100942 return xfs_alert_fsblock_zero(ip, &imap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700943
944 if ((numblks_fsb = imap.br_blockcount) == 0) {
945 /*
946 * The numblks_fsb value should always get
947 * smaller, otherwise the loop is stuck.
948 */
949 ASSERT(imap.br_blockcount);
950 break;
951 }
952 offset_fsb += numblks_fsb;
953 count_fsb -= numblks_fsb;
954 } while (count_fsb > 0);
955
956 return 0;
957
958error_on_bmapi_transaction:
959 xfs_bmap_cancel(&free_list);
Christoph Hellwig4906e212015-06-04 13:47:56 +1000960 xfs_trans_cancel(tp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700961 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Eric Sandeenb474c7a2014-06-22 15:04:54 +1000962 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700963}