From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 9ED07C433EF for ; Wed, 29 Jun 2022 20:22:10 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id BC1908E0001; Wed, 29 Jun 2022 16:22:09 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id B4ADF6B0072; Wed, 29 Jun 2022 16:22:09 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 9EA928E0001; Wed, 29 Jun 2022 16:22:09 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0015.hostedemail.com [216.40.44.15]) by kanga.kvack.org (Postfix) with ESMTP id 88DB26B0071 for ; Wed, 29 Jun 2022 16:22:09 -0400 (EDT) Received: from smtpin24.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay08.hostedemail.com (Postfix) with ESMTP id 58FFE20D8E for ; Wed, 29 Jun 2022 20:22:09 +0000 (UTC) X-FDA: 79632395178.24.2A33E37 Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by imf12.hostedemail.com (Postfix) with ESMTP id 9525640041 for ; Wed, 29 Jun 2022 20:22:08 +0000 (UTC) Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dfw.source.kernel.org (Postfix) with ESMTPS id 9EDAC620F0; Wed, 29 Jun 2022 20:22:07 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 04BDEC34114; Wed, 29 Jun 2022 20:22:06 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1656534127; bh=fvM7ZMw2Riiyy+rC8yD5Hs0887tFPszfGYW0/LXaWfA=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=F5xyov45v0ccCJ1IxlXGAtOz0PLoK/zebDjvrlZx9wn+a2UJEu8uwQ1j2Lr0kmqxN Tnw9Np6W699I9p5LTM5u6FD1UMEpV1gRiDRSn2T/CyhnDy9vBruEH6y7E3i8M0xP6t C5t3O6eWH7ETdiiSIbiO5OrCLtbGq6IBsUskxEPzZN8NyZnJ1A6pPH++fBkS2uAn8F 0rpdHSluLb+ddTvJk4blbbN25jH7s9JekC00yHjBPs1NkhBJByQRbiIgE+Uu3wFHQb GQsxdAmCDxXn5FI8ZOQreulWGtoPBroIArSqS2EEq4x17z6xZA8p9onh/VKK+v5whL iL1StzTNq7nOA== Date: Wed, 29 Jun 2022 13:22:06 -0700 From: "Darrick J. Wong" To: Brian Foster Cc: Dave Chinner , Matthew Wilcox , linux-xfs@vger.kernel.org, linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, Christoph Hellwig , linux-mm@kvack.org Subject: Re: Multi-page folio issues in 5.19-rc4 (was [PATCH v3 25/25] xfs: Support large folios) Message-ID: References: <20220628073120.GI227878@dread.disaster.area> <20220628221757.GJ227878@dread.disaster.area> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1656534128; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=JQRyv8MOYAYj8NZ/+sU0repZg9m6qK4k+Fx2IgBFS/U=; b=lcAFA9ctAoZks61LyFR8sPx2f48QdQjKXYDFhNVz8QXwPZiBLDVMBWEDk2sy6KJlRSZCZ7 Fiq4wtPNhTWeX2+Jl7vrNLJ12alJ6E2yRQL62EDF9HRlU3bwWHUUYV+tha4KxVWfDQxm8T KVvELhhZiVrJayliOIHeAM8Cxjeyl7w= ARC-Authentication-Results: i=1; imf12.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=F5xyov45; dmarc=pass (policy=none) header.from=kernel.org; spf=pass (imf12.hostedemail.com: domain of djwong@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=djwong@kernel.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1656534128; a=rsa-sha256; cv=none; b=Z4FusCzJE15Qf0Flyf+RWGNRAewfDN+oVKd1i04x5sKwqecWk8jHz1k8EfxsceCh+7QFaC R8BaToSiHPMFd10OlpMkNEVqS81fgdUVzjoTv21vxyS7bvkj9b0hq6hWU8P9s6yFrhXLaA B0VmH6rtMoNh3kjQnuWB/JOjAznog1s= X-Rspamd-Queue-Id: 9525640041 Authentication-Results: imf12.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=F5xyov45; dmarc=pass (policy=none) header.from=kernel.org; spf=pass (imf12.hostedemail.com: domain of djwong@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=djwong@kernel.org X-Rspam-User: X-Rspamd-Server: rspam11 X-Stat-Signature: i1hj8xa1u9pu7y4qyqqe8t8nzh7pqmyx X-HE-Tag: 1656534128-221229 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Wed, Jun 29, 2022 at 08:57:30AM -0400, Brian Foster wrote: > On Tue, Jun 28, 2022 at 04:21:55PM -0700, Darrick J. Wong wrote: > > On Wed, Jun 29, 2022 at 08:17:57AM +1000, Dave Chinner wrote: > > > On Tue, Jun 28, 2022 at 02:18:24PM +0100, Matthew Wilcox wrote: > > > > On Tue, Jun 28, 2022 at 12:31:55PM +0100, Matthew Wilcox wrote: > > > > > On Tue, Jun 28, 2022 at 12:27:40PM +0100, Matthew Wilcox wrote: > > > > > > On Tue, Jun 28, 2022 at 05:31:20PM +1000, Dave Chinner wrote: > > > > > > > So using this technique, I've discovered that there's a dirty page > > > > > > > accounting leak that eventually results in fsx hanging in > > > > > > > balance_dirty_pages(). > > > > > > > > > > > > Alas, I think this is only an accounting error, and not related to > > > > > > the problem(s) that Darrick & Zorro are seeing. I think what you're > > > > > > seeing is dirty pages being dropped at truncation without the > > > > > > appropriate accounting. ie this should be the fix: > > > > > > > > > > Argh, try one that actually compiles. > > > > > > > > ... that one's going to underflow the accounting. Maybe I shouldn't > > > > be writing code at 6am? > > > > > > > > diff --git a/mm/huge_memory.c b/mm/huge_memory.c > > > > index f7248002dad9..4eec6ee83e44 100644 > > > > --- a/mm/huge_memory.c > > > > +++ b/mm/huge_memory.c > > > > @@ -18,6 +18,7 @@ > > > > #include > > > > #include > > > > #include > > > > +#include > > > > #include > > > > #include > > > > #include > > > > @@ -2439,11 +2440,15 @@ static void __split_huge_page(struct page *page, struct list_head *list, > > > > __split_huge_page_tail(head, i, lruvec, list); > > > > /* Some pages can be beyond EOF: drop them from page cache */ > > > > if (head[i].index >= end) { > > > > - ClearPageDirty(head + i); > > > > - __delete_from_page_cache(head + i, NULL); > > > > + struct folio *tail = page_folio(head + i); > > > > + > > > > if (shmem_mapping(head->mapping)) > > > > shmem_uncharge(head->mapping->host, 1); > > > > - put_page(head + i); > > > > + else if (folio_test_clear_dirty(tail)) > > > > + folio_account_cleaned(tail, > > > > + inode_to_wb(folio->mapping->host)); > > > > + __filemap_remove_folio(tail, NULL); > > > > + folio_put(tail); > > > > } else if (!PageAnon(page)) { > > > > __xa_store(&head->mapping->i_pages, head[i].index, > > > > head + i, 0); > > > > > > > > > > Yup, that fixes the leak. > > > > > > Tested-by: Dave Chinner > > > > Four hours of generic/522 running is long enough to conclude that this > > is likely the fix for my problem and migrate long soak testing to my > > main g/522 rig and: > > > > Tested-by: Darrick J. Wong > > > > Just based on Willy's earlier comment.. what I would probably be a > little careful/curious about here is whether the accounting fix leads to > an indirect behavior change that does impact reproducibility of the > corruption problem. For example, does artificially escalated dirty page > tracking lead to increased reclaim/writeback activity than might > otherwise occur, and thus contend with the fs workload? Clearly it has > some impact based on Dave's balance_dirty_pages() problem reproducer, > but I don't know if it extends beyond that off the top of my head. That > might make some sense if the workload is fsx, since that doesn't > typically stress cache/memory usage the way a large fsstress workload or > something might. > > So for example, interesting questions might be... Do your corruption > events happen to correspond with dirty page accounting crossing some > threshold based on available memory in your test environment? Does > reducing available memory affect reproducibility? Etc. Yeah, I wonder that too now. I managed to trace generic/522 a couple of times before willy's patch dropped. From what I could tell, a large folio X would get page P assigned to the fsx file's page cache to cover range R, dirtied, and written to disk. At some point later, we'd reflink into part of the file range adjacent to P, but not P itself. I /think/ that should have caused the whole folio to get invalidated? Then some more things happened (none of which dirtied R, according to fsx) and then suddenly writeback would trigger on some page (don't know which) that would write to the disk blocks backing R. I'm fairly sure that's where the incorrect disk contents came from. Next, we'd reflink part of the file range including R into a different part of the file (call it R2). fsx would read R2, bringing a new page into cache, and it wouldn't match the fsxgood buffer, leading to fsx aborting. After a umount/mount cycle, reading R and R2 would both reveal the incorrect contents that had caused fsx to abort. Unfortunately the second ftrace attempt ate some trace data, so I was unable to figure out if the same thing happened again. At this point I really need to get on reviewing patches for 5.20, so I'll try to keep poking at this (examining the trace data requires a lot of concentration which isn't really possible while sawzall construction is going on at home) but at worst I can ask Linus to merge a patch for 5.19 final that makes setting mapping_set_large_folio a Kconfig/CONFIG_XFS_DEBUG option. --D > > Brian > > > --D > > > > > Cheers, > > > > > > Dave. > > > -- > > > Dave Chinner > > > david@fromorbit.com > > >