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 X-Spam-Level: X-Spam-Status: No, score=-3.5 required=3.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id BD288C2D0E4 for ; Tue, 17 Nov 2020 15:40:01 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id F3C172463D for ; Tue, 17 Nov 2020 15:39:59 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=infradead.org header.i=@infradead.org header.b="rMgmU2Pg" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org F3C172463D Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=infradead.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 7EB826B0078; Tue, 17 Nov 2020 10:39:59 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 773A96B007B; Tue, 17 Nov 2020 10:39:59 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 63CCC6B007D; Tue, 17 Nov 2020 10:39:59 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0200.hostedemail.com [216.40.44.200]) by kanga.kvack.org (Postfix) with ESMTP id 324496B0078 for ; Tue, 17 Nov 2020 10:39:59 -0500 (EST) Received: from smtpin18.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay02.hostedemail.com (Postfix) with ESMTP id C68C53626 for ; Tue, 17 Nov 2020 15:39:58 +0000 (UTC) X-FDA: 77494320876.18.party70_360d65227332 Received: from filter.hostedemail.com (10.5.16.251.rfc1918.com [10.5.16.251]) by smtpin18.hostedemail.com (Postfix) with ESMTP id A0555100ED9DC for ; Tue, 17 Nov 2020 15:39:58 +0000 (UTC) X-HE-Tag: party70_360d65227332 X-Filterd-Recvd-Size: 4058 Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf17.hostedemail.com (Postfix) with ESMTP for ; Tue, 17 Nov 2020 15:39:57 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=QFlYdiYc0xmhkx8fR9s7buBYTCO5I402/gNcSckf2XE=; b=rMgmU2PghbmqKsBILzyfNyG/uK wtKPHb8W3lOiQ0jK3tEgZmJbD0uWyQhHqbkgOtXV1pfZk6VNhBEBFcFzgluA8lunGyA1PkUDIKNug u9r6TJx+T90hxL/6JcPMUVleD94i/5LlyUZNBRcrWU2FruLCQtXpeGMU+dpI0r+1rWb32v8Q25fP8 569yO0zojtHq/kT0rA+ZIA7wZXBnr5gkPOFioUxBm5Cz/yYNc9iqogtCDGL4hm/k01KLdThm+gVZC BiP0DKLjsdsfb7aVmG2I52zS1UgU49AZtni9RKRtRJyfPIbuURoNAk2TJWLFXTBFHc/LgPPQMO+WA tvMCtQ+A==; Received: from willy by casper.infradead.org with local (Exim 4.92.3 #3 (Red Hat Linux)) id 1kf359-0006RE-Cb; Tue, 17 Nov 2020 15:39:47 +0000 Date: Tue, 17 Nov 2020 15:39:47 +0000 From: Matthew Wilcox To: Hugh Dickins Cc: Andrew Morton , Jan Kara , William Kucharski , linux-fsdevel@vger.kernel.org, linux-mm@kvack.org, hch@lst.de, hannes@cmpxchg.org, yang.shi@linux.alibaba.com, dchinner@redhat.com, linux-kernel@vger.kernel.org Subject: Re: [PATCH v4 00/16] Overhaul multi-page lookups for THP Message-ID: <20201117153947.GL29991@casper.infradead.org> References: <20201112212641.27837-1-willy@infradead.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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 Mon, Nov 16, 2020 at 02:34:34AM -0800, Hugh Dickins wrote: > Fix to [PATCH v4 15/16] mm/truncate,shmem: Handle truncates that split THPs. > One machine ran fine, swapping and building in ext4 on loop0 on huge tmpfs; > one machine got occasional pages of zeros in its .os; one machine couldn't > get started because of ext4_find_dest_de errors on the newly mkfs'ed fs. > The partial_end case was decided by PAGE_SIZE, when there might be a THP > there. The below patch has run well (for not very long), but I could > easily have got it slightly wrong, off-by-one or whatever; and I have > not looked into the similar code in mm/truncate.c, maybe that will need > a similar fix or maybe not. Thank you for the explanation in your later email! There is indeed an off-by-one, although in the safe direction. > --- 5103w/mm/shmem.c 2020-11-12 15:46:21.075254036 -0800 > +++ 5103wh/mm/shmem.c 2020-11-16 01:09:35.431677308 -0800 > @@ -874,7 +874,7 @@ static void shmem_undo_range(struct inod > long nr_swaps_freed = 0; > pgoff_t index; > int i; > - bool partial_end; > + bool same_page; > > if (lend == -1) > end = -1; /* unsigned, so actually very big */ > @@ -907,16 +907,12 @@ static void shmem_undo_range(struct inod > index++; > } > > - partial_end = ((lend + 1) % PAGE_SIZE) > 0; > + same_page = (lstart >> PAGE_SHIFT) == end; 'end' is exclusive, so this is always false. Maybe something "obvious": same_page = (lstart >> PAGE_SHIFT) == (lend >> PAGE_SHIFT); (lend is inclusive, so lend in 0-4095 are all on the same page) > page = NULL; > shmem_getpage(inode, lstart >> PAGE_SHIFT, &page, SGP_READ); > if (page) { > - bool same_page; > - > page = thp_head(page); > same_page = lend < page_offset(page) + thp_size(page); > - if (same_page) > - partial_end = false; > set_page_dirty(page); > if (!truncate_inode_partial_page(page, lstart, lend)) { > start = page->index + thp_nr_pages(page); > @@ -928,7 +924,7 @@ static void shmem_undo_range(struct inod > page = NULL; > } > > - if (partial_end) > + if (!same_page) > shmem_getpage(inode, end, &page, SGP_READ); > if (page) { > page = thp_head(page);