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=-6.9 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH, MAILING_LIST_MULTI,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS autolearn=ham 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 459E8C3F2D1 for ; Mon, 2 Mar 2020 20:23:05 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id ECBEE21739 for ; Mon, 2 Mar 2020 20:23:04 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="A5GPLOqP" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org ECBEE21739 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=redhat.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 9F0996B0005; Mon, 2 Mar 2020 15:23:04 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 97A956B0006; Mon, 2 Mar 2020 15:23:04 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 8414A6B0007; Mon, 2 Mar 2020 15:23:04 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0203.hostedemail.com [216.40.44.203]) by kanga.kvack.org (Postfix) with ESMTP id 679386B0005 for ; Mon, 2 Mar 2020 15:23:04 -0500 (EST) Received: from smtpin29.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id 2CF8F6D6F for ; Mon, 2 Mar 2020 20:23:04 +0000 (UTC) X-FDA: 76551546288.29.duck24_54f47cafaef1f X-HE-Tag: duck24_54f47cafaef1f X-Filterd-Recvd-Size: 6527 Received: from us-smtp-1.mimecast.com (us-smtp-delivery-1.mimecast.com [205.139.110.120]) by imf38.hostedemail.com (Postfix) with ESMTP for ; Mon, 2 Mar 2020 20:23:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1583180583; h=from:from: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:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=oxn/eiYVGoeC8jvG3HtVkTwcy/aGEMbyS/SEJTBl1Y8=; b=A5GPLOqPBOllF0Is4C+AqeU6B07l2t5Aqlg1hg2hSDKEyOQUereQec5qVYu1KOXx7Vqji6 NJX1x/FNnhYLxItoyrTsUkHgV1om4JLJAEYJckQJUECrj0hpXgWpsAZKb/44jEdRwe2uUO YYnP0k2R3uJ2zPttqfziKLTbk9W6C1Q= Received: from mail-wm1-f70.google.com (mail-wm1-f70.google.com [209.85.128.70]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-380-3IKFZfRcNXiAQwZCM2AVUA-1; Mon, 02 Mar 2020 15:23:01 -0500 X-MC-Unique: 3IKFZfRcNXiAQwZCM2AVUA-1 Received: by mail-wm1-f70.google.com with SMTP id 7so178015wmo.7 for ; Mon, 02 Mar 2020 12:23:00 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:content-transfer-encoding:from:mime-version :subject:date:message-id:references:cc:in-reply-to:to; bh=1v3eeaBvxWW08CKlRkVMkWVuW1t+GrIzi7YMfXOkG78=; b=SWHSlUZxmYxiOUTWv9P8AkckMjb4p74J8d/B2OI/31DmLWGne7kVcETAn5dLe1CmqB lwpba8erb5JkG4h3MITELm32xdxxO8u5iMPN+eiCzGzvM8sJSYGSM73jL5NA2uZmmtys +pQyByfMyDFl+YOgqVv513ybr0HhK20DgACgYb3jxsFedRe0N32+WMKTOogCMI6PhV+Y YAbxk0HxIOqFO60cNULKFQ6KrGwJwj8HroqLRcNG/CkBiPez1YLzA7CCd0Jhv8I0HwNv ezkNpqfDy/BvJDB7KqYJ+YNNoODbWeMlkZH7oda3xYn4dme2jKQ5Jgk7+lr17yrGyvxj Zd7w== X-Gm-Message-State: ANhLgQ3pziqKxlSAfIJKnQuqYMCLaegkwg9fDEzwwyC/izT6TQhsxZ0u 3i/eBhIwJt140x/HX0PUJBWmt7aCrhrJp1VGSg7IVDLem0WMzbQcfrI5UHSLX5rCDyyCmAPHWdO B3O+Y1abG1GU= X-Received: by 2002:a5d:4b09:: with SMTP id v9mr1170186wrq.85.1583180579500; Mon, 02 Mar 2020 12:22:59 -0800 (PST) X-Google-Smtp-Source: ADFU+vuk1tLHYCQN5PVOToQUfe18XsP5CatCYQfDDsLOb5ElxjkF0oSmYiEAR1227TUWRygo8Q0VWQ== X-Received: by 2002:a5d:4b09:: with SMTP id v9mr1170154wrq.85.1583180579234; Mon, 02 Mar 2020 12:22:59 -0800 (PST) Received: from [192.168.3.122] (p5B0C64B4.dip0.t-ipconnect.de. [91.12.100.180]) by smtp.gmail.com with ESMTPSA id j205sm204790wma.42.2020.03.02.12.22.58 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 02 Mar 2020 12:22:58 -0800 (PST) From: David Hildenbrand Mime-Version: 1.0 (1.0) Subject: Re: [PATCH RESEND v6 02/16] mm/gup: Fix __get_user_pages() on fault retry of hugetlb Date: Mon, 2 Mar 2020 21:22:57 +0100 Message-Id: <671E8651-F7BB-48AF-AFA8-AB38C7AE7BFE@redhat.com> References: <20200302200731.GA464129@xz-x1> Cc: David Hildenbrand , linux-mm@kvack.org, linux-kernel@vger.kernel.org, Andrea Arcangeli , Martin Cracauer , Linus Torvalds , Mike Rapoport , "Kirill A . Shutemov" , Johannes Weiner , "Dr . David Alan Gilbert" , Bobby Powers , Maya Gokhale , Jerome Glisse , Mike Kravetz , Matthew Wilcox , Marty McFadden , Mel Gorman , Hugh Dickins , Brian Geffon , Denis Plotnikov , Pavel Emelyanov In-Reply-To: <20200302200731.GA464129@xz-x1> To: Peter Xu X-Mailer: iPhone Mail (17D50) X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=utf-8 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: > Am 02.03.2020 um 21:07 schrieb Peter Xu : >=20 > =EF=BB=BFOn Mon, Mar 02, 2020 at 08:02:34PM +0100, David Hildenbrand wrot= e: >>> On 20.02.20 16:53, Peter Xu wrote: >>> When follow_hugetlb_page() returns with *locked=3D=3D0, it means we've = got >>> a VM_FAULT_RETRY within the fauling process and we've released the >>> mmap_sem. When that happens, we should stop and bail out. >>>=20 >>> Signed-off-by: Peter Xu >>> --- >>> mm/gup.c | 10 ++++++++++ >>> 1 file changed, 10 insertions(+) >>>=20 >>> diff --git a/mm/gup.c b/mm/gup.c >>> index 1b4411bd0042..76cb420c0fb7 100644 >>> --- a/mm/gup.c >>> +++ b/mm/gup.c >>> @@ -849,6 +849,16 @@ static long __get_user_pages(struct task_struct *t= sk, struct mm_struct *mm, >>> i =3D follow_hugetlb_page(mm, vma, pages, vmas, >>> &start, &nr_pages, i, >>> gup_flags, locked); >>> + if (locked && *locked =3D=3D 0) { >>> + /* >>> + * We've got a VM_FAULT_RETRY >>> + * and we've lost mmap_sem. >>> + * We must stop here. >>> + */ >>> + BUG_ON(gup_flags & FOLL_NOWAIT); >>> + BUG_ON(ret !=3D 0); >>=20 >> Can we be sure ret is really set to !=3D 0 at this point? At least, >> reading the code this is not clear to me. >=20 > Here I wanted to make sure ret is zero (it's BUG_ON, not assert). Sorry, I completely misread that BUG_ON for whatever reason, maybe I was st= aring for too long into my computer screen :) >=20 > "ret" is the fallback return value only if error happens when i=3D=3D0. > Here we want to make sure even if no page is pinned we'll return zero > gracefully when VM_FAULT_RETRY happened when following the hugetlb > pages. Makes sense! >=20 >>=20 >> Shouldn't we set "ret =3D i" and assert that i is an error (e.g., EBUSY?= ). >> Or set -EBUSY explicitly? >=20 > No. Here "i" could only be either positive (when we've got some pages > pinned no matter where), or zero (when follow_hugetlb_page released > the mmap_sem on the first page that it wants to pin). So imo "i" > should never be negative instead. I briefly scanned the function and spotted some errors being returned, that= =E2=80=98s why I was wondering. Thanks!