exit.c 44.0 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10
/*
 *  linux/kernel/exit.c
 *
 *  Copyright (C) 1991, 1992  Linus Torvalds
 */

#include <linux/mm.h>
#include <linux/slab.h>
#include <linux/interrupt.h>
#include <linux/module.h>
11
#include <linux/capability.h>
L
Linus Torvalds 已提交
12 13 14
#include <linux/completion.h>
#include <linux/personality.h>
#include <linux/tty.h>
15
#include <linux/iocontext.h>
L
Linus Torvalds 已提交
16 17 18 19
#include <linux/key.h>
#include <linux/security.h>
#include <linux/cpu.h>
#include <linux/acct.h>
20
#include <linux/tsacct_kern.h>
L
Linus Torvalds 已提交
21
#include <linux/file.h>
A
Al Viro 已提交
22
#include <linux/fdtable.h>
23
#include <linux/freezer.h>
L
Linus Torvalds 已提交
24
#include <linux/binfmts.h>
S
Serge E. Hallyn 已提交
25
#include <linux/nsproxy.h>
26
#include <linux/pid_namespace.h>
L
Linus Torvalds 已提交
27 28 29 30
#include <linux/ptrace.h>
#include <linux/profile.h>
#include <linux/mount.h>
#include <linux/proc_fs.h>
31
#include <linux/kthread.h>
L
Linus Torvalds 已提交
32
#include <linux/mempolicy.h>
33
#include <linux/taskstats_kern.h>
34
#include <linux/delayacct.h>
35
#include <linux/cgroup.h>
L
Linus Torvalds 已提交
36
#include <linux/syscalls.h>
37
#include <linux/signal.h>
38
#include <linux/posix-timers.h>
M
Matt Helsley 已提交
39
#include <linux/cn_proc.h>
40
#include <linux/mutex.h>
41
#include <linux/futex.h>
42
#include <linux/pipe_fs_i.h>
43
#include <linux/audit.h> /* for audit_free() */
A
Adrian Bunk 已提交
44
#include <linux/resource.h>
45
#include <linux/blkdev.h>
46
#include <linux/task_io_accounting_ops.h>
R
Roland McGrath 已提交
47
#include <linux/tracehook.h>
48
#include <linux/fs_struct.h>
D
David Howells 已提交
49
#include <linux/init_task.h>
50
#include <linux/perf_event.h>
51
#include <trace/events/sched.h>
52
#include <linux/hw_breakpoint.h>
Y
Ying Han 已提交
53
#include <linux/oom.h>
54
#include <linux/writeback.h>
A
Al Viro 已提交
55
#include <linux/shm.h>
D
Dmitry Vyukov 已提交
56
#include <linux/kcov.h>
L
Linus Torvalds 已提交
57 58 59 60 61 62

#include <asm/uaccess.h>
#include <asm/unistd.h>
#include <asm/pgtable.h>
#include <asm/mmu_context.h>

63
static void __unhash_process(struct task_struct *p, bool group_dead)
L
Linus Torvalds 已提交
64 65
{
	nr_threads--;
66
	detach_pid(p, PIDTYPE_PID);
67
	if (group_dead) {
L
Linus Torvalds 已提交
68 69
		detach_pid(p, PIDTYPE_PGID);
		detach_pid(p, PIDTYPE_SID);
70

71
		list_del_rcu(&p->tasks);
72
		list_del_init(&p->sibling);
73
		__this_cpu_dec(process_counts);
L
Linus Torvalds 已提交
74
	}
O
Oleg Nesterov 已提交
75
	list_del_rcu(&p->thread_group);
76
	list_del_rcu(&p->thread_node);
L
Linus Torvalds 已提交
77 78
}

79 80 81 82 83 84
/*
 * This function expects the tasklist_lock write-locked.
 */
static void __exit_signal(struct task_struct *tsk)
{
	struct signal_struct *sig = tsk->signal;
85
	bool group_dead = thread_group_leader(tsk);
86
	struct sighand_struct *sighand;
87
	struct tty_struct *uninitialized_var(tty);
88
	cputime_t utime, stime;
89

90
	sighand = rcu_dereference_check(tsk->sighand,
91
					lockdep_tasklist_lock_is_held());
92 93 94
	spin_lock(&sighand->siglock);

	posix_cpu_timers_exit(tsk);
95
	if (group_dead) {
96
		posix_cpu_timers_exit_group(tsk);
97 98
		tty = sig->tty;
		sig->tty = NULL;
99
	} else {
100 101 102 103 104 105 106 107
		/*
		 * This can only happen if the caller is de_thread().
		 * FIXME: this is the temporary hack, we should teach
		 * posix-cpu-timers to handle this case correctly.
		 */
		if (unlikely(has_group_leader_pid(tsk)))
			posix_cpu_timers_exit_group(tsk);

108 109 110 111
		/*
		 * If there is any task waiting for the group exit
		 * then notify it:
		 */
112
		if (sig->notify_count > 0 && !--sig->notify_count)
113
			wake_up_process(sig->group_exit_task);
114

115 116 117 118
		if (tsk == sig->curr_target)
			sig->curr_target = next_thread(tsk);
	}

119
	/*
120 121 122 123
	 * Accumulate here the counters for all threads as they die. We could
	 * skip the group leader because it is the last user of signal_struct,
	 * but we want to avoid the race with thread_group_cputime() which can
	 * see the empty ->thread_head list.
124 125
	 */
	task_cputime(tsk, &utime, &stime);
126
	write_seqlock(&sig->stats_lock);
127 128 129 130 131 132 133 134 135 136 137
	sig->utime += utime;
	sig->stime += stime;
	sig->gtime += task_gtime(tsk);
	sig->min_flt += tsk->min_flt;
	sig->maj_flt += tsk->maj_flt;
	sig->nvcsw += tsk->nvcsw;
	sig->nivcsw += tsk->nivcsw;
	sig->inblock += task_io_get_inblock(tsk);
	sig->oublock += task_io_get_oublock(tsk);
	task_io_accounting_add(&sig->ioac, &tsk->ioac);
	sig->sum_sched_runtime += tsk->se.sum_exec_runtime;
138
	sig->nr_threads--;
139
	__unhash_process(tsk, group_dead);
140
	write_sequnlock(&sig->stats_lock);
141

142 143 144 145 146
	/*
	 * Do this under ->siglock, we can race with another thread
	 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
	 */
	flush_sigqueue(&tsk->pending);
147
	tsk->sighand = NULL;
148 149
	spin_unlock(&sighand->siglock);

150
	__cleanup_sighand(sighand);
151
	clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
152
	if (group_dead) {
153
		flush_sigqueue(&sig->shared_pending);
154
		tty_kref_put(tty);
155 156 157
	}
}

158 159
static void delayed_put_task_struct(struct rcu_head *rhp)
{
160 161
	struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);

162
	perf_event_delayed_put(tsk);
163 164
	trace_sched_process_free(tsk);
	put_task_struct(tsk);
165 166
}

R
Roland McGrath 已提交
167

168
void release_task(struct task_struct *p)
L
Linus Torvalds 已提交
169
{
170
	struct task_struct *leader;
L
Linus Torvalds 已提交
171
	int zap_leader;
172
repeat:
173
	/* don't need to get the RCU readlock here - the process is dead and
174 175
	 * can't be modifying its own credentials. But shut RCU-lockdep up */
	rcu_read_lock();
176
	atomic_dec(&__task_cred(p)->user->processes);
177
	rcu_read_unlock();
178

179
	proc_flush_task(p);
180

L
Linus Torvalds 已提交
181
	write_lock_irq(&tasklist_lock);
T
Tejun Heo 已提交
182
	ptrace_release_task(p);
L
Linus Torvalds 已提交
183
	__exit_signal(p);
184

L
Linus Torvalds 已提交
185 186 187 188 189 190 191
	/*
	 * If we are the last non-leader member of the thread
	 * group, and the leader is zombie, then notify the
	 * group leader's parent process. (if it wants notification.)
	 */
	zap_leader = 0;
	leader = p->group_leader;
192 193
	if (leader != p && thread_group_empty(leader)
			&& leader->exit_state == EXIT_ZOMBIE) {
L
Linus Torvalds 已提交
194 195 196 197
		/*
		 * If we were the last child thread and the leader has
		 * exited already, and the leader's parent ignores SIGCHLD,
		 * then we are the one who should release the leader.
R
Roland McGrath 已提交
198
		 */
199
		zap_leader = do_notify_parent(leader, leader->exit_signal);
R
Roland McGrath 已提交
200 201
		if (zap_leader)
			leader->exit_state = EXIT_DEAD;
L
Linus Torvalds 已提交
202 203 204 205
	}

	write_unlock_irq(&tasklist_lock);
	release_thread(p);
206
	call_rcu(&p->rcu, delayed_put_task_struct);
L
Linus Torvalds 已提交
207 208 209 210 211 212

	p = leader;
	if (unlikely(zap_leader))
		goto repeat;
}

213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
/*
 * Note that if this function returns a valid task_struct pointer (!NULL)
 * task->usage must remain >0 for the duration of the RCU critical section.
 */
struct task_struct *task_rcu_dereference(struct task_struct **ptask)
{
	struct sighand_struct *sighand;
	struct task_struct *task;

	/*
	 * We need to verify that release_task() was not called and thus
	 * delayed_put_task_struct() can't run and drop the last reference
	 * before rcu_read_unlock(). We check task->sighand != NULL,
	 * but we can read the already freed and reused memory.
	 */
retry:
	task = rcu_dereference(*ptask);
	if (!task)
		return NULL;

	probe_kernel_address(&task->sighand, sighand);

	/*
	 * Pairs with atomic_dec_and_test() in put_task_struct(). If this task
	 * was already freed we can not miss the preceding update of this
	 * pointer.
	 */
	smp_rmb();
	if (unlikely(task != READ_ONCE(*ptask)))
		goto retry;

	/*
	 * We've re-checked that "task == *ptask", now we have two different
	 * cases:
	 *
	 * 1. This is actually the same task/task_struct. In this case
	 *    sighand != NULL tells us it is still alive.
	 *
	 * 2. This is another task which got the same memory for task_struct.
	 *    We can't know this of course, and we can not trust
	 *    sighand != NULL.
	 *
	 *    In this case we actually return a random value, but this is
	 *    correct.
	 *
	 *    If we return NULL - we can pretend that we actually noticed that
	 *    *ptask was updated when the previous task has exited. Or pretend
	 *    that probe_slab_address(&sighand) reads NULL.
	 *
	 *    If we return the new task (because sighand is not NULL for any
	 *    reason) - this is fine too. This (new) task can't go away before
	 *    another gp pass.
	 *
	 *    And note: We could even eliminate the false positive if re-read
	 *    task->sighand once again to avoid the falsely NULL. But this case
	 *    is very unlikely so we don't care.
	 */
	if (!sighand)
		return NULL;

	return task;
}

struct task_struct *try_get_task_struct(struct task_struct **ptask)
{
	struct task_struct *task;

	rcu_read_lock();
	task = task_rcu_dereference(ptask);
	if (task)
		get_task_struct(task);
	rcu_read_unlock();

	return task;
}

L
Linus Torvalds 已提交
289 290 291 292 293 294 295 296
/*
 * Determine if a process group is "orphaned", according to the POSIX
 * definition in 2.2.2.52.  Orphaned process groups are not to be affected
 * by terminal-generated stop signals.  Newly orphaned process groups are
 * to receive a SIGHUP and a SIGCONT.
 *
 * "I ask you, have you ever known what it is to be an orphan?"
 */
297 298
static int will_become_orphaned_pgrp(struct pid *pgrp,
					struct task_struct *ignored_task)
L
Linus Torvalds 已提交
299 300 301
{
	struct task_struct *p;

302
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
303 304 305
		if ((p == ignored_task) ||
		    (p->exit_state && thread_group_empty(p)) ||
		    is_global_init(p->real_parent))
L
Linus Torvalds 已提交
306
			continue;
307

308
		if (task_pgrp(p->real_parent) != pgrp &&
309 310
		    task_session(p->real_parent) == task_session(p))
			return 0;
311
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
312 313

	return 1;
L
Linus Torvalds 已提交
314 315
}

316
int is_current_pgrp_orphaned(void)
L
Linus Torvalds 已提交
317 318 319 320
{
	int retval;

	read_lock(&tasklist_lock);
321
	retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
L
Linus Torvalds 已提交
322 323 324 325 326
	read_unlock(&tasklist_lock);

	return retval;
}

327
static bool has_stopped_jobs(struct pid *pgrp)
L
Linus Torvalds 已提交
328 329 330
{
	struct task_struct *p;

331
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
332 333
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return true;
334
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
335 336

	return false;
L
Linus Torvalds 已提交
337 338
}

339 340 341 342 343 344 345 346 347 348 349 350
/*
 * Check to see if any process groups have become orphaned as
 * a result of our exiting, and if they have any stopped jobs,
 * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
 */
static void
kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent)
{
	struct pid *pgrp = task_pgrp(tsk);
	struct task_struct *ignored_task = tsk;

	if (!parent)
351 352 353
		/* exit: our father is in a different pgrp than
		 * we are and we were the only connection outside.
		 */
354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369
		parent = tsk->real_parent;
	else
		/* reparent: our child is in a different pgrp than
		 * we are, and it was the only connection outside.
		 */
		ignored_task = NULL;

	if (task_pgrp(parent) != pgrp &&
	    task_session(parent) == task_session(tsk) &&
	    will_become_orphaned_pgrp(pgrp, ignored_task) &&
	    has_stopped_jobs(pgrp)) {
		__kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp);
		__kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp);
	}
}

O
Oleg Nesterov 已提交
370
#ifdef CONFIG_MEMCG
371
/*
372
 * A task is exiting.   If it owned this mm, find a new owner for the mm.
373 374 375 376 377 378
 */
void mm_update_next_owner(struct mm_struct *mm)
{
	struct task_struct *c, *g, *p = current;

retry:
379 380 381 382 383
	/*
	 * If the exiting or execing task is not the owner, it's
	 * someone else's problem.
	 */
	if (mm->owner != p)
384
		return;
385 386 387 388 389 390 391 392 393
	/*
	 * The current owner is exiting/execing and there are no other
	 * candidates.  Do not leave the mm pointing to a possibly
	 * freed task structure.
	 */
	if (atomic_read(&mm->mm_users) <= 1) {
		mm->owner = NULL;
		return;
	}
394 395 396 397 398 399 400 401 402 403 404 405 406

	read_lock(&tasklist_lock);
	/*
	 * Search in the children
	 */
	list_for_each_entry(c, &p->children, sibling) {
		if (c->mm == mm)
			goto assign_new_owner;
	}

	/*
	 * Search in the siblings
	 */
407
	list_for_each_entry(c, &p->real_parent->children, sibling) {
408 409 410 411 412
		if (c->mm == mm)
			goto assign_new_owner;
	}

	/*
413
	 * Search through everything else, we should not get here often.
414
	 */
415 416 417 418 419 420 421 422 423
	for_each_process(g) {
		if (g->flags & PF_KTHREAD)
			continue;
		for_each_thread(g, c) {
			if (c->mm == mm)
				goto assign_new_owner;
			if (c->mm)
				break;
		}
424
	}
425
	read_unlock(&tasklist_lock);
426 427 428
	/*
	 * We found no owner yet mm_users > 1: this implies that we are
	 * most likely racing with swapoff (try_to_unuse()) or /proc or
429
	 * ptrace or page migration (get_task_mm()).  Mark owner as NULL.
430 431
	 */
	mm->owner = NULL;
432 433 434 435 436 437 438 439 440 441
	return;

assign_new_owner:
	BUG_ON(c == p);
	get_task_struct(c);
	/*
	 * The task_lock protects c->mm from changing.
	 * We always want mm->owner->mm == mm
	 */
	task_lock(c);
442 443 444 445 446
	/*
	 * Delay read_unlock() till we have the task_lock()
	 * to ensure that c does not slip away underneath us
	 */
	read_unlock(&tasklist_lock);
447 448 449 450 451 452 453 454 455
	if (c->mm != mm) {
		task_unlock(c);
		put_task_struct(c);
		goto retry;
	}
	mm->owner = c;
	task_unlock(c);
	put_task_struct(c);
}
O
Oleg Nesterov 已提交
456
#endif /* CONFIG_MEMCG */
457

L
Linus Torvalds 已提交
458 459 460 461
/*
 * Turn us into a lazy TLB process if we
 * aren't already..
 */
462
static void exit_mm(struct task_struct *tsk)
L
Linus Torvalds 已提交
463 464
{
	struct mm_struct *mm = tsk->mm;
465
	struct core_state *core_state;
L
Linus Torvalds 已提交
466

467
	mm_release(tsk, mm);
L
Linus Torvalds 已提交
468 469
	if (!mm)
		return;
470
	sync_mm_rss(mm);
L
Linus Torvalds 已提交
471 472
	/*
	 * Serialize with any possible pending coredump.
473
	 * We must hold mmap_sem around checking core_state
L
Linus Torvalds 已提交
474
	 * and clearing tsk->mm.  The core-inducing thread
475
	 * will increment ->nr_threads for each thread in the
L
Linus Torvalds 已提交
476 477 478
	 * group with ->mm != NULL.
	 */
	down_read(&mm->mmap_sem);
479 480 481
	core_state = mm->core_state;
	if (core_state) {
		struct core_thread self;
482

L
Linus Torvalds 已提交
483 484
		up_read(&mm->mmap_sem);

485 486 487 488 489 490 491 492
		self.task = tsk;
		self.next = xchg(&core_state->dumper.next, &self);
		/*
		 * Implies mb(), the result of xchg() must be visible
		 * to core_state->dumper.
		 */
		if (atomic_dec_and_test(&core_state->nr_threads))
			complete(&core_state->startup);
L
Linus Torvalds 已提交
493

O
Oleg Nesterov 已提交
494 495 496 497
		for (;;) {
			set_task_state(tsk, TASK_UNINTERRUPTIBLE);
			if (!self.task) /* see coredump_finish() */
				break;
498
			freezable_schedule();
O
Oleg Nesterov 已提交
499 500
		}
		__set_task_state(tsk, TASK_RUNNING);
L
Linus Torvalds 已提交
501 502 503
		down_read(&mm->mmap_sem);
	}
	atomic_inc(&mm->mm_count);
E
Eric Sesterhenn 已提交
504
	BUG_ON(mm != tsk->active_mm);
L
Linus Torvalds 已提交
505 506 507 508 509 510
	/* more a memory barrier than a real lock */
	task_lock(tsk);
	tsk->mm = NULL;
	up_read(&mm->mmap_sem);
	enter_lazy_tlb(mm, current);
	task_unlock(tsk);
511
	mm_update_next_owner(mm);
L
Linus Torvalds 已提交
512
	mmput(mm);
513
	if (test_thread_flag(TIF_MEMDIE))
514
		exit_oom_victim(tsk);
L
Linus Torvalds 已提交
515 516
}

517 518 519 520 521 522 523 524 525 526 527
static struct task_struct *find_alive_thread(struct task_struct *p)
{
	struct task_struct *t;

	for_each_thread(p, t) {
		if (!(t->flags & PF_EXITING))
			return t;
	}
	return NULL;
}

528 529 530 531 532 533 534 535 536 537
static struct task_struct *find_child_reaper(struct task_struct *father)
	__releases(&tasklist_lock)
	__acquires(&tasklist_lock)
{
	struct pid_namespace *pid_ns = task_active_pid_ns(father);
	struct task_struct *reaper = pid_ns->child_reaper;

	if (likely(reaper != father))
		return reaper;

538 539
	reaper = find_alive_thread(father);
	if (reaper) {
540 541 542 543 544 545 546 547 548 549 550 551 552 553 554
		pid_ns->child_reaper = reaper;
		return reaper;
	}

	write_unlock_irq(&tasklist_lock);
	if (unlikely(pid_ns == &init_pid_ns)) {
		panic("Attempted to kill init! exitcode=0x%08x\n",
			father->signal->group_exit_code ?: father->exit_code);
	}
	zap_pid_ns_processes(pid_ns);
	write_lock_irq(&tasklist_lock);

	return father;
}

L
Linus Torvalds 已提交
555
/*
556 557 558 559 560
 * When we die, we re-parent all our children, and try to:
 * 1. give them to another thread in our thread group, if such a member exists
 * 2. give it to the first ancestor process which prctl'd itself as a
 *    child_subreaper for its children (like a service manager)
 * 3. give it to the init process (PID 1) in our pid namespace
L
Linus Torvalds 已提交
561
 */
562 563
static struct task_struct *find_new_reaper(struct task_struct *father,
					   struct task_struct *child_reaper)
L
Linus Torvalds 已提交
564
{
565
	struct task_struct *thread, *reaper;
L
Linus Torvalds 已提交
566

567 568
	thread = find_alive_thread(father);
	if (thread)
569
		return thread;
L
Linus Torvalds 已提交
570

571
	if (father->signal->has_child_subreaper) {
572
		/*
573 574 575
		 * Find the first ->is_child_subreaper ancestor in our pid_ns.
		 * We start from father to ensure we can not look into another
		 * namespace, this is safe because all its threads are dead.
576
		 */
577
		for (reaper = father;
578
		     !same_thread_group(reaper, child_reaper);
579
		     reaper = reaper->real_parent) {
580 581
			/* call_usermodehelper() descendants need this check */
			if (reaper == &init_task)
582 583 584
				break;
			if (!reaper->signal->is_child_subreaper)
				continue;
585 586 587
			thread = find_alive_thread(reaper);
			if (thread)
				return thread;
588
		}
L
Linus Torvalds 已提交
589
	}
590

591
	return child_reaper;
592 593
}

594 595 596
/*
* Any that need to be release_task'd are put on the @dead list.
 */
597
static void reparent_leader(struct task_struct *father, struct task_struct *p,
598 599
				struct list_head *dead)
{
600
	if (unlikely(p->exit_state == EXIT_DEAD))
601 602
		return;

603
	/* We don't want people slaying init. */
604 605 606
	p->exit_signal = SIGCHLD;

	/* If it has exited notify the new parent about this child's death. */
T
Tejun Heo 已提交
607
	if (!p->ptrace &&
608
	    p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
609
		if (do_notify_parent(p, p->exit_signal)) {
610
			p->exit_state = EXIT_DEAD;
611
			list_add(&p->ptrace_entry, dead);
612 613 614 615 616 617
		}
	}

	kill_orphaned_pgrp(p, father);
}

618 619 620 621 622 623 624 625 626 627
/*
 * This does two things:
 *
 * A.  Make init inherit all the child processes
 * B.  Check to see if any process groups have become orphaned
 *	as a result of our exiting, and if they have any stopped
 *	jobs, send them a SIGHUP and then a SIGCONT.  (POSIX 3.2.2.2)
 */
static void forget_original_parent(struct task_struct *father,
					struct list_head *dead)
L
Linus Torvalds 已提交
628
{
629
	struct task_struct *p, *t, *reaper;
630

631
	if (unlikely(!list_empty(&father->ptraced)))
632
		exit_ptrace(father, dead);
R
Roland McGrath 已提交
633

634
	/* Can drop and reacquire tasklist_lock */
635
	reaper = find_child_reaper(father);
636
	if (list_empty(&father->children))
637
		return;
638 639

	reaper = find_new_reaper(father, reaper);
640
	list_for_each_entry(p, &father->children, sibling) {
641
		for_each_thread(p, t) {
642
			t->real_parent = reaper;
643 644
			BUG_ON((!t->ptrace) != (t->parent == father));
			if (likely(!t->ptrace))
645 646 647 648
				t->parent = t->real_parent;
			if (t->pdeath_signal)
				group_send_sig_info(t->pdeath_signal,
						    SEND_SIG_NOINFO, t);
649
		}
650 651 652 653 654
		/*
		 * If this is a threaded reparent there is no need to
		 * notify anyone anything has happened.
		 */
		if (!same_thread_group(reaper, father))
655
			reparent_leader(father, p, dead);
L
Linus Torvalds 已提交
656
	}
657
	list_splice_tail_init(&father->children, &reaper->children);
L
Linus Torvalds 已提交
658 659 660 661 662 663
}

/*
 * Send signals to all our closest relatives so that they know
 * to properly mourn us..
 */
664
static void exit_notify(struct task_struct *tsk, int group_dead)
L
Linus Torvalds 已提交
665
{
666
	bool autoreap;
667 668
	struct task_struct *p, *n;
	LIST_HEAD(dead);
L
Linus Torvalds 已提交
669

670
	write_lock_irq(&tasklist_lock);
671 672
	forget_original_parent(tsk, &dead);

673 674
	if (group_dead)
		kill_orphaned_pgrp(tsk->group_leader, NULL);
L
Linus Torvalds 已提交
675

O
Oleg Nesterov 已提交
676 677 678 679 680 681 682 683 684 685 686 687
	if (unlikely(tsk->ptrace)) {
		int sig = thread_group_leader(tsk) &&
				thread_group_empty(tsk) &&
				!ptrace_reparented(tsk) ?
			tsk->exit_signal : SIGCHLD;
		autoreap = do_notify_parent(tsk, sig);
	} else if (thread_group_leader(tsk)) {
		autoreap = thread_group_empty(tsk) &&
			do_notify_parent(tsk, tsk->exit_signal);
	} else {
		autoreap = true;
	}
L
Linus Torvalds 已提交
688

689
	tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
690 691
	if (tsk->exit_state == EXIT_DEAD)
		list_add(&tsk->ptrace_entry, &dead);
L
Linus Torvalds 已提交
692

693 694
	/* mt-exec, de_thread() is waiting for group leader */
	if (unlikely(tsk->signal->notify_count < 0))
695
		wake_up_process(tsk->signal->group_exit_task);
L
Linus Torvalds 已提交
696 697
	write_unlock_irq(&tasklist_lock);

698 699 700 701
	list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
		list_del_init(&p->ptrace_entry);
		release_task(p);
	}
L
Linus Torvalds 已提交
702 703
}

704 705 706 707 708 709 710
#ifdef CONFIG_DEBUG_STACK_USAGE
static void check_stack_usage(void)
{
	static DEFINE_SPINLOCK(low_water_lock);
	static int lowest_to_date = THREAD_SIZE;
	unsigned long free;

711
	free = stack_not_used(current);
712 713 714 715 716 717

	if (free >= lowest_to_date)
		return;

	spin_lock(&low_water_lock);
	if (free < lowest_to_date) {
718 719
		pr_warn("%s (%d) used greatest stack depth: %lu bytes left\n",
			current->comm, task_pid_nr(current), free);
720 721 722 723 724 725 726 727
		lowest_to_date = free;
	}
	spin_unlock(&low_water_lock);
}
#else
static inline void check_stack_usage(void) {}
#endif

728
void do_exit(long code)
L
Linus Torvalds 已提交
729 730 731
{
	struct task_struct *tsk = current;
	int group_dead;
732
	TASKS_RCU(int tasks_rcu_i);
L
Linus Torvalds 已提交
733 734

	profile_task_exit(tsk);
D
Dmitry Vyukov 已提交
735
	kcov_task_exit(tsk);
L
Linus Torvalds 已提交
736

737
	WARN_ON(blk_needs_flush_plug(tsk));
738

L
Linus Torvalds 已提交
739 740 741 742 743
	if (unlikely(in_interrupt()))
		panic("Aiee, killing interrupt handler!");
	if (unlikely(!tsk->pid))
		panic("Attempted to kill the idle task!");

744 745 746 747 748 749 750 751 752
	/*
	 * If do_exit is called because this processes oopsed, it's possible
	 * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before
	 * continuing. Amongst other possible reasons, this is to prevent
	 * mm_release()->clear_child_tid() from writing to a user-controlled
	 * kernel address.
	 */
	set_fs(USER_DS);

T
Tejun Heo 已提交
753
	ptrace_event(PTRACE_EVENT_EXIT, code);
L
Linus Torvalds 已提交
754

755 756
	validate_creds_for_do_exit(tsk);

757 758 759 760 761
	/*
	 * We're taking recursive faults here in do_exit. Safest is to just
	 * leave this task alone and wait for reboot.
	 */
	if (unlikely(tsk->flags & PF_EXITING)) {
762
		pr_alert("Fixing recursive fault but reboot is needed!\n");
763 764 765 766 767 768 769 770 771 772
		/*
		 * We can do this unlocked here. The futex code uses
		 * this flag just to verify whether the pi state
		 * cleanup has been done or not. In the worst case it
		 * loops once more. We pretend that the cleanup was
		 * done as there is no way to return. Either the
		 * OWNER_DIED bit is set by now or we push the blocked
		 * task into the wait for ever nirwana as well.
		 */
		tsk->flags |= PF_EXITPIDONE;
773 774 775 776
		set_current_state(TASK_UNINTERRUPTIBLE);
		schedule();
	}

O
Oleg Nesterov 已提交
777
	exit_signals(tsk);  /* sets PF_EXITING */
778
	/*
779 780
	 * Ensure that all new tsk->pi_lock acquisitions must observe
	 * PF_EXITING. Serializes against futex.c:attach_to_pi_owner().
781
	 */
782
	smp_mb();
783 784 785 786
	/*
	 * Ensure that we must observe the pi_state in exit_mm() ->
	 * mm_release() -> exit_pi_state_list().
	 */
787
	raw_spin_unlock_wait(&tsk->pi_lock);
L
Linus Torvalds 已提交
788

789
	if (unlikely(in_atomic())) {
790 791 792
		pr_info("note: %s[%d] exited with preempt_count %d\n",
			current->comm, task_pid_nr(current),
			preempt_count());
793 794
		preempt_count_set(PREEMPT_ENABLED);
	}
L
Linus Torvalds 已提交
795

796 797 798
	/* sync mm's RSS info before statistics gathering */
	if (tsk->mm)
		sync_mm_rss(tsk->mm);
799
	acct_update_integrals(tsk);
L
Linus Torvalds 已提交
800
	group_dead = atomic_dec_and_test(&tsk->signal->live);
801
	if (group_dead) {
802
		hrtimer_cancel(&tsk->signal->real_timer);
803
		exit_itimers(tsk->signal);
J
Jiri Pirko 已提交
804 805
		if (tsk->mm)
			setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
806
	}
807
	acct_collect(code, group_dead);
M
Miloslav Trmac 已提交
808 809
	if (group_dead)
		tty_audit_exit();
810
	audit_free(tsk);
811

812
	tsk->exit_code = code;
813
	taskstats_exit(tsk, group_dead);
814

L
Linus Torvalds 已提交
815 816
	exit_mm(tsk);

817
	if (group_dead)
818
		acct_process();
819 820
	trace_sched_process_exit(tsk);

L
Linus Torvalds 已提交
821
	exit_sem(tsk);
822
	exit_shm(tsk);
823 824
	exit_files(tsk);
	exit_fs(tsk);
825 826
	if (group_dead)
		disassociate_ctty(1);
827
	exit_task_namespaces(tsk);
828
	exit_task_work(tsk);
829
	exit_thread(tsk);
830 831 832 833 834 835 836 837 838

	/*
	 * Flush inherited counters to the parent - before the parent
	 * gets woken up by child-exit notifications.
	 *
	 * because of cgroup mode, must be called before cgroup_exit()
	 */
	perf_event_exit_task(tsk);

839
	cgroup_exit(tsk);
L
Linus Torvalds 已提交
840

841 842 843
	/*
	 * FIXME: do that only when needed, using sched_exit tracepoint
	 */
844
	flush_ptrace_hw_breakpoint(tsk);
845

846
	TASKS_RCU(preempt_disable());
847
	TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
848
	TASKS_RCU(preempt_enable());
849
	exit_notify(tsk, group_dead);
850
	proc_exit_connector(tsk);
L
Linus Torvalds 已提交
851
#ifdef CONFIG_NUMA
852
	task_lock(tsk);
853
	mpol_put(tsk->mempolicy);
L
Linus Torvalds 已提交
854
	tsk->mempolicy = NULL;
855
	task_unlock(tsk);
L
Linus Torvalds 已提交
856
#endif
857
#ifdef CONFIG_FUTEX
858 859
	if (unlikely(current->pi_state_cache))
		kfree(current->pi_state_cache);
860
#endif
861
	/*
862
	 * Make sure we are holding no locks:
863
	 */
864
	debug_check_no_locks_held();
865 866 867 868 869 870
	/*
	 * We can do this unlocked here. The futex code uses this flag
	 * just to verify whether the pi state cleanup has been done
	 * or not. In the worst case it loops once more.
	 */
	tsk->flags |= PF_EXITPIDONE;
L
Linus Torvalds 已提交
871

872
	if (tsk->io_context)
873
		exit_io_context(tsk);
874

875
	if (tsk->splice_pipe)
876
		free_pipe_info(tsk->splice_pipe);
877

878 879 880
	if (tsk->task_frag.page)
		put_page(tsk->task_frag.page);

881 882
	validate_creds_for_do_exit(tsk);

883
	check_stack_usage();
C
Coywolf Qi Hunt 已提交
884
	preempt_disable();
885 886
	if (tsk->nr_dirtied)
		__this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
887
	exit_rcu();
888
	TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904

	/*
	 * The setting of TASK_RUNNING by try_to_wake_up() may be delayed
	 * when the following two conditions become true.
	 *   - There is race condition of mmap_sem (It is acquired by
	 *     exit_mm()), and
	 *   - SMI occurs before setting TASK_RUNINNG.
	 *     (or hypervisor of virtual machine switches to other guest)
	 *  As a result, we may become TASK_RUNNING after becoming TASK_DEAD
	 *
	 * To avoid it, we have to wait for releasing tsk->pi_lock which
	 * is held by try_to_wake_up()
	 */
	smp_mb();
	raw_spin_unlock_wait(&tsk->pi_lock);

O
Oleg Nesterov 已提交
905
	/* causes final put_task_struct in finish_task_switch(). */
906
	tsk->state = TASK_DEAD;
907
	tsk->flags |= PF_NOFREEZE;	/* tell freezer to ignore us */
L
Linus Torvalds 已提交
908 909 910
	schedule();
	BUG();
	/* Avoid "noreturn function does return".  */
A
Alan Cox 已提交
911 912
	for (;;)
		cpu_relax();	/* For when BUG is null */
L
Linus Torvalds 已提交
913
}
914 915
EXPORT_SYMBOL_GPL(do_exit);

916
void complete_and_exit(struct completion *comp, long code)
L
Linus Torvalds 已提交
917 918 919
{
	if (comp)
		complete(comp);
O
Oleg Nesterov 已提交
920

L
Linus Torvalds 已提交
921 922 923 924
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

925
SYSCALL_DEFINE1(exit, int, error_code)
L
Linus Torvalds 已提交
926 927 928 929 930 931 932 933
{
	do_exit((error_code&0xff)<<8);
}

/*
 * Take down every thread in the group.  This is called by fatal signals
 * as well as by sys_exit_group (below).
 */
934
void
L
Linus Torvalds 已提交
935 936
do_group_exit(int exit_code)
{
937 938
	struct signal_struct *sig = current->signal;

L
Linus Torvalds 已提交
939 940
	BUG_ON(exit_code & 0x80); /* core dumps don't get here */

941 942
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
L
Linus Torvalds 已提交
943 944
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
945

L
Linus Torvalds 已提交
946
		spin_lock_irq(&sighand->siglock);
947
		if (signal_group_exit(sig))
L
Linus Torvalds 已提交
948 949 950 951
			/* Another thread got here before we took the lock.  */
			exit_code = sig->group_exit_code;
		else {
			sig->group_exit_code = exit_code;
952
			sig->flags = SIGNAL_GROUP_EXIT;
L
Linus Torvalds 已提交
953 954 955 956 957 958 959 960 961 962 963 964 965 966
			zap_other_threads(current);
		}
		spin_unlock_irq(&sighand->siglock);
	}

	do_exit(exit_code);
	/* NOTREACHED */
}

/*
 * this kills every thread in the thread group. Note that any externally
 * wait4()-ing process will get the correct exit code - even if this
 * thread is not the thread group leader.
 */
967
SYSCALL_DEFINE1(exit_group, int, error_code)
L
Linus Torvalds 已提交
968 969
{
	do_group_exit((error_code & 0xff) << 8);
970 971
	/* NOTREACHED */
	return 0;
L
Linus Torvalds 已提交
972 973
}

974 975 976
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
977
	struct pid		*wo_pid;
978 979 980 981 982

	struct siginfo __user	*wo_info;
	int __user		*wo_stat;
	struct rusage __user	*wo_rusage;

983
	wait_queue_t		child_wait;
984 985 986
	int			notask_error;
};

987 988
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
E
Eric W. Biederman 已提交
989
{
990 991 992
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
E
Eric W. Biederman 已提交
993 994
}

995
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
996
{
997 998 999
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
L
Linus Torvalds 已提交
1000

1001 1002
static int
eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
1003 1004 1005
{
	if (!eligible_pid(wo, p))
		return 0;
1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022

	/*
	 * Wait for all children (clone and not) if __WALL is set or
	 * if it is traced by us.
	 */
	if (ptrace || (wo->wo_flags & __WALL))
		return 1;

	/*
	 * Otherwise, wait for clone children *only* if __WCLONE is set;
	 * otherwise, wait for non-clone children *only*.
	 *
	 * Note: a "clone" child here is one that reports to its parent
	 * using a signal other than SIGCHLD, or a non-leader thread which
	 * we can only see if it is traced by us.
	 */
	if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
L
Linus Torvalds 已提交
1023 1024
		return 0;

1025
	return 1;
L
Linus Torvalds 已提交
1026 1027
}

1028 1029
static int wait_noreap_copyout(struct wait_opts *wo, struct task_struct *p,
				pid_t pid, uid_t uid, int why, int status)
L
Linus Torvalds 已提交
1030
{
1031 1032 1033
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1034

L
Linus Torvalds 已提交
1035
	put_task_struct(p);
1036
	infop = wo->wo_info;
1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050
	if (infop) {
		if (!retval)
			retval = put_user(SIGCHLD, &infop->si_signo);
		if (!retval)
			retval = put_user(0, &infop->si_errno);
		if (!retval)
			retval = put_user((short)why, &infop->si_code);
		if (!retval)
			retval = put_user(pid, &infop->si_pid);
		if (!retval)
			retval = put_user(uid, &infop->si_uid);
		if (!retval)
			retval = put_user(status, &infop->si_status);
	}
L
Linus Torvalds 已提交
1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061
	if (!retval)
		retval = pid;
	return retval;
}

/*
 * Handle sys_wait4 work for one task in state EXIT_ZOMBIE.  We hold
 * read_lock(&tasklist_lock) on entry.  If we return zero, we still hold
 * the lock and this task is uninteresting.  If we return nonzero, we have
 * released the lock and the system call should return.
 */
1062
static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1063
{
1064
	int state, retval, status;
1065
	pid_t pid = task_pid_vnr(p);
1066
	uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
1067
	struct siginfo __user *infop;
L
Linus Torvalds 已提交
1068

1069
	if (!likely(wo->wo_flags & WEXITED))
R
Roland McGrath 已提交
1070 1071
		return 0;

1072
	if (unlikely(wo->wo_flags & WNOWAIT)) {
L
Linus Torvalds 已提交
1073
		int exit_code = p->exit_code;
1074
		int why;
L
Linus Torvalds 已提交
1075 1076 1077

		get_task_struct(p);
		read_unlock(&tasklist_lock);
1078 1079
		sched_annotate_sleep();

L
Linus Torvalds 已提交
1080 1081 1082 1083 1084 1085 1086
		if ((exit_code & 0x7f) == 0) {
			why = CLD_EXITED;
			status = exit_code >> 8;
		} else {
			why = (exit_code & 0x80) ? CLD_DUMPED : CLD_KILLED;
			status = exit_code & 0x7f;
		}
1087
		return wait_noreap_copyout(wo, p, pid, uid, why, status);
L
Linus Torvalds 已提交
1088 1089
	}
	/*
1090
	 * Move the task's state to DEAD/TRACE, only one thread can do this.
L
Linus Torvalds 已提交
1091
	 */
1092 1093
	state = (ptrace_reparented(p) && thread_group_leader(p)) ?
		EXIT_TRACE : EXIT_DEAD;
1094
	if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
L
Linus Torvalds 已提交
1095
		return 0;
1096 1097 1098 1099 1100
	/*
	 * We own this thread, nobody else can reap it.
	 */
	read_unlock(&tasklist_lock);
	sched_annotate_sleep();
1101

1102
	/*
1103
	 * Check thread_group_leader() to exclude the traced sub-threads.
1104
	 */
1105
	if (state == EXIT_DEAD && thread_group_leader(p)) {
1106 1107
		struct signal_struct *sig = p->signal;
		struct signal_struct *psig = current->signal;
J
Jiri Pirko 已提交
1108
		unsigned long maxrss;
1109
		cputime_t tgutime, tgstime;
1110

L
Linus Torvalds 已提交
1111 1112 1113 1114 1115 1116 1117 1118
		/*
		 * The resource counters for the group leader are in its
		 * own task_struct.  Those for dead threads in the group
		 * are in its signal_struct, as are those for the child
		 * processes it has previously reaped.  All these
		 * accumulate in the parent's signal_struct c* fields.
		 *
		 * We don't bother to take a lock here to protect these
1119 1120 1121 1122 1123 1124 1125
		 * p->signal fields because the whole thread group is dead
		 * and nobody can change them.
		 *
		 * psig->stats_lock also protects us from our sub-theads
		 * which can reap other children at the same time. Until
		 * we change k_getrusage()-like users to rely on this lock
		 * we have to take ->siglock as well.
1126
		 *
1127 1128 1129
		 * We use thread_group_cputime_adjusted() to get times for
		 * the thread group, which consolidates times for all threads
		 * in the group including the group leader.
L
Linus Torvalds 已提交
1130
		 */
1131
		thread_group_cputime_adjusted(p, &tgutime, &tgstime);
1132
		spin_lock_irq(&current->sighand->siglock);
1133
		write_seqlock(&psig->stats_lock);
1134 1135
		psig->cutime += tgutime + sig->cutime;
		psig->cstime += tgstime + sig->cstime;
1136
		psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
1137 1138 1139 1140 1141 1142 1143 1144
		psig->cmin_flt +=
			p->min_flt + sig->min_flt + sig->cmin_flt;
		psig->cmaj_flt +=
			p->maj_flt + sig->maj_flt + sig->cmaj_flt;
		psig->cnvcsw +=
			p->nvcsw + sig->nvcsw + sig->cnvcsw;
		psig->cnivcsw +=
			p->nivcsw + sig->nivcsw + sig->cnivcsw;
1145 1146 1147 1148 1149 1150
		psig->cinblock +=
			task_io_get_inblock(p) +
			sig->inblock + sig->cinblock;
		psig->coublock +=
			task_io_get_oublock(p) +
			sig->oublock + sig->coublock;
J
Jiri Pirko 已提交
1151 1152 1153
		maxrss = max(sig->maxrss, sig->cmaxrss);
		if (psig->cmaxrss < maxrss)
			psig->cmaxrss = maxrss;
1154 1155
		task_io_accounting_add(&psig->ioac, &p->ioac);
		task_io_accounting_add(&psig->ioac, &sig->ioac);
1156
		write_sequnlock(&psig->stats_lock);
1157
		spin_unlock_irq(&current->sighand->siglock);
L
Linus Torvalds 已提交
1158 1159
	}

1160 1161
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1162 1163
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1164 1165 1166 1167
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
L
Linus Torvalds 已提交
1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186
	if (!retval && infop)
		retval = put_user(SIGCHLD, &infop->si_signo);
	if (!retval && infop)
		retval = put_user(0, &infop->si_errno);
	if (!retval && infop) {
		int why;

		if ((status & 0x7f) == 0) {
			why = CLD_EXITED;
			status >>= 8;
		} else {
			why = (status & 0x80) ? CLD_DUMPED : CLD_KILLED;
			status &= 0x7f;
		}
		retval = put_user((short)why, &infop->si_code);
		if (!retval)
			retval = put_user(status, &infop->si_status);
	}
	if (!retval && infop)
1187
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1188
	if (!retval && infop)
1189
		retval = put_user(uid, &infop->si_uid);
1190
	if (!retval)
1191
		retval = pid;
1192

1193
	if (state == EXIT_TRACE) {
L
Linus Torvalds 已提交
1194
		write_lock_irq(&tasklist_lock);
1195 1196
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1197 1198 1199 1200 1201

		/* If parent wants a zombie, don't release it now */
		state = EXIT_ZOMBIE;
		if (do_notify_parent(p, p->exit_signal))
			state = EXIT_DEAD;
1202
		p->exit_state = state;
L
Linus Torvalds 已提交
1203 1204
		write_unlock_irq(&tasklist_lock);
	}
1205
	if (state == EXIT_DEAD)
L
Linus Torvalds 已提交
1206
		release_task(p);
1207

L
Linus Torvalds 已提交
1208 1209 1210
	return retval;
}

1211 1212 1213
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
1214
		if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
1215 1216 1217 1218 1219 1220 1221 1222
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239
/**
 * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED
 * @wo: wait options
 * @ptrace: is the wait for ptrace
 * @p: task to wait for
 *
 * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED.
 *
 * CONTEXT:
 * read_lock(&tasklist_lock), which is released if return value is
 * non-zero.  Also, grabs and releases @p->sighand->siglock.
 *
 * RETURNS:
 * 0 if wait condition didn't exist and search for other wait conditions
 * should continue.  Non-zero return, -errno on failure and @p's pid on
 * success, implies that tasklist_lock is released and wait condition
 * search should terminate.
L
Linus Torvalds 已提交
1240
 */
1241 1242
static int wait_task_stopped(struct wait_opts *wo,
				int ptrace, struct task_struct *p)
L
Linus Torvalds 已提交
1243
{
1244
	struct siginfo __user *infop;
1245
	int retval, exit_code, *p_code, why;
1246
	uid_t uid = 0; /* unneeded, required by compiler */
1247
	pid_t pid;
L
Linus Torvalds 已提交
1248

1249 1250 1251
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1252
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
R
Roland McGrath 已提交
1253 1254
		return 0;

1255 1256 1257
	if (!task_stopped_code(p, ptrace))
		return 0;

1258 1259 1260
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1261 1262
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1263 1264
		goto unlock_sig;

1265
	exit_code = *p_code;
1266 1267 1268
	if (!exit_code)
		goto unlock_sig;

1269
	if (!unlikely(wo->wo_flags & WNOWAIT))
1270
		*p_code = 0;
1271

1272
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1273 1274 1275
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
L
Linus Torvalds 已提交
1276 1277 1278 1279 1280 1281 1282 1283 1284 1285
		return 0;

	/*
	 * Now we are pretty sure this task is interesting.
	 * Make sure it doesn't get reaped out from under us while we
	 * give up the lock and then examine it below.  We don't want to
	 * keep holding onto the tasklist_lock while we call getrusage and
	 * possibly take page faults for user memory.
	 */
	get_task_struct(p);
1286
	pid = task_pid_vnr(p);
R
Roland McGrath 已提交
1287
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
L
Linus Torvalds 已提交
1288
	read_unlock(&tasklist_lock);
1289
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1290

1291 1292 1293 1294 1295 1296 1297
	if (unlikely(wo->wo_flags & WNOWAIT))
		return wait_noreap_copyout(wo, p, pid, uid, why, exit_code);

	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
	if (!retval && wo->wo_stat)
		retval = put_user((exit_code << 8) | 0x7f, wo->wo_stat);
L
Linus Torvalds 已提交
1298

1299
	infop = wo->wo_info;
L
Linus Torvalds 已提交
1300 1301 1302 1303 1304
	if (!retval && infop)
		retval = put_user(SIGCHLD, &infop->si_signo);
	if (!retval && infop)
		retval = put_user(0, &infop->si_errno);
	if (!retval && infop)
R
Roland McGrath 已提交
1305
		retval = put_user((short)why, &infop->si_code);
L
Linus Torvalds 已提交
1306 1307 1308
	if (!retval && infop)
		retval = put_user(exit_code, &infop->si_status);
	if (!retval && infop)
1309
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1310
	if (!retval && infop)
1311
		retval = put_user(uid, &infop->si_uid);
L
Linus Torvalds 已提交
1312
	if (!retval)
1313
		retval = pid;
L
Linus Torvalds 已提交
1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325
	put_task_struct(p);

	BUG_ON(!retval);
	return retval;
}

/*
 * Handle do_wait work for one task in a live, non-stopped state.
 * read_lock(&tasklist_lock) on entry.  If we return zero, we still hold
 * the lock and this task is uninteresting.  If we return nonzero, we have
 * released the lock and the system call should return.
 */
1326
static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1327 1328 1329 1330 1331
{
	int retval;
	pid_t pid;
	uid_t uid;

1332
	if (!unlikely(wo->wo_flags & WCONTINUED))
R
Roland McGrath 已提交
1333 1334
		return 0;

L
Linus Torvalds 已提交
1335 1336 1337 1338 1339 1340 1341 1342 1343
	if (!(p->signal->flags & SIGNAL_STOP_CONTINUED))
		return 0;

	spin_lock_irq(&p->sighand->siglock);
	/* Re-check with the lock held.  */
	if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) {
		spin_unlock_irq(&p->sighand->siglock);
		return 0;
	}
1344
	if (!unlikely(wo->wo_flags & WNOWAIT))
L
Linus Torvalds 已提交
1345
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1346
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
L
Linus Torvalds 已提交
1347 1348
	spin_unlock_irq(&p->sighand->siglock);

1349
	pid = task_pid_vnr(p);
L
Linus Torvalds 已提交
1350 1351
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1352
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1353

1354 1355 1356
	if (!wo->wo_info) {
		retval = wo->wo_rusage
			? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1357
		put_task_struct(p);
1358 1359
		if (!retval && wo->wo_stat)
			retval = put_user(0xffff, wo->wo_stat);
L
Linus Torvalds 已提交
1360
		if (!retval)
1361
			retval = pid;
L
Linus Torvalds 已提交
1362
	} else {
1363 1364
		retval = wait_noreap_copyout(wo, p, pid, uid,
					     CLD_CONTINUED, SIGCONT);
L
Linus Torvalds 已提交
1365 1366 1367 1368 1369 1370
		BUG_ON(retval == 0);
	}

	return retval;
}

R
Roland McGrath 已提交
1371 1372 1373
/*
 * Consider @p for a wait by @parent.
 *
1374
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1375 1376
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue;
1377
 * then ->notask_error is 0 if @p is an eligible child,
1378
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1379
 */
1380 1381
static int wait_consider_task(struct wait_opts *wo, int ptrace,
				struct task_struct *p)
R
Roland McGrath 已提交
1382
{
1383 1384 1385 1386 1387 1388
	/*
	 * We can race with wait_task_zombie() from another thread.
	 * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition
	 * can't confuse the checks below.
	 */
	int exit_state = ACCESS_ONCE(p->exit_state);
1389 1390
	int ret;

1391
	if (unlikely(exit_state == EXIT_DEAD))
1392 1393
		return 0;

1394
	ret = eligible_child(wo, ptrace, p);
1395
	if (!ret)
R
Roland McGrath 已提交
1396 1397
		return ret;

1398
	ret = security_task_wait(p);
1399 1400 1401 1402 1403 1404 1405 1406
	if (unlikely(ret < 0)) {
		/*
		 * If we have not yet seen any eligible child,
		 * then let this error code replace -ECHILD.
		 * A permission error will give the user a clue
		 * to look for security policy problems, rather
		 * than for mysterious wait bugs.
		 */
1407 1408
		if (wo->notask_error)
			wo->notask_error = ret;
1409
		return 0;
1410 1411
	}

1412
	if (unlikely(exit_state == EXIT_TRACE)) {
1413
		/*
1414 1415
		 * ptrace == 0 means we are the natural parent. In this case
		 * we should clear notask_error, debugger will notify us.
1416
		 */
1417
		if (likely(!ptrace))
1418
			wo->notask_error = 0;
1419
		return 0;
1420
	}
1421

1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437
	if (likely(!ptrace) && unlikely(p->ptrace)) {
		/*
		 * If it is traced by its real parent's group, just pretend
		 * the caller is ptrace_do_wait() and reap this child if it
		 * is zombie.
		 *
		 * This also hides group stop state from real parent; otherwise
		 * a single stop can be reported twice as group and ptrace stop.
		 * If a ptracer wants to distinguish these two events for its
		 * own children it should create a separate process which takes
		 * the role of real parent.
		 */
		if (!ptrace_reparented(p))
			ptrace = 1;
	}

1438
	/* slay zombie? */
1439
	if (exit_state == EXIT_ZOMBIE) {
1440
		/* we don't reap group leaders with subthreads */
1441 1442 1443 1444 1445 1446 1447 1448 1449
		if (!delay_group_leader(p)) {
			/*
			 * A zombie ptracee is only visible to its ptracer.
			 * Notification and reaping will be cascaded to the
			 * real parent when the ptracer detaches.
			 */
			if (unlikely(ptrace) || likely(!p->ptrace))
				return wait_task_zombie(wo, p);
		}
R
Roland McGrath 已提交
1450

R
Roland McGrath 已提交
1451
		/*
1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476
		 * Allow access to stopped/continued state via zombie by
		 * falling through.  Clearing of notask_error is complex.
		 *
		 * When !@ptrace:
		 *
		 * If WEXITED is set, notask_error should naturally be
		 * cleared.  If not, subset of WSTOPPED|WCONTINUED is set,
		 * so, if there are live subthreads, there are events to
		 * wait for.  If all subthreads are dead, it's still safe
		 * to clear - this function will be called again in finite
		 * amount time once all the subthreads are released and
		 * will then return without clearing.
		 *
		 * When @ptrace:
		 *
		 * Stopped state is per-task and thus can't change once the
		 * target task dies.  Only continued and exited can happen.
		 * Clear notask_error if WCONTINUED | WEXITED.
		 */
		if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED)))
			wo->notask_error = 0;
	} else {
		/*
		 * @p is alive and it's gonna stop, continue or exit, so
		 * there always is something to wait for.
R
Roland McGrath 已提交
1477
		 */
1478
		wo->notask_error = 0;
R
Roland McGrath 已提交
1479 1480
	}

R
Roland McGrath 已提交
1481
	/*
1482 1483
	 * Wait for stopped.  Depending on @ptrace, different stopped state
	 * is used and the two don't interact with each other.
R
Roland McGrath 已提交
1484
	 */
1485 1486 1487
	ret = wait_task_stopped(wo, ptrace, p);
	if (ret)
		return ret;
R
Roland McGrath 已提交
1488 1489

	/*
1490 1491 1492
	 * Wait for continued.  There's only one continued state and the
	 * ptracer can consume it which can confuse the real parent.  Don't
	 * use WCONTINUED from ptracer.  You don't need or want it.
R
Roland McGrath 已提交
1493
	 */
1494
	return wait_task_continued(wo, p);
R
Roland McGrath 已提交
1495 1496 1497 1498 1499
}

/*
 * Do the work of do_wait() for one thread in the group, @tsk.
 *
1500
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1501 1502
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue; then
1503
 * ->notask_error is 0 if there were any eligible children,
1504
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1505
 */
1506
static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1507 1508 1509 1510
{
	struct task_struct *p;

	list_for_each_entry(p, &tsk->children, sibling) {
1511
		int ret = wait_consider_task(wo, 0, p);
1512

1513 1514
		if (ret)
			return ret;
R
Roland McGrath 已提交
1515 1516 1517 1518 1519
	}

	return 0;
}

1520
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1521 1522 1523
{
	struct task_struct *p;

R
Roland McGrath 已提交
1524
	list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
1525
		int ret = wait_consider_task(wo, 1, p);
1526

R
Roland McGrath 已提交
1527
		if (ret)
R
Roland McGrath 已提交
1528 1529 1530 1531 1532 1533
			return ret;
	}

	return 0;
}

1534 1535 1536 1537 1538 1539 1540
static int child_wait_callback(wait_queue_t *wait, unsigned mode,
				int sync, void *key)
{
	struct wait_opts *wo = container_of(wait, struct wait_opts,
						child_wait);
	struct task_struct *p = key;

1541
	if (!eligible_pid(wo, p))
1542 1543
		return 0;

1544 1545 1546
	if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
		return 0;

1547 1548 1549
	return default_wake_function(wait, mode, sync, key);
}

1550 1551
void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
{
1552 1553
	__wake_up_sync_key(&parent->signal->wait_chldexit,
				TASK_INTERRUPTIBLE, 1, p);
1554 1555
}

1556
static long do_wait(struct wait_opts *wo)
L
Linus Torvalds 已提交
1557 1558
{
	struct task_struct *tsk;
R
Roland McGrath 已提交
1559
	int retval;
L
Linus Torvalds 已提交
1560

1561
	trace_sched_process_wait(wo->wo_pid);
1562

1563 1564 1565
	init_waitqueue_func_entry(&wo->child_wait, child_wait_callback);
	wo->child_wait.private = current;
	add_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
L
Linus Torvalds 已提交
1566
repeat:
R
Roland McGrath 已提交
1567
	/*
F
Frans Klaver 已提交
1568
	 * If there is nothing that can match our criteria, just get out.
1569 1570 1571
	 * We will clear ->notask_error to zero if we see any child that
	 * might later match our criteria, even if we are not able to reap
	 * it yet.
R
Roland McGrath 已提交
1572
	 */
1573
	wo->notask_error = -ECHILD;
1574 1575
	if ((wo->wo_type < PIDTYPE_MAX) &&
	   (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
1576
		goto notask;
E
Eric W. Biederman 已提交
1577

1578
	set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
1579 1580 1581
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1582 1583 1584
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1585

1586 1587
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
R
Roland McGrath 已提交
1588 1589
			goto end;

1590
		if (wo->wo_flags & __WNOTHREAD)
L
Linus Torvalds 已提交
1591
			break;
1592
	} while_each_thread(current, tsk);
L
Linus Torvalds 已提交
1593
	read_unlock(&tasklist_lock);
O
Oleg Nesterov 已提交
1594

1595
notask:
1596 1597
	retval = wo->notask_error;
	if (!retval && !(wo->wo_flags & WNOHANG)) {
L
Linus Torvalds 已提交
1598
		retval = -ERESTARTSYS;
R
Roland McGrath 已提交
1599 1600 1601 1602
		if (!signal_pending(current)) {
			schedule();
			goto repeat;
		}
L
Linus Torvalds 已提交
1603 1604
	}
end:
1605
	__set_current_state(TASK_RUNNING);
1606
	remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
L
Linus Torvalds 已提交
1607 1608 1609
	return retval;
}

1610 1611
SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
		infop, int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1612
{
1613
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1614 1615
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1616 1617
	long ret;

1618 1619
	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
L
Linus Torvalds 已提交
1620 1621 1622 1623 1624 1625
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

	switch (which) {
	case P_ALL:
E
Eric W. Biederman 已提交
1626
		type = PIDTYPE_MAX;
L
Linus Torvalds 已提交
1627 1628
		break;
	case P_PID:
E
Eric W. Biederman 已提交
1629 1630
		type = PIDTYPE_PID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1631 1632 1633
			return -EINVAL;
		break;
	case P_PGID:
E
Eric W. Biederman 已提交
1634 1635
		type = PIDTYPE_PGID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1636 1637 1638 1639 1640 1641
			return -EINVAL;
		break;
	default:
		return -EINVAL;
	}

E
Eric W. Biederman 已提交
1642 1643
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1644 1645 1646 1647 1648 1649 1650 1651

	wo.wo_type	= type;
	wo.wo_pid	= pid;
	wo.wo_flags	= options;
	wo.wo_info	= infop;
	wo.wo_stat	= NULL;
	wo.wo_rusage	= ru;
	ret = do_wait(&wo);
1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674

	if (ret > 0) {
		ret = 0;
	} else if (infop) {
		/*
		 * For a WNOHANG return, clear out all the fields
		 * we would set so the user can easily tell the
		 * difference.
		 */
		if (!ret)
			ret = put_user(0, &infop->si_signo);
		if (!ret)
			ret = put_user(0, &infop->si_errno);
		if (!ret)
			ret = put_user(0, &infop->si_code);
		if (!ret)
			ret = put_user(0, &infop->si_pid);
		if (!ret)
			ret = put_user(0, &infop->si_uid);
		if (!ret)
			ret = put_user(0, &infop->si_status);
	}

E
Eric W. Biederman 已提交
1675
	put_pid(pid);
L
Linus Torvalds 已提交
1676 1677 1678
	return ret;
}

1679 1680
SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
		int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1681
{
1682
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1683 1684
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1685 1686 1687 1688 1689
	long ret;

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
E
Eric W. Biederman 已提交
1690 1691 1692 1693 1694 1695 1696 1697

	if (upid == -1)
		type = PIDTYPE_MAX;
	else if (upid < 0) {
		type = PIDTYPE_PGID;
		pid = find_get_pid(-upid);
	} else if (upid == 0) {
		type = PIDTYPE_PGID;
1698
		pid = get_task_pid(current, PIDTYPE_PGID);
E
Eric W. Biederman 已提交
1699 1700 1701 1702 1703
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1704 1705 1706 1707 1708 1709 1710
	wo.wo_type	= type;
	wo.wo_pid	= pid;
	wo.wo_flags	= options | WEXITED;
	wo.wo_info	= NULL;
	wo.wo_stat	= stat_addr;
	wo.wo_rusage	= ru;
	ret = do_wait(&wo);
E
Eric W. Biederman 已提交
1711
	put_pid(pid);
L
Linus Torvalds 已提交
1712 1713 1714 1715 1716 1717 1718 1719 1720 1721

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1722
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
L
Linus Torvalds 已提交
1723 1724 1725 1726 1727
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif