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 xfs_ag_resv_free(pag
);
220 * Reserve AG metadata blocks. ENOSPC here does not mean there
221 * was a growfs failure, just that there still isn't space for
222 * new user data after the grow has been run.
224 error
= xfs_fs_reserve_ag_blocks(mp
);
225 if (error
== -ENOSPC
)
231 xfs_trans_cancel(tp
);
232 out_free_unused_perag
:
233 if (nagcount
> oagcount
)
234 xfs_free_unused_perag_range(mp
, oagcount
, nagcount
);
239 xfs_growfs_log_private(
240 struct xfs_mount
*mp
, /* mount point for filesystem */
241 struct xfs_growfs_log
*in
) /* growfs log input struct */
246 if (nb
< XFS_MIN_LOG_BLOCKS
|| nb
< XFS_B_TO_FSB(mp
, XFS_MIN_LOG_BYTES
))
248 if (nb
== mp
->m_sb
.sb_logblocks
&&
249 in
->isint
== (mp
->m_sb
.sb_logstart
!= 0))
252 * Moving the log is hard, need new interfaces to sync
253 * the log first, hold off all activity while moving it.
254 * Can have shorter or longer log in the same space,
255 * or transform internal to external log or vice versa.
262 struct xfs_mount
*mp
,
265 struct xfs_trans
*tp
;
272 error
= xfs_trans_alloc(mp
, &M_RES(mp
)->tr_growdata
,
273 XFS_GROWFS_SPACE_RES(mp
), 0, XFS_TRANS_RESERVE
, &tp
);
277 dpct
= imaxpct
- mp
->m_sb
.sb_imax_pct
;
278 xfs_trans_mod_sb(tp
, XFS_TRANS_SB_IMAXPCT
, dpct
);
279 xfs_trans_set_sync(tp
);
280 return xfs_trans_commit(tp
);
284 * protected versions of growfs function acquire and release locks on the mount
285 * point - exported through ioctls: XFS_IOC_FSGROWFSDATA, XFS_IOC_FSGROWFSLOG,
290 struct xfs_mount
*mp
,
291 struct xfs_growfs_data
*in
)
295 if (!capable(CAP_SYS_ADMIN
))
297 if (!mutex_trylock(&mp
->m_growlock
))
300 /* update imaxpct separately to the physical grow of the filesystem */
301 if (in
->imaxpct
!= mp
->m_sb
.sb_imax_pct
) {
302 error
= xfs_growfs_imaxpct(mp
, in
->imaxpct
);
307 if (in
->newblocks
!= mp
->m_sb
.sb_dblocks
) {
308 error
= xfs_growfs_data_private(mp
, in
);
313 /* Post growfs calculations needed to reflect new state in operations */
314 if (mp
->m_sb
.sb_imax_pct
) {
315 uint64_t icount
= mp
->m_sb
.sb_dblocks
* mp
->m_sb
.sb_imax_pct
;
317 M_IGEO(mp
)->maxicount
= XFS_FSB_TO_INO(mp
, icount
);
319 M_IGEO(mp
)->maxicount
= 0;
321 /* Update secondary superblocks now the physical grow has completed */
322 error
= xfs_update_secondary_sbs(mp
);
326 * Increment the generation unconditionally, the error could be from
327 * updating the secondary superblocks, in which case the new size
331 mutex_unlock(&mp
->m_growlock
);
338 struct xfs_growfs_log
*in
)
342 if (!capable(CAP_SYS_ADMIN
))
344 if (!mutex_trylock(&mp
->m_growlock
))
346 error
= xfs_growfs_log_private(mp
, in
);
347 mutex_unlock(&mp
->m_growlock
);
352 * Reserve the requested number of blocks if available. Otherwise return
353 * as many as possible to satisfy the request. The actual number
354 * reserved are returned in outval.
358 struct xfs_mount
*mp
,
361 int64_t lcounter
, delta
;
362 int64_t fdblks_delta
= 0;
367 * With per-cpu counters, this becomes an interesting problem. we need
368 * to work out if we are freeing or allocation blocks first, then we can
369 * do the modification as necessary.
371 * We do this under the m_sb_lock so that if we are near ENOSPC, we will
372 * hold out any changes while we work out what to do. This means that
373 * the amount of free space can change while we do this, so we need to
374 * retry if we end up trying to reserve more space than is available.
376 spin_lock(&mp
->m_sb_lock
);
379 * If our previous reservation was larger than the current value,
380 * then move any unused blocks back to the free pool. Modify the resblks
381 * counters directly since we shouldn't have any problems unreserving
384 if (mp
->m_resblks
> request
) {
385 lcounter
= mp
->m_resblks_avail
- request
;
386 if (lcounter
> 0) { /* release unused blocks */
387 fdblks_delta
= lcounter
;
388 mp
->m_resblks_avail
-= lcounter
;
390 mp
->m_resblks
= request
;
392 spin_unlock(&mp
->m_sb_lock
);
393 xfs_add_fdblocks(mp
, fdblks_delta
);
394 spin_lock(&mp
->m_sb_lock
);
401 * If the request is larger than the current reservation, reserve the
402 * blocks before we update the reserve counters. Sample m_fdblocks and
403 * perform a partial reservation if the request exceeds free space.
405 * The code below estimates how many blocks it can request from
406 * fdblocks to stash in the reserve pool. This is a classic TOCTOU
407 * race since fdblocks updates are not always coordinated via
408 * m_sb_lock. Set the reserve size even if there's not enough free
409 * space to fill it because mod_fdblocks will refill an undersized
410 * reserve when it can.
412 free
= percpu_counter_sum(&mp
->m_fdblocks
) -
413 xfs_fdblocks_unavailable(mp
);
414 delta
= request
- mp
->m_resblks
;
415 mp
->m_resblks
= request
;
416 if (delta
> 0 && free
> 0) {
418 * We'll either succeed in getting space from the free block
419 * count or we'll get an ENOSPC. Don't set the reserved flag
420 * here - we don't want to reserve the extra reserve blocks
423 * The desired reserve size can change after we drop the lock.
424 * Use mod_fdblocks to put the space into the reserve or into
425 * fdblocks as appropriate.
427 fdblks_delta
= min(free
, delta
);
428 spin_unlock(&mp
->m_sb_lock
);
429 error
= xfs_dec_fdblocks(mp
, fdblks_delta
, 0);
431 xfs_add_fdblocks(mp
, fdblks_delta
);
432 spin_lock(&mp
->m_sb_lock
);
435 spin_unlock(&mp
->m_sb_lock
);
445 case XFS_FSOP_GOING_FLAGS_DEFAULT
: {
446 if (!bdev_freeze(mp
->m_super
->s_bdev
)) {
447 xfs_force_shutdown(mp
, SHUTDOWN_FORCE_UMOUNT
);
448 bdev_thaw(mp
->m_super
->s_bdev
);
452 case XFS_FSOP_GOING_FLAGS_LOGFLUSH
:
453 xfs_force_shutdown(mp
, SHUTDOWN_FORCE_UMOUNT
);
455 case XFS_FSOP_GOING_FLAGS_NOLOGFLUSH
:
456 xfs_force_shutdown(mp
,
457 SHUTDOWN_FORCE_UMOUNT
| SHUTDOWN_LOG_IO_ERROR
);
467 * Force a shutdown of the filesystem instantly while keeping the filesystem
468 * consistent. We don't do an unmount here; just shutdown the shop, make sure
469 * that absolutely nothing persistent happens to this filesystem after this
472 * The shutdown state change is atomic, resulting in the first and only the
473 * first shutdown call processing the shutdown. This means we only shutdown the
474 * log once as it requires, and we don't spam the logs when multiple concurrent
475 * shutdowns race to set the shutdown flags.
478 xfs_do_force_shutdown(
479 struct xfs_mount
*mp
,
488 if (xfs_set_shutdown(mp
)) {
489 xlog_shutdown_wait(mp
->m_log
);
493 mp
->m_sb_bp
->b_flags
|= XBF_DONE
;
495 if (flags
& SHUTDOWN_FORCE_UMOUNT
)
496 xfs_alert(mp
, "User initiated shutdown received.");
498 if (xlog_force_shutdown(mp
->m_log
, flags
)) {
499 tag
= XFS_PTAG_SHUTDOWN_LOGERROR
;
500 why
= "Log I/O Error";
501 } else if (flags
& SHUTDOWN_CORRUPT_INCORE
) {
502 tag
= XFS_PTAG_SHUTDOWN_CORRUPT
;
503 why
= "Corruption of in-memory data";
504 } else if (flags
& SHUTDOWN_CORRUPT_ONDISK
) {
505 tag
= XFS_PTAG_SHUTDOWN_CORRUPT
;
506 why
= "Corruption of on-disk metadata";
507 } else if (flags
& SHUTDOWN_DEVICE_REMOVED
) {
508 tag
= XFS_PTAG_SHUTDOWN_IOERROR
;
509 why
= "Block device removal";
511 tag
= XFS_PTAG_SHUTDOWN_IOERROR
;
512 why
= "Metadata I/O Error";
515 trace_xfs_force_shutdown(mp
, tag
, flags
, fname
, lnnum
);
517 xfs_alert_tag(mp
, tag
,
518 "%s (0x%x) detected at %pS (%s:%d). Shutting down filesystem.",
519 why
, flags
, __return_address
, fname
, lnnum
);
521 "Please unmount the filesystem and rectify the problem(s)");
522 if (xfs_error_level
>= XFS_ERRLEVEL_HIGH
)
527 * Reserve free space for per-AG metadata.
530 xfs_fs_reserve_ag_blocks(
531 struct xfs_mount
*mp
)
534 struct xfs_perag
*pag
;
538 mp
->m_finobt_nores
= false;
539 for_each_perag(mp
, agno
, pag
) {
540 err2
= xfs_ag_resv_init(pag
, NULL
);
545 if (error
&& error
!= -ENOSPC
) {
547 "Error %d reserving per-AG metadata reserve pool.", error
);
548 xfs_force_shutdown(mp
, SHUTDOWN_CORRUPT_INCORE
);
555 * Free space reserved for per-AG metadata.
558 xfs_fs_unreserve_ag_blocks(
559 struct xfs_mount
*mp
)
562 struct xfs_perag
*pag
;
564 for_each_perag(mp
, agno
, pag
)
565 xfs_ag_resv_free(pag
);