exit.c 43.3 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>
57
#include <linux/random.h>
L
Linus Torvalds 已提交
58 59 60 61 62 63

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

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

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

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

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

	posix_cpu_timers_exit(tsk);
96
	if (group_dead) {
97
		posix_cpu_timers_exit_group(tsk);
98 99
		tty = sig->tty;
		sig->tty = NULL;
100
	} else {
101 102 103 104 105 106 107 108
		/*
		 * 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);

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

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

120 121 122
	add_device_randomness((const void*) &tsk->se.sum_exec_runtime,
			      sizeof(unsigned long long));

123
	/*
124 125 126 127
	 * 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.
128 129
	 */
	task_cputime(tsk, &utime, &stime);
130
	write_seqlock(&sig->stats_lock);
131 132 133 134 135 136 137 138 139 140 141
	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;
142
	sig->nr_threads--;
143
	__unhash_process(tsk, group_dead);
144
	write_sequnlock(&sig->stats_lock);
145

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

154
	__cleanup_sighand(sighand);
155
	clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
156
	if (group_dead) {
157
		flush_sigqueue(&sig->shared_pending);
158
		tty_kref_put(tty);
159 160 161
	}
}

162 163
static void delayed_put_task_struct(struct rcu_head *rhp)
{
164 165
	struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);

166
	perf_event_delayed_put(tsk);
167 168
	trace_sched_process_free(tsk);
	put_task_struct(tsk);
169 170
}

R
Roland McGrath 已提交
171

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

183
	proc_flush_task(p);
184

L
Linus Torvalds 已提交
185
	write_lock_irq(&tasklist_lock);
T
Tejun Heo 已提交
186
	ptrace_release_task(p);
L
Linus Torvalds 已提交
187
	__exit_signal(p);
188

L
Linus Torvalds 已提交
189 190 191 192 193 194 195
	/*
	 * 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;
196 197
	if (leader != p && thread_group_empty(leader)
			&& leader->exit_state == EXIT_ZOMBIE) {
L
Linus Torvalds 已提交
198 199 200 201
		/*
		 * 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 已提交
202
		 */
203
		zap_leader = do_notify_parent(leader, leader->exit_signal);
R
Roland McGrath 已提交
204 205
		if (zap_leader)
			leader->exit_state = EXIT_DEAD;
L
Linus Torvalds 已提交
206 207 208 209
	}

	write_unlock_irq(&tasklist_lock);
	release_thread(p);
210
	call_rcu(&p->rcu, delayed_put_task_struct);
L
Linus Torvalds 已提交
211 212 213 214 215 216

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

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 289 290 291 292
/*
 * 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 已提交
293 294 295 296 297 298 299 300
/*
 * 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?"
 */
301 302
static int will_become_orphaned_pgrp(struct pid *pgrp,
					struct task_struct *ignored_task)
L
Linus Torvalds 已提交
303 304 305
{
	struct task_struct *p;

306
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
307 308 309
		if ((p == ignored_task) ||
		    (p->exit_state && thread_group_empty(p)) ||
		    is_global_init(p->real_parent))
L
Linus Torvalds 已提交
310
			continue;
311

312
		if (task_pgrp(p->real_parent) != pgrp &&
313 314
		    task_session(p->real_parent) == task_session(p))
			return 0;
315
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
316 317

	return 1;
L
Linus Torvalds 已提交
318 319
}

320
int is_current_pgrp_orphaned(void)
L
Linus Torvalds 已提交
321 322 323 324
{
	int retval;

	read_lock(&tasklist_lock);
325
	retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
L
Linus Torvalds 已提交
326 327 328 329 330
	read_unlock(&tasklist_lock);

	return retval;
}

331
static bool has_stopped_jobs(struct pid *pgrp)
L
Linus Torvalds 已提交
332 333 334
{
	struct task_struct *p;

335
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
336 337
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return true;
338
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
339 340

	return false;
L
Linus Torvalds 已提交
341 342
}

343 344 345 346 347 348 349 350 351 352 353 354
/*
 * 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)
355 356 357
		/* exit: our father is in a different pgrp than
		 * we are and we were the only connection outside.
		 */
358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373
		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 已提交
374
#ifdef CONFIG_MEMCG
375
/*
376
 * A task is exiting.   If it owned this mm, find a new owner for the mm.
377 378 379 380 381 382
 */
void mm_update_next_owner(struct mm_struct *mm)
{
	struct task_struct *c, *g, *p = current;

retry:
383 384 385 386 387
	/*
	 * If the exiting or execing task is not the owner, it's
	 * someone else's problem.
	 */
	if (mm->owner != p)
388
		return;
389 390 391 392 393 394 395 396 397
	/*
	 * 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;
	}
398 399 400 401 402 403 404 405 406 407 408 409 410

	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
	 */
411
	list_for_each_entry(c, &p->real_parent->children, sibling) {
412 413 414 415 416
		if (c->mm == mm)
			goto assign_new_owner;
	}

	/*
417
	 * Search through everything else, we should not get here often.
418
	 */
419 420 421 422 423 424 425 426 427
	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;
		}
428
	}
429
	read_unlock(&tasklist_lock);
430 431 432
	/*
	 * We found no owner yet mm_users > 1: this implies that we are
	 * most likely racing with swapoff (try_to_unuse()) or /proc or
433
	 * ptrace or page migration (get_task_mm()).  Mark owner as NULL.
434 435
	 */
	mm->owner = NULL;
436 437 438 439 440 441 442 443 444 445
	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);
446 447 448 449 450
	/*
	 * Delay read_unlock() till we have the task_lock()
	 * to ensure that c does not slip away underneath us
	 */
	read_unlock(&tasklist_lock);
451 452 453 454 455 456 457 458 459
	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 已提交
460
#endif /* CONFIG_MEMCG */
461

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

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

L
Linus Torvalds 已提交
487 488
		up_read(&mm->mmap_sem);

489 490 491 492 493 494 495 496
		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 已提交
497

O
Oleg Nesterov 已提交
498 499 500 501
		for (;;) {
			set_task_state(tsk, TASK_UNINTERRUPTIBLE);
			if (!self.task) /* see coredump_finish() */
				break;
502
			freezable_schedule();
O
Oleg Nesterov 已提交
503 504
		}
		__set_task_state(tsk, TASK_RUNNING);
L
Linus Torvalds 已提交
505 506 507
		down_read(&mm->mmap_sem);
	}
	atomic_inc(&mm->mm_count);
E
Eric Sesterhenn 已提交
508
	BUG_ON(mm != tsk->active_mm);
L
Linus Torvalds 已提交
509 510 511 512 513 514
	/* 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);
515
	mm_update_next_owner(mm);
L
Linus Torvalds 已提交
516
	mmput(mm);
517
	if (test_thread_flag(TIF_MEMDIE))
518
		exit_oom_victim();
L
Linus Torvalds 已提交
519 520
}

521 522 523 524 525 526 527 528 529 530 531
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;
}

532 533 534 535 536 537 538 539 540 541
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;

542 543
	reaper = find_alive_thread(father);
	if (reaper) {
544 545 546 547 548 549 550 551 552 553 554 555 556 557 558
		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 已提交
559
/*
560 561 562 563 564
 * 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 已提交
565
 */
566 567
static struct task_struct *find_new_reaper(struct task_struct *father,
					   struct task_struct *child_reaper)
L
Linus Torvalds 已提交
568
{
569
	struct task_struct *thread, *reaper;
L
Linus Torvalds 已提交
570

571 572
	thread = find_alive_thread(father);
	if (thread)
573
		return thread;
L
Linus Torvalds 已提交
574

575
	if (father->signal->has_child_subreaper) {
576
		/*
577 578 579
		 * 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.
580
		 */
581
		for (reaper = father;
582
		     !same_thread_group(reaper, child_reaper);
583
		     reaper = reaper->real_parent) {
584 585
			/* call_usermodehelper() descendants need this check */
			if (reaper == &init_task)
586 587 588
				break;
			if (!reaper->signal->is_child_subreaper)
				continue;
589 590 591
			thread = find_alive_thread(reaper);
			if (thread)
				return thread;
592
		}
L
Linus Torvalds 已提交
593
	}
594

595
	return child_reaper;
596 597
}

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

607
	/* We don't want people slaying init. */
608 609 610
	p->exit_signal = SIGCHLD;

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

	kill_orphaned_pgrp(p, father);
}

622 623 624 625 626 627 628 629 630 631
/*
 * 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 已提交
632
{
633
	struct task_struct *p, *t, *reaper;
634

635
	if (unlikely(!list_empty(&father->ptraced)))
636
		exit_ptrace(father, dead);
R
Roland McGrath 已提交
637

638
	/* Can drop and reacquire tasklist_lock */
639
	reaper = find_child_reaper(father);
640
	if (list_empty(&father->children))
641
		return;
642 643

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

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

674
	write_lock_irq(&tasklist_lock);
675 676
	forget_original_parent(tsk, &dead);

677 678
	if (group_dead)
		kill_orphaned_pgrp(tsk->group_leader, NULL);
L
Linus Torvalds 已提交
679

O
Oleg Nesterov 已提交
680 681 682 683 684 685 686 687 688 689 690 691
	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 已提交
692

693
	tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
694 695
	if (tsk->exit_state == EXIT_DEAD)
		list_add(&tsk->ptrace_entry, &dead);
L
Linus Torvalds 已提交
696

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

702 703 704 705
	list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
		list_del_init(&p->ptrace_entry);
		release_task(p);
	}
L
Linus Torvalds 已提交
706 707
}

708 709 710 711 712 713 714
#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;

715
	free = stack_not_used(current);
716 717 718 719 720 721

	if (free >= lowest_to_date)
		return;

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

