1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2017-2023 Oracle. All Rights Reserved.
8 #include "xfs_shared.h"
9 #include "xfs_format.h"
10 #include "xfs_trans_resv.h"
11 #include "xfs_mount.h"
12 #include "xfs_btree.h"
13 #include "xfs_inode.h"
14 #include "xfs_log_format.h"
15 #include "xfs_trans.h"
16 #include "xfs_rtbitmap.h"
20 #include "xfs_exchmaps.h"
21 #include "xfs_rtgroup.h"
22 #include "scrub/scrub.h"
23 #include "scrub/common.h"
24 #include "scrub/trace.h"
25 #include "scrub/xfile.h"
26 #include "scrub/repair.h"
27 #include "scrub/tempexch.h"
28 #include "scrub/rtsummary.h"
34 * We check the realtime summary by scanning the realtime bitmap file to create
35 * a new summary file incore, and then we compare the computed version against
36 * the ondisk version. We use the 'xfile' functionality to store this
37 * (potentially large) amount of data in pageable memory.
40 /* Set us up to check the rtsummary file. */
45 struct xfs_mount *mp = sc->mp;
47 struct xchk_rtsummary *rts;
50 if (xchk_need_intent_drain(sc))
51 xchk_fsgates_enable(sc, XCHK_FSGATES_DRAIN);
53 rts = kvzalloc(struct_size(rts, words, mp->m_blockwsize),
59 error = xchk_rtgroup_init(sc, sc->sm->sm_agno, &sc->sr);
63 if (xchk_could_repair(sc)) {
64 error = xrep_setup_rtsummary(sc, rts);
70 * Create an xfile to construct a new rtsummary file. The xfile allows
71 * us to avoid pinning kernel memory for this purpose.
73 descr = xchk_xfile_descr(sc, "realtime summary file");
74 error = xfile_create(descr, XFS_FSB_TO_B(mp, mp->m_rsumblocks),
80 error = xchk_trans_alloc(sc, rts->resblks);
84 error = xchk_install_live_inode(sc, rtg_summary(sc->sr.rtg));
88 error = xchk_ino_dqattach(sc);
92 error = xchk_rtgroup_lock(sc, &sc->sr, XFS_RTGLOCK_BITMAP);
97 * Now that we've locked the rtbitmap and rtsummary, we can't race with
98 * growfsrt trying to expand the summary or change the size of the rt
99 * volume. Hence it is safe to compute and check the geometry values.
101 * Note that there is no strict requirement for an exclusive lock on the
102 * summary here, but to keep the locking APIs simple we lock both inodes
103 * exclusively here. If we ever start caring about running concurrent
104 * fsmap with scrub this could be changed.
106 if (mp->m_sb.sb_rblocks) {
107 rts->rextents = xfs_blen_to_rtbxlen(mp, mp->m_sb.sb_rblocks);
108 rts->rbmblocks = xfs_rtbitmap_blockcount(mp);
110 xfs_rtsummary_blockcount(mp, &rts->rsumlevels);
116 /* Helper functions to record suminfo words in an xfile. */
120 struct xfs_scrub *sc,
121 xfs_rtsumoff_t sumoff,
122 union xfs_suminfo_raw *rawinfo)
124 return xfile_load(sc->xfile, rawinfo,
125 sizeof(union xfs_suminfo_raw),
126 sumoff << XFS_WORDLOG);
131 struct xfs_scrub *sc,
132 xfs_rtsumoff_t sumoff,
133 const union xfs_suminfo_raw rawinfo)
135 return xfile_store(sc->xfile, &rawinfo,
136 sizeof(union xfs_suminfo_raw),
137 sumoff << XFS_WORDLOG);
142 struct xfs_scrub *sc,
143 xfs_rtsumoff_t sumoff,
144 union xfs_suminfo_raw *rawinfo,
145 unsigned int nr_words)
147 return xfile_load(sc->xfile, rawinfo, nr_words << XFS_WORDLOG,
148 sumoff << XFS_WORDLOG);
151 static inline xfs_suminfo_t
153 struct xfs_mount *mp,
154 union xfs_suminfo_raw *v)
156 if (xfs_has_rtgroups(mp)) {
157 be32_add_cpu(&v->rtg, 1);
158 return be32_to_cpu(v->rtg);
165 /* Update the summary file to reflect the free extent that we've accumulated. */
167 xchk_rtsum_record_free(
168 struct xfs_rtgroup *rtg,
169 struct xfs_trans *tp,
170 const struct xfs_rtalloc_rec *rec,
173 struct xfs_mount *mp = rtg_mount(rtg);
174 struct xfs_scrub *sc = priv;
175 xfs_fileoff_t rbmoff;
180 union xfs_suminfo_raw v;
184 if (xchk_should_terminate(sc, &error))
187 /* Compute the relevant location in the rtsum file. */
188 rbmoff = xfs_rtx_to_rbmblock(mp, rec->ar_startext);
189 lenlog = xfs_highbit64(rec->ar_extcount);
190 offs = xfs_rtsumoffs(mp, lenlog, rbmoff);
192 rtbno = xfs_rtx_to_rtb(rtg, rec->ar_startext);
193 rtlen = xfs_rtxlen_to_extlen(mp, rec->ar_extcount);
195 if (!xfs_verify_rtbext(mp, rtbno, rtlen)) {
196 xchk_ino_xref_set_corrupt(sc, rtg_bitmap(rtg)->i_ino);
197 return -EFSCORRUPTED;
200 /* Bump the summary count. */
201 error = xfsum_load(sc, offs, &v);
205 value = xchk_rtsum_inc(sc->mp, &v);
206 trace_xchk_rtsum_record_free(mp, rec->ar_startext, rec->ar_extcount,
207 lenlog, offs, value);
209 return xfsum_store(sc, offs, v);
212 /* Compute the realtime summary from the realtime bitmap. */
215 struct xfs_scrub *sc)
217 struct xfs_mount *mp = sc->mp;
218 struct xfs_rtgroup *rtg = sc->sr.rtg;
220 /* If the bitmap size doesn't match the computed size, bail. */
221 if (XFS_FSB_TO_B(mp, xfs_rtbitmap_blockcount(mp)) !=
222 rtg_bitmap(rtg)->i_disk_size)
223 return -EFSCORRUPTED;
225 return xfs_rtalloc_query_all(rtg, sc->tp, xchk_rtsum_record_free, sc);
228 /* Compare the rtsummary file against the one we computed. */
231 struct xfs_scrub *sc)
233 struct xfs_bmbt_irec map;
234 struct xfs_iext_cursor icur;
236 struct xfs_mount *mp = sc->mp;
237 struct xfs_inode *ip = sc->ip;
238 struct xchk_rtsummary *rts = sc->buf;
239 xfs_fileoff_t off = 0;
240 xfs_fileoff_t endoff;
241 xfs_rtsumoff_t sumoff = 0;
245 rts->args.tp = sc->tp;
246 rts->args.rtg = sc->sr.rtg;
248 /* Mappings may not cross or lie beyond EOF. */
249 endoff = XFS_B_TO_FSB(mp, ip->i_disk_size);
250 if (xfs_iext_lookup_extent(ip, &ip->i_df, endoff, &icur, &map)) {
251 xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, endoff);
255 while (off < endoff) {
258 if (xchk_should_terminate(sc, &error))
260 if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT)
263 /* Make sure we have a written extent. */
264 error = xfs_bmapi_read(ip, off, endoff - off, &map, &nmap,
266 if (!xchk_fblock_process_error(sc, XFS_DATA_FORK, off, &error))
269 if (nmap != 1 || !xfs_bmap_is_written_extent(&map)) {
270 xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, off);
274 off += map.br_blockcount;
277 for (off = 0; off < endoff; off++) {
278 union xfs_suminfo_raw *ondisk_info;
280 /* Read a block's worth of ondisk rtsummary file. */
281 error = xfs_rtsummary_read_buf(&rts->args, off);
282 if (!xchk_fblock_process_error(sc, XFS_DATA_FORK, off, &error))
285 /* Read a block's worth of computed rtsummary file. */
286 error = xfsum_copyout(sc, sumoff, rts->words, mp->m_blockwsize);
288 xfs_rtbuf_cache_relse(&rts->args);
292 ondisk_info = xfs_rsumblock_infoptr(&rts->args, 0);
293 if (memcmp(ondisk_info, rts->words,
294 mp->m_blockwsize << XFS_WORDLOG) != 0) {
295 xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, off);
296 xfs_rtbuf_cache_relse(&rts->args);
300 xfs_rtbuf_cache_relse(&rts->args);
301 sumoff += mp->m_blockwsize;
307 /* Scrub the realtime summary. */
310 struct xfs_scrub *sc)
312 struct xfs_mount *mp = sc->mp;
313 struct xfs_rtgroup *rtg = sc->sr.rtg;
314 struct xfs_inode *rbmip = rtg_bitmap(rtg);
315 struct xfs_inode *rsumip = rtg_summary(rtg);
316 struct xchk_rtsummary *rts = sc->buf;
319 /* Is sb_rextents correct? */
320 if (mp->m_sb.sb_rextents != rts->rextents) {
321 xchk_ino_set_corrupt(sc, rbmip->i_ino);
325 /* Is m_rsumlevels correct? */
326 if (mp->m_rsumlevels != rts->rsumlevels) {
327 xchk_ino_set_corrupt(sc, rsumip->i_ino);
331 /* Is m_rsumsize correct? */
332 if (mp->m_rsumblocks != rts->rsumblocks) {
333 xchk_ino_set_corrupt(sc, rsumip->i_ino);
337 /* The summary file length must be aligned to an fsblock. */
338 if (rsumip->i_disk_size & mp->m_blockmask) {
339 xchk_ino_set_corrupt(sc, rsumip->i_ino);
344 * Is the summary file itself large enough to handle the rt volume?
345 * growfsrt expands the summary file before updating sb_rextents, so
346 * the file can be larger than rsumsize.
348 if (rsumip->i_disk_size < XFS_FSB_TO_B(mp, rts->rsumblocks)) {
349 xchk_ino_set_corrupt(sc, rsumip->i_ino);
353 /* Invoke the fork scrubber. */
354 error = xchk_metadata_inode_forks(sc);
355 if (error || (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT))
358 /* Construct the new summary file from the rtbitmap. */
359 error = xchk_rtsum_compute(sc);
360 if (error == -EFSCORRUPTED) {
362 * EFSCORRUPTED means the rtbitmap is corrupt, which is an xref
363 * error since we're checking the summary file.
365 xchk_ino_set_corrupt(sc, rbmip->i_ino);
371 /* Does the computed summary file match the actual rtsummary file? */
372 return xchk_rtsum_compare(sc);