Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp3561900imu; Fri, 30 Nov 2018 02:20:57 -0800 (PST) X-Google-Smtp-Source: AFSGD/V5EWDdorEqyy9+E2m86UMEeETs0Cqu2vPED8duHeUA5clchkBTwrO56mBtsqTgl1KZhrBp X-Received: by 2002:a17:902:15a8:: with SMTP id m37-v6mr5125359pla.256.1543573257436; Fri, 30 Nov 2018 02:20:57 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1543573257; cv=none; d=google.com; s=arc-20160816; b=D113vUAqsgjqEcipxsoxIdbrC2wC0TQR2jfbyjqXxsO+ZpLh1sDeSMumyrde1phAqe jBDqtVfvsfuDP1PCogRi/KGK7ma9FroAKd2V/C0+ZrONbiEl0iq3PBd3qTLDRf9p6OQF IINXgRsPYbozn5iiGhOvP/EIr8IfkW8pB/BbyNV2JmYLIctt9KWgMbE0irXkY9zDjBPo vUug2ZD6gJyTtU+O8Xzq4Yzm09VpXe69BLpwxBKjMAD1LYJwa53zOoMePqsrY1rw4IgT Iunni3SICt9PrZqlqtWXXZsfzSHrBNjA1ZVEYhfNcmLbWTdNcCWLpro5UC7jtKMLTfvH Xkgw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature; bh=+YWiKKUgLodwOXkLIOrsJw0vbFaB8rOlRN4as8zZsNo=; b=f7obmVzteWOUDbD8QCuj1CUWOaAeLET39r0US6c69ZKYWAJaaKUqI3fJNdZVsRiByn hMB/LcXZSU3AcfLemioSp1YuAuIeHmf38zVA9vokuhtgtNFn3huYqliLpbMtywuadTr5 S7vLiQ8VwVJbdcBCQJjkWfKiqChQQZSEEFlgBh2QdPBec6aC7clIDYQb+KwktwJXvp8O moGb9heo+ZQz4biPWBBMQFhhH2BES2vM/X6oqJ79JroTU45dDbeLpjQkmP+4IfIklabc T5WLeyTWu1b8Gc2LwdXJjjNU0rm/An3mAUDDLgHYMfayHgn73ZHb11QAbn0y66A2r2/q rucg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@shutemov-name.20150623.gappssmtp.com header.s=20150623 header.b=XYU41ssU; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id 10si5022714pfy.206.2018.11.30.02.20.42; Fri, 30 Nov 2018 02:20:57 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@shutemov-name.20150623.gappssmtp.com header.s=20150623 header.b=XYU41ssU; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726644AbeK3V2r (ORCPT + 99 others); Fri, 30 Nov 2018 16:28:47 -0500 Received: from mail-pl1-f194.google.com ([209.85.214.194]:34175 "EHLO mail-pl1-f194.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726512AbeK3V2r (ORCPT ); Fri, 30 Nov 2018 16:28:47 -0500 Received: by mail-pl1-f194.google.com with SMTP id w4so2596674plz.1 for ; Fri, 30 Nov 2018 02:19:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=shutemov-name.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=+YWiKKUgLodwOXkLIOrsJw0vbFaB8rOlRN4as8zZsNo=; b=XYU41ssUMqcMo4z5OxV7SXLEWoZtNaViopfCbGICP72b6GxkWYQrxISt5+wfJlOuM3 eZxQuP4ft7fXRfoFkaeT6s9dfymCVufWXDMVfksO57rKnZB/eHm5x9Eu89FYJqwC6Npf vvdcc2oArr4gC9Ra40x14t4ZMftxzZiLwV8i4G2zdbKxcYYdDL94f0NB87x3/MoUq7RH j4txyG8NrxqI4AfgIvQ2jaZVGmc5Y/cNBMgOnyqeoEeLNb8qIIVkc4P3vQWmfBqJjh+g JUlBSh6fx+0qCPZHI71HlzbEq+RoD6chmnuBdkoAImscZsggxtg6Y4oEu70N5/CW+4u2 8tvg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=+YWiKKUgLodwOXkLIOrsJw0vbFaB8rOlRN4as8zZsNo=; b=j1VQ4jrPzKQVtZnGWGHK8om9y1kZiM5Jppng5b9+HpXKGiTk4HgBOlmZQfPllozYNx b009WuZIc+/4quE6Qh4WzY8JQGegV7jX95DRnCUdGwp1UUDHNZlABt5Qq3AZathtH5vs mhB38RmF/Mi7T/iuzOCJ41MUf2y/4Gbw7TMF1HP9aB6f2tPIcpdNlIuZ5AYDxzmOImNH Hr/e/qBGCnJ4FgI/cWzDPRd3rJMmoldDRSuRQLpD2dKdPJNms4tq7wzsOv6dFaruPU8r ut3UyjeUpOPqSjbVTnY1uRjQK73WUd7BCjLGvEotr/+g0SRhwvZEA1FH/606oPtmiQYC 22qg== X-Gm-Message-State: AA+aEWaTJbeNlaKBi2/U30hOGd7ivfukgkYUO4qKUvI4Fiv+S5gdY4He T6aKkKudr7D6F6BZ75dQU0K7aQ== X-Received: by 2002:a17:902:e002:: with SMTP id ca2mr5193544plb.103.1543573198720; Fri, 30 Nov 2018 02:19:58 -0800 (PST) Received: from kshutemo-mobl1.localdomain (fmdmzpr04-ext.fm.intel.com. [192.55.54.39]) by smtp.gmail.com with ESMTPSA id k14sm11277530pgs.52.2018.11.30.02.19.57 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 30 Nov 2018 02:19:57 -0800 (PST) Received: by kshutemo-mobl1.localdomain (Postfix, from userid 1000) id 8A83D30042C; Fri, 30 Nov 2018 13:19:53 +0300 (+03) Date: Fri, 30 Nov 2018 13:19:53 +0300 From: "Kirill A. Shutemov" To: Jan Stancek Cc: linux-mm@kvack.org, lersek@redhat.com, alex.williamson@redhat.com, aarcange@redhat.com, rientjes@google.com, mgorman@techsingularity.net, mhocko@suse.com, linux-kernel@vger.kernel.org Subject: Re: [PATCH] mm: page_mapped: don't assume compound page is huge or THP Message-ID: <20181130101953.u4owfaqmaq2osuod@kshutemo-mobl1> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20180716 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Nov 29, 2018 at 10:53:48PM +0100, Jan Stancek wrote: > LTP proc01 testcase has been observed to rarely trigger crashes > on arm64: > page_mapped+0x78/0xb4 > stable_page_flags+0x27c/0x338 > kpageflags_read+0xfc/0x164 > proc_reg_read+0x7c/0xb8 > __vfs_read+0x58/0x178 > vfs_read+0x90/0x14c > SyS_read+0x60/0xc0 > > Issue is that page_mapped() assumes that if compound page is not > huge, then it must be THP. But if this is 'normal' compound page > (COMPOUND_PAGE_DTOR), then following loop can keep running until > it tries to read from memory that isn't mapped and triggers a panic: > for (i = 0; i < hpage_nr_pages(page); i++) { > if (atomic_read(&page[i]._mapcount) >= 0) > return true; > } > > I could replicate this on x86 (v4.20-rc4-98-g60b548237fed) only > with a custom kernel module [1] which: > - allocates compound page (PAGEC) of order 1 > - allocates 2 normal pages (COPY), which are initialized to 0xff > (to satisfy _mapcount >= 0) > - 2 PAGEC page structs are copied to address of first COPY page > - second page of COPY is marked as not present > - call to page_mapped(COPY) now triggers fault on access to 2nd COPY > page at offset 0x30 (_mapcount) > > [1] https://github.com/jstancek/reproducers/blob/master/kernel/page_mapped_crash/repro.c > > This patch modifies page_mapped() to check for 'normal' > compound pages (COMPOUND_PAGE_DTOR). > > Debugged-by: Laszlo Ersek > Signed-off-by: Jan Stancek > --- > include/linux/mm.h | 9 +++++++++ > mm/util.c | 2 ++ > 2 files changed, 11 insertions(+) > > diff --git a/include/linux/mm.h b/include/linux/mm.h > index 5411de93a363..18b0bb953f92 100644 > --- a/include/linux/mm.h > +++ b/include/linux/mm.h > @@ -700,6 +700,15 @@ static inline compound_page_dtor *get_compound_page_dtor(struct page *page) > return compound_page_dtors[page[1].compound_dtor]; > } > > +static inline int PageNormalCompound(struct page *page) > +{ > + if (!PageCompound(page)) > + return 0; > + > + page = compound_head(page); > + return page[1].compound_dtor == COMPOUND_PAGE_DTOR; > +} > + > static inline unsigned int compound_order(struct page *page) > { > if (!PageHead(page)) > diff --git a/mm/util.c b/mm/util.c > index 8bf08b5b5760..06c1640cb7b3 100644 > --- a/mm/util.c > +++ b/mm/util.c > @@ -478,6 +478,8 @@ bool page_mapped(struct page *page) > return true; > if (PageHuge(page)) > return false; > + if (PageNormalCompound(page)) > + return false; > for (i = 0; i < hpage_nr_pages(page); i++) { > if (atomic_read(&page[i]._mapcount) >= 0) > return true; Thanks for catching this. But I think the right fix would be to change the loop condition: for (i = 0; i < (1 << compund_order(page)); i++) { Non-THP compound page also can be mapped and we need to check mapcount of subpages. Any objections? If not, please update the patch. -- Kirill A. Shutemov