2018-06-05 19:42:14 -07:00
// SPDX-License-Identifier: GPL-2.0+
2017-10-17 21:37:41 -07:00
/*
* Copyright ( C ) 2017 Oracle . All Rights Reserved .
* Author : Darrick J . Wong < darrick . wong @ oracle . com >
*/
# 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_rmap.h"
2018-01-16 18:53:09 -08:00
# include "xfs_refcount.h"
2017-10-17 21:37:41 -07:00
# include "scrub/scrub.h"
# include "scrub/common.h"
# include "scrub/btree.h"
/*
* Set us up to scrub reverse mapping btrees .
*/
int
2018-07-19 12:29:11 -07:00
xchk_setup_ag_rmapbt (
2018-07-19 12:29:12 -07:00
struct xfs_scrub * sc ,
2018-07-19 12:29:12 -07:00
struct xfs_inode * ip )
2017-10-17 21:37:41 -07:00
{
2018-07-19 12:29:11 -07:00
return xchk_setup_ag_btree ( sc , ip , false ) ;
2017-10-17 21:37:41 -07:00
}
/* Reverse-mapping scrubber. */
2018-01-16 18:53:09 -08:00
/* Cross-reference a rmap against the refcount btree. */
STATIC void
2018-07-19 12:29:11 -07:00
xchk_rmapbt_xref_refc (
2018-07-19 12:29:12 -07:00
struct xfs_scrub * sc ,
2018-07-19 12:29:12 -07:00
struct xfs_rmap_irec * irec )
2018-01-16 18:53:09 -08:00
{
2018-07-19 12:29:12 -07:00
xfs_agblock_t fbno ;
xfs_extlen_t flen ;
bool non_inode ;
bool is_bmbt ;
bool is_attr ;
bool is_unwritten ;
int error ;
2018-01-16 18:53:09 -08:00
2018-07-19 12:29:11 -07:00
if ( ! sc - > sa . refc_cur | | xchk_skip_xref ( sc - > sm ) )
2018-01-16 18:53:09 -08:00
return ;
non_inode = XFS_RMAP_NON_INODE_OWNER ( irec - > rm_owner ) ;
is_bmbt = irec - > rm_flags & XFS_RMAP_BMBT_BLOCK ;
is_attr = irec - > rm_flags & XFS_RMAP_ATTR_FORK ;
is_unwritten = irec - > rm_flags & XFS_RMAP_UNWRITTEN ;
/* If this is shared, must be a data fork extent. */
error = xfs_refcount_find_shared ( sc - > sa . refc_cur , irec - > rm_startblock ,
irec - > rm_blockcount , & fbno , & flen , false ) ;
2018-07-19 12:29:11 -07:00
if ( ! xchk_should_check_xref ( sc , & error , & sc - > sa . refc_cur ) )
2018-01-16 18:53:09 -08:00
return ;
if ( flen ! = 0 & & ( non_inode | | is_attr | | is_bmbt | | is_unwritten ) )
2018-07-19 12:29:11 -07:00
xchk_btree_xref_set_corrupt ( sc , sc - > sa . refc_cur , 0 ) ;
2018-01-16 18:53:09 -08:00
}
2018-01-16 18:53:05 -08:00
/* Cross-reference with the other btrees. */
STATIC void
2018-07-19 12:29:11 -07:00
xchk_rmapbt_xref (
2018-07-19 12:29:12 -07:00
struct xfs_scrub * sc ,
2018-07-19 12:29:12 -07:00
struct xfs_rmap_irec * irec )
2018-01-16 18:53:05 -08:00
{
2018-07-19 12:29:12 -07:00
xfs_agblock_t agbno = irec - > rm_startblock ;
xfs_extlen_t len = irec - > rm_blockcount ;
2018-01-16 18:53:06 -08:00
2018-01-16 18:53:05 -08:00
if ( sc - > sm - > sm_flags & XFS_SCRUB_OFLAG_CORRUPT )
return ;
2018-01-16 18:53:06 -08:00
2018-07-19 12:29:11 -07:00
xchk_xref_is_used_space ( sc , agbno , len ) ;
2018-01-16 18:53:07 -08:00
if ( irec - > rm_owner = = XFS_RMAP_OWN_INODES )
2018-07-19 12:29:11 -07:00
xchk_xref_is_inode_chunk ( sc , agbno , len ) ;
2018-01-16 18:53:07 -08:00
else
2018-07-19 12:29:11 -07:00
xchk_xref_is_not_inode_chunk ( sc , agbno , len ) ;
2018-01-16 18:53:09 -08:00
if ( irec - > rm_owner = = XFS_RMAP_OWN_COW )
2018-07-19 12:29:11 -07:00
xchk_xref_is_cow_staging ( sc , irec - > rm_startblock ,
2018-01-16 18:53:09 -08:00
irec - > rm_blockcount ) ;
else
2018-07-19 12:29:11 -07:00
xchk_rmapbt_xref_refc ( sc , irec ) ;
2018-01-16 18:53:05 -08:00
}
2017-10-17 21:37:41 -07:00
/* Scrub an rmapbt record. */
STATIC int
2018-07-19 12:29:11 -07:00
xchk_rmapbt_rec (
2018-07-19 12:29:12 -07:00
struct xchk_btree * bs ,
union xfs_btree_rec * rec )
2017-10-17 21:37:41 -07:00
{
2018-07-19 12:29:12 -07:00
struct xfs_mount * mp = bs - > cur - > bc_mp ;
struct xfs_rmap_irec irec ;
2020-03-10 17:51:15 -07:00
xfs_agnumber_t agno = bs - > cur - > bc_ag . agno ;
2018-07-19 12:29:12 -07:00
bool non_inode ;
bool is_unwritten ;
bool is_bmbt ;
bool is_attr ;
int error ;
2017-10-17 21:37:41 -07:00
error = xfs_rmap_btrec_to_irec ( rec , & irec ) ;
2018-07-19 12:29:11 -07:00
if ( ! xchk_btree_process_error ( bs - > sc , bs - > cur , 0 , & error ) )
2017-10-17 21:37:41 -07:00
goto out ;
/* Check extent. */
if ( irec . rm_startblock + irec . rm_blockcount < = irec . rm_startblock )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
if ( irec . rm_owner = = XFS_RMAP_OWN_FS ) {
/*
* xfs_verify_agbno returns false for static fs metadata .
* Since that only exists at the start of the AG , validate
* that by hand .
*/
if ( irec . rm_startblock ! = 0 | |
irec . rm_blockcount ! = XFS_AGFL_BLOCK ( mp ) + 1 )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
} else {
/*
* Otherwise we must point somewhere past the static metadata
* but before the end of the FS . Run the regular check .
*/
if ( ! xfs_verify_agbno ( mp , agno , irec . rm_startblock ) | |
! xfs_verify_agbno ( mp , agno , irec . rm_startblock +
irec . rm_blockcount - 1 ) )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
}
/* Check flags. */
non_inode = XFS_RMAP_NON_INODE_OWNER ( irec . rm_owner ) ;
is_bmbt = irec . rm_flags & XFS_RMAP_BMBT_BLOCK ;
is_attr = irec . rm_flags & XFS_RMAP_ATTR_FORK ;
is_unwritten = irec . rm_flags & XFS_RMAP_UNWRITTEN ;
if ( is_bmbt & & irec . rm_offset ! = 0 )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
if ( non_inode & & irec . rm_offset ! = 0 )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
if ( is_unwritten & & ( is_bmbt | | non_inode | | is_attr ) )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
if ( non_inode & & ( is_bmbt | | is_unwritten | | is_attr ) )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
if ( ! non_inode ) {
if ( ! xfs_verify_ino ( mp , irec . rm_owner ) )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
} else {
/* Non-inode owner within the magic values? */
if ( irec . rm_owner < = XFS_RMAP_OWN_MIN | |
irec . rm_owner > XFS_RMAP_OWN_FS )
2018-07-19 12:29:11 -07:00
xchk_btree_set_corrupt ( bs - > sc , bs - > cur , 0 ) ;
2017-10-17 21:37:41 -07:00
}
2018-01-16 18:53:05 -08:00
2018-07-19 12:29:11 -07:00
xchk_rmapbt_xref ( bs - > sc , & irec ) ;
2017-10-17 21:37:41 -07:00
out :
return error ;
}
/* Scrub the rmap btree for some AG. */
int
2018-07-19 12:29:11 -07:00
xchk_rmapbt (
2018-07-19 12:29:12 -07:00
struct xfs_scrub * sc )
2017-10-17 21:37:41 -07:00
{
2018-07-19 12:29:11 -07:00
return xchk_btree ( sc , sc - > sa . rmap_cur , xchk_rmapbt_rec ,
2018-12-12 08:46:23 -08:00
& XFS_RMAP_OINFO_AG , NULL ) ;
2017-10-17 21:37:41 -07:00
}
2018-01-16 18:53:08 -08:00
/* xref check that the extent is owned by a given owner */
static inline void
2018-07-19 12:29:11 -07:00
xchk_xref_check_owner (
2018-12-12 08:46:23 -08:00
struct xfs_scrub * sc ,
xfs_agblock_t bno ,
xfs_extlen_t len ,
const struct xfs_owner_info * oinfo ,
bool should_have_rmap )
2018-01-16 18:53:08 -08:00
{
2018-12-12 08:46:23 -08:00
bool has_rmap ;
int error ;
2018-01-16 18:53:08 -08:00
2018-07-19 12:29:11 -07:00
if ( ! sc - > sa . rmap_cur | | xchk_skip_xref ( sc - > sm ) )
2018-01-16 18:53:08 -08:00
return ;
error = xfs_rmap_record_exists ( sc - > sa . rmap_cur , bno , len , oinfo ,
& has_rmap ) ;
2018-07-19 12:29:11 -07:00
if ( ! xchk_should_check_xref ( sc , & error , & sc - > sa . rmap_cur ) )
2018-01-16 18:53:08 -08:00
return ;
if ( has_rmap ! = should_have_rmap )
2018-07-19 12:29:11 -07:00
xchk_btree_xref_set_corrupt ( sc , sc - > sa . rmap_cur , 0 ) ;
2018-01-16 18:53:08 -08:00
}
/* xref check that the extent is owned by a given owner */
void
2018-07-19 12:29:11 -07:00
xchk_xref_is_owned_by (
2018-12-12 08:46:23 -08:00
struct xfs_scrub * sc ,
xfs_agblock_t bno ,
xfs_extlen_t len ,
const struct xfs_owner_info * oinfo )
2018-01-16 18:53:08 -08:00
{
2018-07-19 12:29:11 -07:00
xchk_xref_check_owner ( sc , bno , len , oinfo , true ) ;
2018-01-16 18:53:08 -08:00
}
/* xref check that the extent is not owned by a given owner */
void
2018-07-19 12:29:11 -07:00
xchk_xref_is_not_owned_by (
2018-12-12 08:46:23 -08:00
struct xfs_scrub * sc ,
xfs_agblock_t bno ,
xfs_extlen_t len ,
const struct xfs_owner_info * oinfo )
2018-01-16 18:53:08 -08:00
{
2018-07-19 12:29:11 -07:00
xchk_xref_check_owner ( sc , bno , len , oinfo , false ) ;
2018-01-16 18:53:08 -08:00
}
/* xref check that the extent has no reverse mapping at all */
void
2018-07-19 12:29:11 -07:00
xchk_xref_has_no_owner (
2018-07-19 12:29:12 -07:00
struct xfs_scrub * sc ,
2018-07-19 12:29:12 -07:00
xfs_agblock_t bno ,
xfs_extlen_t len )
2018-01-16 18:53:08 -08:00
{
2018-07-19 12:29:12 -07:00
bool has_rmap ;
int error ;
2018-01-16 18:53:08 -08:00
2018-07-19 12:29:11 -07:00
if ( ! sc - > sa . rmap_cur | | xchk_skip_xref ( sc - > sm ) )
2018-01-16 18:53:08 -08:00
return ;
error = xfs_rmap_has_record ( sc - > sa . rmap_cur , bno , len , & has_rmap ) ;
2018-07-19 12:29:11 -07:00
if ( ! xchk_should_check_xref ( sc , & error , & sc - > sa . rmap_cur ) )
2018-01-16 18:53:08 -08:00
return ;
if ( has_rmap )
2018-07-19 12:29:11 -07:00
xchk_btree_xref_set_corrupt ( sc , sc - > sa . rmap_cur , 0 ) ;
2018-01-16 18:53:08 -08:00
}