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 mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id AEB8AC433EF for ; Wed, 29 Sep 2021 17:57:15 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 3703161506 for ; Wed, 29 Sep 2021 17:57:14 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.1 mail.kernel.org 3703161506 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=infradead.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvack.org Received: by kanga.kvack.org (Postfix) id BB94E94004C; Wed, 29 Sep 2021 13:57:13 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id B68D994003A; Wed, 29 Sep 2021 13:57:13 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id A314C94004C; Wed, 29 Sep 2021 13:57:13 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0206.hostedemail.com [216.40.44.206]) by kanga.kvack.org (Postfix) with ESMTP id 93C5994003A for ; Wed, 29 Sep 2021 13:57:13 -0400 (EDT) Received: from smtpin18.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay02.hostedemail.com (Postfix) with ESMTP id 5054730C6E for ; Wed, 29 Sep 2021 17:57:13 +0000 (UTC) X-FDA: 78641367546.18.79EFEF8 Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf16.hostedemail.com (Postfix) with ESMTP id 7F24DF00009F for ; Wed, 29 Sep 2021 17:57:12 +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-Transfer-Encoding: Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date: Sender:Reply-To:Content-ID:Content-Description; bh=PBrItrWYc4exfbDaKqyby4f2f1oZNsNLet5vMQY77Po=; b=SsDrPhn3Ek/0gG58GnPT0RGdtb t2lZlMA1e2ZxEjK7xX0YIK/91Rld17n3pmw8hNS9Tr7I0MnZHbFad9H8GDwGo4wO64u3E17G1EQ4d CSHh1GIcZ6MM2+tcvF3q+ol1dCOVzzBX2LwJNnzy21boWeloHpn6EVvHE3QLJ9J8A9rzgwuc1LmKr FbhtBAqttUz0CdWiGIR3Xu4MtrDGwaGeVmu0JYazQd/aMez5nJ+4fbF6kndcQhp2a2b8L4QglGJbQ +F3jp6w6B6oq1F1jmk8RTxc5XW/8zgudI7ZT8wduRCiGQvwA4Kxf3s158kVziu+vcRpQsMFZk0Je9 fMAjc/oA==; Received: from willy by casper.infradead.org with local (Exim 4.94.2 #2 (Red Hat Linux)) id 1mVdo7-00C5Pm-EU; Wed, 29 Sep 2021 17:56:06 +0000 Date: Wed, 29 Sep 2021 18:55:51 +0100 From: Matthew Wilcox To: Song Liu Cc: Rongwei Wang , Andrew Morton , Linux MM , Linux Kernel Mailing List , William Kucharski , Hugh Dickins Subject: Re: [PATCH v2 1/2] mm, thp: check page mapping when truncating page cache Message-ID: References: <20210922070645.47345-2-rongwei.wang@linux.alibaba.com> <20210923194343.ca0f29e1c4d361170343a6f2@linux-foundation.org> <9e41661d-9919-d556-8c49-610dae157553@linux.alibaba.com> <68737431-01d2-e6e3-5131-7d7c731e49ae@linux.alibaba.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: Authentication-Results: imf16.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=SsDrPhn3; spf=none (imf16.hostedemail.com: domain of willy@infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=willy@infradead.org; dmarc=none X-Rspamd-Server: rspam04 X-Rspamd-Queue-Id: 7F24DF00009F X-Stat-Signature: dzkuagq34xh7em5fzfc7s3pexstk6ppm X-HE-Tag: 1632938232-930529 Content-Transfer-Encoding: quoted-printable 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, Sep 29, 2021 at 09:59:38AM -0700, Song Liu wrote: > On Wed, Sep 29, 2021 at 12:50 AM Rongwei Wang > wrote: > > > > > > > > On 9/29/21 3:14 PM, Song Liu wrote: > > > On Tue, Sep 28, 2021 at 9:20 AM Rongwei Wang > > > wrote: > > >> > > >> > > >> > > >> On 9/28/21 6:24 AM, Song Liu wrote: > > >>> On Fri, Sep 24, 2021 at 12:12 AM Rongwei Wang > > >>> wrote: > > >>>> > > >>>> > > >>>> > > >>>> On 9/24/21 10:43 AM, Andrew Morton wrote: > > >>>>> On Thu, 23 Sep 2021 01:04:54 +0800 Rongwei Wang wrote: > > >>>>> > > >>>>>> > > >>>>>> > > >>>>>>> On Sep 22, 2021, at 7:37 PM, Matthew Wilcox wrote: > > >>>>>>> > > >>>>>>> On Wed, Sep 22, 2021 at 03:06:44PM +0800, Rongwei Wang wrote: > > >>>>>>>> Transparent huge page has supported read-only non-shmem file= s. The file- > > >>>>>>>> backed THP is collapsed by khugepaged and truncated when wri= tten (for > > >>>>>>>> shared libraries). > > >>>>>>>> > > >>>>>>>> However, there is race in two possible places. > > >>>>>>>> > > >>>>>>>> 1) multiple writers truncate the same page cache concurrentl= y; > > >>>>>>>> 2) collapse_file rolls back when writer truncates the page c= ache; > > >>>>>>> > > >>>>>>> As I've said before, the bug here is that somehow there is a = writable fd > > >>>>>>> to a file with THPs. That's what we need to track down and f= ix. > > >>>>>> Hi, Matthew > > >>>>>> I am not sure get your means. We know =E2=80=9Cmm, thp: relax = the VM_DENYWRITE constraint on file-backed THPs" > > >>>>>> Introduced file-backed THPs for DSO. It is possible {very rare= ly} for DSO to be opened in writeable way. > > >>>>>> > > >>>>>> ... > > >>>>>> > > >>>>>>> https://lore.kernel.org/linux-mm/YUdL3lFLFHzC80Wt@casper.infr= adead.org/ > > >>>>>> All in all, what you mean is that we should solve this race at= the source? > > >>>>> > > >>>>> Matthew is being pretty clear here: we shouldn't be permitting > > >>>>> userspace to get a writeable fd for a thp-backed file. > > >>>>> > > >>>>> Why are we permitting the DSO to be opened writeably? If there= 's a > > >>>>> legitimate case for doing this then presumably "mm, thp: relax = the > > >>>> There is a use case to stress file-backed THP within attachment. > > >>>> I test this case in a system which has enabled CONFIG_READ_ONLY_= THP_FOR_FS: > > >>>> > > >>>> $ gcc -Wall -g -o stress_madvise_dso stress_madvise_dso.c > > >>>> $ ulimit -s unlimited > > >>>> $ ./stress_madvise_dso 10000 > > >>>> > > >>>> the meaning of above parameters: > > >>>> 10000: the max test time; > > >>>> : the DSO that will been mapped into file-backed THP= by > > >>>> madvise. It recommended that the text segment of DSO to be teste= d is > > >>>> greater than 2M. > > >>>> > > >>>> The crash will been triggered at once in the latest kernel. And = this > > >>>> case also can used to trigger the bug that mentioned in our anot= her patch. > > >>> > > >>> Hmm.. I am not able to use the repro program to crash the system.= Not > > >>> sure what I did wrong. > > >>> > > >> Hi > > >> I have tried to check my test case again. Can you make sure the DS= O that > > >> you test have THP mapping? > > >> > > >> If you are willing to try again, I can send my libtest.c which is = used > > >> to test by myself (actually, it shouldn't be target DSO problem). > > >> > > >> Thanks very much! > > >>> OTOH, does it make sense to block writes within khugepaged, like: > > >>> > > >>> diff --git i/mm/khugepaged.c w/mm/khugepaged.c > > >>> index 045cc579f724e..ad7c41ec15027 100644 > > >>> --- i/mm/khugepaged.c > > >>> +++ w/mm/khugepaged.c > > >>> @@ -51,6 +51,7 @@ enum scan_result { > > >>> SCAN_CGROUP_CHARGE_FAIL, > > >>> SCAN_TRUNCATED, > > >>> SCAN_PAGE_HAS_PRIVATE, > > >>> + SCAN_BUSY_WRITE, > > >>> }; > > >>> > > >>> #define CREATE_TRACE_POINTS > > >>> @@ -1652,6 +1653,11 @@ static void collapse_file(struct mm_struct= *mm, > > >>> /* Only allocate from the target node */ > > >>> gfp =3D alloc_hugepage_khugepaged_gfpmask() | __GFP_THI= SNODE; > > >>> > > >>> + if (deny_write_access(file)) { > > >>> + result =3D SCAN_BUSY_WRITE; > > >>> + return; > > >>> + } > > >>> + > > >> This can indeed avoid some possible races from source. > > >> > > >> But, I am thinking about whether this will lead to DDoS attack? > > >> I remember the reason of DSO has ignored MAP_DENYWRITE in kernel > > >> is that DDoS attack. In addition, 'deny_write_access' will change > > >> the behavior, such as user will get 'Text file busy' during > > >> collapse_file. I am not sure whether the behavior changing is acce= ptable > > >> in user space. > > >> > > >> If it is acceptable, I am very willing to fix the races like your = way. > > > > > > I guess we should not let the write get ETXTBUSY for khugepaged wor= k. > > > > > > I am getting some segfault on stress_madvise_dso. And it doesn't re= ally > > > generate the bug stack in my vm (qemu-system-x86_64). Is there an n= ewer > > Hi, I can sure I am not update the stress_madvise_dso.c. > > > > My test environment is vm (qemu-system-aarch64, 32 cores). And I can > > think of the following possibilities: > > > > (1) in thread_read() > > > > printf("read %s\n", dso_path); > > d =3D open(dso_path, O_RDONLY); > > /* The start addr must be alignment with 2M */ > > void *p =3D mmap((void *)0x40000dc00000UL, 0x800000, PROT_READ | > > PROT_EXEC,MAP_PRIVATE, fd, 0); > > if (p =3D=3D MAP_FAILED) { > > perror("mmap"); > > goto out; > > } > > > > 0x40000dc00000 is random setting by myself. I am not sure this addres= s > > is available in your vm. > > > > (2) in thread_write() > > int fd =3D open(dso_path, O_RDWR); > > p =3D mmap(NULL, 0x800000, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0)= ; > > if (p =3D=3D MAP_FAILED) { > > perror("mmap"); > > goto out; /* fail */ > > } > > > > because of I am sure the DSO is bigger than 0x800000, so directly map > > the DSO using 0x800000. Maybe I had use '-z max-page-size=3D0x200000'= to > > compile the DSO? likes: > > $ gcc -z max-page-size=3D0x200000 -o libtest.so -shared libtest.o > > > > If you don't mind, you can send the segment fault log to me. And I wi= ll > > find x86 environment to test. >=20 > I fixed the segfault with > 1. malloc buf (as it is too big for stack) in thread_read > 2. reduce memcpy() size in thread_read. >=20 > Now, I am able to crash the system on > find_lock_entries () { > ... > VM_BUG_ON_PAGE(page->index !=3D xas.xa_index, page); > } > I guess it is related. I will test more. That's a bogus VM_BUG_ON. I have a patch in my tree to delete it. Andrew has it too, but for some reason, he hasn't sent it on to Linus. +++ b/mm/filemap.c @@ -2093,7 +2093,6 @@ unsigned find_lock_entries(struct address_space *ma= pping, pgoff_t start, if (!xa_is_value(page)) { if (page->index < start) goto put; - VM_BUG_ON_PAGE(page->index !=3D xas.xa_index, pag= e); if (page->index + thp_nr_pages(page) - 1 > end) goto put; if (!trylock_page(page))