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:   Mon, 17 Apr 2023 10:26:09 -0300
From:   Jason Gunthorpe <jgg@nvidia.com>
To:     Lorenzo Stoakes <lstoakes@gmail.com>
Cc:     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>,
        Pavel Begunkov <asml.silence@gmail.com>,
        io-uring@vger.kernel.org
Subject: Re: [PATCH 5/7] io_uring: rsrc: use FOLL_SAME_FILE on
 pin_user_pages()
Message-ID: <ZD1I8XlSBIYET9A+@nvidia.com>
References: <cover.1681508038.git.lstoakes@gmail.com>
 <17357dec04b32593b71e4fdf3c30a346020acf98.1681508038.git.lstoakes@gmail.com>
 <ZD1CAvXee5E5456e@nvidia.com>
 <b1f125c8-05ec-4b41-9b3d-165bf7694e5a@lucifer.local>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <b1f125c8-05ec-4b41-9b3d-165bf7694e5a@lucifer.local>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?kD/FVEQx8McnZfpMT19pzD3lPFvx9Io8QSCY4NcFVDDn+OGbDyxwq2MlH1QD?=
 =?us-ascii?Q?Jy2gIrwvnCvBzfIiYODUl+ttxuOXcXeKStVzj3QP/6+2mYlfqPhOuLQK2jQr?=
 =?us-ascii?Q?MpPjkS+gJgNn4nsjov1rdehqISe7OeeNrIMT77Rw8KMs0NQ/DhzNhKGk/9Fo?=
 =?us-ascii?Q?vJwG2s35CyCre+dKdJqM8k1KzQ92YCx29txtQyS2fMbkTMxYYkdShIz3Uy+/?=
 =?us-ascii?Q?9tQRz9xMwfvtm4tmzeJrUFKL70Xnpzz6rW3DH3I9WtcH1eBi/JRscw6Qwuzl?=
 =?us-ascii?Q?K/zOp1b2WaCyjh8hBclWDK402UU5LBSH+W8swzsetS3xJk74tK3+twqJFXcM?=
 =?us-ascii?Q?ef8RmsFmRzx2pxhCpbLUs0tr1ZofLI+P3xJCXKsZnVsjaQDx04fAqxy6eJOM?=
 =?us-ascii?Q?ejnuraoYBW6sspiWZ39BUNPluIxAbpF9/pqEwKdwMLJdZYZpM+R0XG/2Rgog?=
 =?us-ascii?Q?Q+HPbw7zarf2PrKSaLAxDfZJRj7JrjZ+ITZzOJklpUAhy1FfaVjtOInhoN/6?=
 =?us-ascii?Q?IOwCq6hwTN4fLX/AP5+0nDsbXWjag1qx0EgtsAgNW06PrjgL3Jlcys5IUWyV?=
 =?us-ascii?Q?dhFYYh1M6twSFp0FmjqYvhjDaf41CQ+/CMiXJgOQkJAPZCKlMu3yFVL7m/xk?=
 =?us-ascii?Q?VSZrewWAvVgZBXFtZu8iDrH1C7+6va0f7VG6NFlxcM9825PqNsTexA6T3i58?=
 =?us-ascii?Q?lGsBechmi/xll0bshz4akG5Fp5UUVr8MQRhZzQdEcINhCtr1qhEedXfM5TTV?=
 =?us-ascii?Q?p8QXy9iOLfLayydAyuMcZmvuwyFtkETiFCZa83EONHH8NClZE/pUoxQpJytb?=
 =?us-ascii?Q?2enFIpSHCYV+gaY5gpO5TniuqieG4kMvHxqsYLJ6XO5RPkcy6itSgRwXXoZA?=
 =?us-ascii?Q?fLNkBcfq5ng+BG5Nr6Nysy1nkvhV2t6rGkAEPYcJezSWFi+/orFz05QKSuNx?=
 =?us-ascii?Q?g+ZCIjGsgaKscRQrhVnHlJWgKonHXpAeydIUmRLl4ITVf+vlCHpSzzP17K5I?=
 =?us-ascii?Q?8SIwC4/svl4uRoYL8zbfG56rc5tGLsbZygknY09xDuYaV/LKzB04l+/1P6fb?=
 =?us-ascii?Q?QjznfsXsqxlMpvaAA5GRH0FiNIzjnYSJEBbPQ+xgwiO2GtKcMj1Ab0AHzKXA?=
 =?us-ascii?Q?HDOMTvy8U8bLwMpMyMxz2LiV+MYn22cgRlOXGKNquWasCOMLtrwA7zEBj9Fe?=
 =?us-ascii?Q?B+1O2G/engUUcZDPAfdxjQ8bmG9q6i0Dmeps+A/fe1/0laOd7+s1R+VwITJm?=
 =?us-ascii?Q?MVoaWZvGmvpXnmWmhQ4z1VOeEC9tCTG/7PVRInzjSY68wrBTLrIM3GuMYRmM?=
 =?us-ascii?Q?UOkD8gNlSvXrjRDMgzQlaG0xpAqkmLM4sBqtuWttbalm8C7DOKjtsfIw81Qa?=
 =?us-ascii?Q?vbocW7xpAuaaNqNFPtlDneKjHdM57v0PBfbMx4hen3B0bMcB+9SEmQjQzOFe?=
 =?us-ascii?Q?zpVR2lTeprvOZIZNWtTi2bm+bUrVtZfCvOhbunjsy7NKR4b0zSnedGwflJEv?=
 =?us-ascii?Q?3k52+OJTD1esY1LkhDUIVM91de8z/99hpidWmSQwr9wcxrldLYusbWMDFadB?=
 =?us-ascii?Q?J3Tf80pmf2aHnviKRsnRcrq19ruv0/jRCDrSNkk3?=
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 142de38e-dd29-4fd9-7c1d-08db3f474f8a
X-MS-Exchange-CrossTenant-AuthSource: LV2PR12MB5869.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Apr 2023 13:26:11.4466
 (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: hWqAdHKZyMHHojKXsk+x6ElfZeiPQ1sjaM86O93JWSxlcAYSRs90iu3ILwGgPyBs
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR12MB7966
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 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 Mon, Apr 17, 2023 at 02:19:16PM +0100, Lorenzo Stoakes wrote:

> > I'd rather see something like FOLL_ALLOW_BROKEN_FILE_MAPPINGS than
> > io_uring open coding this kind of stuff.
> >
> 
> How would the semantics of this work? What is broken? It is a little
> frustrating that we have FOLL_ANON but hugetlb as an outlying case, adding
> FOLL_ANON_OR_HUGETLB was another consideration...

It says "historically this user has accepted file backed pages and we
we think there may actually be users doing that, so don't break the
uABI"

Without the flag GUP would refuse to return file backed pages that can
trigger kernel crashes or data corruption.

Eg we'd want most places to not specify the flag and the few that do
to have some justification.

We should consdier removing FOLL_ANON, I'm not sure it really makes
sense these days for what proc is doing with it. All that proc stuff
could likely be turned into a kthread_use_mm() and a simple
copy_to/from user?

I suspect that eliminates the need to check for FOLL_ANON?

Jason