exit.c 41.7 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 213 214 215 216 217 218 219 220

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

/*
 * 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?"
 */
221 222
static int will_become_orphaned_pgrp(struct pid *pgrp,
					struct task_struct *ignored_task)
L
Linus Torvalds 已提交
223 224 225
{
	struct task_struct *p;

226
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
227 228 229
		if ((p == ignored_task) ||
		    (p->exit_state && thread_group_empty(p)) ||
		    is_global_init(p->real_parent))
L
Linus Torvalds 已提交
230
			continue;
231

232
		if (task_pgrp(p->real_parent) != pgrp &&
233 234
		    task_session(p->real_parent) == task_session(p))
			return 0;
235
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
236 237

	return 1;
L
Linus Torvalds 已提交
238 239
}

240
int is_current_pgrp_orphaned(void)
L
Linus Torvalds 已提交
241 242 243 244
{
	int retval;

	read_lock(&tasklist_lock);
245
	retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
L
Linus Torvalds 已提交
246 247 248 249 250
	read_unlock(&tasklist_lock);

	return retval;
}

251
static bool has_stopped_jobs(struct pid *pgrp)
L
Linus Torvalds 已提交
252 253 254
{
	struct task_struct *p;

255
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
256 257
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return true;
258
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
259 260

	return false;
L
Linus Torvalds 已提交
261 262
}

263 264 265 266 267 268 269 270 271 272 273 274
/*
 * 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)
275 276 277
		/* exit: our father is in a different pgrp than
		 * we are and we were the only connection outside.
		 */
278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293
		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 已提交
294
#ifdef CONFIG_MEMCG
295
/*
296
 * A task is exiting.   If it owned this mm, find a new owner for the mm.
297 298 299 300 301 302
 */
void mm_update_next_owner(struct mm_struct *mm)
{
	struct task_struct *c, *g, *p = current;

retry:
303 304 305 306 307
	/*
	 * If the exiting or execing task is not the owner, it's
	 * someone else's problem.
	 */
	if (mm->owner != p)
308
		return;
309 310 311 312 313 314 315 316 317
	/*
	 * 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;
	}
318 319 320 321 322 323 324 325 326 327 328 329 330

	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
	 */
331
	list_for_each_entry(c, &p->real_parent->children, sibling) {
332 333 334 335 336
		if (c->mm == mm)
			goto assign_new_owner;
	}

	/*
337
	 * Search through everything else, we should not get here often.
338
	 */
339 340 341 342 343 344 345 346 347
	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;
		}
348
	}
349
	read_unlock(&tasklist_lock);
350 351 352
	/*
	 * We found no owner yet mm_users > 1: this implies that we are
	 * most likely racing with swapoff (try_to_unuse()) or /proc or
353
	 * ptrace or page migration (get_task_mm()).  Mark owner as NULL.
354 355
	 */
	mm->owner = NULL;
356 357 358 359 360 361 362 363 364 365
	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);
366 367 368 369 370
	/*
	 * Delay read_unlock() till we have the task_lock()
	 * to ensure that c does not slip away underneath us
	 */
	read_unlock(&tasklist_lock);
371 372 373 374 375 376 377 378 379
	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 已提交
380
#endif /* CONFIG_MEMCG */
381

L
Linus Torvalds 已提交
382 383 384 385
/*
 * Turn us into a lazy TLB process if we
 * aren't already..
 */
386
static void exit_mm(struct task_struct *tsk)
L
Linus Torvalds 已提交
387 388
{
	struct mm_struct *mm = tsk->mm;
389
	struct core_state *core_state;
L
Linus Torvalds 已提交
390

391
	mm_release(tsk, mm);
L
Linus Torvalds 已提交
392 393
	if (!mm)
		return;
394
	sync_mm_rss(mm);
L
Linus Torvalds 已提交
395 396
	/*
	 * Serialize with any possible pending coredump.
397
	 * We must hold mmap_sem around checking core_state
L
Linus Torvalds 已提交
398
	 * and clearing tsk->mm.  The core-inducing thread
399
	 * will increment ->nr_threads for each thread in the
L
Linus Torvalds 已提交
400 401 402
	 * group with ->mm != NULL.
	 */
	down_read(&mm->mmap_sem);
403 404 405
	core_state = mm->core_state;
	if (core_state) {
		struct core_thread self;
406

L
Linus Torvalds 已提交
407 408
		up_read(&mm->mmap_sem);

409 410 411 412 413 414 415 416
		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 已提交
417

O
Oleg Nesterov 已提交
418 419 420 421
		for (;;) {
			set_task_state(tsk, TASK_UNINTERRUPTIBLE);
			if (!self.task) /* see coredump_finish() */
				break;
422
			freezable_schedule();
O
Oleg Nesterov 已提交
423 424
		}
		__set_task_state(tsk, TASK_RUNNING);
L
Linus Torvalds 已提交
425 426 427
		down_read(&mm->mmap_sem);
	}
	atomic_inc(&mm->mm_count);
E
Eric Sesterhenn 已提交
428
	BUG_ON(mm != tsk->active_mm);
L
Linus Torvalds 已提交
429 430 431 432 433 434
	/* 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);
435
	mm_update_next_owner(mm);
L
Linus Torvalds 已提交
436
	mmput(mm);
437
	if (test_thread_flag(TIF_MEMDIE))
438
		exit_oom_victim(tsk);
L
Linus Torvalds 已提交
439 440
}

441 442 443 444 445 446 447 448 449 450 451
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;
}

452 453 454 455 456 457 458 459 460 461
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;

462 463
	reaper = find_alive_thread(father);
	if (reaper) {
464 465 466 467 468 469 470 471 472 473 474 475 476 477 478
		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 已提交
479
/*
480 481 482 483 484
 * 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 已提交
485
 */
486 487
static struct task_struct *find_new_reaper(struct task_struct *father,
					   struct task_struct *child_reaper)
L
Linus Torvalds 已提交
488
{
489
	struct task_struct *thread, *reaper;
L
Linus Torvalds 已提交
490

491 492
	thread = find_alive_thread(father);
	if (thread)
493
		return thread;
L
Linus Torvalds 已提交
494

495
	if (father->signal->has_child_subreaper) {
496
		/*
497 498 499
		 * 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.
500
		 */
501
		for (reaper = father;
502
		     !same_thread_group(reaper, child_reaper);
503
		     reaper = reaper->real_parent) {
504 505
			/* call_usermodehelper() descendants need this check */
			if (reaper == &init_task)
506 507 508
				break;
			if (!reaper->signal->is_child_subreaper)
				continue;
509 510 511
			thread = find_alive_thread(reaper);
			if (thread)
				return thread;
512
		}
L
Linus Torvalds 已提交
513
	}
514

515
	return child_reaper;
516 517
}

518 519 520
/*
* Any that need to be release_task'd are put on the @dead list.
 */
521
static void reparent_leader(struct task_struct *father, struct task_struct *p,
522 523
				struct list_head *dead)
{
524
	if (unlikely(p->exit_state == EXIT_DEAD))
525 526
		return;

527
	/* We don't want people slaying init. */
528 529 530
	p->exit_signal = SIGCHLD;

	/* If it has exited notify the new parent about this child's death. */
T
Tejun Heo 已提交
531
	if (!p->ptrace &&
532
	    p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
533
		if (do_notify_parent(p, p->exit_signal)) {
534
			p->exit_state = EXIT_DEAD;
535
			list_add(&p->ptrace_entry, dead);
536 537 538 539 540 541
		}
	}

	kill_orphaned_pgrp(p, father);
}

542 543 544 545 546 547 548 549 550 551
/*
 * 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 已提交
552
{
553
	struct task_struct *p, *t, *reaper;
554

555
	if (unlikely(!list_empty(&father->ptraced)))
556
		exit_ptrace(father, dead);
R
Roland McGrath 已提交
557

558
	/* Can drop and reacquire tasklist_lock */
559
	reaper = find_child_reaper(father);
560
	if (list_empty(&father->children))
561
		return;
562 563

	reaper = find_new_reaper(father, reaper);
564
	list_for_each_entry(p, &father->children, sibling) {
565
		for_each_thread(p, t) {
566
			t->real_parent = reaper;
567 568
			BUG_ON((!t->ptrace) != (t->parent == father));
			if (likely(!t->ptrace))
569 570 571 572
				t->parent = t->real_parent;
			if (t->pdeath_signal)
				group_send_sig_info(t->pdeath_signal,
						    SEND_SIG_NOINFO, t);
573
		}
574 575 576 577 578
		/*
		 * If this is a threaded reparent there is no need to
		 * notify anyone anything has happened.
		 */
		if (!same_thread_group(reaper, father))
579
			reparent_leader(father, p, dead);
L
Linus Torvalds 已提交
580
	}
581
	list_splice_tail_init(&father->children, &reaper->children);
L
Linus Torvalds 已提交
582 583 584 585 586 587
}

/*
 * Send signals to all our closest relatives so that they know
 * to properly mourn us..
 */
588
static void exit_notify(struct task_struct *tsk, int group_dead)
L
Linus Torvalds 已提交
589
{
590
	bool autoreap;
591 592
	struct task_struct *p, *n;
	LIST_HEAD(dead);
L
Linus Torvalds 已提交
593

594
	write_lock_irq(&tasklist_lock);
595 596
	forget_original_parent(tsk, &dead);

597 598
	if (group_dead)
		kill_orphaned_pgrp(tsk->group_leader, NULL);
L
Linus Torvalds 已提交
599

O
Oleg Nesterov 已提交
600 601 602 603 604 605 606 607 608 609 610 611
	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 已提交
612

613
	tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
614 615
	if (tsk->exit_state == EXIT_DEAD)
		list_add(&tsk->ptrace_entry, &dead);
L
Linus Torvalds 已提交
616

617 618
	/* mt-exec, de_thread() is waiting for group leader */
	if (unlikely(tsk->signal->notify_count < 0))
619
		wake_up_process(tsk->signal->group_exit_task);
L
Linus Torvalds 已提交
620 621
	write_unlock_irq(&tasklist_lock);

622 623 624 625
	list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
		list_del_init(&p->ptrace_entry);
		release_task(p);
	}
L
Linus Torvalds 已提交
626 627
}

628 629 630 631 632 633 634
#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;

635
	free = stack_not_used(current);
636 637 638 639 640 641

	if (free >= lowest_to_date)
		return;

	spin_lock(&low_water_lock);
	if (free < lowest_to_date) {
642 643
		pr_warn("%s (%d) used greatest stack depth: %lu bytes left\n",
			current->comm, task_pid_nr(current), free);
644 645 646 647 648 649 650 651
		lowest_to_date = free;
	}
	spin_unlock(&low_water_lock);
}
#else
static inline void check_stack_usage(void) {}
#endif

652
void do_exit(long code)
L
Linus Torvalds 已提交
653 654 655
{
	struct task_struct *tsk = current;
	int group_dead;
656
	TASKS_RCU(int tasks_rcu_i);
L
Linus Torvalds 已提交
657 658

	profile_task_exit(tsk);
D
Dmitry Vyukov 已提交
659
	kcov_task_exit(tsk);
L
Linus Torvalds 已提交
660

661
	WARN_ON(blk_needs_flush_plug(tsk));
662

L
Linus Torvalds 已提交
663 664 665 666 667
	if (unlikely(in_interrupt()))
		panic("Aiee, killing interrupt handler!");
	if (unlikely(!tsk->pid))
		panic("Attempted to kill the idle task!");

668 669 670 671 672 673 674 675 676
	/*
	 * 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 已提交
677
	ptrace_event(PTRACE_EVENT_EXIT, code);
L
Linus Torvalds 已提交
678

679 680
	validate_creds_for_do_exit(tsk);

681 682 683 684 685
	/*
	 * 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)) {
686
		pr_alert("Fixing recursive fault but reboot is needed!\n");
687 688 689 690 691 692 693 694 695 696
		/*
		 * 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;
697 698 699 700
		set_current_state(TASK_UNINTERRUPTIBLE);
		schedule();
	}

O
Oleg Nesterov 已提交
701
	exit_signals(tsk);  /* sets PF_EXITING */
702 703
	/*
	 * tsk->flags are checked in the futex code to protect against
704
	 * an exiting task cleaning up the robust pi futexes.
705
	 */
706
	smp_mb();
707
	raw_spin_unlock_wait(&tsk->pi_lock);
L
Linus Torvalds 已提交
708

709
	if (unlikely(in_atomic())) {
710 711 712
		pr_info("note: %s[%d] exited with preempt_count %d\n",
			current->comm, task_pid_nr(current),
			preempt_count());
713 714
		preempt_count_set(PREEMPT_ENABLED);
	}
L
Linus Torvalds 已提交
715

716 717 718
	/* sync mm's RSS info before statistics gathering */
	if (tsk->mm)
		sync_mm_rss(tsk->mm);
719
	acct_update_integrals(tsk);
L
Linus Torvalds 已提交
720
	group_dead = atomic_dec_and_test(&tsk->signal->live);
721
	if (group_dead) {
722
		hrtimer_cancel(&tsk->signal->real_timer);
723
		exit_itimers(tsk->signal);
J
Jiri Pirko 已提交
724 725
		if (tsk->mm)
			setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
726
	}
727
	acct_collect(code, group_dead);
M
Miloslav Trmac 已提交
728 729
	if (group_dead)
		tty_audit_exit();
730
	audit_free(tsk);
731

732
	tsk->exit_code = code;
733
	taskstats_exit(tsk, group_dead);
734

L
Linus Torvalds 已提交
735 736
	exit_mm(tsk);

737
	if (group_dead)
738
		acct_process();
739 740
	trace_sched_process_exit(tsk);

L
Linus Torvalds 已提交
741
	exit_sem(tsk);
742
	exit_shm(tsk);
743 744
	exit_files(tsk);
	exit_fs(tsk);
745 746
	if (group_dead)
		disassociate_ctty(1);
747
	exit_task_namespaces(tsk);
748
	exit_task_work(tsk);
749
	exit_thread(tsk);
750 751 752 753 754 755 756 757 758

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

759
	cgroup_exit(tsk);
L
Linus Torvalds 已提交
760

761 762 763
	/*
	 * FIXME: do that only when needed, using sched_exit tracepoint
	 */
764
	flush_ptrace_hw_breakpoint(tsk);
765

766
	TASKS_RCU(preempt_disable());
767
	TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
768
	TASKS_RCU(preempt_enable());
769
	exit_notify(tsk, group_dead);
770
	proc_exit_connector(tsk);
L
Linus Torvalds 已提交
771
#ifdef CONFIG_NUMA
772
	task_lock(tsk);
773
	mpol_put(tsk->mempolicy);
L
Linus Torvalds 已提交
774
	tsk->mempolicy = NULL;
775
	task_unlock(tsk);
L
Linus Torvalds 已提交
776
#endif
777
#ifdef CONFIG_FUTEX
778 779
	if (unlikely(current->pi_state_cache))
		kfree(current->pi_state_cache);
780
#endif
781
	/*
782
	 * Make sure we are holding no locks:
783
	 */
784
	debug_check_no_locks_held();
785 786 787 788 789 790
	/*
	 * 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 已提交
791

792
	if (tsk->io_context)
793
		exit_io_context(tsk);
794

795
	if (tsk->splice_pipe)
796
		free_pipe_info(tsk->splice_pipe);
797

798 799 800
	if (tsk->task_frag.page)
		put_page(tsk->task_frag.page);

801 802
	validate_creds_for_do_exit(tsk);

803
	check_stack_usage();
C
Coywolf Qi Hunt 已提交
804
	preempt_disable();
805 806
	if (tsk->nr_dirtied)
		__this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
807
	exit_rcu();
808
	TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824

	/*
	 * 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 已提交
825
	/* causes final put_task_struct in finish_task_switch(). */
826
	tsk->state = TASK_DEAD;
827
	tsk->flags |= PF_NOFREEZE;	/* tell freezer to ignore us */
L
Linus Torvalds 已提交
828 829 830
	schedule();
	BUG();
	/* Avoid "noreturn function does return".  */
A
Alan Cox 已提交
831 832
	for (;;)
		cpu_relax();	/* For when BUG is null */
L
Linus Torvalds 已提交
833
}
834 835
EXPORT_SYMBOL_GPL(do_exit);

836
void complete_and_exit(struct completion *comp, long code)
L
Linus Torvalds 已提交
837 838 839
{
	if (comp)
		complete(comp);
O
Oleg Nesterov 已提交
840

L
Linus Torvalds 已提交
841 842 843 844
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

845
SYSCALL_DEFINE1(exit, int, error_code)
L
Linus Torvalds 已提交
846 847 848 849 850 851 852 853
{
	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).
 */
854
void
L
Linus Torvalds 已提交
855 856
do_group_exit(int exit_code)
{
857 858
	struct signal_struct *sig = current->signal;

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

861 862
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
L
Linus Torvalds 已提交
863 864
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
865

L
Linus Torvalds 已提交
866
		spin_lock_irq(&sighand->siglock);
867
		if (signal_group_exit(sig))
L
Linus Torvalds 已提交
868 869 870 871
			/* Another thread got here before we took the lock.  */
			exit_code = sig->group_exit_code;
		else {
			sig->group_exit_code = exit_code;
872
			sig->flags = SIGNAL_GROUP_EXIT;
L
Linus Torvalds 已提交
873 874 875 876 877 878 879 880 881 882 883 884 885 886
			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.
 */
887
SYSCALL_DEFINE1(exit_group, int, error_code)
L
Linus Torvalds 已提交
888 889
{
	do_group_exit((error_code & 0xff) << 8);
890 891
	/* NOTREACHED */
	return 0;
L
Linus Torvalds 已提交
892 893
}

894 895 896
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
897
	struct pid		*wo_pid;
898 899 900 901 902

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

903
	wait_queue_t		child_wait;
904 905 906
	int			notask_error;
};

907 908
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
E
Eric W. Biederman 已提交
909
{
910 911 912
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
E
Eric W. Biederman 已提交
913 914
}

915
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
916
{
917 918 919
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
L
Linus Torvalds 已提交
920

921 922
static int
eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
923 924 925
{
	if (!eligible_pid(wo, p))
		return 0;
926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942

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

945
	return 1;
L
Linus Torvalds 已提交
946 947
}

948 949
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 已提交
950
{
951 952 953
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
954

L
Linus Torvalds 已提交
955
	put_task_struct(p);
956
	infop = wo->wo_info;
957 958 959 960 961 962 963 964 965 966 967 968 969 970
	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 已提交
971 972 973 974 975 976 977 978 979 980 981
	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.
 */
982
static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
983
{
984
	int state, retval, status;
985
	pid_t pid = task_pid_vnr(p);
986
	uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
987
	struct siginfo __user *infop;
L
Linus Torvalds 已提交
988

989
	if (!likely(wo->wo_flags & WEXITED))
R
Roland McGrath 已提交
990 991
		return 0;

992
	if (unlikely(wo->wo_flags & WNOWAIT)) {
L
Linus Torvalds 已提交
993
		int exit_code = p->exit_code;
994
		int why;
L
Linus Torvalds 已提交
995 996 997

		get_task_struct(p);
		read_unlock(&tasklist_lock);
998 999
		sched_annotate_sleep();

L
Linus Torvalds 已提交
1000 1001 1002 1003 1004 1005 1006
		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;
		}
1007
		return wait_noreap_copyout(wo, p, pid, uid, why, status);
L
Linus Torvalds 已提交
1008 1009
	}
	/*
1010
	 * Move the task's state to DEAD/TRACE, only one thread can do this.
L
Linus Torvalds 已提交
1011
	 */
1012 1013
	state = (ptrace_reparented(p) && thread_group_leader(p)) ?
		EXIT_TRACE : EXIT_DEAD;
1014
	if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
L
Linus Torvalds 已提交
1015
		return 0;
1016 1017 1018 1019 1020
	/*
	 * We own this thread, nobody else can reap it.
	 */
	read_unlock(&tasklist_lock);
	sched_annotate_sleep();
1021

1022
	/*
1023
	 * Check thread_group_leader() to exclude the traced sub-threads.
1024
	 */
1025
	if (state == EXIT_DEAD && thread_group_leader(p)) {
1026 1027
		struct signal_struct *sig = p->signal;
		struct signal_struct *psig = current->signal;
J
Jiri Pirko 已提交
1028
		unsigned long maxrss;
1029
		cputime_t tgutime, tgstime;
1030

L
Linus Torvalds 已提交
1031 1032 1033 1034 1035 1036 1037 1038
		/*
		 * 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
1039 1040 1041 1042 1043 1044 1045
		 * 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.
1046
		 *
1047 1048 1049
		 * 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 已提交
1050
		 */
1051
		thread_group_cputime_adjusted(p, &tgutime, &tgstime);
1052
		spin_lock_irq(&current->sighand->siglock);
1053
		write_seqlock(&psig->stats_lock);
1054 1055
		psig->cutime += tgutime + sig->cutime;
		psig->cstime += tgstime + sig->cstime;
1056
		psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
1057 1058 1059 1060 1061 1062 1063 1064
		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;
1065 1066 1067 1068 1069 1070
		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 已提交
1071 1072 1073
		maxrss = max(sig->maxrss, sig->cmaxrss);
		if (psig->cmaxrss < maxrss)
			psig->cmaxrss = maxrss;
1074 1075
		task_io_accounting_add(&psig->ioac, &p->ioac);
		task_io_accounting_add(&psig->ioac, &sig->ioac);
1076
		write_sequnlock(&psig->stats_lock);
1077
		spin_unlock_irq(&current->sighand->siglock);
L
Linus Torvalds 已提交
1078 1079
	}

1080 1081
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1082 1083
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1084 1085 1086 1087
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
L
Linus Torvalds 已提交
1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106
	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)
1107
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1108
	if (!retval && infop)
1109
		retval = put_user(uid, &infop->si_uid);
1110
	if (!retval)
1111
		retval = pid;
1112

1113
	if (state == EXIT_TRACE) {
L
Linus Torvalds 已提交
1114
		write_lock_irq(&tasklist_lock);
1115 1116
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1117 1118 1119 1120 1121

		/* If parent wants a zombie, don't release it now */
		state = EXIT_ZOMBIE;
		if (do_notify_parent(p, p->exit_signal))
			state = EXIT_DEAD;
1122
		p->exit_state = state;
L
Linus Torvalds 已提交
1123 1124
		write_unlock_irq(&tasklist_lock);
	}
1125
	if (state == EXIT_DEAD)
L
Linus Torvalds 已提交
1126
		release_task(p);
1127

L
Linus Torvalds 已提交
1128 1129 1130
	return retval;
}

1131 1132 1133
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
1134
		if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
1135 1136 1137 1138 1139 1140 1141 1142
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159
/**
 * 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 已提交
1160
 */
1161 1162
static int wait_task_stopped(struct wait_opts *wo,
				int ptrace, struct task_struct *p)
L
Linus Torvalds 已提交
1163
{
1164
	struct siginfo __user *infop;
1165
	int retval, exit_code, *p_code, why;
1166
	uid_t uid = 0; /* unneeded, required by compiler */
1167
	pid_t pid;
L
Linus Torvalds 已提交
1168

1169 1170 1171
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1172
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
R
Roland McGrath 已提交
1173 1174
		return 0;

1175 1176 1177
	if (!task_stopped_code(p, ptrace))
		return 0;

1178 1179 1180
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1181 1182
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1183 1184
		goto unlock_sig;

1185
	exit_code = *p_code;
1186 1187 1188
	if (!exit_code)
		goto unlock_sig;

1189
	if (!unlikely(wo->wo_flags & WNOWAIT))
1190
		*p_code = 0;
1191

1192
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1193 1194 1195
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
L
Linus Torvalds 已提交
1196 1197 1198 1199 1200 1201 1202 1203 1204 1205
		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);
1206
	pid = task_pid_vnr(p);
R
Roland McGrath 已提交
1207
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
L
Linus Torvalds 已提交
1208
	read_unlock(&tasklist_lock);
1209
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1210

1211 1212 1213 1214 1215 1216 1217
	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 已提交
1218

1219
	infop = wo->wo_info;
L
Linus Torvalds 已提交
1220 1221 1222 1223 1224
	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 已提交
1225
		retval = put_user((short)why, &infop->si_code);
L
Linus Torvalds 已提交
1226 1227 1228
	if (!retval && infop)
		retval = put_user(exit_code, &infop->si_status);
	if (!retval && infop)
1229
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1230
	if (!retval && infop)
1231
		retval = put_user(uid, &infop->si_uid);
L
Linus Torvalds 已提交
1232
	if (!retval)
1233
		retval = pid;
L
Linus Torvalds 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
	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.
 */
1246
static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1247 1248 1249 1250 1251
{
	int retval;
	pid_t pid;
	uid_t uid;

1252
	if (!unlikely(wo->wo_flags & WCONTINUED))
R
Roland McGrath 已提交
1253 1254
		return 0;

L
Linus Torvalds 已提交
1255 1256 1257 1258 1259 1260 1261 1262 1263
	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;
	}
1264
	if (!unlikely(wo->wo_flags & WNOWAIT))
L
Linus Torvalds 已提交
1265
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1266
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
L
Linus Torvalds 已提交
1267 1268
	spin_unlock_irq(&p->sighand->siglock);

1269
	pid = task_pid_vnr(p);
L
Linus Torvalds 已提交
1270 1271
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1272
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1273

1274 1275 1276
	if (!wo->wo_info) {
		retval = wo->wo_rusage
			? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1277
		put_task_struct(p);
1278 1279
		if (!retval && wo->wo_stat)
			retval = put_user(0xffff, wo->wo_stat);
L
Linus Torvalds 已提交
1280
		if (!retval)
1281
			retval = pid;
L
Linus Torvalds 已提交
1282
	} else {
1283 1284
		retval = wait_noreap_copyout(wo, p, pid, uid,
					     CLD_CONTINUED, SIGCONT);
L
Linus Torvalds 已提交
1285 1286 1287 1288 1289 1290
		BUG_ON(retval == 0);
	}

	return retval;
}

R
Roland McGrath 已提交
1291 1292 1293
/*
 * Consider @p for a wait by @parent.
 *
1294
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1295 1296
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue;
1297
 * then ->notask_error is 0 if @p is an eligible child,
1298
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1299
 */
1300 1301
static int wait_consider_task(struct wait_opts *wo, int ptrace,
				struct task_struct *p)
R
Roland McGrath 已提交
1302
{
1303 1304 1305 1306 1307 1308
	/*
	 * 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);
1309 1310
	int ret;

1311
	if (unlikely(exit_state == EXIT_DEAD))
1312 1313
		return 0;

1314
	ret = eligible_child(wo, ptrace, p);
1315
	if (!ret)
R
Roland McGrath 已提交
1316 1317
		return ret;

1318
	ret = security_task_wait(p);
1319 1320 1321 1322 1323 1324 1325 1326
	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.
		 */
1327 1328
		if (wo->notask_error)
			wo->notask_error = ret;
1329
		return 0;
1330 1331
	}

1332
	if (unlikely(exit_state == EXIT_TRACE)) {
1333
		/*
1334 1335
		 * ptrace == 0 means we are the natural parent. In this case
		 * we should clear notask_error, debugger will notify us.
1336
		 */
1337
		if (likely(!ptrace))
1338
			wo->notask_error = 0;
1339
		return 0;
1340
	}
1341

1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357
	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;
	}

1358
	/* slay zombie? */
1359
	if (exit_state == EXIT_ZOMBIE) {
1360
		/* we don't reap group leaders with subthreads */
1361 1362 1363 1364 1365 1366 1367 1368 1369
		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 已提交
1370

R
Roland McGrath 已提交
1371
		/*
1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396
		 * 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 已提交
1397
		 */
1398
		wo->notask_error = 0;
R
Roland McGrath 已提交
1399 1400
	}

R
Roland McGrath 已提交
1401
	/*
1402 1403
	 * Wait for stopped.  Depending on @ptrace, different stopped state
	 * is used and the two don't interact with each other.
R
Roland McGrath 已提交
1404
	 */
1405 1406 1407
	ret = wait_task_stopped(wo, ptrace, p);
	if (ret)
		return ret;
R
Roland McGrath 已提交
1408 1409

	/*
1410 1411 1412
	 * 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 已提交
1413
	 */
1414
	return wait_task_continued(wo, p);
R
Roland McGrath 已提交
1415 1416 1417 1418 1419
}

/*
 * Do the work of do_wait() for one thread in the group, @tsk.
 *
1420
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1421 1422
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue; then
1423
 * ->notask_error is 0 if there were any eligible children,
1424
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1425
 */
1426
static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1427 1428 1429 1430
{
	struct task_struct *p;

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

1433 1434
		if (ret)
			return ret;
R
Roland McGrath 已提交
1435 1436 1437 1438 1439
	}

	return 0;
}

1440
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1441 1442 1443
{
	struct task_struct *p;

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

R
Roland McGrath 已提交
1447
		if (ret)
R
Roland McGrath 已提交
1448 1449 1450 1451 1452 1453
			return ret;
	}

	return 0;
}

1454 1455 1456 1457 1458 1459 1460
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;

1461
	if (!eligible_pid(wo, p))
1462 1463
		return 0;

1464 1465 1466
	if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
		return 0;

1467 1468 1469
	return default_wake_function(wait, mode, sync, key);
}

1470 1471
void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
{
1472 1473
	__wake_up_sync_key(&parent->signal->wait_chldexit,
				TASK_INTERRUPTIBLE, 1, p);
1474 1475
}

1476
static long do_wait(struct wait_opts *wo)
L
Linus Torvalds 已提交
1477 1478
{
	struct task_struct *tsk;
R
Roland McGrath 已提交
1479
	int retval;
L
Linus Torvalds 已提交
1480

1481
	trace_sched_process_wait(wo->wo_pid);
1482

1483 1484 1485
	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 已提交
1486
repeat:
R
Roland McGrath 已提交
1487
	/*
F
Frans Klaver 已提交
1488
	 * If there is nothing that can match our criteria, just get out.
1489 1490 1491
	 * 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 已提交
1492
	 */
1493
	wo->notask_error = -ECHILD;
1494 1495
	if ((wo->wo_type < PIDTYPE_MAX) &&
	   (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
1496
		goto notask;
E
Eric W. Biederman 已提交
1497

1498
	set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
1499 1500 1501
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1502 1503 1504
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1505

1506 1507
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
R
Roland McGrath 已提交
1508 1509
			goto end;

1510
		if (wo->wo_flags & __WNOTHREAD)
L
Linus Torvalds 已提交
1511
			break;
1512
	} while_each_thread(current, tsk);
L
Linus Torvalds 已提交
1513
	read_unlock(&tasklist_lock);
O
Oleg Nesterov 已提交
1514

1515
notask:
1516 1517
	retval = wo->notask_error;
	if (!retval && !(wo->wo_flags & WNOHANG)) {
L
Linus Torvalds 已提交
1518
		retval = -ERESTARTSYS;
R
Roland McGrath 已提交
1519 1520 1521 1522
		if (!signal_pending(current)) {
			schedule();
			goto repeat;
		}
L
Linus Torvalds 已提交
1523 1524
	}
end:
1525
	__set_current_state(TASK_RUNNING);
1526
	remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
L
Linus Torvalds 已提交
1527 1528 1529
	return retval;
}

1530 1531
SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
		infop, int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1532
{
1533
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1534 1535
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1536 1537
	long ret;

1538 1539
	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
L
Linus Torvalds 已提交
1540 1541 1542 1543 1544 1545
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

	switch (which) {
	case P_ALL:
E
Eric W. Biederman 已提交
1546
		type = PIDTYPE_MAX;
L
Linus Torvalds 已提交
1547 1548
		break;
	case P_PID:
E
Eric W. Biederman 已提交
1549 1550
		type = PIDTYPE_PID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1551 1552 1553
			return -EINVAL;
		break;
	case P_PGID:
E
Eric W. Biederman 已提交
1554 1555
		type = PIDTYPE_PGID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1556 1557 1558 1559 1560 1561
			return -EINVAL;
		break;
	default:
		return -EINVAL;
	}

E
Eric W. Biederman 已提交
1562 1563
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1564 1565 1566 1567 1568 1569 1570 1571

	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);
1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594

	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 已提交
1595
	put_pid(pid);
L
Linus Torvalds 已提交
1596 1597 1598
	return ret;
}

1599 1600
SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
		int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1601
{
1602
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1603 1604
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1605 1606 1607 1608 1609
	long ret;

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
E
Eric W. Biederman 已提交
1610 1611 1612 1613 1614 1615 1616 1617

	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;
1618
		pid = get_task_pid(current, PIDTYPE_PGID);
E
Eric W. Biederman 已提交
1619 1620 1621 1622 1623
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1624 1625 1626 1627 1628 1629 1630
	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 已提交
1631
	put_pid(pid);
L
Linus Torvalds 已提交
1632 1633 1634 1635 1636 1637 1638 1639 1640 1641

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1642
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
L
Linus Torvalds 已提交
1643 1644 1645 1646 1647
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif