Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  rtsummary.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2017-2023 Oracle.  All Rights Reserved.
 * Author: Darrick J. Wong <djwong@kernel.org>
 */

#include "xfs.h"
#include "xfs_fs.h"
#include "xfs_shared.h"
#include "xfs_format.h"
#include "xfs_trans_resv.h"
#include "xfs_mount.h"
#include "xfs_btree.h"
#include "xfs_inode.h"
#include "xfs_log_format.h"
#include "xfs_trans.h"
#include "xfs_rtbitmap.h"
#include "xfs_bit.h"
#include "xfs_bmap.h"
#include "xfs_sb.h"
#include "xfs_exchmaps.h"
#include "xfs_rtgroup.h"
#include "scrub/scrub.h"
#include "scrub/common.h"
#include "scrub/trace.h"
#include "scrub/xfile.h"
#include "scrub/repair.h"
#include "scrub/tempexch.h"
#include "scrub/rtsummary.h"

/*
 * Realtime Summary
 * ================
 *
 * We check the realtime summary by scanning the realtime bitmap file to create
 * a new summary file incore, and then we compare the computed version against
 * the ondisk version.  We use the 'xfile' functionality to store this
 * (potentially large) amount of data in pageable memory.
 */


/* Set us up to check the rtsummary file. */
int
xchk_setup_rtsummary(
 struct xfs_scrub *sc)
{
 struct xfs_mount *mp = sc->mp;
 char   *descr;
 struct xchk_rtsummary *rts;
 int   error;

 if (xchk_need_intent_drain(sc))
  xchk_fsgates_enable(sc, XCHK_FSGATES_DRAIN);

 rts = kvzalloc(struct_size(rts, words, mp->m_blockwsize),
   XCHK_GFP_FLAGS);
 if (!rts)
  return -ENOMEM;
 sc->buf = rts;

 error = xchk_rtgroup_init(sc, sc->sm->sm_agno, &sc->sr);
 if (error)
  return error;

 if (xchk_could_repair(sc)) {
  error = xrep_setup_rtsummary(sc, rts);
  if (error)
   return error;
 }

 /*
 * Create an xfile to construct a new rtsummary file.  The xfile allows
 * us to avoid pinning kernel memory for this purpose.
 */

 descr = xchk_xfile_descr(sc, "realtime summary file");
 error = xfile_create(descr, XFS_FSB_TO_B(mp, mp->m_rsumblocks),
   &sc->xfile);
 kfree(descr);
 if (error)
  return error;

 error = xchk_trans_alloc(sc, rts->resblks);
 if (error)
  return error;

 error = xchk_install_live_inode(sc, rtg_summary(sc->sr.rtg));
 if (error)
  return error;

 error = xchk_ino_dqattach(sc);
 if (error)
  return error;

 error = xchk_rtgroup_lock(sc, &sc->sr, XFS_RTGLOCK_BITMAP);
 if (error)
  return error;

 /*
 * Now that we've locked the rtbitmap and rtsummary, we can't race with
 * growfsrt trying to expand the summary or change the size of the rt
 * volume.  Hence it is safe to compute and check the geometry values.
 *
 * Note that there is no strict requirement for an exclusive lock on the
 * summary here, but to keep the locking APIs simple we lock both inodes
 * exclusively here.  If we ever start caring about running concurrent
 * fsmap with scrub this could be changed.
 */

 if (mp->m_sb.sb_rblocks) {
  rts->rextents = xfs_blen_to_rtbxlen(mp, mp->m_sb.sb_rblocks);
  rts->rbmblocks = xfs_rtbitmap_blockcount(mp);
  rts->rsumblocks =
   xfs_rtsummary_blockcount(mp, &rts->rsumlevels);
 }

 return 0;
}

/* Helper functions to record suminfo words in an xfile. */

static inline int
xfsum_load(
 struct xfs_scrub *sc,
 xfs_rtsumoff_t  sumoff,
 union xfs_suminfo_raw *rawinfo)
{
 return xfile_load(sc->xfile, rawinfo,
   sizeof(union xfs_suminfo_raw),
   sumoff << XFS_WORDLOG);
}

