On Mon, Mar 20, 2023 at 06:02:05PM +0800, Shiyang Ruan wrote: > > > 在 2023/3/18 4:35, Darrick J. Wong 写道: > > On Fri, Mar 17, 2023 at 03:59:48AM +0000, Shiyang Ruan wrote: > > > As is mentioned[1] before, the generic/388 will randomly fail with dmesg > > > warning. This case uses fsstress with a lot of random operations. It is hard > > > to reproduce. Finally I found a 100% reproduce condition, which is setting > > > the seed to 1677104360. So I changed the generic/388 code: removed the loop > > > and used the code below instad: > > > ``` > > > ($FSSTRESS_PROG $FSSTRESS_AVOID -d $SCRATCH_MNT -v -s 1677104360 -n 221 -p 1 >> $seqres.full) > /dev/null 2>&1 > > > ($FSSTRESS_PROG $FSSTRESS_AVOID -d $SCRATCH_MNT -v -s 1677104360 -n 221 -p 1 >> $seqres.full) > /dev/null 2>&1 > > > _check_dmesg_for dax_insert_entry > > > ``` > > > > > > According to the operations log, and kernel debug log I added, I found that > > > the reflink flag of one inode won't be unset even if there's no more shared > > > extents any more. > > > Then write to this file again. Because of the reflink flag, xfs thinks it > > > needs cow, and extent(called it extA) will be CoWed to a new > > > extent(called it extB) incorrectly. And extA is not used any more, > > > but didn't be unmapped (didn't do dax_disassociate_entry()). > > > > IOWs, dax_iomap_copy_around (or something very near it) should be > > calling dax_disassociate_entry on the source range after copying extA's > > contents to extB to drop its page->shared count? > > If extA is a shared extent, its pages will be disassociated correctly by > invalidate_inode_pages2_range() in dax_iomap_iter(). > > But the problem is that extA is not shared but now be CoWed, Aha! Ok, I hadn't realized that extA is not shared... > invalidate_inode_pages2_range() is also called but it can't disassociate the > old page (because the page is marked dirty, can't be invalidated) ...so what marked the old page dirty? Was it the case that the unshared extA got marked dirty, then later someone created a cow reservation (extB, I guess) that covered the already dirty extA? Should we be transferring the dirty state from A to B here before the invalidate_inode_pages2_range ? > Is the behavior to do CoW on a non-shared extent allowed? In general, yes, XFS allows COW on non-shared extents. The (cow) extent size hint provides for cowing the unshared blocks adjacent to a shared block to try to combat fragmentation. > > > > > The next time we mapwrite to another file, xfs will allocate extA for it, > > > page fault handler do dax_associate_entry(). BUT bucause the extA didn't > > > be unmapped, it still stores old file's info in page->mapping,->index. > > > Then, It reports dmesg warning when it try to sotre the new file's info. > > > > > > So, I think: > > > 1. reflink flag should be updated after CoW operations. > > > 2. xfs_reflink_allocate_cow() should add "if extent is shared" to determine > > > xfs do CoW or not. > > > > > > I made the fix patch, it can resolve the fail of generic/388. But it causes > > > other cases fail: generic/127, generic/263, generic/616, xfs/315 xfs/421. I'm > > > not sure if the fix is right, or I have missed something somewhere. Please > > > give me some advice. > > > > > > Thank you very much!! > > > > > > [1]: https://lore.kernel.org/linux-xfs/1669908538-55-1-git-send-email-ruansy.fnst@xxxxxxxxxxx/ > > > > > > Signed-off-by: Shiyang Ruan <ruansy.fnst@xxxxxxxxxxx> > > > --- > > > fs/xfs/xfs_reflink.c | 44 ++++++++++++++++++++++++++++++++++++++++++++ > > > fs/xfs/xfs_reflink.h | 2 ++ > > > 2 files changed, 46 insertions(+) > > > > > > diff --git a/fs/xfs/xfs_reflink.c b/fs/xfs/xfs_reflink.c > > > index f5dc46ce9803..a6b07f5c1db2 100644 > > > --- a/fs/xfs/xfs_reflink.c > > > +++ b/fs/xfs/xfs_reflink.c > > > @@ -154,6 +154,40 @@ xfs_reflink_find_shared( > > > return error; > > > } > > > +int xfs_reflink_extent_is_shared( > > > + struct xfs_inode *ip, > > > + struct xfs_bmbt_irec *irec, > > > + bool *shared) > > > +{ > > > + struct xfs_mount *mp = ip->i_mount; > > > + struct xfs_perag *pag; > > > + xfs_agblock_t agbno; > > > + xfs_extlen_t aglen; > > > + xfs_agblock_t fbno; > > > + xfs_extlen_t flen; > > > + int error = 0; > > > + > > > + *shared = false; > > > + > > > + /* Holes, unwritten, and delalloc extents cannot be shared */ > > > + if (!xfs_bmap_is_written_extent(irec)) > > > + return 0; > > > + > > > + pag = xfs_perag_get(mp, XFS_FSB_TO_AGNO(mp, irec->br_startblock)); > > > + agbno = XFS_FSB_TO_AGBNO(mp, irec->br_startblock); > > > + aglen = irec->br_blockcount; > > > + error = xfs_reflink_find_shared(pag, NULL, agbno, aglen, &fbno, &flen, > > > + true); > > > + xfs_perag_put(pag); > > > + if (error) > > > + return error; > > > + > > > + if (fbno != NULLAGBLOCK) > > > + *shared = true; > > > + > > > + return 0; > > > +} > > > + > > > /* > > > * Trim the mapping to the next block where there's a change in the > > > * shared/unshared status. More specifically, this means that we > > > @@ -533,6 +567,12 @@ xfs_reflink_allocate_cow( > > > xfs_ifork_init_cow(ip); > > > } > > > + error = xfs_reflink_extent_is_shared(ip, imap, shared); > > > + if (error) > > > + return error; > > > + if (!*shared) > > > + return 0; > > > + > > > error = xfs_find_trim_cow_extent(ip, imap, cmap, shared, &found); > > > if (error || !*shared) > > > return error; > > > @@ -834,6 +874,10 @@ xfs_reflink_end_cow_extent( > > > /* Remove the mapping from the CoW fork. */ > > > xfs_bmap_del_extent_cow(ip, &icur, &got, &del); > > > + error = xfs_reflink_clear_inode_flag(ip, &tp); > > > > This will disable COW on /all/ blocks in the entire file, including the > > shared ones. At a bare minimum you'd have to scan the entire data fork > > to ensure there are no shared extents. That's probably why doing this > > causes so many new regressions. > > This function will search for shared extent before actually clearing the > flag. If no shared extent found, the flag won't be cleared. The name of > this function is not very accurate. Oh, right. I forgot that _reflink_clear_inode_flag walks the entire data fork looking for shared extents, and only clears the flag if it doesn't find any. That said, if (say) this is a large sparse file with 300 million extent records and extent 299,999,999 is shared, this is going to make write completions realllllly slow, as each completion now has to perform its own walk... > BTW, in my thought, the reflink flag is to indicate if a file is now > containing any shared extents or not. So, it should be cleared immediately > if no extents shared any more. Is this right? ...which is why we don't clear the flag immediately. Or ever. Only repairs take the time to do that. --D > > > -- > Thanks, > Ruan. > > PS: Let me paste the log of failed tests: > generic/127, generic/263, generic/616 are fsx tests. Their fail message are > meaningless. I am looking into their difference between good/bad results. > > xfs/315 0s ... - output mismatch (see > /root/xts/results//dax_reflink/xfs/315.out.bad) > --- tests/xfs/315.out 2022-08-03 10:56:02.696212673 +0800 > +++ /root/xts/results//dax_reflink/xfs/315.out.bad 2023-03-20 > 17:48:01.780369739 +0800 > @@ -7,7 +7,6 @@ > Inject error > CoW a few blocks > FS should be shut down, touch will fail > -touch: cannot touch 'SCRATCH_MNT/badfs': Input/output error > Remount to replay log > FS should be online, touch should succeed > Check files again > ... > (Run 'diff -u /root/xts/tests/xfs/315.out > /root/xts/results//dax_reflink/xfs/315.out.bad' to see the entire diff) > xfs/421 1s ... - output mismatch (see > /root/xts/results//dax_reflink/xfs/421.out.bad) > --- tests/xfs/421.out 2022-08-03 10:56:02.706212718 +0800 > +++ /root/xts/results//dax_reflink/xfs/421.out.bad 2023-03-20 > 17:48:02.222369739 +0800 > @@ -14,8 +14,6 @@ > Whence Result > DATA 0 > HOLE 131072 > -DATA 196608 > -HOLE 262144 > Compare files > c2803804acc9936eef8aab42c119bfac SCRATCH_MNT/test-421/file1 > ... > (Run 'diff -u /root/xts/tests/xfs/421.out > /root/xts/results//dax_reflink/xfs/421.out.bad' to see the entire diff) > > > > > --D > > > > > + if (error) > > > + goto out_cancel; > > > + > > > error = xfs_trans_commit(tp); > > > xfs_iunlock(ip, XFS_ILOCK_EXCL); > > > if (error) > > > diff --git a/fs/xfs/xfs_reflink.h b/fs/xfs/xfs_reflink.h > > > index 65c5dfe17ecf..d5835814bce6 100644 > > > --- a/fs/xfs/xfs_reflink.h > > > +++ b/fs/xfs/xfs_reflink.h > > > @@ -16,6 +16,8 @@ static inline bool xfs_is_cow_inode(struct xfs_inode *ip) > > > return xfs_is_reflink_inode(ip) || xfs_is_always_cow_inode(ip); > > > } > > > +int xfs_reflink_extent_is_shared(struct xfs_inode *ip, > > > + struct xfs_bmbt_irec *irec, bool *shared); > > > extern int xfs_reflink_trim_around_shared(struct xfs_inode *ip, > > > struct xfs_bmbt_irec *irec, bool *shared); > > > int xfs_bmap_trim_cow(struct xfs_inode *ip, struct xfs_bmbt_irec *imap, > > > -- > > > 2.39.2 > > >
