Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Fri, 12 May 2023 14:06:36 -0300
From:   Jason Gunthorpe <jgg@nvidia.com>
To:     Peter Xu <peterx@redhat.com>
Cc:     linux-mm@kvack.org, linux-kernel@vger.kernel.org,
        John Hubbard <jhubbard@nvidia.com>,
        Andrew Morton <akpm@linux-foundation.org>,
        "Kirill A . Shutemov" <kirill@shutemov.name>,
        Lorenzo Stoakes <lstoakes@gmail.com>,
        David Hildenbrand <david@redhat.com>
Subject: Re: [PATCH] mm/gup: Fixes FOLL_UNLOCKABLE against FOLL_NOWAIT
Message-ID: <ZF5yHLMDCLq4IBqC@nvidia.com>
References: <20230512003102.3149737-1-peterx@redhat.com>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20230512003102.3149737-1-peterx@redhat.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?IML6g+CLYyKRgJbTEwEMZbTMgHYNG0jjCJv9rB9r0V0iacT/W6k8sJaeJ280?=
 =?us-ascii?Q?CTgwODVMLgQ/EJJyTWw+RyLpSX/ZjC+YiwLMi2Q+ILfhcypQUIvfNIV9VYYq?=
 =?us-ascii?Q?n5HSsVycn5AJfDaZoB4BOPULII+0kvtCIOH1I57qc71sz28GjuNkfXq3cj+2?=
 =?us-ascii?Q?Gzo9rLilxTrjsgv3yZLyd3WNmmEKXtri8HhEJ0OE4mkWGNAFid7y85kD+ypP?=
 =?us-ascii?Q?aYar6CAe2140EHzgtlYiHLv4D66vhI57l/7hIP/Ki1UJRn4zyjNpMPPlxU1E?=
 =?us-ascii?Q?hnZZr9p3oMiJzrxlDkjDldkD8Ox80mtYrPXcJcJMLCHgCfFbVDBLrjziSwAA?=
 =?us-ascii?Q?Qa5Gxd8w2Bh4osgaWMZGv1xnISCwf3/31KQ1WqnOdI9cLYN6ivHhTQiI4TRL?=
 =?us-ascii?Q?Nkl/frBlDUKnGoNO9nC+Q9tjGjXMzM1OMaf7ES9uttmCJ7RIfHFppTDBILq2?=
 =?us-ascii?Q?Klg97ZV7E+uvYUP5L+U+feMpQQ9qSVifhHZPskwUWBmu9tpB7BjNSJDZkzxf?=
 =?us-ascii?Q?kGD3b453nmuieIy6YZ6QR8xuEp/endhemMYfTy5gRrBWj3szwVcv1LNEcQVf?=
 =?us-ascii?Q?kUmBnk/zHLQOTWbpumAuaoOXmqUYe8APuEZxqeD8MYjLk6HJeM+nZ3BZOUBe?=
 =?us-ascii?Q?U706tzX9NUnzcxLUSdAp+xIOjfFdym9QmsRWzWJqTrghhgaTzKWm65aukZ6R?=
 =?us-ascii?Q?rm485POq5Le+cvM9YWXS6sQf+NV2qW03JlLWpyMm7eYrtueJq5o/pg75cOGt?=
 =?us-ascii?Q?2kx8LwYu3JEqGDbQl5lmH71DMKsukrTLuDAuECmL6ZnvV5y1MnFtDrrPXrEe?=
 =?us-ascii?Q?RLbabsZ7Ce6Z2WMtwW4sROFHh4QluggCKfUrS3hccOQpcy3Uu/Obj8UgwIMF?=
 =?us-ascii?Q?bU1PYBqERPabEzRlyBrjcllU3GrEsouCqGIb0xJZy7bUnYQyFCcpk1I0QTIF?=
 =?us-ascii?Q?gyGD3FZDOU4kWLm/Zw/MB4PQL/pK52NNFQnJRL7ly/RNS7f9wXk7yI6jfdZz?=
 =?us-ascii?Q?2WfP0S+9UcnC4hfAqZEQb4wNfvVd4JOr1nY2Tmzek+q6/seo9Nl4CeLuTbLg?=
 =?us-ascii?Q?987/86DAek9SvkEUxo6na/aQeKlZs5ZCrSwZShUnULdiUPdXaCgUixigGeZh?=
 =?us-ascii?Q?BmJX7dEDjLnCkV1i6xXLJP4WQhUVIFnSsIOjdbNKBhgd9inGWdEKRpztDzju?=
 =?us-ascii?Q?Rysuc0HQYRf8vWyQAMaZIDbkkmlKBx51UjgJ9yj2wAyWjK5WAkOocggIYoO6?=
 =?us-ascii?Q?o+khyIaRBFJJNCl6fTdg5MOzfsyzZQdII+c1PIIfHp9pWiMbG90ex//nvoxc?=
 =?us-ascii?Q?mBNKXNE+KBxYwNMWyKo4gJ32YATI5mpYqoimPOKQ5d0pZfgaBoaXU9iboRxH?=
 =?us-ascii?Q?H5CoB7LA1kRRJgsjHX35hjFI1Z4SNVFHAqfGJHYzdhWYddTtUnMw5irro0/h?=
 =?us-ascii?Q?7KT51KZxsFqBuHWpRhf4q5S6QOP36pv9HBkfXUZpKEEvAu+fP4Y1UYhGtkin?=
 =?us-ascii?Q?3MgHMbHJ6bku5z9GdqbutS4To3a3V5cS3L8xoiAujxwsJAlo3jpLh6UL86rI?=
 =?us-ascii?Q?d5trtpxymXnntR9AlAY=3D?=
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 1b55660b-085b-443e-fc87-08db530b4052
X-MS-Exchange-CrossTenant-AuthSource: LV2PR12MB5869.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 May 2023 17:06:39.3333
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 43083d15-7273-40c1-b7db-39efd9ccc17a
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: Nv+gxzC1pjHnpX7CVmAgxhbotw9uXXVFKK6xZqZe5i47NcNdHi9kdav6ZcX439Vp
X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR12MB8587
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FORGED_SPF_HELO,
        RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_NONE,
        T_SCC_BODY_TEXT_LINE,URIBL_BLOCKED autolearn=no autolearn_force=no
        version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Thu, May 11, 2023 at 08:31:02PM -0400, Peter Xu wrote:

> E.g., with current code we could at last have FAULT_FLAG_RETRY_NOWAIT set
> even if with a FOLL_UNLOCKABLE gup which doesn't make a lot of
> sense.

I would say NOWAIT and UNLOCKABLE are different things. UNLOCKABLE
says the mmap sem is allowed to be unlocked, which is true, and NOWAIT
says it shouldn't "wait" (which is something more nebulous than just
sleep). In FOLL_ flag terms it would be fine if the mmap sem was
unlocked while doing NOWAIT - even though the fault hanlder will not
doe this.

The only caller is fine with this too.

!UNLOCKABLE literally means not to ever drop the mmap lock which is
not something KVM needs at all.

So I'd say it is fine as is. A caller should never assume that calling
an unlocked function or passing null locked means that the mmap sem
won't be unlocked while running indirectly because of other GUP
flags. If it wants this behavior it needs to ask for it explicitly
with a locked GUP call and a NULL locked.

> Since at it, the same commit added unconditional FOLL_UNLOCKABLE in
> faultin_vma_page_range(), which is code-wise correct becuase the helper
> only has one user right now and it always has "locked" set.  

Not quite, it is correct because that is the API contract of this
function. The caller must provide a non-NULL locked and non-NULL
locked at the external interfaces always mean it can be unlocked while
running.

> However it can be abused if someone reuse faultin_vma_page_range()
> in other call sites in the future.  Add a sanity check for that,
> also add the missing comment for UNLOCKABLE.

Then we have bigger problems because the API has become confusing if a
non-NULL locked somehow means 'don't ever unlock', but only sometimes.

Jason