static inline int
xfsum_store(
 struct xfs_scrub *sc,
 xfs_rtsumoff_t  sumoff,
 const union xfs_suminfo_raw rawinfo)
{
 return xfile_store(sc->xfile, &rawinfo,
   sizeof(union xfs_suminfo_raw),
   sumoff << XFS_WORDLOG);
}

inline int
xfsum_copyout(
 struct xfs_scrub *sc,
 xfs_rtsumoff_t  sumoff,
 union xfs_suminfo_raw *rawinfo,
 unsigned int  nr_words)
{
 return xfile_load(sc->xfile, rawinfo, nr_words << XFS_WORDLOG,
   sumoff << XFS_WORDLOG);
}

static inline xfs_suminfo_t
xchk_rtsum_inc(
 struct xfs_mount *mp,
 union xfs_suminfo_raw *v)
{
 if (xfs_has_rtgroups(mp)) {
  be32_add_cpu(&v->rtg, 1);
  return be32_to_cpu(v->rtg);
 }

 v->old += 1;
 return v->old;
}

/* Update the summary file to reflect the free extent that we've accumulated. */
STATIC int
xchk_rtsum_record_free(
 struct xfs_rtgroup  *rtg,
 struct xfs_trans  *tp,
 const struct xfs_rtalloc_rec *rec,
 void    *priv)
{
 struct xfs_mount  *mp = rtg_mount(rtg);
 struct xfs_scrub  *sc = priv;
 xfs_fileoff_t   rbmoff;
 xfs_rtblock_t   rtbno;
 xfs_filblks_t   rtlen;
 xfs_rtsumoff_t   offs;
 unsigned int   lenlog;
 union xfs_suminfo_raw  v;
 xfs_suminfo_t   value;
 int    error = 0;

 if (xchk_should_terminate(sc, &error))
  return error;

 /* Compute the relevant location in the rtsum file. */
 rbmoff = xfs_rtx_to_rbmblock(mp, rec->ar_startext);
 lenlog = xfs_highbit64(rec->ar_extcount);
 offs = xfs_rtsumoffs(mp, lenlog, rbmoff);

 rtbno = xfs_rtx_to_rtb(rtg, rec->ar_startext);
 rtlen = xfs_rtxlen_to_extlen(mp, rec->ar_extcount);

 if (!xfs_verify_rtbext(mp, rtbno, rtlen)) {
  xchk_ino_xref_set_corrupt(sc, rtg_bitmap(rtg)->i_ino);
  return -EFSCORRUPTED;
 }

 /* Bump the summary count. */
 error = xfsum_load(sc, offs, &v);
 if (error)
  return error;

 value = xchk_rtsum_inc(sc->mp, &v);
 trace_xchk_rtsum_record_free(mp, rec->ar_startext, rec->ar_extcount,
   lenlog, offs, value);

 return xfsum_store(sc, offs, v);
}

/* Compute the realtime summary from the realtime bitmap. */
STATIC int
xchk_rtsum_compute(
 struct xfs_scrub *sc)
{
 struct xfs_mount *mp = sc->mp;
 struct xfs_rtgroup *rtg = sc->sr.rtg;

 /* If the bitmap size doesn't match the computed size, bail. */
 if (XFS_FSB_TO_B(mp, xfs_rtbitmap_blockcount(mp)) !=
     rtg_bitmap(rtg)->i_disk_size)
  return -EFSCORRUPTED;

 return xfs_rtalloc_query_all(rtg, sc->tp, xchk_rtsum_record_free, sc);
}

/* Compare the rtsummary file against the one we computed. */
STATIC int
xchk_rtsum_compare(
 struct xfs_scrub *sc)
{
 struct xfs_bmbt_irec map;
 struct xfs_iext_cursor icur;

 struct xfs_mount *mp = sc->mp;
 struct xfs_inode *ip = sc->ip;
 struct xchk_rtsummary *rts = sc->buf;
 xfs_fileoff_t  off = 0;
 xfs_fileoff_t  endoff;
 xfs_rtsumoff_t  sumoff = 0;
 int   error = 0;

 rts->args.mp = mp;
 rts->args.tp = sc->tp;
 rts->args.rtg = sc->sr.rtg;

 /* Mappings may not cross or lie beyond EOF. */
 endoff = XFS_B_TO_FSB(mp, ip->i_disk_size);
 if (xfs_iext_lookup_extent(ip, &ip->i_df, endoff, &icur, &map)) {
  xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, endoff);
  return 0;
 }

 while (off < endoff) {
  int  nmap = 1;

  if (xchk_should_terminate(sc, &error))
   return error;
  if (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT)
   return 0;

  /* Make sure we have a written extent. */
  error = xfs_bmapi_read(ip, off, endoff - off, &map, &nmap,
    XFS_DATA_FORK);
  if (!xchk_fblock_process_error(sc, XFS_DATA_FORK, off, &error))
   return error;

  if (nmap != 1 || !xfs_bmap_is_written_extent(&map)) {
   xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, off);
   return 0;
  }

  off += map.br_blockcount;
 }

 for (off = 0; off < endoff; off++) {
  union xfs_suminfo_raw *ondisk_info;

  /* Read a block's worth of ondisk rtsummary file. */
  error = xfs_rtsummary_read_buf(&rts->args, off);
  if (!xchk_fblock_process_error(sc, XFS_DATA_FORK, off, &error))
   return error;

  /* Read a block's worth of computed rtsummary file. */
  error = xfsum_copyout(sc, sumoff, rts->words, mp->m_blockwsize);
  if (error) {
   xfs_rtbuf_cache_relse(&rts->args);
   return error;
  }

  ondisk_info = xfs_rsumblock_infoptr(&rts->args, 0);
  if (memcmp(ondisk_info, rts->words,
     mp->m_blockwsize << XFS_WORDLOG) != 0) {
   xchk_fblock_set_corrupt(sc, XFS_DATA_FORK, off);
   xfs_rtbuf_cache_relse(&rts->args);
   return error;
  }

  xfs_rtbuf_cache_relse(&rts->args);
  sumoff += mp->m_blockwsize;
 }

 return 0;
}

/* Scrub the realtime summary. */
int
xchk_rtsummary(
 struct xfs_scrub *sc)
{
 struct xfs_mount *mp = sc->mp;
 struct xfs_rtgroup *rtg = sc->sr.rtg;
 struct xfs_inode *rbmip = rtg_bitmap(rtg);
 struct xfs_inode *rsumip = rtg_summary(rtg);
 struct xchk_rtsummary *rts = sc->buf;
 int   error;

 /* Is sb_rextents correct? */
 if (mp->m_sb.sb_rextents != rts->rextents) {
  xchk_ino_set_corrupt(sc, rbmip->i_ino);
  return 0;
 }

 /* Is m_rsumlevels correct? */
 if (mp->m_rsumlevels != rts->rsumlevels) {
  xchk_ino_set_corrupt(sc, rsumip->i_ino);
  return 0;
 }

 /* Is m_rsumsize correct? */
 if (mp->m_rsumblocks != rts->rsumblocks) {
  xchk_ino_set_corrupt(sc, rsumip->i_ino);
  return 0;
 }

 /* The summary file length must be aligned to an fsblock. */
 if (rsumip->i_disk_size & mp->m_blockmask) {
  xchk_ino_set_corrupt(sc, rsumip->i_ino);
  return 0;
 }

 /*
 * Is the summary file itself large enough to handle the rt volume?
 * growfsrt expands the summary file before updating sb_rextents, so
 * the file can be larger than rsumsize.
 */

 if (rsumip->i_disk_size < XFS_FSB_TO_B(mp, rts->rsumblocks)) {
  xchk_ino_set_corrupt(sc, rsumip->i_ino);
  return 0;
 }

 /* Invoke the fork scrubber. */
 error = xchk_metadata_inode_forks(sc);
 if (error || (sc->sm->sm_flags & XFS_SCRUB_OFLAG_CORRUPT))
  return error;

 /* Construct the new summary file from the rtbitmap. */
 error = xchk_rtsum_compute(sc);
 if (error == -EFSCORRUPTED) {
  /*
 * EFSCORRUPTED means the rtbitmap is corrupt, which is an xref
 * error since we're checking the summary file.
 */

  xchk_ino_set_corrupt(sc, rbmip->i_ino);
  return 0;
 }
 if (error)
  return error;

 /* Does the computed summary file match the actual rtsummary file? */
 return xchk_rtsum_compare(sc);
}

Messung V0.5
C=97 H=97 G=96

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge