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 06B10C7618D for ; Thu, 6 Apr 2023 03:18:39 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 2E1546B0071; Wed, 5 Apr 2023 23:18:39 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 291CF6B0074; Wed, 5 Apr 2023 23:18:39 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 15D616B0075; Wed, 5 Apr 2023 23:18:39 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0014.hostedemail.com [216.40.44.14]) by kanga.kvack.org (Postfix) with ESMTP id 074EE6B0071 for ; Wed, 5 Apr 2023 23:18:39 -0400 (EDT) Received: from smtpin14.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay03.hostedemail.com (Postfix) with ESMTP id CAE92A0CB7 for ; Thu, 6 Apr 2023 03:18:38 +0000 (UTC) X-FDA: 80649508716.14.4FE5619 Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by imf27.hostedemail.com (Postfix) with ESMTP id 1F2534000B for ; Thu, 6 Apr 2023 03:18:36 +0000 (UTC) Authentication-Results: imf27.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=l2e0pGTX; spf=pass (imf27.hostedemail.com: domain of jaegeuk@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=jaegeuk@kernel.org; dmarc=pass (policy=none) header.from=kernel.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1680751117; 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=m0yHadsHMrMCZ2nh9iUBa7HuL/No+AL9RQsG9EJAqQg=; b=BKSQDy3cm7LIQRsBq3swjTUP2w9jlgB1rF9r6XQTHt/4p2297obvinUyikZ1XZVCcPnAqY jydDGnsZxM5d35eOFXAwLt3msBIVtI41hMlGkkqCDiqpZOV7147Xsh+s/3/aUng0xNSI+U AFC1GxhPzH6jdkHIYiFg5YqhnpUvgmI= ARC-Authentication-Results: i=1; imf27.hostedemail.com; dkim=pass header.d=kernel.org header.s=k20201202 header.b=l2e0pGTX; spf=pass (imf27.hostedemail.com: domain of jaegeuk@kernel.org designates 139.178.84.217 as permitted sender) smtp.mailfrom=jaegeuk@kernel.org; dmarc=pass (policy=none) header.from=kernel.org ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1680751117; a=rsa-sha256; cv=none; b=bOk1eoBneSC7ojnTWAlD86nVx7Y3mVWCwU24D1TZI7bvTf/Y49OAlcLju7+BUB4bJ1wYm1 p+v198TVc9SSZFnB4AaWso5QbWIk5J3Y9mSr7gjRMg8iZU40oMiUtlWUBRaULHH31sL1I3 akeXxTWP9PBX5jP5bIWU+xGSllsmt8E= 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 1DBEF62D23; Thu, 6 Apr 2023 03:18:36 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 4C9A4C433D2; Thu, 6 Apr 2023 03:18:35 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1680751115; bh=gAmdsJOvAvFD8Pw7Hham6hOYozB50NHRKYgiFOuCPfA=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=l2e0pGTXGAtAPzTTnr66THH9X6WCwGZ71B0GcYDBdAK4iVE/qpW+Vtje9oULjo760 C5fztSxMeSDI8CzgyFHNRkyg+a9kC4Vi1DovQ8vNEuX7+ys99emvilPhFqCwpIXBVh DgYJ2pRns+U1kFi23a6LQ/OXgp8PZIkOxQWq6caHPxMRZXHyj1fyNDJMWCNDkYy/gn QvLv1yhW7zZCo+kogFEvq8IMXBGO83iezovNVY7TPMBKwEqpIoC2KSqzt0G52Ap8an hjRuZy5m5WDR5mPWwI3m6GSLA0PtdDWeVORjmyhT1++sCVH3cvM7bQTu07dKxho6dk GIgXlbYEmhXTg== Date: Wed, 5 Apr 2023 20:18:33 -0700 From: Jaegeuk Kim To: Chao Yu Cc: Matthew Wilcox , linux-kernel@vger.kernel.org, linux-f2fs-devel@lists.sourceforge.net, stable@vger.kernel.org, linux-mm@kvack.org, linux-fsdevel@vger.kernel.org Subject: Re: [f2fs-dev] [PATCH] f2fs: get out of a repeat loop when getting a locked data page Message-ID: References: <20230323213919.1876157-1-jaegeuk@kernel.org> <8aea02b0-86f9-539a-02e9-27b381e68b66@kernel.org> <9dc4ba32-5be5-26d8-5dd2-9bd48d6b0af4@kernel.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <9dc4ba32-5be5-26d8-5dd2-9bd48d6b0af4@kernel.org> X-Rspamd-Server: rspam05 X-Rspamd-Queue-Id: 1F2534000B X-Stat-Signature: n8qrgkf47uytz1shf13cowog3nf6ek47 X-Rspam-User: X-HE-Tag: 1680751116-835318 X-HE-Meta: U2FsdGVkX1+Drfkk5c7L9JiaunHbwWG6Du/q+/1smqZ6FahQuDd7TfY57PKMRGf1orq5ginYdEsacrnGwgZt7wZzkN4BfKlTsgrhvFuv5BVnWKEmNzP4uDCj7HSXo/4pK+9aVKRQ7gZHQng+uwvsU/+93K+d+Jqu2l/WlKfTC+depIbCObQ6VFKH1AIs8PEFB0Dedp9NodtlxdaIM3ah1bwraVGd/H+FpX4wlaEhCRon0tOtSMepTOcV9EOYZq42jsh6AmyaFUXFTpbz4fqSa31TUiKUCo8LupuvwpJi7iVMreSc6J0uYFlekdejsks4uOhv1JPOHmPsqaS8SLR2rEKoCy2mSbItzn55QUMPVNrz0zBwjQEb4DlcsLudF6BIWaweIFo4syxaY0P55Nm3NDo9zOUfuKmtlWr/3DRP3TRUq2fouY9snESkm0T2QaKQsRbVnKlJbo/3Yr3qrpShbkABNnq9XPhfzA+PMFAR6KSUqlhOrgupkzgJn2qws0QSyY/04UsIC4bY8rp7ESvPtVGA19BxXHrRSmKw6ltEup8raOGBsXqd4xxE0ltYWoVYd38IRwG0G1jpBo6+qahxlgYseeLNgA6l/L8BYRBCkBRTpszp1zw1VXLZRMMbh0J5YblMzYLVP/MZA3Op/BGc97Edbct4ftk0rBVp3kSkhGw9i9jpnvIXpCC801UEg8pjpNiQrQMU/U9jChD/V81SseV+Z6g1Bty8FeicGn00rp/Icos5gBUdbvexIQzPHs85bp3Jyo4R49FUZTwUmpFbzw5ZhSPL2UP8PiVCmVRKuOD34Rq1TSx8TDd8vaK4r+xMJhTRYhkhAkaNVHYBPc+/bHCPnseOI+vGPfechechU2FIrEk4JqsAP9Hp/Foz85nHoo+CHHLY9Be0yaKg3hXqManhSMiRtnmBb4xDIW99+5aHhRFwl1t3ZvygTEj9V+6sP/73hlDGamgMYGBvckY k6wEwBwA 7h1SWdCNkCbF+2xFm7cWVBiDeOfXR7NGKJvyUoBcRn4ej0uDlz4UIeZipu62WfuFqqG8W1fsbF3wEM0xvWWYMfBIMp+TNGjQ0ZJeJ7WcDGvMh1D2ZQsyBYOm9ustTlObZ4x0cdmmzT0dvLmFZerwBl2US8q2oKjO11oMZXToZVKH5PNV6MRtxdmbjLQLZmFdsZm0pXQSRZpw3Athsbrv0Cgk2urLKLAFPVIbYrsaAyh60YCsG3iu6VqVNaVs3OfrswGHiE/5C3wjjCoavtNXhtiVZHJWSUbg3JxFFs3dj1ihm2HsFNPCjIFXBDcm3EnLsbPPIktP5D9UfYYQUbji5vGLI/OrWCtee55KYPVovd7SleF17myUK7HEw7lIA8Qr8XPIdtptacwXUD4Q= 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 04/06, Chao Yu wrote: > On 2023/4/6 0:39, Jaegeuk Kim wrote: > > On 03/27, Matthew Wilcox wrote: > > > On Mon, Mar 27, 2023 at 08:30:33AM -0700, Jaegeuk Kim wrote: > > > > On 03/26, Chao Yu wrote: > > > > > On 2023/3/24 5:39, Jaegeuk Kim wrote: > > > > > > https://bugzilla.kernel.org/show_bug.cgi?id=216050 > > > > > > > > > > > > Somehow we're getting a page which has a different mapping. > > > > > > Let's avoid the infinite loop. > > > > > > > > > > > > Cc: > > > > > > Signed-off-by: Jaegeuk Kim > > > > > > --- > > > > > > fs/f2fs/data.c | 8 ++------ > > > > > > 1 file changed, 2 insertions(+), 6 deletions(-) > > > > > > > > > > > > diff --git a/fs/f2fs/data.c b/fs/f2fs/data.c > > > > > > index bf51e6e4eb64..80702c93e885 100644 > > > > > > --- a/fs/f2fs/data.c > > > > > > +++ b/fs/f2fs/data.c > > > > > > @@ -1329,18 +1329,14 @@ struct page *f2fs_get_lock_data_page(struct inode *inode, pgoff_t index, > > > > > > { > > > > > > struct address_space *mapping = inode->i_mapping; > > > > > > struct page *page; > > > > > > -repeat: > > > > > > + > > > > > > page = f2fs_get_read_data_page(inode, index, 0, for_write, NULL); > > > > > > if (IS_ERR(page)) > > > > > > return page; > > > > > > /* wait for read completion */ > > > > > > lock_page(page); > > > > > > - if (unlikely(page->mapping != mapping)) { > > > > > > > > > > How about using such logic only for move_data_page() to limit affect for > > > > > other paths? > > > > > > > > Why move_data_page() only? If this happens, we'll fall into a loop in anywhere? > > > > > > > > > > > > > > Jaegeuk, any thoughts about why mapping is mismatch in between page's one and > > > > > inode->i_mapping? > > > > > > > > > > > > > > After several times code review, I didn't get any clue about why f2fs always > > > > > get the different mapping in a loop. > > > > > > > > I couldn't find the path to happen this. So weird. Please check the history in the > > > > bug. > > > > > > > > > > > > > > Maybe we can loop MM guys to check whether below folio_file_page() may return > > > > > page which has different mapping? > > > > > > > > Matthew may have some idea on this? > > > > > > There's a lot of comments in the bug ... hard to come into this one > > > cold. > > > > > > I did notice this one (#119): > > > : Interestingly, ref count is 514, which looks suspiciously as a binary > > > : flag 1000000010. Is it possible that during 5.17/5.18 implementation > > > : of a "pin", somehow binary flag was written to ref count, or something > > > : like '1 << ...' happens? > > > > > > That indicates to me that somehow you've got hold of a THP that is in > > > the page cache. Probably shmem/tmpfs. That indicate to me a refcount > > > problem that looks something like this: > > > > > > f2fs allocates a page > > > f2fs adds the page to the page cache > > > f2fs puts the reference to the page without removing it from the > > > page cache (how?) > > > > Is it somewhat related to setting a bit in private field? > > IIUC, it looks the page reference is added/removed as pair. > > > > > When we migrate the blocks, we do: > > 1) get_lock_page() > > - f2fs_grab_cache_page > - pagecache_get_page > - __filemap_get_folio > - no_page -> filemap_alloc_folio page_ref = 1 (referenced by caller) > - filemap_add_folio page_ref = 2 (referenced by radix tree) > > > 2) submit read > > 3) lock_page() > > 3) set_page_dirty() > > 4) set_page_private_gcing(page) > > page_ref = 3 (reference by private data) > > > > > --- in fs/f2fs/f2fs.h > > 1409 #define PAGE_PRIVATE_SET_FUNC(name, flagname) \ > > 1410 static inline void set_page_private_##name(struct page *page) \ > > 1411 { \ > > 1412 if (!PagePrivate(page)) { \ > > 1413 get_page(page); \ > > 1414 SetPagePrivate(page); \ > > 1415 set_page_private(page, 0); \ > > 1416 } \ > > 1417 set_bit(PAGE_PRIVATE_NOT_POINTER, &page_private(page)); \ > > 1418 set_bit(PAGE_PRIVATE_##flagname, &page_private(page)); \ > > 1419 } > > > > > > 5) set_page_writebac() > > 6) submit write > > 7) unlock_page() > > 8) put_page(page) > > page_ref = 2 (ref by caller was removed) > > > > > Later, f2fs_invalidate_folio will do put_page again by: > > clear_page_private_gcing(&folio->page); > > page_ref = 1 (ref by private was removed, and the last left ref is hold by radix tree) > > > > > --- in fs/f2fs/f2fs.h > > 1421 #define PAGE_PRIVATE_CLEAR_FUNC(name, flagname) \ > > 1422 static inline void clear_page_private_##name(struct page *page) \ > > 1423 { \ > > 1424 clear_bit(PAGE_PRIVATE_##flagname, &page_private(page)); \ > > 1425 if (page_private(page) == BIT(PAGE_PRIVATE_NOT_POINTER)) { \ > > 1426 set_page_private(page, 0); \ > > 1427 if (PagePrivate(page)) { \ > > 1428 ClearPagePrivate(page); \ > > Since PagePrivate was cleared, so folio_detach_private in > f2fs_invalidate_folio()/f2fs_release_folio will just skip drop reference. > > static inline void *folio_detach_private(struct folio *folio) > { > void *data = folio_get_private(folio); > > if (!folio_test_private(folio)) > return NULL; > folio_clear_private(folio); > folio->private = NULL; > folio_put(folio); > > return data; > } > > Or am I missing something? Ah, I missed folio_test_private() tho, can we really expect get_page(), SetPagePrivate(), and set_page_private() is in pair with folio_detach_private()? I feel attach/detach_page_private would look better? > > Thanks, > > > 1429 put_page(page); \ > > 1430 }\ > > 1431 } \ > > 1432 } > > > > > page is now free, gets reallocated into a THP > > > lookup from the f2fs file finds the new THP > > > things explode messily > > > > > > Checking page->mapping is going to avoid the messy explosion, but > > > you'll still have a page in the page cache which doesn't actually > > > belong to you, and that's going to lead to subtle data corruption. > > > > > > This should be caught by page_expected_state(), called from > > > free_page_is_bad(), called from free_pages_prepare(). Do your testers > > > have CONFIG_DEBUG_VM enabled? That might give you a fighting chance at > > > finding the last place which called put_page(). It won't necessarily be > > > the _wrong_ place to call put_page() (that may have happened earlier), > > > but it may give you a clue. > > > > > > > > > > > > > struct page *pagecache_get_page(struct address_space *mapping, pgoff_t index, > > > > > int fgp_flags, gfp_t gfp) > > > > > { > > > > > struct folio *folio; > > > > > > > > > > folio = __filemap_get_folio(mapping, index, fgp_flags, gfp); > > > > > if (IS_ERR(folio)) > > > > > return NULL; > > > > > return folio_file_page(folio, index); > > > > > } > > > > > > > > > > Thanks, > > > > > > > > > > > - f2fs_put_page(page, 1); > > > > > > - goto repeat; > > > > > > - } > > > > > > - if (unlikely(!PageUptodate(page))) { > > > > > > + if (unlikely(page->mapping != mapping || !PageUptodate(page))) { > > > > > > f2fs_put_page(page, 1); > > > > > > return ERR_PTR(-EIO); > > > > > > }