All of lore.kernel.org
 help / color / mirror / Atom feed
From: Oleg Nesterov <oleg@redhat.com>
To: Christian Brauner <christian@brauner.io>
Cc: jannh@google.com, viro@zeniv.linux.org.uk,
	torvalds@linux-foundation.org, linux-kernel@vger.kernel.org,
	arnd@arndb.de, dhowells@redhat.com, akpm@linux-foundation.org,
	cyphar@cyphar.com, ebiederm@xmission.com,
	elena.reshetova@intel.com, keescook@chromium.org,
	luto@amacapital.net, luto@kernel.org, tglx@linutronix.de,
	linux-alpha@vger.kernel.org,
	linux-arm-kernel@lists.infradead.org, linux-ia64@vger.kernel.org,
	linux-m68k@lists.linux-m68k.org, linux-mips@vger.kernel.org,
	linux-parisc@vger.kernel.org, linuxppc-dev@lists.ozlabs.org,
	linux-s390@vger.kernel.org, linux-sh@vger.kernel.org,
	sparclinux@vger.kernel.org, linux-xtensa@linux-xtensa.org,
	linux-api@vger.kernel.org, linux-arch@vger.kernel.org,
	linux-kselftest@vger.kernel.org
Subject: Re: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 17:19:13 +0200	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019 at 04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID == PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID == PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.


WARNING: multiple messages have this Message-ID (diff)
From: Oleg Nesterov <oleg@redhat.com>
To: Christian Brauner <christian@brauner.io>
Cc: jannh@google.com, viro@zeniv.linux.org.uk,
	torvalds@linux-foundation.org, linux-kernel@vger.kernel.org,
	arnd@arndb.de, dhowells@redhat.com, akpm@linux-foundation.org,
	cyphar@cyphar.com, ebiederm@xmission.com,
	elena.reshetova@intel.com, keescook@chromium.org,
	luto@amacapital.net, luto@kernel.org, tglx@linutronix.de,
	linux-alpha@vger.kernel.org,
	linux-arm-kernel@lists.infradead.org, linux-ia64@vger.kernel.org,
	linux-m68k@lists.linux-m68k.org, linux-mips@vger.kernel.org,
	linux-parisc@vger.kernel.org, linuxppc-dev@lists.ozlabs.org,
	linux-s390@vger.kernel.org, linux-sh@vger.kernel.org,
	sparclinux@vger.kernel.org, linux-xtensa@linux-xtensa.org,
	linux-api@vger.kernel.org, linux-arch@vger.kernel.org,
	linux-kselftest@vger.kernel.org
Subject: Re: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 15:19:13 +0000	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019 at 04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID = PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID = PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.

WARNING: multiple messages have this Message-ID (diff)
From: oleg at redhat.com (Oleg Nesterov)
Subject: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 17:19:13 +0200	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019 at 04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID == PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID == PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.

WARNING: multiple messages have this Message-ID (diff)
From: oleg@redhat.com (Oleg Nesterov)
Subject: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 17:19:13 +0200	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
Message-ID: <20190515151913.CQhb4V7TsCJdnbrl6NAei7gWHVTqjm2Ua4L8FSaTNhU@z> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019@04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID == PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID == PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.

WARNING: multiple messages have this Message-ID (diff)
From: Oleg Nesterov <oleg@redhat.com>
To: Christian Brauner <christian@brauner.io>
Cc: linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	linux-mips@vger.kernel.org, dhowells@redhat.com,
	linux-kselftest@vger.kernel.org, sparclinux@vger.kernel.org,
	linux-api@vger.kernel.org, elena.reshetova@intel.com,
	linux-arch@vger.kernel.org, linux-s390@vger.kernel.org,
	linux-xtensa@linux-xtensa.org, keescook@chromium.org,
	arnd@arndb.de, jannh@google.com, linux-m68k@lists.linux-m68k.org,
	viro@zeniv.linux.org.uk, luto@kernel.org, tglx@linutronix.de,
	linux-arm-kernel@lists.infradead.org,
	linux-parisc@vger.kernel.org, cyphar@cyphar.com,
	torvalds@linux-foundation.org, linux-kernel@vger.kernel.org,
	luto@amacapital.net, ebiederm@xmission.com,
	linux-alpha@vger.kernel.org, akpm@linux-foundation.org,
	linuxppc-dev@lists.ozlabs.org
Subject: Re: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 17:19:13 +0200	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019 at 04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID == PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID == PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.


WARNING: multiple messages have this Message-ID (diff)
From: Oleg Nesterov <oleg@redhat.com>
To: Christian Brauner <christian@brauner.io>
Cc: linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	linux-mips@vger.kernel.org, dhowells@redhat.com,
	linux-kselftest@vger.kernel.org, sparclinux@vger.kernel.org,
	linux-api@vger.kernel.org, elena.reshetova@intel.com,
	linux-arch@vger.kernel.org, linux-s390@vger.kernel.org,
	linux-xtensa@linux-xtensa.org, keescook@chromium.org,
	arnd@arndb.de, jannh@google.com, linux-m68k@lists.linux-m68k.org,
	viro@zeniv.linux.org.uk, luto@kernel.org, tglx@linutronix.de,
	linux-arm-kernel@lists.infradead.org,
	linux-parisc@vger.kernel.org, cyphar@cyphar.com,
	torvalds@linux-foundation.org, linux-kernel@vger.kernel.org,
	luto@amacapital.net, ebiederm@xmission.com,
	linux-alpha@vger.kernel.org, akpm@linux-foundation.org,
	linuxppc-dev@lists.ozlabs.org
Subject: Re: [PATCH 1/2] pid: add pidfd_open()
Date: Wed, 15 May 2019 17:19:13 +0200	[thread overview]
Message-ID: <20190515151912.GE18892@redhat.com> (raw)
In-Reply-To: <20190515144927.f2yxyi6w6lhn3xx7@brauner.io>

On 05/15, Christian Brauner wrote:
>
> On Wed, May 15, 2019 at 04:38:58PM +0200, Oleg Nesterov wrote:
> >
> > it seems that you can do a single check
> >
> > 	tsk = pid_task(p, PIDTYPE_TGID);
> > 	if (!tsk)
> > 		ret = -ESRCH;
> >
> > this even looks more correct if we race with exec changing the leader.
>
> The logic here being that you can only reach the thread_group leader
> from struct pid if PIDTYPE_PID == PIDTYPE_TGID for this struct pid?

Not exactly... it is not that PIDTYPE_PID == PIDTYPE_TGID for this pid,
struct pid has no "type" or something like this.

The logic is that pid->tasks[PIDTYPE_XXX] is the list of task which use
this pid as "XXX" type.

For example, clone(CLONE_THREAD) creates a pid which has a single non-
empty list, pid->tasks[PIDTYPE_PID]. This pid can't be used as TGID or
SID.

So if pid_task(PIDTYPE_TGID) returns non-NULL we know that this pid was
used for a group-leader, see copy_process() which does

	if (thread_group_leader(p))
		attach_pid(p, PIDTYPE_TGID);


If we race with exec which changes the leader pid_task(TGID) can return
the old leader. We do not care, but this means that we should not check
thread_group_leader().

Oleg.


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

  reply	other threads:[~2019-05-15 15:19 UTC|newest]

Thread overview: 115+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-05-15 10:03 [PATCH 1/2] pid: add pidfd_open() Christian Brauner
2019-05-15 10:03 ` Christian Brauner
2019-05-15 10:03 ` Christian Brauner
2019-05-15 10:03 ` Christian Brauner
2019-05-15 10:03 ` christian
2019-05-15 10:03 ` Christian Brauner
2019-05-15 10:04 ` [PATCH 2/2] tests: add pidfd_open() tests Christian Brauner
2019-05-15 10:04   ` Christian Brauner
2019-05-15 10:04   ` Christian Brauner
2019-05-15 10:04   ` Christian Brauner
2019-05-15 10:04   ` christian
2019-05-15 10:04   ` Christian Brauner
2019-05-15 12:29 ` [PATCH 1/2] pid: add pidfd_open() Geert Uytterhoeven
2019-05-15 12:29   ` Geert Uytterhoeven
2019-05-15 12:29   ` Geert Uytterhoeven
2019-05-15 12:29   ` Geert Uytterhoeven
2019-05-15 12:29   ` geert
2019-05-15 12:29   ` Geert Uytterhoeven
2019-05-15 12:29   ` Geert Uytterhoeven
2019-05-15 14:00 ` Yann Droneaud
2019-05-15 14:00   ` Yann Droneaud
2019-05-15 14:00   ` Yann Droneaud
2019-05-15 14:00   ` ydroneaud
2019-05-15 14:00   ` Yann Droneaud
2019-05-15 14:00   ` Yann Droneaud
2019-05-15 14:16   ` Christian Brauner
2019-05-15 14:16     ` Christian Brauner
2019-05-15 14:16     ` Christian Brauner
2019-05-15 14:16     ` christian
2019-05-15 14:16     ` Christian Brauner
2019-05-15 14:16     ` Christian Brauner
2019-05-15 14:16     ` Christian Brauner
2019-05-15 14:51     ` Aleksa Sarai
2019-05-15 14:51       ` Aleksa Sarai
2019-05-15 14:51       ` Aleksa Sarai
2019-05-15 14:51       ` Aleksa Sarai
2019-05-15 14:51       ` cyphar
2019-05-15 14:51       ` Aleksa Sarai
2019-05-15 15:29     ` Yann Droneaud
2019-05-15 15:29       ` Yann Droneaud
2019-05-15 15:29       ` Yann Droneaud
2019-05-15 15:29       ` Yann Droneaud
2019-05-15 15:29       ` ydroneaud
2019-05-15 15:29       ` Yann Droneaud
2019-05-15 14:38 ` Oleg Nesterov
2019-05-15 14:38   ` Oleg Nesterov
2019-05-15 14:38   ` Oleg Nesterov
2019-05-15 14:38   ` Oleg Nesterov
2019-05-15 14:38   ` oleg
2019-05-15 14:38   ` Oleg Nesterov
2019-05-15 14:49   ` Christian Brauner
2019-05-15 14:49     ` Christian Brauner
2019-05-15 14:49     ` Christian Brauner
2019-05-15 14:49     ` Christian Brauner
2019-05-15 14:49     ` christian
2019-05-15 14:49     ` Christian Brauner
2019-05-15 15:19     ` Oleg Nesterov [this message]
2019-05-15 15:19       ` Oleg Nesterov
2019-05-15 15:19       ` Oleg Nesterov
2019-05-15 15:19       ` Oleg Nesterov
2019-05-15 15:19       ` oleg
2019-05-15 15:19       ` Oleg Nesterov
2019-05-15 15:30       ` Christian Brauner
2019-05-15 15:30         ` Christian Brauner
2019-05-15 15:30         ` Christian Brauner
2019-05-15 15:30         ` Christian Brauner
2019-05-15 15:30         ` christian
2019-05-15 15:30         ` Christian Brauner
2019-05-15 15:35   ` Oleg Nesterov
2019-05-15 15:35     ` Oleg Nesterov
2019-05-15 15:35     ` Oleg Nesterov
2019-05-15 15:35     ` Oleg Nesterov
2019-05-15 15:35     ` oleg
2019-05-15 15:35     ` Oleg Nesterov
2019-05-15 15:40     ` Christian Brauner
2019-05-15 15:40       ` Christian Brauner
2019-05-15 15:40       ` Christian Brauner
2019-05-15 15:40       ` Christian Brauner
2019-05-15 15:40       ` christian
2019-05-15 15:40       ` Christian Brauner
2019-05-15 17:45 ` Daniel Colascione
2019-05-15 17:45   ` Daniel Colascione
2019-05-15 17:45   ` Daniel Colascione
2019-05-15 17:45   ` Daniel Colascione
2019-05-15 17:45   ` dancol
2019-05-15 17:45   ` Daniel Colascione
2019-05-15 17:45   ` Daniel Colascione
2019-05-16 13:08   ` Christian Brauner
2019-05-16 13:08     ` Christian Brauner
2019-05-16 13:08     ` Christian Brauner
2019-05-16 13:08     ` Christian Brauner
2019-05-16 13:08     ` christian
2019-05-16 13:08     ` Christian Brauner
2019-05-16 13:08     ` Christian Brauner
2019-05-16 14:03     ` Jann Horn
2019-05-16 14:03       ` Jann Horn
2019-05-16 14:03       ` Jann Horn
2019-05-16 14:03       ` Jann Horn
2019-05-16 14:03       ` jannh
2019-05-16 14:03       ` Jann Horn
2019-05-16 14:03       ` Jann Horn
2019-05-16 14:05       ` Christian Brauner
2019-05-16 14:05         ` Christian Brauner
2019-05-16 14:05         ` Christian Brauner
2019-05-16 14:05         ` Christian Brauner
2019-05-16 14:05         ` christian
2019-05-16 14:05         ` Christian Brauner
2019-05-16 14:05         ` Christian Brauner
2019-05-16 14:53     ` Aleksa Sarai
2019-05-16 14:53       ` Aleksa Sarai
2019-05-16 14:53       ` Aleksa Sarai
2019-05-16 14:53       ` Aleksa Sarai
2019-05-16 14:53       ` cyphar
2019-05-16 14:53       ` Aleksa Sarai
2019-05-16 14:53       ` Aleksa Sarai

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190515151912.GE18892@redhat.com \
    --to=oleg@redhat.com \
    --cc=akpm@linux-foundation.org \
    --cc=arnd@arndb.de \
    --cc=christian@brauner.io \
    --cc=cyphar@cyphar.com \
    --cc=dhowells@redhat.com \
    --cc=ebiederm@xmission.com \
    --cc=elena.reshetova@intel.com \
    --cc=jannh@google.com \
    --cc=keescook@chromium.org \
    --cc=linux-alpha@vger.kernel.org \
    --cc=linux-api@vger.kernel.org \
    --cc=linux-arch@vger.kernel.org \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-ia64@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-kselftest@vger.kernel.org \
    --cc=linux-m68k@lists.linux-m68k.org \
    --cc=linux-mips@vger.kernel.org \
    --cc=linux-parisc@vger.kernel.org \
    --cc=linux-s390@vger.kernel.org \
    --cc=linux-sh@vger.kernel.org \
    --cc=linux-xtensa@linux-xtensa.org \
    --cc=linuxppc-dev@lists.ozlabs.org \
    --cc=luto@amacapital.net \
    --cc=luto@kernel.org \
    --cc=sparclinux@vger.kernel.org \
    --cc=tglx@linutronix.de \
    --cc=torvalds@linux-foundation.org \
    --cc=viro@zeniv.linux.org.uk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.