1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (c) 2000-2005 Silicon Graphics, Inc.
8 #include "xfs_shared.h"
9 #include "xfs_format.h"
10 #include "xfs_log_format.h"
11 #include "xfs_trans_resv.h"
13 #include "xfs_mount.h"
14 #include "xfs_trans.h"
15 #include "xfs_error.h"
16 #include "xfs_alloc.h"
17 #include "xfs_fsops.h"
18 #include "xfs_trans_space.h"
20 #include "xfs_log_priv.h"
22 #include "xfs_ag_resv.h"
23 #include "xfs_trace.h"
26 * Write new AG headers to disk. Non-transactional, but need to be
27 * written and completed prior to the growfs transaction being logged.
28 * To do this, we use a delayed write buffer list and wait for
29 * submission and IO completion of the list as a whole. This allows the
30 * IO subsystem to merge all the AG headers in a single AG into a single
31 * IO and hide most of the latency of the IO from us.
33 * This also means that if we get an error whilst building the buffer
34 * list to write, we can cancel the entire list without having written
38 xfs_resizefs_init_new_ags(
40 struct aghdr_init_data *id,
41 xfs_agnumber_t oagcount,
42 xfs_agnumber_t nagcount,
44 struct xfs_perag *last_pag,
45 bool *lastag_extended)
47 struct xfs_mount *mp = tp->t_mountp;
48 xfs_rfsblock_t nb = mp->m_sb.sb_dblocks + delta;
51 *lastag_extended = false;
53 INIT_LIST_HEAD(&id->buffer_list);
54 for (id->agno = nagcount - 1;
56 id->agno--, delta -= id->agsize) {
58 if (id->agno == nagcount - 1)
59 id->agsize = nb - (id->agno *
60 (xfs_rfsblock_t)mp->m_sb.sb_agblocks);
62 id->agsize = mp->m_sb.sb_agblocks;
64 error = xfs_ag_init_headers(mp, id);
66 xfs_buf_delwri_cancel(&id->buffer_list);
71 error = xfs_buf_delwri_submit(&id->buffer_list);
76 *lastag_extended = true;
77 error = xfs_ag_extend_space(last_pag, tp, delta);
86 xfs_growfs_data_private(
87 struct xfs_mount *mp, /* mount point for filesystem */
88 struct xfs_growfs_data *in) /* growfs data input struct */
92 xfs_agnumber_t nagcount;
93 xfs_agnumber_t nagimax = 0;
94 xfs_rfsblock_t nb, nb_div, nb_mod;
96 bool lastag_extended = false;
97 xfs_agnumber_t oagcount;
99 struct aghdr_init_data id = {};
100 struct xfs_perag *last_pag;
103 error = xfs_sb_validate_fsb_count(&mp->m_sb, nb);
107 if (nb > mp->m_sb.sb_dblocks) {
108 error = xfs_buf_read_uncached(mp->m_ddev_targp,
109 XFS_FSB_TO_BB(mp, nb) - XFS_FSS_TO_BB(mp, 1),
110 XFS_FSS_TO_BB(mp, 1), 0, &bp, NULL);
117 nb_mod = do_div(nb_div, mp->m_sb.sb_agblocks);
118 if (nb_mod && nb_mod >= XFS_MIN_AG_BLOCKS)
121 nb = nb_div * mp->m_sb.sb_agblocks;
123 if (nb_div > XFS_MAX_AGNUMBER + 1) {
124 nb_div = XFS_MAX_AGNUMBER + 1;
125 nb = nb_div * mp->m_sb.sb_agblocks;
128 delta = nb - mp->m_sb.sb_dblocks;
130 * Reject filesystems with a single AG because they are not
131 * supported, and reject a shrink operation that would cause a
132 * filesystem to become unsupported.
134 if (delta < 0 && nagcount < 2)
141 oagcount = mp->m_sb.sb_agcount;
142 /* allocate the new per-ag structures */
143 if (nagcount > oagcount) {
144 error = xfs_initialize_perag(mp, nagcount, nb, &nagimax);
147 } else if (nagcount < oagcount) {
148 /* TODO: shrinking the entire AGs hasn't yet completed */
153 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_growdata,
154 XFS_GROWFS_SPACE_RES(mp), 0, XFS_TRANS_RESERVE,
157 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_growdata, -delta, 0,
160 goto out_free_unused_perag;
162 last_pag = xfs_perag_get(mp, oagcount - 1);
164 error = xfs_resizefs_init_new_ags(tp, &id, oagcount, nagcount,
165 delta, last_pag, &lastag_extended);
167 xfs_warn_mount(mp, XFS_OPSTATE_WARNED_SHRINK,
168 "EXPERIMENTAL online shrink feature in use. Use at your own risk!");
170 error = xfs_ag_shrink_space(last_pag, &tp, -delta);
172 xfs_perag_put(last_pag);
174 goto out_trans_cancel;
177 * Update changed superblock fields transactionally. These are not
178 * seen by the rest of the world until the transaction commit applies
179 * them atomically to the superblock.
181 if (nagcount > oagcount)
182 xfs_trans_mod_sb(tp, XFS_TRANS_SB_AGCOUNT, nagcount - oagcount);
184 xfs_trans_mod_sb(tp, XFS_TRANS_SB_DBLOCKS, delta);
186 xfs_trans_mod_sb(tp, XFS_TRANS_SB_FDBLOCKS, id.nfree);
189 * Sync sb counters now to reflect the updated values. This is
190 * particularly important for shrink because the write verifier
191 * will fail if sb_fdblocks is ever larger than sb_dblocks.
193 if (xfs_has_lazysbcount(mp))
196 xfs_trans_set_sync(tp);
197 error = xfs_trans_commit(tp);
201 /* New allocation groups fully initialized, so update mount struct */
203 mp->m_maxagi = nagimax;
204 xfs_set_low_space_thresholds(mp);
205 mp->m_alloc_set_aside = xfs_alloc_set_aside(mp);
209 * If we expanded the last AG, free the per-AG reservation
210 * so we can reinitialize it with the new size.
212 if (lastag_extended) {
213 struct xfs_perag *pag;
215 pag = xfs_perag_get(mp, id.agno);
216 error = xfs_ag_resv_free(pag);
222 * Reserve AG metadata blocks. ENOSPC here does not mean there
223 * was a growfs failure, just that there still isn't space for
224 * new user data after the grow has been run.
226 error = xfs_fs_reserve_ag_blocks(mp);
227 if (error == -ENOSPC)
233 xfs_trans_cancel(tp);
234 out_free_unused_perag:
235 if (nagcount > oagcount)
236 xfs_free_unused_perag_range(mp, oagcount, nagcount);
241 xfs_growfs_log_private(
242 struct xfs_mount *mp, /* mount point for filesystem */
243 struct xfs_growfs_log *in) /* growfs log input struct */
248 if (nb < XFS_MIN_LOG_BLOCKS || nb < XFS_B_TO_FSB(mp, XFS_MIN_LOG_BYTES))
250 if (nb == mp->m_sb.sb_logblocks &&
251 in->isint == (mp->m_sb.sb_logstart != 0))
254 * Moving the log is hard, need new interfaces to sync
255 * the log first, hold off all activity while moving it.
256 * Can have shorter or longer log in the same space,
257 * or transform internal to external log or vice versa.
264 struct xfs_mount *mp,
267 struct xfs_trans *tp;
274 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_growdata,
275 XFS_GROWFS_SPACE_RES(mp), 0, XFS_TRANS_RESERVE, &tp);
279 dpct = imaxpct - mp->m_sb.sb_imax_pct;
280 xfs_trans_mod_sb(tp, XFS_TRANS_SB_IMAXPCT, dpct);
281 xfs_trans_set_sync(tp);
282 return xfs_trans_commit(tp);
286 * protected versions of growfs function acquire and release locks on the mount
287 * point - exported through ioctls: XFS_IOC_FSGROWFSDATA, XFS_IOC_FSGROWFSLOG,
292 struct xfs_mount *mp,
293 struct xfs_growfs_data *in)
297 if (!capable(CAP_SYS_ADMIN))
299 if (!mutex_trylock(&mp->m_growlock))
302 /* update imaxpct separately to the physical grow of the filesystem */
303 if (in->imaxpct != mp->m_sb.sb_imax_pct) {
304 error = xfs_growfs_imaxpct(mp, in->imaxpct);
309 if (in->newblocks != mp->m_sb.sb_dblocks) {
310 error = xfs_growfs_data_private(mp, in);
315 /* Post growfs calculations needed to reflect new state in operations */
316 if (mp->m_sb.sb_imax_pct) {
317 uint64_t icount = mp->m_sb.sb_dblocks * mp->m_sb.sb_imax_pct;
319 M_IGEO(mp)->maxicount = XFS_FSB_TO_INO(mp, icount);
321 M_IGEO(mp)->maxicount = 0;
323 /* Update secondary superblocks now the physical grow has completed */
324 error = xfs_update_secondary_sbs(mp);
328 * Increment the generation unconditionally, the error could be from
329 * updating the secondary superblocks, in which case the new size
333 mutex_unlock(&mp->m_growlock);
340 struct xfs_growfs_log *in)
344 if (!capable(CAP_SYS_ADMIN))
346 if (!mutex_trylock(&mp->m_growlock))
348 error = xfs_growfs_log_private(mp, in);
349 mutex_unlock(&mp->m_growlock);
354 * Reserve the requested number of blocks if available. Otherwise return
355 * as many as possible to satisfy the request. The actual number
356 * reserved are returned in outval.
360 struct xfs_mount *mp,
363 int64_t lcounter, delta;
364 int64_t fdblks_delta = 0;
369 * With per-cpu counters, this becomes an interesting problem. we need
370 * to work out if we are freeing or allocation blocks first, then we can
371 * do the modification as necessary.
373 * We do this under the m_sb_lock so that if we are near ENOSPC, we will
374 * hold out any changes while we work out what to do. This means that
375 * the amount of free space can change while we do this, so we need to
376 * retry if we end up trying to reserve more space than is available.
378 spin_lock(&mp->m_sb_lock);
381 * If our previous reservation was larger than the current value,
382 * then move any unused blocks back to the free pool. Modify the resblks
383 * counters directly since we shouldn't have any problems unreserving
386 if (mp->m_resblks > request) {
387 lcounter = mp->m_resblks_avail - request;
388 if (lcounter > 0) { /* release unused blocks */
389 fdblks_delta = lcounter;
390 mp->m_resblks_avail -= lcounter;
392 mp->m_resblks = request;
394 spin_unlock(&mp->m_sb_lock);
395 error = xfs_mod_fdblocks(mp, fdblks_delta, 0);
396 spin_lock(&mp->m_sb_lock);
403 * If the request is larger than the current reservation, reserve the
404 * blocks before we update the reserve counters. Sample m_fdblocks and
405 * perform a partial reservation if the request exceeds free space.
407 * The code below estimates how many blocks it can request from
408 * fdblocks to stash in the reserve pool. This is a classic TOCTOU
409 * race since fdblocks updates are not always coordinated via
410 * m_sb_lock. Set the reserve size even if there's not enough free
411 * space to fill it because mod_fdblocks will refill an undersized
412 * reserve when it can.
414 free = percpu_counter_sum(&mp->m_fdblocks) -
415 xfs_fdblocks_unavailable(mp);
416 delta = request - mp->m_resblks;
417 mp->m_resblks = request;
418 if (delta > 0 && free > 0) {
420 * We'll either succeed in getting space from the free block
421 * count or we'll get an ENOSPC. Don't set the reserved flag
422 * here - we don't want to reserve the extra reserve blocks
425 * The desired reserve size can change after we drop the lock.
426 * Use mod_fdblocks to put the space into the reserve or into
427 * fdblocks as appropriate.
429 fdblks_delta = min(free, delta);
430 spin_unlock(&mp->m_sb_lock);
431 error = xfs_mod_fdblocks(mp, -fdblks_delta, 0);
433 xfs_mod_fdblocks(mp, fdblks_delta, 0);
434 spin_lock(&mp->m_sb_lock);
437 spin_unlock(&mp->m_sb_lock);
447 case XFS_FSOP_GOING_FLAGS_DEFAULT: {
448 if (!bdev_freeze(mp->m_super->s_bdev)) {
449 xfs_force_shutdown(mp, SHUTDOWN_FORCE_UMOUNT);
450 bdev_thaw(mp->m_super->s_bdev);
454 case XFS_FSOP_GOING_FLAGS_LOGFLUSH:
455 xfs_force_shutdown(mp, SHUTDOWN_FORCE_UMOUNT);
457 case XFS_FSOP_GOING_FLAGS_NOLOGFLUSH:
458 xfs_force_shutdown(mp,
459 SHUTDOWN_FORCE_UMOUNT | SHUTDOWN_LOG_IO_ERROR);
469 * Force a shutdown of the filesystem instantly while keeping the filesystem
470 * consistent. We don't do an unmount here; just shutdown the shop, make sure
471 * that absolutely nothing persistent happens to this filesystem after this
474 * The shutdown state change is atomic, resulting in the first and only the
475 * first shutdown call processing the shutdown. This means we only shutdown the
476 * log once as it requires, and we don't spam the logs when multiple concurrent
477 * shutdowns race to set the shutdown flags.
480 xfs_do_force_shutdown(
481 struct xfs_mount *mp,
490 if (test_and_set_bit(XFS_OPSTATE_SHUTDOWN, &mp->m_opstate)) {
491 xlog_shutdown_wait(mp->m_log);
495 mp->m_sb_bp->b_flags |= XBF_DONE;
497 if (flags & SHUTDOWN_FORCE_UMOUNT)
498 xfs_alert(mp, "User initiated shutdown received.");
500 if (xlog_force_shutdown(mp->m_log, flags)) {
501 tag = XFS_PTAG_SHUTDOWN_LOGERROR;
502 why = "Log I/O Error";
503 } else if (flags & SHUTDOWN_CORRUPT_INCORE) {
504 tag = XFS_PTAG_SHUTDOWN_CORRUPT;
505 why = "Corruption of in-memory data";
506 } else if (flags & SHUTDOWN_CORRUPT_ONDISK) {
507 tag = XFS_PTAG_SHUTDOWN_CORRUPT;
508 why = "Corruption of on-disk metadata";
509 } else if (flags & SHUTDOWN_DEVICE_REMOVED) {
510 tag = XFS_PTAG_SHUTDOWN_IOERROR;
511 why = "Block device removal";
513 tag = XFS_PTAG_SHUTDOWN_IOERROR;
514 why = "Metadata I/O Error";
517 trace_xfs_force_shutdown(mp, tag, flags, fname, lnnum);
519 xfs_alert_tag(mp, tag,
520 "%s (0x%x) detected at %pS (%s:%d). Shutting down filesystem.",
521 why, flags, __return_address, fname, lnnum);
523 "Please unmount the filesystem and rectify the problem(s)");
524 if (xfs_error_level >= XFS_ERRLEVEL_HIGH)
529 * Reserve free space for per-AG metadata.
532 xfs_fs_reserve_ag_blocks(
533 struct xfs_mount *mp)
536 struct xfs_perag *pag;
540 mp->m_finobt_nores = false;
541 for_each_perag(mp, agno, pag) {
542 err2 = xfs_ag_resv_init(pag, NULL);
547 if (error && error != -ENOSPC) {
549 "Error %d reserving per-AG metadata reserve pool.", error);
550 xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
557 * Free space reserved for per-AG metadata.
560 xfs_fs_unreserve_ag_blocks(
561 struct xfs_mount *mp)
564 struct xfs_perag *pag;
568 for_each_perag(mp, agno, pag) {
569 err2 = xfs_ag_resv_free(pag);
576 "Error %d freeing per-AG metadata reserve pool.", error);