Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp151405imu; Thu, 6 Dec 2018 17:40:43 -0800 (PST) X-Google-Smtp-Source: AFSGD/WORv3j40dnFw8RJlePg1Jv2KajUKhOpwKFQTrIAr8KIPyj+m/MpqX5S9kc7NlaQ4qXndE4 X-Received: by 2002:a63:5b48:: with SMTP id l8mr283171pgm.80.1544146843548; Thu, 06 Dec 2018 17:40:43 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1544146843; cv=none; d=google.com; s=arc-20160816; b=x3LT6Ej5tqRcgJx8JgshFqTl/GNxnsp8D/bHtL5ERpRJ1qJJSHn+CAAo7csVREWKom 7+E/VKFIeT/6xVqYrnNyA4vnd06GcjRKkY/dhMHlos0zUftmDSk4I8y7hgDxXKmZiEyL fgTH1UXXyesUp9yabBhivb2noHfphDcQnYktjv6340JxrDkr7XN1aP5ZZLw1wMpnd0JL 6Zyv1gWBzWJKaLMYMFDWy/sMizz2JDweuxpj2Ebs4fr/7Banj8NbmV/OQYFAtrUgJCMS XLV/OdDleWBL/LTu5HvmKU+0feaLCmsXqpdX9Z6+DwuO0MBVE264wQYIjQmt53gRowM/ 4Z0A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=6teGcfJ5GPLKZYIwA7JP22Ly6vDLlFf+78gQtNDaTz8=; b=ZACAew1SRfxAWCTbRcSIub19DiocQLoTWb1lEaEFogKO3A3AjUBapD3chk9pVFt3YS o2sSg6rwWNBDiFDDa61VO/rtFWU9Ft3Mafz0OzduNbjRGF+AQIOhqHxgCQfTwlM6eBl/ Fbz2eVw37Asr0eHNNZnZfeeVoDVQ/z1cYl2h1fo/lNGzVXFE3SfQjL25jaE/6ABqJoOB BZ1OENt6nGtxgroN2FUlNn1yu5vDNQQuL3AdLNDmhRM7fzf7mvUOxkQVfuu1Y4yBwJ39 PIrMEWHh1gpz78lVnUYyH14mp727eQ/NMPHEuwj3JmD/7THtmKCrPoeT+dvcmQl1E3sN 9p2g== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=lHXsqgtb; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id e12si1553957pls.71.2018.12.06.17.40.28; Thu, 06 Dec 2018 17:40:43 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=lHXsqgtb; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726057AbeLGBje (ORCPT + 99 others); Thu, 6 Dec 2018 20:39:34 -0500 Received: from mail-ua1-f68.google.com ([209.85.222.68]:43988 "EHLO mail-ua1-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725939AbeLGBjc (ORCPT ); Thu, 6 Dec 2018 20:39:32 -0500 Received: by mail-ua1-f68.google.com with SMTP id z11so865883uaa.10 for ; Thu, 06 Dec 2018 17:39:31 -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=6teGcfJ5GPLKZYIwA7JP22Ly6vDLlFf+78gQtNDaTz8=; b=lHXsqgtbiGzQ1sA3ZsPRQKCa11Y7TbKQrJ3BhCG4K2B2lRYNRYyBlodAq7Z1K1jmfi c4yIjSVmuMUwWDVBekoAH5RFQagwIVkXThxjIf5Atu86CVqEEn5dNBY7Ph4F5ZsjT85P dBUw7Y2kL2XBkXJwTDnW9ZPfPP79aoie4l9BvHS/3zC/S5uymDgRhBJzrZr4aGsn0HU8 D+eCX8lYd62RN+KBgPj2aYKSnsqDkCByaA0RvQyfN9phzn48sj5H7yXAMPeALzAqO6pr +in8ta8udf8lIwXnXqIhoL6c787hNDrOzOa78hpQyihcorZYoODxhwMhFmlSldDqUE0R ZJQw== 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=6teGcfJ5GPLKZYIwA7JP22Ly6vDLlFf+78gQtNDaTz8=; b=sFy9BpfWCiIN+KK7+Uu/HwpGet6AuShDzhamE+a/upu5VZqoezPCSwiqDknQva9w3z p4kcZYBKNkpU/AYg3RixGDej6ythX/4uflvCzJC8qymm9zqyDTLsE4OxSpU5eTMzMH53 kEBKeBu3Tl/dAaoLmPx5vZN2bRzw/++V/3DPkL+0bpIxjYPzPi7DaYuvDs0MkIhtVFya v/3fYYykYdLFwcJI4NWqLSRLRtMj12JWXM1uJXg3iqX+89zMfAqCefeaMgLPzrRSLRAG 9oq46K9UVU+l9a56zPwHIOJgO+cBmjwsxKSNaEdhXwoPeupIMbBQzQPXlaX+i9yzksP0 l0Ng== X-Gm-Message-State: AA+aEWa8SrWtj8Av3KG05BMfB4DKH2iae800Ass6aen99y2nvV/QFHnj qaJaxFW8MjuNks7f9sI8Ahrxnbf4BwVtt/ofFMkekw== X-Received: by 2002:ab0:72a:: with SMTP id h39mr119611uah.11.1544146771009; Thu, 06 Dec 2018 17:39:31 -0800 (PST) MIME-Version: 1.0 References: <875zw6bh2z.fsf@xmission.com> <20181206193017.wpxls5p3zgjd6rv2@brauner.io> <871s6u9z6u.fsf@xmission.com> <20181206213152.gvci7ijr3dokew7w@brauner.io> <87o99y72gi.fsf@xmission.com> <20181206223948.gyfdtkgbhtozmpsp@brauner.io> <20181206231742.xxi4ghn24z4h2qki@brauner.io> <20181207003124.GA11160@mail.hallyn.com> <20181207005917.GA11302@mail.hallyn.com> In-Reply-To: <20181207005917.GA11302@mail.hallyn.com> From: Daniel Colascione Date: Thu, 6 Dec 2018 17:39:18 -0800 Message-ID: Subject: Re: [PATCH v4] signal: add taskfd_send_signal() syscall To: "Serge E. Hallyn" Cc: Christian Brauner , "Eric W. Biederman" , linux-kernel , Linux API , Andy Lutomirski , Arnd Bergmann , Jann Horn , Andrew Morton , Oleg Nesterov , Aleksa Sarai , Al Viro , Linux FS Devel , Tim Murray , linux-man , Kees Cook , Florian Weimer , tglx@linutronix.de, x86@kernel.org Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Dec 6, 2018 at 4:59 PM Serge E. Hallyn wrote: > > On Thu, Dec 06, 2018 at 04:34:54PM -0800, Daniel Colascione wrote: > > On Thu, Dec 6, 2018 at 4:31 PM Serge E. Hallyn wrote: > > > > > > On Fri, Dec 07, 2018 at 12:17:45AM +0100, Christian Brauner wrote: > > > > On Thu, Dec 06, 2018 at 11:39:48PM +0100, Christian Brauner wrote: > > > > > On Thu, Dec 06, 2018 at 03:46:53PM -0600, Eric W. Biederman wrote: > > > > > > Christian Brauner writes: > > > > > > > > > > > > >> Your intention is to add the thread case to support pthreads once the > > > > > > >> process case is sorted out. So this is something that needs to be made > > > > > > >> clear. Did I miss how you plan to handle threads? > > > > > > > > > > > > > > Yeah, maybe you missed it in the commit message [2] which is based on a > > > > > > > discussion with Andy [3] and Arnd [4]: > > > > > > > > > > > > Looking at your references I haven't missed it. You are not deciding > > > > > > anything as of yet to keep it simple. Except you are returning > > > > > > EOPNOTSUPP. You are very much intending to do something. > > > > > > > > > > That was clear all along and was pointed at every occassion in the > > > > > threads. I even went through the hazzle to give you all of the > > > > > references when there's lore.kernel.org. > > > > > > > > > > > > > > > > > Decide. Do you use the flags parameter or is the width of the > > > > > > target depending on the flags. > > > > > > > > Ok, let's try to be constructive. I understand the general concern for > > > > the future so let's put a contract into the commit message stating that > > > > the width of the target aka *what is signaled* will be based on a flag > > > > parameter if we ever extend it: > > > > > > > > taskfd_send_signal(fd, SIGSTOP, NULL, TASKFD_PGID); > > > > taskfd_send_signal(fd, SIGSTOP, NULL, TASKFD_TID); > > > > > > > > with the current default being > > > > > > > > taskfd_send_signal(fd, SIGSTOP, NULL, TASKFD_PID); > > > > > > > > This seems to me the cleanest solution as we only use one type of file > > > > descriptor. Can everyone be on board with this? If so I'm going to send > > > > out a new version of the patch. > > > > > > > > Christian > > > > > > I'm on board with this, but I think you need to also clarify what exactly > > > the fd stands for. I think that (a) userspace should not have to care > > > about the struct pid implementation, and so (b) the procfd should stand > > > for all the pids. So when taskfd_send_signal(fd, SIGSTOP, NULL, TASKFD_PGID) > > > becomes implemented, then open(/proc/5) will pin all three pids, as will > > > open(/proc/5/task/6). > > > > This change doesn't "pin" any PID, and it makes no sense to make a > > process FD stand for all its threads. What does that even mean? > > Currently the patch relies on the procfd inode saving a copy to the PIDTYPE_PID > pid. struct pid doesn't have a type field. The interpretation depends on the caller's use of the struct pid, and in the current path, that's PIDTYPE_PID. What, specifically, is wrong with the current approach? > I'm not sure offhand, can it go to the PIDTYPE_PGID from that after the > task has died, or not? I didn't think so. If it can then great. You're arguing that something that does, in fact, work, is somehow broken in some unspecified way. The kill_pid_info lookup works fine. What, specifically, is wrong with the semantics as implemented? > The point is (a) these are details which should not have to bother userspace, These details *don't* bother userspace. You're raising concerns that are either imaginary or long-since addressed. Does the patch cause some kind of maintenance burden? No, it doesn't, not moreso than any other piece of code. Does the interface have unclear semantics? No, it clearly sends a signal to a process, just like kill. Does the patch expose kernel implementation details? No, it doesn't, because the interface is simply not defined in terms of these details. Do we need to change how signal delivery works? No, because if it's fine for kill, it's fine for this facility, and if some future signal cleanup separates the cases more, that cleanup can change this code as well. The change is well-documented, simple, extensible, and addresses an actual problem. Every legitimate technical criticism has now been addressed. I don't understand where this opposition is coming from, since the objections refer to nothing that's actually in the patch or exposed to the user. > and (b) how to decide who we're sending the signal to (tid/pid/pgid) should > be specified in precisely one way. So either a flag, or comign from the type > of fd that was opened. You can't send signals to a thread with the current patch. There's no ambiguity in providing zero ways to do something.