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:   Tue, 18 Apr 2023 15:19:32 -0300
From:   Jason Gunthorpe <jgg@nvidia.com>
To:     Pavel Begunkov <asml.silence@gmail.com>
Cc:     Lorenzo Stoakes <lstoakes@gmail.com>, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org,
        Andrew Morton <akpm@linux-foundation.org>,
        Matthew Wilcox <willy@infradead.org>,
        David Hildenbrand <david@redhat.com>,
        Jens Axboe <axboe@kernel.dk>, io-uring@vger.kernel.org
Subject: Re: [PATCH 5/7] io_uring: rsrc: use FOLL_SAME_FILE on
 pin_user_pages()
Message-ID: <ZD7fNMR9Tyjph/QS@nvidia.com>
References: <cover.1681508038.git.lstoakes@gmail.com>
 <17357dec04b32593b71e4fdf3c30a346020acf98.1681508038.git.lstoakes@gmail.com>
 <ZD1CAvXee5E5456e@nvidia.com>
 <c19b3651-624b-f60e-3e63-fe9fadc6981f@gmail.com>
 <ZD7HGbdBt1XqIDX/@nvidia.com>
 <61ded378-51a8-1dcb-b631-fda1903248a9@gmail.com>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <61ded378-51a8-1dcb-b631-fda1903248a9@gmail.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?8mczCMQ3POpfcZXv1SZyNMcl/E3k4ReZcslLPtGUQ1mVRhuLVuGIzmggkp4/?=
 =?us-ascii?Q?GjpGdPBiuKrirPKPVKpo3KsycEYyecBmpVl+D0Z3oIRJfBbCKVQLHZb4bSsi?=
 =?us-ascii?Q?92GvSXzsuo7MZqWM7h1uHD46dt4XhyPGaNu51V3hyYwo+0vF/IyV/75Joy5B?=
 =?us-ascii?Q?q2eLUgNCNZmND61KyZklGxxmukuPpr2JZQdp+aD0vk/6Q/TZRjSskS+Sdw+R?=
 =?us-ascii?Q?drfHTWW5LHwGXmsQMKf/zaJskxOVwImtJZz1F52qUV0rMGxnnA0kSeI4jx1u?=
 =?us-ascii?Q?tWBWGGhZCgLOcEkKahB08AfT51AU2z51FQuErMrRG7ck89G+IUsPbRrOBw3C?=
 =?us-ascii?Q?utC5OeFZRtUtZEW4YpwzLMkabhpaA98oXJ0Dg3M7h5SvRKlimOPmaCTCLCQ/?=
 =?us-ascii?Q?DSAdKSzXfZew+2VMjJZiq0hDTLUmbyZi4PINrMeQiBCfNemGkp5p7hDI0WAe?=
 =?us-ascii?Q?+ZK951LehnVRnHatmiWwLGtCLb2FJ2DABe7Dd0ek5WI6gOOUy5+/2n7rx73s?=
 =?us-ascii?Q?MreonZEKByc4iAPaaugvefBv1b97juUK7svqW/psk99KPPJ5jay4YSkE7h3A?=
 =?us-ascii?Q?2bsJFx6+8ukP6B1u+5Va/tiMVP/tL2PEKMf3aMstfW9Ft49RtO/kiZMg4NnP?=
 =?us-ascii?Q?uBE6qJu6vrA7MbRYZmHFO/5MaPbwkCMha690FZO4liaMOFP+l6C9XX9Vc1w6?=
 =?us-ascii?Q?LP7NDr4277+tkcVd7lVH4wJmHXiFeFZkZzliGC1mhUsBPOME0XqOPLJ+Fbe+?=
 =?us-ascii?Q?yxOBr7t3jGwdK4ywE3mWWJPPg1J0JlP7Paxn3dx965WMtffOKgd6xkuq7g3K?=
 =?us-ascii?Q?/hmgmifmbm07kSDvLQ+uSZJV/gjVUaWv4NbENtBxXx30BGCnsqMH+wp0+J+g?=
 =?us-ascii?Q?sAQm+c5meHVhZ/4uAnVr4o8HCdV72DUjrrammtHzkQ9HkoPd6fGIdx0fzCTq?=
 =?us-ascii?Q?1SoqJO01XZ18IERuaa9tM0l6XV4RMiApcBz8vFw2b/RzSLBopCOArKEIkX/O?=
 =?us-ascii?Q?vzgTYutCt9ibd+jmS3SwdBguNO5Sh/mqT5F840ij/bvEzABxi1+g1GlxxZJv?=
 =?us-ascii?Q?YJRKtUc/t+qnBlvXuBG1sPwpSz13jd8qFo5FDWoiO0gGl6ZTPHx9/E5/ZjqB?=
 =?us-ascii?Q?LMjyBiMM6hAlskFDeG+C4XBQg9cHRqEAdd+KqgCGZddaUU9LtHz6tKpQV5H9?=
 =?us-ascii?Q?6in3FOjpwqC1jvuXMyvhqqOZYrd2E2qKdtqVCzp32INOyoL3CpecVRR4Uw81?=
 =?us-ascii?Q?YuI+k6PIFXPknWcaXyAOvZrYyu/scNwP3h5GVDUUqivEupuBEbPyw+Z4xTJu?=
 =?us-ascii?Q?VlDa1HLBI9HY0acn5cyHtvaoUfTM/s8EUrolngyqfCK2qy/fPj2pAZzRIKVS?=
 =?us-ascii?Q?uCQR/1UBh6fLQLn5lYGg0X37BRLpXNxxF99DmXlMlZr+AW9WK1FAQ6JCDMVf?=
 =?us-ascii?Q?gGBpVooumpWS7B+nmne6OwNA2Px9w+K8eUZEn3y2vBjwGCnj9sPs5k4U67xh?=
 =?us-ascii?Q?4pl2yH0dU3KzPgHZl9SzbKpBJUhs9Zy5g0R0T2w6jYrFC+iOin++jxMD0ZPp?=
 =?us-ascii?Q?FcAThAvDMJiTnhZ98vKwidxlP+RnlwVjbxF8czeP?=
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 218b4217-573f-40f1-5f1e-08db403975cd
X-MS-Exchange-CrossTenant-AuthSource: MN0PR12MB5859.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Apr 2023 18:19:33.8451
 (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: zxjNrSMfPeiVVbj8S7TfUa/sB/Nu2/sS25+x8ztod+IBVpe49NtHjqXGJjpxE14M
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH2PR12MB4263
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 Tue, Apr 18, 2023 at 06:25:24PM +0100, Pavel Begunkov wrote:
> On 4/18/23 17:36, Jason Gunthorpe wrote:
> > On Tue, Apr 18, 2023 at 05:25:08PM +0100, Pavel Begunkov wrote:
> > > On 4/17/23 13:56, Jason Gunthorpe wrote:
> > > > On Sat, Apr 15, 2023 at 12:27:45AM +0100, Lorenzo Stoakes wrote:
> > > > > Commit edd478269640 ("io_uring/rsrc: disallow multi-source reg buffers")
> > > > > prevents io_pin_pages() from pinning pages spanning multiple VMAs with
> > > > > permitted characteristics (anon/huge), requiring that all VMAs share the
> > > > > same vm_file.
> > > > 
> > > > That commmit doesn't really explain why io_uring is doing such a weird
> > > > thing.
> > > > 
> > > > What exactly is the problem with mixing struct pages from different
> > > > files and why of all the GUP users does only io_uring need to care
> > > > about this?
> > > 
> > > Simply because it doesn't seem sane to mix and register buffers of
> > > different "nature" as one.
> > 
> > That is not a good reason. Once things are converted to struct pages
> > they don't need to care about their "nature"
> 
> Arguing purely about uapi, I do think it is. Even though it can be
> passed down and a page is a page, Frankenstein's Monster mixing anon
> pages, pages for io_uring queues, device shared memory, and what not
> else doesn't seem right for uapi. I see keeping buffers as a single
> entity in opposite to a set of random pages beneficial for the future.

Again, it is not up to io_uring to make this choice. We have GUP as
part of our uAPI all over the place, GUP decides how it works, not
random different ideas all over the place.

We don't have these kinds of restrictions for O_DIRECT, for instance.

There should be consistency in the uAPI across everything.

Jason