732
void __noreturn do_exit(long code)
L
Linus Torvalds 已提交
733 734 735
{
	struct task_struct *tsk = current;
	int group_dead;
736
	TASKS_RCU(int tasks_rcu_i);
L
Linus Torvalds 已提交
737 738

	profile_task_exit(tsk);
D
Dmitry Vyukov 已提交
739
	kcov_task_exit(tsk);
L
Linus Torvalds 已提交
740

741
	WARN_ON(blk_needs_flush_plug(tsk));
742

L
Linus Torvalds 已提交
743 744 745 746 747
	if (unlikely(in_interrupt()))
		panic("Aiee, killing interrupt handler!");
	if (unlikely(!tsk->pid))
		panic("Attempted to kill the idle task!");

748 749 750 751 752 753 754 755 756
	/*
	 * 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 已提交
757
	ptrace_event(PTRACE_EVENT_EXIT, code);
L
Linus Torvalds 已提交
758

759 760
	validate_creds_for_do_exit(tsk);

761 762 763 764 765
	/*
	 * 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)) {
766
		pr_alert("Fixing recursive fault but reboot is needed!\n");
767 768 769 770 771 772 773 774 775 776
		/*
		 * 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;
777 778 779 780
		set_current_state(TASK_UNINTERRUPTIBLE);
		schedule();
	}

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

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

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

816
	tsk->exit_code = code;
817
	taskstats_exit(tsk, group_dead);
818

L
Linus Torvalds 已提交
819 820
	exit_mm(tsk);

821
	if (group_dead)
822
		acct_process();
823 824
	trace_sched_process_exit(tsk);

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

	/*
	 * 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);

843
	cgroup_exit(tsk);
L
Linus Torvalds 已提交
844

845 846 847
	/*
	 * FIXME: do that only when needed, using sched_exit tracepoint
	 */
848
	flush_ptrace_hw_breakpoint(tsk);
849

850
	TASKS_RCU(preempt_disable());
851
	TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
852
	TASKS_RCU(preempt_enable());
853
	exit_notify(tsk, group_dead);
854
	proc_exit_connector(tsk);
855
	mpol_put_task_policy(tsk);
856
#ifdef CONFIG_FUTEX
857 858
	if (unlikely(current->pi_state_cache))
		kfree(current->pi_state_cache);
859
#endif
860
	/*
861
	 * Make sure we are holding no locks:
862
	 */
863
	debug_check_no_locks_held();
864 865 866 867 868 869
	/*
	 * 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 已提交
870

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

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

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

880 881
	validate_creds_for_do_exit(tsk);

882
	check_stack_usage();
C
Coywolf Qi Hunt 已提交
883
	preempt_disable();
884 885
	if (tsk->nr_dirtied)
		__this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
886
	exit_rcu();
887
	TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
888

889
	do_task_dead();
L
Linus Torvalds 已提交
890
}
891 892
EXPORT_SYMBOL_GPL(do_exit);

893
void complete_and_exit(struct completion *comp, long code)
L
Linus Torvalds 已提交
894 895 896
{
	if (comp)
		complete(comp);
O
Oleg Nesterov 已提交
897

L
Linus Torvalds 已提交
898 899 900 901
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

902
SYSCALL_DEFINE1(exit, int, error_code)
L
Linus Torvalds 已提交
903 904 905 906 907 908 909 910
{
	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).
 */
911
void
L
Linus Torvalds 已提交
912 913
do_group_exit(int exit_code)
{
914 915
	struct signal_struct *sig = current->signal;

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

918 919
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
L
Linus Torvalds 已提交
920 921
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
922

L
Linus Torvalds 已提交
923
		spin_lock_irq(&sighand->siglock);
924
		if (signal_group_exit(sig))
L
Linus Torvalds 已提交
925 926 927 928
			/* Another thread got here before we took the lock.  */
			exit_code = sig->group_exit_code;
		else {
			sig->group_exit_code = exit_code;
929
			sig->flags = SIGNAL_GROUP_EXIT;
L
Linus Torvalds 已提交
930 931 932 933 934 935 936 937 938 939 940 941 942 943
			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.
 */
944
SYSCALL_DEFINE1(exit_group, int, error_code)
L
Linus Torvalds 已提交
945 946
{
	do_group_exit((error_code & 0xff) << 8);
947 948
	/* NOTREACHED */
	return 0;
L
Linus Torvalds 已提交
949 950
}

951 952 953
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
954
	struct pid		*wo_pid;
955 956 957 958 959

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

960
	wait_queue_t		child_wait;
961 962 963
	int			notask_error;
};

964 965
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
E
Eric W. Biederman 已提交
966
{
967 968 969
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
E
Eric W. Biederman 已提交
970 971
}

972
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
973
{
974 975 976
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
L
Linus Torvalds 已提交
977

978 979
static int
eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
980 981 982
{
	if (!eligible_pid(wo, p))
		return 0;
983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999

	/*
	 * 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 已提交
1000 1001
		return 0;

1002
	return 1;
L
Linus Torvalds 已提交
1003 1004
}

1005 1006
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 已提交
1007
{
1008 1009 1010
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1011

L
Linus Torvalds 已提交
1012
	put_task_struct(p);
1013
	infop = wo->wo_info;
1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027
	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 已提交
1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038
	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.
 */
1039
static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1040
{
1041
	int state, retval, status;
1042
	pid_t pid = task_pid_vnr(p);
1043
	uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
1044
	struct siginfo __user *infop;
L
Linus Torvalds 已提交
1045

1046
	if (!likely(wo->wo_flags & WEXITED))
R
Roland McGrath 已提交
1047 1048
		return 0;

1049
	if (unlikely(wo->wo_flags & WNOWAIT)) {
L
Linus Torvalds 已提交
1050
		int exit_code = p->exit_code;
1051
		int why;
L
Linus Torvalds 已提交
1052 1053 1054

		get_task_struct(p);
		read_unlock(&tasklist_lock);
1055 1056
		sched_annotate_sleep();

L
Linus Torvalds 已提交
1057 1058 1059 1060 1061 1062 1063
		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;
		}
1064
		return wait_noreap_copyout(wo, p, pid, uid, why, status);
L
Linus Torvalds 已提交
1065 1066
	}
	/*
1067
	 * Move the task's state to DEAD/TRACE, only one thread can do this.
L
Linus Torvalds 已提交
1068
	 */
1069 1070
	state = (ptrace_reparented(p) && thread_group_leader(p)) ?
		EXIT_TRACE : EXIT_DEAD;
1071
	if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
L
Linus Torvalds 已提交
1072
		return 0;
1073 1074 1075 1076 1077
	/*
	 * We own this thread, nobody else can reap it.
	 */
	read_unlock(&tasklist_lock);
	sched_annotate_sleep();
1078

1079
	/*
1080
	 * Check thread_group_leader() to exclude the traced sub-threads.
1081
	 */
1082
	if (state == EXIT_DEAD && thread_group_leader(p)) {
1083 1084
		struct signal_struct *sig = p->signal;
		struct signal_struct *psig = current->signal;
J
Jiri Pirko 已提交
1085
		unsigned long maxrss;
1086
		cputime_t tgutime, tgstime;
1087

L
Linus Torvalds 已提交
1088 1089 1090 1091 1092 1093 1094 1095
		/*
		 * 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
1096 1097 1098 1099 1100 1101 1102
		 * 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.
1103
		 *
1104 1105 1106
		 * 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 已提交
1107
		 */
1108
		thread_group_cputime_adjusted(p, &tgutime, &tgstime);
1109
		spin_lock_irq(&current->sighand->siglock);
1110
		write_seqlock(&psig->stats_lock);
1111 1112
		psig->cutime += tgutime + sig->cutime;
		psig->cstime += tgstime + sig->cstime;
1113
		psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
1114 1115 1116 1117 1118 1119 1120 1121
		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;
1122 1123 1124 1125 1126 1127
		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 已提交
1128 1129 1130
		maxrss = max(sig->maxrss, sig->cmaxrss);
		if (psig->cmaxrss < maxrss)
			psig->cmaxrss = maxrss;
1131 1132
		task_io_accounting_add(&psig->ioac, &p->ioac);
		task_io_accounting_add(&psig->ioac, &sig->ioac);
1133
		write_sequnlock(&psig->stats_lock);
1134
		spin_unlock_irq(&current->sighand->siglock);
L
Linus Torvalds 已提交
1135 1136
	}

1137 1138
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1139 1140
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1141 1142 1143 1144
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
L
Linus Torvalds 已提交
1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163
	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)
1164
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1165
	if (!retval && infop)
1166
		retval = put_user(uid, &infop->si_uid);
1167
	if (!retval)
1168
		retval = pid;
1169

1170
	if (state == EXIT_TRACE) {
L
Linus Torvalds 已提交
1171
		write_lock_irq(&tasklist_lock);
1172 1173
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1174 1175 1176 1177 1178

		/* If parent wants a zombie, don't release it now */
		state = EXIT_ZOMBIE;
		if (do_notify_parent(p, p->exit_signal))
			state = EXIT_DEAD;
1179
		p->exit_state = state;
L
Linus Torvalds 已提交
1180 1181
		write_unlock_irq(&tasklist_lock);
	}
1182
	if (state == EXIT_DEAD)
L
Linus Torvalds 已提交
1183
		release_task(p);
1184

L
Linus Torvalds 已提交
1185 1186 1187
	return retval;
}

1188 1189 1190
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
1191
		if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
1192 1193 1194 1195 1196 1197 1198 1199
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216
/**
 * 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 已提交
1217
 */
1218 1219
static int wait_task_stopped(struct wait_opts *wo,
				int ptrace, struct task_struct *p)
L
Linus Torvalds 已提交
1220
{
1221
	struct siginfo __user *infop;
1222
	int retval, exit_code, *p_code, why;
1223
	uid_t uid = 0; /* unneeded, required by compiler */
1224
	pid_t pid;
L
Linus Torvalds 已提交
1225

1226 1227 1228
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1229
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
R
Roland McGrath 已提交
1230 1231
		return 0;

1232 1233 1234
	if (!task_stopped_code(p, ptrace))
		return 0;

1235 1236 1237
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1238 1239
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1240 1241
		goto unlock_sig;

1242
	exit_code = *p_code;
1243 1244 1245
	if (!exit_code)
		goto unlock_sig;

1246
	if (!unlikely(wo->wo_flags & WNOWAIT))
1247
		*p_code = 0;
1248

1249
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1250 1251 1252
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
L
Linus Torvalds 已提交
1253 1254 1255 1256 1257 1258 1259 1260 1261 1262
		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);
1263
	pid = task_pid_vnr(p);
R
Roland McGrath 已提交
1264
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
L
Linus Torvalds 已提交
1265
	read_unlock(&tasklist_lock);
1266
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1267

1268 1269 1270 1271 1272 1273 1274
	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 已提交
1275

1276
	infop = wo->wo_info;
L
Linus Torvalds 已提交
1277 1278 1279 1280 1281
	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 已提交
1282
		retval = put_user((short)why, &infop->si_code);
L
Linus Torvalds 已提交
1283 1284 1285
	if (!retval && infop)
		retval = put_user(exit_code, &infop->si_status);
	if (!retval && infop)
1286
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1287
	if (!retval && infop)
1288
		retval = put_user(uid, &infop->si_uid);
L
Linus Torvalds 已提交
1289
	if (!retval)
1290
		retval = pid;
L
Linus Torvalds 已提交
1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302
	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.
 */
1303
static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1304 1305 1306 1307 1308
{
	int retval;
	pid_t pid;
	uid_t uid;

1309
	if (!unlikely(wo->wo_flags & WCONTINUED))
R
Roland McGrath 已提交
1310 1311
		return 0;

L
Linus Torvalds 已提交
1312 1313 1314 1315 1316 1317 1318 1319 1320
	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;
	}
1321
	if (!unlikely(wo->wo_flags & WNOWAIT))
L
Linus Torvalds 已提交
1322
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1323
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
L
Linus Torvalds 已提交
1324 1325
	spin_unlock_irq(&p->sighand->siglock);

1326
	pid = task_pid_vnr(p);
L
Linus Torvalds 已提交
1327 1328
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1329
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1330

1331 1332 1333
	if (!wo->wo_info) {
		retval = wo->wo_rusage
			? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1334
		put_task_struct(p);
1335 1336
		if (!retval && wo->wo_stat)
			retval = put_user(0xffff, wo->wo_stat);
L
Linus Torvalds 已提交
1337
		if (!retval)
1338
			retval = pid;
L
Linus Torvalds 已提交
1339
	} else {
1340 1341
		retval = wait_noreap_copyout(wo, p, pid, uid,
					     CLD_CONTINUED, SIGCONT);
L
Linus Torvalds 已提交
1342 1343 1344 1345 1346 1347
		BUG_ON(retval == 0);
	}

	return retval;
}

R
Roland McGrath 已提交
1348 1349 1350
/*
 * Consider @p for a wait by @parent.
 *
1351
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1352 1353
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue;
1354
 * then ->notask_error is 0 if @p is an eligible child,
1355
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1356
 */
1357 1358
static int wait_consider_task(struct wait_opts *wo, int ptrace,
				struct task_struct *p)
R
Roland McGrath 已提交
1359
{
1360 1361 1362 1363 1364 1365
	/*
	 * 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);
1366 1367
	int ret;

1368
	if (unlikely(exit_state == EXIT_DEAD))
1369 1370
		return 0;

1371
	ret = eligible_child(wo, ptrace, p);
1372
	if (!ret)
R
Roland McGrath 已提交
1373 1374
		return ret;

1375
	ret = security_task_wait(p);
1376 1377 1378 1379 1380 1381 1382 1383
	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.
		 */
1384 1385
		if (wo->notask_error)
			wo->notask_error = ret;
1386
		return 0;
1387 1388
	}

1389
	if (unlikely(exit_state == EXIT_TRACE)) {
1390
		/*
1391 1392
		 * ptrace == 0 means we are the natural parent. In this case
		 * we should clear notask_error, debugger will notify us.
1393
		 */
1394
		if (likely(!ptrace))
1395
			wo->notask_error = 0;
1396
		return 0;
1397
	}
1398

1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
	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;
	}

1415
	/* slay zombie? */
1416
	if (exit_state == EXIT_ZOMBIE) {
1417
		/* we don't reap group leaders with subthreads */
1418 1419 1420 1421 1422 1423 1424 1425 1426
		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 已提交
1427

R
Roland McGrath 已提交
1428
		/*
1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453
		 * 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 已提交
1454
		 */
1455
		wo->notask_error = 0;
R
Roland McGrath 已提交
1456 1457
	}

R
Roland McGrath 已提交
1458
	/*
1459 1460
	 * Wait for stopped.  Depending on @ptrace, different stopped state
	 * is used and the two don't interact with each other.
R
Roland McGrath 已提交
1461
	 */
1462 1463 1464
	ret = wait_task_stopped(wo, ptrace, p);
	if (ret)
		return ret;
R
Roland McGrath 已提交
1465 1466

	/*
1467 1468 1469
	 * 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 已提交
1470
	 */
1471
	return wait_task_continued(wo, p);
R
Roland McGrath 已提交
1472 1473 1474 1475 1476
}

/*
 * Do the work of do_wait() for one thread in the group, @tsk.
 *
1477
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1478 1479
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue; then
1480
 * ->notask_error is 0 if there were any eligible children,
1481
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1482
 */
1483
static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1484 1485 1486 1487
{
	struct task_struct *p;

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

1490 1491
		if (ret)
			return ret;
R
Roland McGrath 已提交
1492 1493 1494 1495 1496
	}

	return 0;
}

1497
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1498 1499 1500
{
	struct task_struct *p;

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

R
Roland McGrath 已提交
1504
		if (ret)
R
Roland McGrath 已提交
1505 1506 1507 1508 1509 1510
			return ret;
	}

	return 0;
}

1511 1512 1513 1514 1515 1516 1517
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;

1518
	if (!eligible_pid(wo, p))
1519 1520
		return 0;

1521 1522 1523
	if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
		return 0;

1524 1525 1526
	return default_wake_function(wait, mode, sync, key);
}

1527 1528
void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
{
1529 1530
	__wake_up_sync_key(&parent->signal->wait_chldexit,
				TASK_INTERRUPTIBLE, 1, p);
1531 1532
}

1533
static long do_wait(struct wait_opts *wo)
L
Linus Torvalds 已提交
1534 1535
{
	struct task_struct *tsk;
R
Roland McGrath 已提交
1536
	int retval;
L
Linus Torvalds 已提交
1537

1538
	trace_sched_process_wait(wo->wo_pid);
1539

1540 1541 1542
	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 已提交
1543
repeat:
R
Roland McGrath 已提交
1544
	/*
F
Frans Klaver 已提交
1545
	 * If there is nothing that can match our criteria, just get out.
1546 1547 1548
	 * 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 已提交
1549
	 */
1550
	wo->notask_error = -ECHILD;
1551 1552
	if ((wo->wo_type < PIDTYPE_MAX) &&
	   (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
1553
		goto notask;
E
Eric W. Biederman 已提交
1554

1555
	set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
1556 1557 1558
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1559 1560 1561
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1562

1563 1564
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
R
Roland McGrath 已提交
1565 1566
			goto end;

1567
		if (wo->wo_flags & __WNOTHREAD)
L
Linus Torvalds 已提交
1568
			break;
1569
	} while_each_thread(current, tsk);
L
Linus Torvalds 已提交
1570
	read_unlock(&tasklist_lock);
O
Oleg Nesterov 已提交
1571

1572
notask:
1573 1574
	retval = wo->notask_error;
	if (!retval && !(wo->wo_flags & WNOHANG)) {
L
Linus Torvalds 已提交
1575
		retval = -ERESTARTSYS;
R
Roland McGrath 已提交
1576 1577 1578 1579
		if (!signal_pending(current)) {
			schedule();
			goto repeat;
		}
L
Linus Torvalds 已提交
1580 1581
	}
end:
1582
	__set_current_state(TASK_RUNNING);
1583
	remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
L
Linus Torvalds 已提交
1584 1585 1586
	return retval;
}

1587 1588
SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
		infop, int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1589
{
1590
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1591 1592
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1593 1594
	long ret;

1595 1596
	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
L
Linus Torvalds 已提交
1597 1598 1599 1600 1601 1602
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

	switch (which) {
	case P_ALL:
E
Eric W. Biederman 已提交
1603
		type = PIDTYPE_MAX;
L
Linus Torvalds 已提交
1604 1605
		break;
	case P_PID:
E
Eric W. Biederman 已提交
1606 1607
		type = PIDTYPE_PID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1608 1609 1610
			return -EINVAL;
		break;
	case P_PGID:
E
Eric W. Biederman 已提交
1611 1612
		type = PIDTYPE_PGID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1613 1614 1615 1616 1617 1618
			return -EINVAL;
		break;
	default:
		return -EINVAL;
	}

E
Eric W. Biederman 已提交
1619 1620
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1621 1622 1623 1624 1625 1626 1627 1628

	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);
1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651

	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 已提交
1652
	put_pid(pid);
L
Linus Torvalds 已提交
1653 1654 1655
	return ret;
}

1656 1657
SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
		int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1658
{
1659
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1660 1661
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1662 1663 1664 1665 1666
	long ret;

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
E
Eric W. Biederman 已提交
1667 1668 1669 1670 1671 1672 1673 1674

	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;
1675
		pid = get_task_pid(current, PIDTYPE_PGID);
E
Eric W. Biederman 已提交
1676 1677 1678 1679 1680
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1681 1682 1683 1684 1685 1686 1687
	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 已提交
1688
	put_pid(pid);
L
Linus Torvalds 已提交
1689 1690 1691 1692 1693 1694 1695 1696 1697 1698

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1699
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
L
Linus Torvalds 已提交
1700 1701 1702 1703 1704
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif