The Linux Kernel Mailing List
 help / color / mirror / Atom feed
* [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent
@ 2026-08-11 19:05 Alex Elder
  2026-08-12  1:17 ` Andrew Morton
  2026-08-12  7:55 ` Oleg Nesterov
  0 siblings, 2 replies; 4+ messages in thread
From: Alex Elder @ 2026-08-11 19:05 UTC (permalink / raw)
  To: akpm, david, pjw, brauner, ljs
  Cc: demiobenour, tglx, debug, oleg, thomas.weissschuh, linux-kernel

In the setpgid() syscall definition, a check is made to determine
whether the target process is in the same thread group as the
current process.  The check accesses the target process's real_parent
pointer directly, however that field is supposed to be accessed via
RCU.  Use rcu_dereference() to avoid this C=1 build warning:

  kernel/sys.c:1144:32: warning: incorrect type in argument 1 (different address spaces)

Signed-off-by: Alex Elder <elder@riscstar.com>
---
 kernel/sys.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/kernel/sys.c b/kernel/sys.c
index df69bd71de032..434fe6ad30e13 100644
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -1114,6 +1114,7 @@ COMPAT_SYSCALL_DEFINE1(times, struct compat_tms __user *, tbuf)
 SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
 {
 	struct task_struct *p;
+	struct task_struct *real_parent;
 	struct task_struct *group_leader = current->group_leader;
 	struct pid *pids[PIDTYPE_MAX] = { 0 };
 	struct pid *pgrp;
@@ -1141,7 +1142,8 @@ SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
 	if (!thread_group_leader(p))
 		goto out;
 
-	if (same_thread_group(p->real_parent, group_leader)) {
+	real_parent = rcu_dereference(p->real_parent);
+	if (same_thread_group(real_parent, group_leader)) {
 		err = -EPERM;
 		if (task_session(p) != task_session(group_leader))
 			goto out;

base-commit: 6b8c8af514d739d0335f5579b585e02babe8a727
-- 
2.53.0


^ permalink raw reply related	[flat|nested] 4+ messages in thread

* Re: [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent
  2026-08-11 19:05 [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent Alex Elder
@ 2026-08-12  1:17 ` Andrew Morton
  2026-08-12  2:06   ` Alex Elder
  2026-08-12  7:55 ` Oleg Nesterov
  1 sibling, 1 reply; 4+ messages in thread
From: Andrew Morton @ 2026-08-12  1:17 UTC (permalink / raw)
  To: Alex Elder
  Cc: david, pjw, brauner, ljs, demiobenour, tglx, debug, oleg,
	thomas.weissschuh, linux-kernel

On Tue, 11 Aug 2026 14:05:00 -0500 Alex Elder <elder@riscstar.com> wrote:

> In the setpgid() syscall definition, a check is made to determine
> whether the target process is in the same thread group as the
> current process.  The check accesses the target process's real_parent
> pointer directly, however that field is supposed to be accessed via
> RCU.  Use rcu_dereference() to avoid this C=1 build warning:
> 
>   kernel/sys.c:1144:32: warning: incorrect type in argument 1 (different address spaces)

Oh.

Why don't all those other uses of ->real_parent produce this warning?


> --- a/kernel/sys.c
> +++ b/kernel/sys.c
> @@ -1114,6 +1114,7 @@ COMPAT_SYSCALL_DEFINE1(times, struct compat_tms __user *, tbuf)
>  SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>  {
>  	struct task_struct *p;
> +	struct task_struct *real_parent;
>  	struct task_struct *group_leader = current->group_leader;
>  	struct pid *pids[PIDTYPE_MAX] = { 0 };
>  	struct pid *pgrp;
> @@ -1141,7 +1142,8 @@ SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>  	if (!thread_group_leader(p))
>  		goto out;
>  
> -	if (same_thread_group(p->real_parent, group_leader)) {
> +	real_parent = rcu_dereference(p->real_parent);
> +	if (same_thread_group(real_parent, group_leader)) {
>  		err = -EPERM;
>  		if (task_session(p) != task_session(group_leader))
>  			goto out;
> 



^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent
  2026-08-12  1:17 ` Andrew Morton
@ 2026-08-12  2:06   ` Alex Elder
  0 siblings, 0 replies; 4+ messages in thread
From: Alex Elder @ 2026-08-12  2:06 UTC (permalink / raw)
  To: Andrew Morton
  Cc: david, pjw, brauner, ljs, demiobenour, tglx, debug, oleg,
	thomas.weissschuh, linux-kernel

On 8/11/26 8:17 PM, Andrew Morton wrote:
> On Tue, 11 Aug 2026 14:05:00 -0500 Alex Elder <elder@riscstar.com> wrote:
> 
>> In the setpgid() syscall definition, a check is made to determine
>> whether the target process is in the same thread group as the
>> current process.  The check accesses the target process's real_parent
>> pointer directly, however that field is supposed to be accessed via
>> RCU.  Use rcu_dereference() to avoid this C=1 build warning:
>>
>>    kernel/sys.c:1144:32: warning: incorrect type in argument 1 (different address spaces)
> 
> Oh.
> 
> Why don't all those other uses of ->real_parent produce this warning?

Looks like there are others; this was just the one that kept
showing up in my builds.  Maybe some cases simply don't need
the rcu_dereference() (like initializing init_task.real_parent
in init/init_task.c).

It's inconsistent.  Some files use rcu_dereference() always
for task_struct->real_parent:
- drivers/connector/cn_proc.c
- fs/binfmt_elf.c
- fs/nfs/dir.c
- fs/binfmt_elf_fdpic.c
- kernel/sched/core.c
- kernel/acct.c
- security/keys/keyctl.c
- security/selinux/hooks.c
- security/yama/yama_lsm.c

But others do not.  And there are lots of other fields
annotated with __rcu that don't always use rcu_dereference():
- task_struct->parent
- task_struct->sighand
- mm_struct->owner
and so on.

I could go dig a little deeper and solve this more comprehensively.
It would probably have to be a long-running background effort.
Do you think it's worth it?

If not, I don't mind just retracting this suggestion for now.

					-Alex

> 
> 
>> --- a/kernel/sys.c
>> +++ b/kernel/sys.c
>> @@ -1114,6 +1114,7 @@ COMPAT_SYSCALL_DEFINE1(times, struct compat_tms __user *, tbuf)
>>   SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>>   {
>>   	struct task_struct *p;
>> +	struct task_struct *real_parent;
>>   	struct task_struct *group_leader = current->group_leader;
>>   	struct pid *pids[PIDTYPE_MAX] = { 0 };
>>   	struct pid *pgrp;
>> @@ -1141,7 +1142,8 @@ SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>>   	if (!thread_group_leader(p))
>>   		goto out;
>>   
>> -	if (same_thread_group(p->real_parent, group_leader)) {
>> +	real_parent = rcu_dereference(p->real_parent);
>> +	if (same_thread_group(real_parent, group_leader)) {
>>   		err = -EPERM;
>>   		if (task_session(p) != task_session(group_leader))
>>   			goto out;
>>
> 
> 


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent
  2026-08-11 19:05 [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent Alex Elder
  2026-08-12  1:17 ` Andrew Morton
@ 2026-08-12  7:55 ` Oleg Nesterov
  1 sibling, 0 replies; 4+ messages in thread
From: Oleg Nesterov @ 2026-08-12  7:55 UTC (permalink / raw)
  To: Alex Elder
  Cc: akpm, david, pjw, brauner, ljs, demiobenour, tglx, debug,
	thomas.weissschuh, linux-kernel

Just in case, I am travelling without my work laptop until Aug 19,
can't read the code and I rarely read emails...

On 08/11, Alex Elder wrote:
>
> In the setpgid() syscall definition, a check is made to determine
> whether the target process is in the same thread group as the
> current process.  The check accesses the target process's real_parent
> pointer directly, however that field is supposed to be accessed via
> RCU.  Use rcu_dereference() to avoid this C=1 build warning:
>
>   kernel/sys.c:1144:32: warning: incorrect type in argument 1 (different address spaces)

This is the sparse warning... Do we really care? We have a lot
more users of ->real_parent without rcu_dereference().

Note also that the "rcu" annotation of ->real_parent is misleading.
If the task exits, task->real_parent points to nowhere. Same for
->group_leader.

This reminds me... months ago I was going to introduce the helper
to access ->group_leader and move it to signal_struct. Then I was
going to do the same with ->real_parent. I sent some preparations,
but then I was distracted. I'll try to return to this after PTO.

>  SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>  {
>  	struct task_struct *p;
> +	struct task_struct *real_parent;
>  	struct task_struct *group_leader = current->group_leader;
>  	struct pid *pids[PIDTYPE_MAX] = { 0 };
>  	struct pid *pgrp;
> @@ -1141,7 +1142,8 @@ SYSCALL_DEFINE2(setpgid, pid_t, pid, pid_t, pgid)
>  	if (!thread_group_leader(p))
>  		goto out;
>
> -	if (same_thread_group(p->real_parent, group_leader)) {
> +	real_parent = rcu_dereference(p->real_parent);
> +	if (same_thread_group(real_parent, group_leader)) {
>  		err = -EPERM;
>  		if (task_session(p) != task_session(group_leader))
>  			goto out;

IIRC, this code runs under tasklist_lock (at least it should ;)
->real_parent is stable.

I'd prefer to leave this code as is (see above), but even if we
really want to shut up sparse we don't need rcu_dereference()
anyway, we are not going to dereference this pointer.

We have other helpers to read the "rcu" pointers, but I can't
recall the names...

Oleg.


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2026-08-12  7:55 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-08-11 19:05 [PATCH] kernel/sys.c: use RCU when accessing task_struct->real_parent Alex Elder
2026-08-12  1:17 ` Andrew Morton
2026-08-12  2:06   ` Alex Elder
2026-08-12  7:55 ` Oleg Nesterov

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox