1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (c) 2000-2006 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"
12 #include "xfs_mount.h"
14 #include "xfs_inode.h"
15 #include "xfs_errortag.h"
16 #include "xfs_error.h"
17 #include "xfs_icache.h"
18 #include "xfs_trans.h"
19 #include "xfs_ialloc.h"
21 #include "xfs_health.h"
22 #include "xfs_metafile.h"
24 #include <linux/iversion.h>
27 * If we are doing readahead on an inode buffer, we might be in log recovery
28 * reading an inode allocation buffer that hasn't yet been replayed, and hence
29 * has not had the inode cores stamped into it. Hence for readahead, the buffer
30 * may be potentially invalid.
32 * If the readahead buffer is invalid, we need to mark it with an error and
33 * clear the DONE status of the buffer so that a followup read will re-read it
34 * from disk. We don't report the error otherwise to avoid warnings during log
35 * recovery and we don't get unnecessary panics on debug kernels. We use EIO here
36 * because all we want to do is say readahead failed; there is no-one to report
37 * the error to, so this will distinguish it from a non-ra verifier failure.
38 * Changes to this readahead error behaviour also need to be reflected in
39 * xfs_dquot_buf_readahead_verify().
46 struct xfs_mount
*mp
= bp
->b_mount
;
51 * Validate the magic number and version of every inode in the buffer
53 ni
= XFS_BB_TO_FSB(mp
, bp
->b_length
) * mp
->m_sb
.sb_inopblock
;
54 for (i
= 0; i
< ni
; i
++) {
55 struct xfs_dinode
*dip
;
56 xfs_agino_t unlinked_ino
;
59 dip
= xfs_buf_offset(bp
, (i
<< mp
->m_sb
.sb_inodelog
));
60 unlinked_ino
= be32_to_cpu(dip
->di_next_unlinked
);
61 di_ok
= xfs_verify_magic16(bp
, dip
->di_magic
) &&
62 xfs_dinode_good_version(mp
, dip
->di_version
) &&
63 xfs_verify_agino_or_null(bp
->b_pag
, unlinked_ino
);
64 if (unlikely(XFS_TEST_ERROR(!di_ok
, mp
,
65 XFS_ERRTAG_ITOBP_INOTOBP
))) {
67 bp
->b_flags
&= ~XBF_DONE
;
68 xfs_buf_ioerror(bp
, -EIO
);
74 "bad inode magic/vsn daddr %lld #%d (magic=%x)",
75 (unsigned long long)xfs_buf_daddr(bp
), i
,
76 be16_to_cpu(dip
->di_magic
));
78 xfs_buf_verifier_error(bp
, -EFSCORRUPTED
,
79 __func__
, dip
, sizeof(*dip
),
88 xfs_inode_buf_read_verify(
91 xfs_inode_buf_verify(bp
, false);
95 xfs_inode_buf_readahead_verify(
98 xfs_inode_buf_verify(bp
, true);
102 xfs_inode_buf_write_verify(
105 xfs_inode_buf_verify(bp
, false);
108 const struct xfs_buf_ops xfs_inode_buf_ops
= {
110 .magic16
= { cpu_to_be16(XFS_DINODE_MAGIC
),
111 cpu_to_be16(XFS_DINODE_MAGIC
) },
112 .verify_read
= xfs_inode_buf_read_verify
,
113 .verify_write
= xfs_inode_buf_write_verify
,
116 const struct xfs_buf_ops xfs_inode_buf_ra_ops
= {
117 .name
= "xfs_inode_ra",
118 .magic16
= { cpu_to_be16(XFS_DINODE_MAGIC
),
119 cpu_to_be16(XFS_DINODE_MAGIC
) },
120 .verify_read
= xfs_inode_buf_readahead_verify
,
121 .verify_write
= xfs_inode_buf_write_verify
,
126 * This routine is called to map an inode to the buffer containing the on-disk
127 * version of the inode. It returns a pointer to the buffer containing the
128 * on-disk inode in the bpp parameter.
132 struct xfs_mount
*mp
,
133 struct xfs_trans
*tp
,
134 struct xfs_imap
*imap
,
135 struct xfs_buf
**bpp
)
139 error
= xfs_trans_read_buf(mp
, tp
, mp
->m_ddev_targp
, imap
->im_blkno
,
140 imap
->im_len
, XBF_UNMAPPED
, bpp
, &xfs_inode_buf_ops
);
141 if (xfs_metadata_is_sick(error
))
142 xfs_agno_mark_sick(mp
, xfs_daddr_to_agno(mp
, imap
->im_blkno
),
147 static inline struct timespec64
xfs_inode_decode_bigtime(uint64_t ts
)
149 struct timespec64 tv
;
152 tv
.tv_sec
= xfs_bigtime_to_unix(div_u64_rem(ts
, NSEC_PER_SEC
, &n
));
158 /* Convert an ondisk timestamp to an incore timestamp. */
160 xfs_inode_from_disk_ts(
161 struct xfs_dinode
*dip
,
162 const xfs_timestamp_t ts
)
164 struct timespec64 tv
;
165 struct xfs_legacy_timestamp
*lts
;
167 if (xfs_dinode_has_bigtime(dip
))
168 return xfs_inode_decode_bigtime(be64_to_cpu(ts
));
170 lts
= (struct xfs_legacy_timestamp
*)&ts
;
171 tv
.tv_sec
= (int)be32_to_cpu(lts
->t_sec
);
172 tv
.tv_nsec
= (int)be32_to_cpu(lts
->t_nsec
);
179 struct xfs_inode
*ip
,
180 struct xfs_dinode
*from
)
182 struct inode
*inode
= VFS_I(ip
);
186 ASSERT(ip
->i_cowfp
== NULL
);
188 fa
= xfs_dinode_verify(ip
->i_mount
, ip
->i_ino
, from
);
190 xfs_inode_verifier_error(ip
, -EFSCORRUPTED
, "dinode", from
,
192 return -EFSCORRUPTED
;
196 * First get the permanent information that is needed to allocate an
197 * inode. If the inode is unused, mode is zero and we shouldn't mess
198 * with the uninitialized part of it.
200 if (!xfs_has_v3inodes(ip
->i_mount
))
201 ip
->i_flushiter
= be16_to_cpu(from
->di_flushiter
);
202 inode
->i_generation
= be32_to_cpu(from
->di_gen
);
203 inode
->i_mode
= be16_to_cpu(from
->di_mode
);
208 * Convert v1 inodes immediately to v2 inode format as this is the
209 * minimum inode version format we support in the rest of the code.
210 * They will also be unconditionally written back to disk as v2 inodes.
212 if (unlikely(from
->di_version
== 1)) {
213 /* di_metatype used to be di_onlink */
214 set_nlink(inode
, be16_to_cpu(from
->di_metatype
));
217 set_nlink(inode
, be32_to_cpu(from
->di_nlink
));
218 ip
->i_projid
= (prid_t
)be16_to_cpu(from
->di_projid_hi
) << 16 |
219 be16_to_cpu(from
->di_projid_lo
);
220 if (xfs_dinode_is_metadir(from
))
221 ip
->i_metatype
= be16_to_cpu(from
->di_metatype
);
224 i_uid_write(inode
, be32_to_cpu(from
->di_uid
));
225 i_gid_write(inode
, be32_to_cpu(from
->di_gid
));
228 * Time is signed, so need to convert to signed 32 bit before
229 * storing in inode timestamp which may be 64 bit. Otherwise
230 * a time before epoch is converted to a time long after epoch
233 inode_set_atime_to_ts(inode
,
234 xfs_inode_from_disk_ts(from
, from
->di_atime
));
235 inode_set_mtime_to_ts(inode
,
236 xfs_inode_from_disk_ts(from
, from
->di_mtime
));
237 inode_set_ctime_to_ts(inode
,
238 xfs_inode_from_disk_ts(from
, from
->di_ctime
));
240 ip
->i_disk_size
= be64_to_cpu(from
->di_size
);
241 ip
->i_nblocks
= be64_to_cpu(from
->di_nblocks
);
242 ip
->i_extsize
= be32_to_cpu(from
->di_extsize
);
243 ip
->i_forkoff
= from
->di_forkoff
;
244 ip
->i_diflags
= be16_to_cpu(from
->di_flags
);
245 ip
->i_next_unlinked
= be32_to_cpu(from
->di_next_unlinked
);
247 if (from
->di_dmevmask
|| from
->di_dmstate
)
248 xfs_iflags_set(ip
, XFS_IPRESERVE_DM_FIELDS
);
250 if (xfs_has_v3inodes(ip
->i_mount
)) {
251 inode_set_iversion_queried(inode
,
252 be64_to_cpu(from
->di_changecount
));
253 ip
->i_crtime
= xfs_inode_from_disk_ts(from
, from
->di_crtime
);
254 ip
->i_diflags2
= be64_to_cpu(from
->di_flags2
);
255 ip
->i_cowextsize
= be32_to_cpu(from
->di_cowextsize
);
258 error
= xfs_iformat_data_fork(ip
, from
);
261 if (from
->di_forkoff
) {
262 error
= xfs_iformat_attr_fork(ip
, from
);
264 goto out_destroy_data_fork
;
266 if (xfs_is_reflink_inode(ip
))
267 xfs_ifork_init_cow(ip
);
270 out_destroy_data_fork
:
271 xfs_idestroy_fork(&ip
->i_df
);
275 /* Convert an incore timestamp to an ondisk timestamp. */
276 static inline xfs_timestamp_t
277 xfs_inode_to_disk_ts(
278 struct xfs_inode
*ip
,
279 const struct timespec64 tv
)
281 struct xfs_legacy_timestamp
*lts
;
284 if (xfs_inode_has_bigtime(ip
))
285 return cpu_to_be64(xfs_inode_encode_bigtime(tv
));
287 lts
= (struct xfs_legacy_timestamp
*)&ts
;
288 lts
->t_sec
= cpu_to_be32(tv
.tv_sec
);
289 lts
->t_nsec
= cpu_to_be32(tv
.tv_nsec
);
295 xfs_inode_to_disk_iext_counters(
296 struct xfs_inode
*ip
,
297 struct xfs_dinode
*to
)
299 if (xfs_inode_has_large_extent_counts(ip
)) {
300 to
->di_big_nextents
= cpu_to_be64(xfs_ifork_nextents(&ip
->i_df
));
301 to
->di_big_anextents
= cpu_to_be32(xfs_ifork_nextents(&ip
->i_af
));
303 * We might be upgrading the inode to use larger extent counters
304 * than was previously used. Hence zero the unused field.
306 to
->di_nrext64_pad
= cpu_to_be16(0);
308 to
->di_nextents
= cpu_to_be32(xfs_ifork_nextents(&ip
->i_df
));
309 to
->di_anextents
= cpu_to_be16(xfs_ifork_nextents(&ip
->i_af
));
315 struct xfs_inode
*ip
,
316 struct xfs_dinode
*to
,
319 struct inode
*inode
= VFS_I(ip
);
321 to
->di_magic
= cpu_to_be16(XFS_DINODE_MAGIC
);
322 if (xfs_is_metadir_inode(ip
))
323 to
->di_metatype
= cpu_to_be16(ip
->i_metatype
);
327 to
->di_format
= xfs_ifork_format(&ip
->i_df
);
328 to
->di_uid
= cpu_to_be32(i_uid_read(inode
));
329 to
->di_gid
= cpu_to_be32(i_gid_read(inode
));
330 to
->di_projid_lo
= cpu_to_be16(ip
->i_projid
& 0xffff);
331 to
->di_projid_hi
= cpu_to_be16(ip
->i_projid
>> 16);
333 to
->di_atime
= xfs_inode_to_disk_ts(ip
, inode_get_atime(inode
));
334 to
->di_mtime
= xfs_inode_to_disk_ts(ip
, inode_get_mtime(inode
));
335 to
->di_ctime
= xfs_inode_to_disk_ts(ip
, inode_get_ctime(inode
));
336 to
->di_nlink
= cpu_to_be32(inode
->i_nlink
);
337 to
->di_gen
= cpu_to_be32(inode
->i_generation
);
338 to
->di_mode
= cpu_to_be16(inode
->i_mode
);
340 to
->di_size
= cpu_to_be64(ip
->i_disk_size
);
341 to
->di_nblocks
= cpu_to_be64(ip
->i_nblocks
);
342 to
->di_extsize
= cpu_to_be32(ip
->i_extsize
);
343 to
->di_forkoff
= ip
->i_forkoff
;
344 to
->di_aformat
= xfs_ifork_format(&ip
->i_af
);
345 to
->di_flags
= cpu_to_be16(ip
->i_diflags
);
347 if (xfs_has_v3inodes(ip
->i_mount
)) {
349 to
->di_changecount
= cpu_to_be64(inode_peek_iversion(inode
));
350 to
->di_crtime
= xfs_inode_to_disk_ts(ip
, ip
->i_crtime
);
351 to
->di_flags2
= cpu_to_be64(ip
->i_diflags2
);
352 to
->di_cowextsize
= cpu_to_be32(ip
->i_cowextsize
);
353 to
->di_ino
= cpu_to_be64(ip
->i_ino
);
354 to
->di_lsn
= cpu_to_be64(lsn
);
355 memset(to
->di_pad2
, 0, sizeof(to
->di_pad2
));
356 uuid_copy(&to
->di_uuid
, &ip
->i_mount
->m_sb
.sb_meta_uuid
);
360 to
->di_flushiter
= cpu_to_be16(ip
->i_flushiter
);
361 memset(to
->di_v2_pad
, 0, sizeof(to
->di_v2_pad
));
364 xfs_inode_to_disk_iext_counters(ip
, to
);
367 static xfs_failaddr_t
368 xfs_dinode_verify_fork(
369 struct xfs_dinode
*dip
,
370 struct xfs_mount
*mp
,
373 xfs_extnum_t di_nextents
;
374 xfs_extnum_t max_extents
;
375 mode_t mode
= be16_to_cpu(dip
->di_mode
);
376 uint32_t fork_size
= XFS_DFORK_SIZE(dip
, mp
, whichfork
);
377 uint32_t fork_format
= XFS_DFORK_FORMAT(dip
, whichfork
);
379 di_nextents
= xfs_dfork_nextents(dip
, whichfork
);
382 * For fork types that can contain local data, check that the fork
383 * format matches the size of local data contained within the fork.
385 if (whichfork
== XFS_DATA_FORK
) {
387 * A directory small enough to fit in the inode must be stored
388 * in local format. The directory sf <-> extents conversion
389 * code updates the directory size accordingly. Directories
390 * being truncated have zero size and are not subject to this
395 be64_to_cpu(dip
->di_size
) <= fork_size
&&
396 fork_format
!= XFS_DINODE_FMT_LOCAL
)
397 return __this_address
;
401 * A symlink with a target small enough to fit in the inode can
402 * be stored in extents format if xattrs were added (thus
403 * converting the data fork from shortform to remote format)
407 if (be64_to_cpu(dip
->di_size
) <= fork_size
&&
408 fork_format
!= XFS_DINODE_FMT_EXTENTS
&&
409 fork_format
!= XFS_DINODE_FMT_LOCAL
)
410 return __this_address
;
414 * For all types, check that when the size says the fork should
415 * be in extent or btree format, the inode isn't claiming to be
418 if (be64_to_cpu(dip
->di_size
) > fork_size
&&
419 fork_format
== XFS_DINODE_FMT_LOCAL
)
420 return __this_address
;
423 switch (fork_format
) {
424 case XFS_DINODE_FMT_LOCAL
:
426 * No local regular files yet.
428 if (S_ISREG(mode
) && whichfork
== XFS_DATA_FORK
)
429 return __this_address
;
431 return __this_address
;
433 case XFS_DINODE_FMT_EXTENTS
:
434 if (di_nextents
> XFS_DFORK_MAXEXT(dip
, mp
, whichfork
))
435 return __this_address
;
437 case XFS_DINODE_FMT_BTREE
:
438 max_extents
= xfs_iext_max_nextents(
439 xfs_dinode_has_large_extent_counts(dip
),
441 if (di_nextents
> max_extents
)
442 return __this_address
;
445 return __this_address
;
450 static xfs_failaddr_t
451 xfs_dinode_verify_forkoff(
452 struct xfs_dinode
*dip
,
453 struct xfs_mount
*mp
)
455 if (!dip
->di_forkoff
)
458 switch (dip
->di_format
) {
459 case XFS_DINODE_FMT_DEV
:
460 if (dip
->di_forkoff
!= (roundup(sizeof(xfs_dev_t
), 8) >> 3))
461 return __this_address
;
463 case XFS_DINODE_FMT_LOCAL
: /* fall through ... */
464 case XFS_DINODE_FMT_EXTENTS
: /* fall through ... */
465 case XFS_DINODE_FMT_BTREE
:
466 if (dip
->di_forkoff
>= (XFS_LITINO(mp
) >> 3))
467 return __this_address
;
470 return __this_address
;
475 static xfs_failaddr_t
476 xfs_dinode_verify_nrext64(
477 struct xfs_mount
*mp
,
478 struct xfs_dinode
*dip
)
480 if (xfs_dinode_has_large_extent_counts(dip
)) {
481 if (!xfs_has_large_extent_counts(mp
))
482 return __this_address
;
483 if (dip
->di_nrext64_pad
!= 0)
484 return __this_address
;
485 } else if (dip
->di_version
>= 3) {
486 if (dip
->di_v3_pad
!= 0)
487 return __this_address
;
494 * Validate all the picky requirements we have for a file that claims to be
495 * filesystem metadata.
498 xfs_dinode_verify_metadir(
499 struct xfs_mount
*mp
,
500 struct xfs_dinode
*dip
,
505 if (!xfs_has_metadir(mp
))
506 return __this_address
;
508 /* V5 filesystem only */
509 if (dip
->di_version
< 3)
510 return __this_address
;
512 if (be16_to_cpu(dip
->di_metatype
) >= XFS_METAFILE_MAX
)
513 return __this_address
;
515 /* V3 inode fields that are always zero */
516 if ((flags2
& XFS_DIFLAG2_NREXT64
) && dip
->di_nrext64_pad
)
517 return __this_address
;
518 if (!(flags2
& XFS_DIFLAG2_NREXT64
) && dip
->di_flushiter
)
519 return __this_address
;
521 /* Metadata files can only be directories or regular files */
522 if (!S_ISDIR(mode
) && !S_ISREG(mode
))
523 return __this_address
;
525 /* They must have zero access permissions */
527 return __this_address
;
529 /* DMAPI event and state masks are zero */
530 if (dip
->di_dmevmask
|| dip
->di_dmstate
)
531 return __this_address
;
534 * User and group IDs must be zero. The project ID is used for
535 * grouping inodes. Metadata inodes are never accounted to quotas.
537 if (dip
->di_uid
|| dip
->di_gid
)
538 return __this_address
;
540 /* Mandatory inode flags must be set */
542 if ((flags
& XFS_METADIR_DIFLAGS
) != XFS_METADIR_DIFLAGS
)
543 return __this_address
;
545 if ((flags
& XFS_METAFILE_DIFLAGS
) != XFS_METAFILE_DIFLAGS
)
546 return __this_address
;
549 /* dax flags2 must not be set */
550 if (flags2
& XFS_DIFLAG2_DAX
)
551 return __this_address
;
558 struct xfs_mount
*mp
,
560 struct xfs_dinode
*dip
)
567 xfs_extnum_t nextents
;
568 xfs_extnum_t naextents
;
569 xfs_filblks_t nblocks
;
571 if (dip
->di_magic
!= cpu_to_be16(XFS_DINODE_MAGIC
))
572 return __this_address
;
574 /* Verify v3 integrity information first */
575 if (dip
->di_version
>= 3) {
576 if (!xfs_has_v3inodes(mp
))
577 return __this_address
;
578 if (!xfs_verify_cksum((char *)dip
, mp
->m_sb
.sb_inodesize
,
580 return __this_address
;
581 if (be64_to_cpu(dip
->di_ino
) != ino
)
582 return __this_address
;
583 if (!uuid_equal(&dip
->di_uuid
, &mp
->m_sb
.sb_meta_uuid
))
584 return __this_address
;
588 * Historical note: xfsprogs in the 3.2 era set up its incore inodes to
589 * have di_nlink track the link count, even if the actual filesystem
590 * only supported V1 inodes (i.e. di_onlink). When writing out the
591 * ondisk inode, it would set both the ondisk di_nlink and di_onlink to
592 * the the incore di_nlink value, which is why we cannot check for
593 * di_nlink==0 on a V1 inode. V2/3 inodes would get written out with
594 * di_onlink==0, so we can check that.
596 if (dip
->di_version
== 2) {
597 if (dip
->di_metatype
)
598 return __this_address
;
599 } else if (dip
->di_version
>= 3) {
600 if (!xfs_dinode_is_metadir(dip
) && dip
->di_metatype
)
601 return __this_address
;
604 /* don't allow invalid i_size */
605 di_size
= be64_to_cpu(dip
->di_size
);
606 if (di_size
& (1ULL << 63))
607 return __this_address
;
609 mode
= be16_to_cpu(dip
->di_mode
);
610 if (mode
&& xfs_mode_to_ftype(mode
) == XFS_DIR3_FT_UNKNOWN
)
611 return __this_address
;
614 * No zero-length symlinks/dirs unless they're unlinked and hence being
617 if ((S_ISLNK(mode
) || S_ISDIR(mode
)) && di_size
== 0) {
618 if (dip
->di_version
> 1) {
620 return __this_address
;
622 /* di_metatype used to be di_onlink */
623 if (dip
->di_metatype
)
624 return __this_address
;
628 fa
= xfs_dinode_verify_nrext64(mp
, dip
);
632 nextents
= xfs_dfork_data_extents(dip
);
633 naextents
= xfs_dfork_attr_extents(dip
);
634 nblocks
= be64_to_cpu(dip
->di_nblocks
);
636 /* Fork checks carried over from xfs_iformat_fork */
637 if (mode
&& nextents
+ naextents
> nblocks
)
638 return __this_address
;
640 if (nextents
+ naextents
== 0 && nblocks
!= 0)
641 return __this_address
;
643 if (S_ISDIR(mode
) && nextents
> mp
->m_dir_geo
->max_extents
)
644 return __this_address
;
646 if (mode
&& XFS_DFORK_BOFF(dip
) > mp
->m_sb
.sb_inodesize
)
647 return __this_address
;
649 flags
= be16_to_cpu(dip
->di_flags
);
651 if (mode
&& (flags
& XFS_DIFLAG_REALTIME
) && !mp
->m_rtdev_targp
)
652 return __this_address
;
654 /* check for illegal values of forkoff */
655 fa
= xfs_dinode_verify_forkoff(dip
, mp
);
659 /* Do we have appropriate data fork formats for the mode? */
660 switch (mode
& S_IFMT
) {
665 if (dip
->di_format
!= XFS_DINODE_FMT_DEV
)
666 return __this_address
;
671 fa
= xfs_dinode_verify_fork(dip
, mp
, XFS_DATA_FORK
);
676 /* Uninitialized inode ok. */
679 return __this_address
;
682 if (dip
->di_forkoff
) {
683 fa
= xfs_dinode_verify_fork(dip
, mp
, XFS_ATTR_FORK
);
688 * If there is no fork offset, this may be a freshly-made inode
689 * in a new disk cluster, in which case di_aformat is zeroed.
690 * Otherwise, such an inode must be in EXTENTS format; this goes
691 * for freed inodes as well.
693 switch (dip
->di_aformat
) {
695 case XFS_DINODE_FMT_EXTENTS
:
698 return __this_address
;
701 return __this_address
;
704 /* extent size hint validation */
705 fa
= xfs_inode_validate_extsize(mp
, be32_to_cpu(dip
->di_extsize
),
710 /* only version 3 or greater inodes are extensively verified here */
711 if (dip
->di_version
< 3)
714 flags2
= be64_to_cpu(dip
->di_flags2
);
716 /* don't allow reflink/cowextsize if we don't have reflink */
717 if ((flags2
& (XFS_DIFLAG2_REFLINK
| XFS_DIFLAG2_COWEXTSIZE
)) &&
718 !xfs_has_reflink(mp
))
719 return __this_address
;
721 /* only regular files get reflink */
722 if ((flags2
& XFS_DIFLAG2_REFLINK
) && (mode
& S_IFMT
) != S_IFREG
)
723 return __this_address
;
725 /* don't let reflink and realtime mix */
726 if ((flags2
& XFS_DIFLAG2_REFLINK
) && (flags
& XFS_DIFLAG_REALTIME
))
727 return __this_address
;
729 /* COW extent size hint validation */
730 fa
= xfs_inode_validate_cowextsize(mp
, be32_to_cpu(dip
->di_cowextsize
),
731 mode
, flags
, flags2
);
735 /* bigtime iflag can only happen on bigtime filesystems */
736 if (xfs_dinode_has_bigtime(dip
) &&
737 !xfs_has_bigtime(mp
))
738 return __this_address
;
740 if (flags2
& XFS_DIFLAG2_METADATA
) {
741 fa
= xfs_dinode_verify_metadir(mp
, dip
, mode
, flags
, flags2
);
751 struct xfs_mount
*mp
,
752 struct xfs_dinode
*dip
)
756 if (dip
->di_version
< 3)
759 ASSERT(xfs_has_crc(mp
));
760 crc
= xfs_start_cksum_update((char *)dip
, mp
->m_sb
.sb_inodesize
,
762 dip
->di_crc
= xfs_end_cksum(crc
);
766 * Validate di_extsize hint.
768 * 1. Extent size hint is only valid for directories and regular files.
769 * 2. FS_XFLAG_EXTSIZE is only valid for regular files.
770 * 3. FS_XFLAG_EXTSZINHERIT is only valid for directories.
771 * 4. Hint cannot be larger than MAXTEXTLEN.
772 * 5. Can be changed on directories at any time.
773 * 6. Hint value of 0 turns off hints, clears inode flags.
774 * 7. Extent size must be a multiple of the appropriate block size.
775 * For realtime files, this is the rt extent size.
776 * 8. For non-realtime files, the extent size hint must be limited
777 * to half the AG size to avoid alignment extending the extent beyond the
781 xfs_inode_validate_extsize(
782 struct xfs_mount
*mp
,
790 uint32_t extsize_bytes
;
791 uint32_t blocksize_bytes
;
793 rt_flag
= (flags
& XFS_DIFLAG_REALTIME
);
794 hint_flag
= (flags
& XFS_DIFLAG_EXTSIZE
);
795 inherit_flag
= (flags
& XFS_DIFLAG_EXTSZINHERIT
);
796 extsize_bytes
= XFS_FSB_TO_B(mp
, extsize
);
799 * This comment describes a historic gap in this verifier function.
801 * For a directory with both RTINHERIT and EXTSZINHERIT flags set, this
802 * function has never checked that the extent size hint is an integer
803 * multiple of the realtime extent size. Since we allow users to set
804 * this combination on non-rt filesystems /and/ to change the rt
805 * extent size when adding a rt device to a filesystem, the net effect
806 * is that users can configure a filesystem anticipating one rt
807 * geometry and change their minds later. Directories do not use the
808 * extent size hint, so this is harmless for them.
810 * If a directory with a misaligned extent size hint is allowed to
811 * propagate that hint into a new regular realtime file, the result
812 * is that the inode cluster buffer verifier will trigger a corruption
813 * shutdown the next time it is run, because the verifier has always
814 * enforced the alignment rule for regular files.
816 * Because we allow administrators to set a new rt extent size when
817 * adding a rt section, we cannot add a check to this verifier because
818 * that will result a new source of directory corruption errors when
819 * reading an existing filesystem. Instead, we rely on callers to
820 * decide when alignment checks are appropriate, and fix things up as
825 blocksize_bytes
= XFS_FSB_TO_B(mp
, mp
->m_sb
.sb_rextsize
);
827 blocksize_bytes
= mp
->m_sb
.sb_blocksize
;
829 if ((hint_flag
|| inherit_flag
) && !(S_ISDIR(mode
) || S_ISREG(mode
)))
830 return __this_address
;
832 if (hint_flag
&& !S_ISREG(mode
))
833 return __this_address
;
835 if (inherit_flag
&& !S_ISDIR(mode
))
836 return __this_address
;
838 if ((hint_flag
|| inherit_flag
) && extsize
== 0)
839 return __this_address
;
841 /* free inodes get flags set to zero but extsize remains */
842 if (mode
&& !(hint_flag
|| inherit_flag
) && extsize
!= 0)
843 return __this_address
;
845 if (extsize_bytes
% blocksize_bytes
)
846 return __this_address
;
848 if (extsize
> XFS_MAX_BMBT_EXTLEN
)
849 return __this_address
;
851 if (!rt_flag
&& extsize
> mp
->m_sb
.sb_agblocks
/ 2)
852 return __this_address
;
858 * Validate di_cowextsize hint.
860 * 1. CoW extent size hint can only be set if reflink is enabled on the fs.
861 * The inode does not have to have any shared blocks, but it must be a v3.
862 * 2. FS_XFLAG_COWEXTSIZE is only valid for directories and regular files;
863 * for a directory, the hint is propagated to new files.
864 * 3. Can be changed on files & directories at any time.
865 * 4. Hint value of 0 turns off hints, clears inode flags.
866 * 5. Extent size must be a multiple of the appropriate block size.
867 * 6. The extent size hint must be limited to half the AG size to avoid
868 * alignment extending the extent beyond the limits of the AG.
871 xfs_inode_validate_cowextsize(
872 struct xfs_mount
*mp
,
880 uint32_t cowextsize_bytes
;
882 rt_flag
= (flags
& XFS_DIFLAG_REALTIME
);
883 hint_flag
= (flags2
& XFS_DIFLAG2_COWEXTSIZE
);
884 cowextsize_bytes
= XFS_FSB_TO_B(mp
, cowextsize
);
886 if (hint_flag
&& !xfs_has_reflink(mp
))
887 return __this_address
;
889 if (hint_flag
&& !(S_ISDIR(mode
) || S_ISREG(mode
)))
890 return __this_address
;
892 if (hint_flag
&& cowextsize
== 0)
893 return __this_address
;
895 /* free inodes get flags set to zero but cowextsize remains */
896 if (mode
&& !hint_flag
&& cowextsize
!= 0)
897 return __this_address
;
899 if (hint_flag
&& rt_flag
)
900 return __this_address
;
902 if (cowextsize_bytes
% mp
->m_sb
.sb_blocksize
)
903 return __this_address
;
905 if (cowextsize
> XFS_MAX_BMBT_EXTLEN
)
906 return __this_address
;
908 if (cowextsize
> mp
->m_sb
.sb_agblocks
/ 2)
909 return __this_address
;