Re: [RFC][PATCH] exec: Conceal the other threads from wakeups during exec
From: Oleg Nesterov
Date: Fri Jul 31 2020 - 02:28:22 EST
Eric, I won't comment the intent, but I too do not understand this idea.
On 07/30, Eric W. Biederman wrote:
>
> [This change requires more work to handle TASK_STOPPED and TASK_TRACED]
Yes. And it is not clear to me how can you solve this.
> [This adds a new lock ordering dependency siglock -> pi_lock -> rq_lock ]
Not really, ttwu() can be safely called with siglock held and it takes
pi_lock + rq_lock. Say, signal_wake_up().
> +int make_task_wakekill(struct task_struct *p)
> +{
> + unsigned long flags;
> + int cpu, success = 0;
> + struct rq_flags rf;
> + struct rq *rq;
> + long state;
> +
> + /* Assumes p != current */
> + preempt_disable();
> + /*
> + * If we are going to change a thread waiting for CONDITION we
> + * need to ensure that CONDITION=1 done by the caller can not be
> + * reordered with p->state check below. This pairs with mb() in
> + * set_current_state() the waiting thread does.
> + */
> + raw_spin_lock_irqsave(&p->pi_lock, flags);
> + smp_mb__after_spinlock();
> + state = p->state;
> +
> + /* FIXME handle TASK_STOPPED and TASK_TRACED */
> + if ((state == TASK_KILLABLE) ||
> + (state == TASK_INTERRUPTIBLE)) {
> + success = 1;
> + cpu = task_cpu(p);
> + rq = cpu_rq(cpu);
> + rq_lock(rq, &rf);
> + p->state = TASK_WAKEKILL;
You can only do this if the task was already deactivated. Just suppose it
is preempted or does something like
set_current_sate(TASK_INTERRUPTIBLE);
if (CONDITION) {
// make_task_wakekill() sets state = TASK_WAKEKILL
__set_current_state(TASK_RUNNING);
return;
}
schedule();
Oleg.