From: Andrea Parri <parri.andrea@gmail.com>
To: Sebastian Andrzej Siewior <bigeasy@linutronix.de>
Cc: Ingo Molnar <mingo@redhat.com>,
Peter Zijlstra <peterz@infradead.org>,
Juri Lelli <juri.lelli@redhat.com>,
Vincent Guittot <vincent.guittot@linaro.org>,
Dietmar Eggemann <dietmar.eggemann@arm.com>,
Steven Rostedt <rostedt@goodmis.org>,
Ben Segall <bsegall@google.com>, Mel Gorman <mgorman@suse.de>,
Valentin Schneider <vschneid@redhat.com>,
K Prateek Nayak <kprateek.nayak@amd.com>,
Clark Williams <clrkwllms@kernel.org>,
Aaron Tomlin <atomlin@atomlin.com>,
linux-rt-devel@lists.linux.dev, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] sched/deadline: Fix spurious -EPERM for migration-disabled tasks
Date: Tue, 3 Nov 2026 16:34:41 +0100 [thread overview]
Message-ID: <20261103153443.187455-1-parri.andrea@gmail.com> (raw)
In-Reply-To: <20261103081149.DuyWNhVe@linutronix.de>
On Tue, Nov 03, 2026 at 09:11:49AM +0100, Sebastian Andrzej Siewior wrote:
[...]
> Reviewed-by: Sebastian Andrzej Siewior <bigeasy@linutronix.de>
Thanks!
> Looking at sched_setaffinity(), there is dl_task_check_affinity() which
> makes the same check. It is skipped for !task_has_dl_policy(). This
> looks time like there is a small window in sched_setscheduler() where
> the affinity check passes, the task is not yet DL, and then
> sched_setaffinity() makes the affinity smaller.
Agreed. __sched_setaffinity() calls dl_task_check_affinity() before
taking task_rq_lock(), which only __set_cpus_allowed_ptr() takes later,
whereas __sched_setscheduler() runs the admission check and switches the
policy under a single task_rq_lock(). So setaffinity can see a non-DL
task, setscheduler then admits it against the old, wide cpus_mask, and
setaffinity finally narrows it.
The window may be wider than it looks, too: it includes setaffinity
waiting for task_rq_lock() while setscheduler holds it, so the two only
need to overlap.
That's independent of this patch: the same happens with p->cpus_ptr.
restrict_cpus_allowed_ptr() already does its DL check under
task_rq_lock(), so doing the same in the setaffinity path looks like
the way to close it. One thing to keep in mind there: when
__sched_setaffinity() races with a cpuset update, it calls
__set_cpus_allowed_ptr() again to reset the task to the cpuset's mask.
That second call should probably stay unchecked, as it is today, since
cpuset_update_tasks_cpumask() narrows DL tasks without a check anyway;
refusing it would leave the task allowed on CPUs outside its cpuset.
I'll follow up on this separately.
Thanks,
Andrea
prev parent reply other threads:[~2026-11-03 15:34 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-02 13:54 Andrea Parri
2026-11-02 14:45 ` Aaron Tomlin
2026-11-02 15:14 ` Andrea Parri
2026-11-02 17:00 ` Aaron Tomlin
2026-11-03 7:07 ` Juri Lelli
2026-11-03 13:20 ` Andrea Parri
2026-11-03 8:11 ` Sebastian Andrzej Siewior
2026-11-03 15:34 ` Andrea Parri [this message]
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=20261103153443.187455-1-parri.andrea@gmail.com \
--to=parri.andrea@gmail.com \
--cc=atomlin@atomlin.com \
--cc=bigeasy@linutronix.de \
--cc=bsegall@google.com \
--cc=clrkwllms@kernel.org \
--cc=dietmar.eggemann@arm.com \
--cc=juri.lelli@redhat.com \
--cc=kprateek.nayak@amd.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-rt-devel@lists.linux.dev \
--cc=mgorman@suse.de \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=rostedt@goodmis.org \
--cc=vincent.guittot@linaro.org \
--cc=vschneid@redhat.com \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®