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=-18.3 required=3.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED, USER_IN_DEF_DKIM_WL 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 26DC6C433DB for ; Thu, 25 Feb 2021 17:49:47 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 69B6364F2E for ; Thu, 25 Feb 2021 17:49:46 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 69B6364F2E Authentication-Results: mail.kernel.org; dmarc=fail (p=reject dis=none) header.from=google.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id F24B48D0001; Thu, 25 Feb 2021 12:49:45 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id EF9476B0070; Thu, 25 Feb 2021 12:49:45 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id D754A8D0001; Thu, 25 Feb 2021 12:49:45 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0077.hostedemail.com [216.40.44.77]) by kanga.kvack.org (Postfix) with ESMTP id C25086B006E for ; Thu, 25 Feb 2021 12:49:45 -0500 (EST) Received: from smtpin09.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay03.hostedemail.com (Postfix) with ESMTP id 8C3778248068 for ; Thu, 25 Feb 2021 17:49:45 +0000 (UTC) X-FDA: 77857527930.09.6525B8A Received: from mail-il1-f182.google.com (mail-il1-f182.google.com [209.85.166.182]) by imf29.hostedemail.com (Postfix) with ESMTP id 187DAD5 for ; Thu, 25 Feb 2021 17:49:44 +0000 (UTC) Received: by mail-il1-f182.google.com with SMTP id e7so5671981ile.7 for ; Thu, 25 Feb 2021 09:49:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=UJnQze4s7vswISnbCGhHflL3OZsJL4Q4R5lNZ0nK1fM=; b=uqliQ2HiXjIlljT41RRdBjWbql98IXfonVNnsJ8p4wEwWJlJT/qgnfwfgE1TgHWJSL oFgsAKmLf62KPP9v3dnv23ogV7UrTyC3k7q3g/+FZHFbRoJWGLivcDvRgeDG5Jd0z51N MvV1+O0xAzm1qlUJfmsyTyQCQJNgZk0d5b1OtEYLbq4rbEsBAqES3pVvP5D1LmjqTiBh U7YFjx3KBBERlE+s3u/mtfNY22QEoKrBUHqHfDJYjGS0K1m1g6bQ7OQvgOzsqJONy18Y n1XtEv3Jezg0ODRxxDEpH2Yk1TaQBixWcVhyco+Zedq7g0b54wkzDnfFgSrLN34yLIpN 4v/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=UJnQze4s7vswISnbCGhHflL3OZsJL4Q4R5lNZ0nK1fM=; b=HuJDRO6Gutz26lzo7YrMr1IMs1niLDFuY0mi1+uLaG2tQeRuuC33/tyHZZRTLIxsMR fahpCcknMkqZldyiynFE2mZTC3BpSoCt9xRj08nL37C682WfOvzQYqyyxyb1nYTsViPl orAFo+jgQq5qKx9Xz9nX61sKewU0BejBo4vtseW5qm+5U5EjX5HAKc4NoqaXg0TzvXNg CSEagYswnCs7m7Q4X4F7hB3IepXTItsB59nXYZEM1z16K+G5rVwsWnLUqsosvKWMYysu UjIhlgafUPMO9yY335zm+cetqtSExSfxlaNleLxQW79B6SAwJ5VrDMJodJ9HcmvLZugD cJiQ== X-Gm-Message-State: AOAM533pYHXQKVTgSuwz/HEaU3cnqX7oVzCI7KhhlZSNOUoi4D3moozV EOP3evwHFUwvAMgz+zPVk3coJszeqZEbXdbMbnAJSg== X-Google-Smtp-Source: ABdhPJxRfypj7tZiS+BTmPCM/z3vDlkHH9RIC5lMCuFP7wUiggbVRnTPOj21kcRQ+dCpMmznHlbmqjeyoZRZIeuZW7g= X-Received: by 2002:a05:6e02:1c8d:: with SMTP id w13mr3503003ill.301.1614275384038; Thu, 25 Feb 2021 09:49:44 -0800 (PST) MIME-Version: 1.0 References: <20210219004824.2899045-1-axelrasmussen@google.com> <20210219004824.2899045-2-axelrasmussen@google.com> <6aefd704-f720-35dc-d71c-da9840dc93a6@oracle.com> In-Reply-To: <6aefd704-f720-35dc-d71c-da9840dc93a6@oracle.com> From: Axel Rasmussen Date: Thu, 25 Feb 2021 09:49:07 -0800 Message-ID: Subject: Re: [PATCH v7 1/6] userfaultfd: add minor fault registration mode To: Mike Kravetz Cc: Alexander Viro , Alexey Dobriyan , Andrea Arcangeli , Andrew Morton , Anshuman Khandual , Catalin Marinas , Chinwen Chang , Huang Ying , Ingo Molnar , Jann Horn , Jerome Glisse , Lokesh Gidra , "Matthew Wilcox (Oracle)" , Michael Ellerman , =?UTF-8?Q?Michal_Koutn=C3=BD?= , Michel Lespinasse , Mike Rapoport , Nicholas Piggin , Peter Xu , Shaohua Li , Shawn Anastasio , Steven Rostedt , Steven Price , Vlastimil Babka , LKML , linux-fsdevel@vger.kernel.org, Linux MM , Adam Ruprecht , Cannon Matthews , "Dr . David Alan Gilbert" , David Rientjes , Mina Almasry , Oliver Upton Content-Type: text/plain; charset="UTF-8" X-Rspamd-Server: rspam04 X-Rspamd-Queue-Id: 187DAD5 X-Stat-Signature: 37czaubhskketr7ojg8a8hs5ik6365yt Received-SPF: none (google.com>: No applicable sender policy available) receiver=imf29; identity=mailfrom; envelope-from=""; helo=mail-il1-f182.google.com; client-ip=209.85.166.182 X-HE-DKIM-Result: pass/pass X-HE-Tag: 1614275384-819116 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, Feb 24, 2021 at 4:26 PM Mike Kravetz wrote: > > On 2/18/21 4:48 PM, Axel Rasmussen wrote: > > > @@ -401,8 +398,10 @@ vm_fault_t handle_userfault(struct vm_fault *vmf, unsigned long reason) > > > > BUG_ON(ctx->mm != mm); > > > > - VM_BUG_ON(reason & ~(VM_UFFD_MISSING|VM_UFFD_WP)); > > - VM_BUG_ON(!(reason & VM_UFFD_MISSING) ^ !!(reason & VM_UFFD_WP)); > > + /* Any unrecognized flag is a bug. */ > > + VM_BUG_ON(reason & ~__VM_UFFD_FLAGS); > > + /* 0 or > 1 flags set is a bug; we expect exactly 1. */ > > + VM_BUG_ON(!reason || !!(reason & (reason - 1))); > > I may be confused, but that seems to be checking for a flag value of 1 > as opposed to one flag being set? (Assuming I implemented it correctly!) It's the logical negation of this trick: https://graphics.stanford.edu/~seander/bithacks.html#DetermineIfPowerOf2 So, it's "VM_BUG_ON(reason is *not* a power of 2)". Maybe the double negation makes it overly confusing? It ought to be equivalent if we remove it and just say: VM_BUG_ON(!reason || (reason & (reason - 1))); > > > > > if (ctx->features & UFFD_FEATURE_SIGBUS) > > goto out; > > > diff --git a/mm/hugetlb.c b/mm/hugetlb.c > > index 3bfba75f6cbd..0388107da4b1 100644 > > --- a/mm/hugetlb.c > > +++ b/mm/hugetlb.c > > @@ -4352,6 +4352,38 @@ static vm_fault_t hugetlb_no_page(struct mm_struct *mm, > > VM_FAULT_SET_HINDEX(hstate_index(h)); > > goto backout_unlocked; > > } > > + > > + /* Check for page in userfault range. */ > > + if (userfaultfd_minor(vma)) { > > + u32 hash; > > + struct vm_fault vmf = { > > + .vma = vma, > > + .address = haddr, > > + .flags = flags, > > + /* > > + * Hard to debug if it ends up being used by a > > + * callee that assumes something about the > > + * other uninitialized fields... same as in > > + * memory.c > > + */ > > + }; > > + > > + unlock_page(page); > > + > > + /* > > + * hugetlb_fault_mutex and i_mmap_rwsem must be dropped > > + * before handling userfault. Reacquire after handling > > + * fault to make calling code simpler. > > + */ > > + > > + hash = hugetlb_fault_mutex_hash(mapping, idx); > > + mutex_unlock(&hugetlb_fault_mutex_table[hash]); > > + i_mmap_unlock_read(mapping); > > + ret = handle_userfault(&vmf, VM_UFFD_MINOR); > > + i_mmap_lock_read(mapping); > > + mutex_lock(&hugetlb_fault_mutex_table[hash]); > > + goto out; > > + } > > } > > > > /* > > > > I'm good with the hugetlb.c changes. Since this in nearly identical to > the other handle_userfault() in this routine, it might be good to create > a common wrapper. But, that is not required. Makes sense, I can send a v9 with a helper for this defined. I'll wait until at least next week to do so, to pick up any other comments v8 may get in the meantime. Thanks! > -- > Mike Kravetz