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=-3.8 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=no 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 54563C4707F for ; Tue, 25 May 2021 10:33:12 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 363A4613F1 for ; Tue, 25 May 2021 10:33:12 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231576AbhEYKeg (ORCPT ); Tue, 25 May 2021 06:34:36 -0400 Received: from mail.kernel.org ([198.145.29.99]:60464 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232222AbhEYKdJ (ORCPT ); Tue, 25 May 2021 06:33:09 -0400 Received: by mail.kernel.org (Postfix) with ESMTPSA id 8A82661181; Tue, 25 May 2021 10:31:36 +0000 (UTC) Date: Tue, 25 May 2021 12:31:33 +0200 From: Christian Brauner To: Jan Kara Cc: Matthew Bobrowski , amir73il@gmail.com, linux-fsdevel@vger.kernel.org, linux-api@vger.kernel.org Subject: Re: [PATCH 0/5] Add pidfd support to the fanotify API Message-ID: <20210525103133.uctijrnffehlvjr3@wittgenstein> References: <20210520135527.GD18952@quack2.suse.cz> <20210521104056.GG18952@quack2.suse.cz> <20210524084746.GB32705@quack2.suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20210524084746.GB32705@quack2.suse.cz> Precedence: bulk List-ID: X-Mailing-List: linux-fsdevel@vger.kernel.org On Mon, May 24, 2021 at 10:47:46AM +0200, Jan Kara wrote: > On Sat 22-05-21 09:32:36, Matthew Bobrowski wrote: > > On Fri, May 21, 2021 at 12:40:56PM +0200, Jan Kara wrote: > > > On Fri 21-05-21 20:15:35, Matthew Bobrowski wrote: > > > > On Thu, May 20, 2021 at 03:55:27PM +0200, Jan Kara wrote: > > > > There's one thing that I'd like to mention, and it's something in > > > > regards to the overall approach we've taken that I'm not particularly > > > > happy about and I'd like to hear all your thoughts. Basically, with > > > > this approach the pidfd creation is done only once an event has been > > > > queued and the notification worker wakes up and picks up the event > > > > from the queue processes it. There's a subtle latency introduced when > > > > taking such an approach which at times leads to pidfd creation > > > > failures. As in, by the time pidfd_create() is called the struct pid > > > > has already been reaped, which then results in FAN_NOPIDFD being > > > > returned in the pidfd info record. > > > > > > > > Having said that, I'm wondering what the thoughts are on doing pidfd > > > > creation earlier on i.e. in the event allocation stages? This way, the > > > > struct pid is pinned earlier on and rather than FAN_NOPIDFD being > > > > returned in the pidfd info record because the struct pid has been > > > > already reaped, userspace application will atleast receive a valid > > > > pidfd which can be used to check whether the process still exists or > > > > not. I think it'll just set the expectation better from an API > > > > perspective. > > > > > > Yes, there's this race. OTOH if FAN_NOPIDFD is returned, the listener can > > > be sure the original process doesn't exist anymore. So is it useful to > > > still receive pidfd of the dead process? > > > > Well, you're absolutely right. However, FWIW I was approaching this > > from two different angles: > > > > 1) I wanted to keep the pattern in which the listener checks for the > > existence/recycling of the process consistent. As in, the listener > > would receive the pidfd, then send the pidfd a signal via > > pidfd_send_signal() and check for -ESRCH which clearly indicates > > that the target process has terminated. > > > > 2) I didn't want to mask failed pidfd creation because of early > > process termination and other possible failures behind a single > > FAN_NOPIDFD. IOW, if we take the -ESRCH approach above, the > > listener can take clear corrective branches as what's to be done > > next if a race is to have been detected, whereas simply returning > > FAN_NOPIDFD at this stage can mean multiple things. > > > > Now that I've written the above and keeping in mind that we'd like to > > refrain from doing anything in the event allocation stages, perhaps we > > could introduce a different error code for detecting early process > > termination while attempting to construct the info record. WDYT? > > Sure, I wouldn't like to overengineer it but having one special fd value for > "process doesn't exist anymore" and another for general "creating pidfd > failed" looks OK to me. FAN_EPIDFD -> "creation failed" FAN_NOPIDFD -> "no such process" ? Christian