diff options
author | Oleg Nesterov <oleg@redhat.com> | 2009-04-02 19:57:58 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2009-04-02 22:04:57 -0400 |
commit | 90bc8d8b1a38f1ab131a2399a202e1889db95de8 (patch) | |
tree | 97001737dc3c1c7fd364ddd995bcbfc1c27b4c3a | |
parent | 6d7b2f5f9e88902b19f91d0c8a7ef58a5455f1a2 (diff) |
do_wait: fix waiting for the group stop with the dead leader
do_wait(WSTOPPED) assumes that p->state must be == TASK_STOPPED, this is
not true if the leader is already dead. Check SIGNAL_STOP_STOPPED instead
and use signal->group_exit_code.
Trivial test-case:
void *tfunc(void *arg)
{
pause();
return NULL;
}
int main(void)
{
pthread_t thr;
pthread_create(&thr, NULL, tfunc, NULL);
pthread_exit(NULL);
return 0;
}
It doesn't react to ^Z (and then to ^C or ^\). The task is stopped, but
bash can't see this.
The bug is very old, and it was reported multiple times. This patch was sent
more than a year ago (http://marc.info/?t=119713920000003) but it was ignored.
This change also fixes other oddities (but not all) in this area. For
example, before this patch:
$ sleep 100
^Z
[1]+ Stopped sleep 100
$ strace -p `pidof sleep`
Process 11442 attached - interrupt to quit
strace hangs in do_wait(), because ->exit_code was already consumed by
bash. After this patch, strace happily proceeds:
--- SIGTSTP (Stopped) @ 0 (0) ---
restart_syscall(<... resuming interrupted call ...>
To me, this looks much more "natural" and correct.
Another example. Let's suppose we have the main thread M and sub-thread
T, the process is stopped, and its parent did wait(WSTOPPED). Now we can
ptrace T but not M. This looks at least strange to me.
Imho, do_wait() should not confuse the per-thread ptrace stops with the
per-process job control stops.
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Cc: Denys Vlasenko <dvlasenk@redhat.com>
Cc: "Eric W. Biederman" <ebiederm@xmission.com>
Cc: Jan Kratochvil <jan.kratochvil@redhat.com>
Cc: Kaz Kylheku <kkylheku@gmail.com>
Cc: Michael Kerrisk <mtk.manpages@googlemail.com>
Cc: Roland McGrath <roland@redhat.com>
Cc: Ulrich Drepper <drepper@redhat.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
-rw-r--r-- | kernel/exit.c | 30 |
1 files changed, 18 insertions, 12 deletions
diff --git a/kernel/exit.c b/kernel/exit.c index 167e1e3ad7c6..0c06b9efae3b 100644 --- a/kernel/exit.c +++ b/kernel/exit.c | |||
@@ -1417,6 +1417,18 @@ static int wait_task_zombie(struct task_struct *p, int options, | |||
1417 | return retval; | 1417 | return retval; |
1418 | } | 1418 | } |
1419 | 1419 | ||
1420 | static int *task_stopped_code(struct task_struct *p, bool ptrace) | ||
1421 | { | ||
1422 | if (ptrace) { | ||
1423 | if (task_is_stopped_or_traced(p)) | ||
1424 | return &p->exit_code; | ||
1425 | } else { | ||
1426 | if (p->signal->flags & SIGNAL_STOP_STOPPED) | ||
1427 | return &p->signal->group_exit_code; | ||
1428 | } | ||
1429 | return NULL; | ||
1430 | } | ||
1431 | |||
1420 | /* | 1432 | /* |
1421 | * Handle sys_wait4 work for one task in state TASK_STOPPED. We hold | 1433 | * Handle sys_wait4 work for one task in state TASK_STOPPED. We hold |
1422 | * read_lock(&tasklist_lock) on entry. If we return zero, we still hold | 1434 | * read_lock(&tasklist_lock) on entry. If we return zero, we still hold |
@@ -1427,7 +1439,7 @@ static int wait_task_stopped(int ptrace, struct task_struct *p, | |||
1427 | int options, struct siginfo __user *infop, | 1439 | int options, struct siginfo __user *infop, |
1428 | int __user *stat_addr, struct rusage __user *ru) | 1440 | int __user *stat_addr, struct rusage __user *ru) |
1429 | { | 1441 | { |
1430 | int retval, exit_code, why; | 1442 | int retval, exit_code, *p_code, why; |
1431 | uid_t uid = 0; /* unneeded, required by compiler */ | 1443 | uid_t uid = 0; /* unneeded, required by compiler */ |
1432 | pid_t pid; | 1444 | pid_t pid; |
1433 | 1445 | ||
@@ -1437,22 +1449,16 @@ static int wait_task_stopped(int ptrace, struct task_struct *p, | |||
1437 | exit_code = 0; | 1449 | exit_code = 0; |
1438 | spin_lock_irq(&p->sighand->siglock); | 1450 | spin_lock_irq(&p->sighand->siglock); |
1439 | 1451 | ||
1440 | if (unlikely(!task_is_stopped_or_traced(p))) | 1452 | p_code = task_stopped_code(p, ptrace); |
1441 | goto unlock_sig; | 1453 | if (unlikely(!p_code)) |
1442 | |||
1443 | if (!ptrace && p->signal->group_stop_count > 0) | ||
1444 | /* | ||
1445 | * A group stop is in progress and this is the group leader. | ||
1446 | * We won't report until all threads have stopped. | ||
1447 | */ | ||
1448 | goto unlock_sig; | 1454 | goto unlock_sig; |
1449 | 1455 | ||
1450 | exit_code = p->exit_code; | 1456 | exit_code = *p_code; |
1451 | if (!exit_code) | 1457 | if (!exit_code) |
1452 | goto unlock_sig; | 1458 | goto unlock_sig; |
1453 | 1459 | ||
1454 | if (!unlikely(options & WNOWAIT)) | 1460 | if (!unlikely(options & WNOWAIT)) |
1455 | p->exit_code = 0; | 1461 | *p_code = 0; |
1456 | 1462 | ||
1457 | /* don't need the RCU readlock here as we're holding a spinlock */ | 1463 | /* don't need the RCU readlock here as we're holding a spinlock */ |
1458 | uid = __task_cred(p)->uid; | 1464 | uid = __task_cred(p)->uid; |
@@ -1608,7 +1614,7 @@ static int wait_consider_task(struct task_struct *parent, int ptrace, | |||
1608 | */ | 1614 | */ |
1609 | *notask_error = 0; | 1615 | *notask_error = 0; |
1610 | 1616 | ||
1611 | if (task_is_stopped_or_traced(p)) | 1617 | if (task_stopped_code(p, ptrace)) |
1612 | return wait_task_stopped(ptrace, p, options, | 1618 | return wait_task_stopped(ptrace, p, options, |
1613 | infop, stat_addr, ru); | 1619 | infop, stat_addr, ru); |
1614 | 1620 | ||