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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

R
Roland McGrath 已提交
167

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

179
	proc_flush_task(p);
180

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

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

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

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

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

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

	probe_kernel_address(&task->sighand, sighand);

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

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

	return task;
}

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

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

	return task;
}

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

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

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

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

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

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

	return retval;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

	return father;
}

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

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

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

591
	return child_reaper;
592 593
}

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

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

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

	kill_orphaned_pgrp(p, father);
}

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

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

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

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

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

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

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

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

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

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

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

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

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

	if (free >= lowest_to_date)
		return;

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

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

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

737
	WARN_ON(blk_needs_flush_plug(tsk));
738

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

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

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

755 756
	validate_creds_for_do_exit(tsk);

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

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

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

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

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

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

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

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

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

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

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

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

867
	if (tsk->io_context)
868
		exit_io_context(tsk);
869

870
	if (tsk->splice_pipe)
871
		free_pipe_info(tsk->splice_pipe);
872

873 874 875
	if (tsk->task_frag.page)
		put_page(tsk->task_frag.page);

876 877
	validate_creds_for_do_exit(tsk);

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

	/*
	 * 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 已提交
900
	/* causes final put_task_struct in finish_task_switch(). */
901
	tsk->state = TASK_DEAD;
902
	tsk->flags |= PF_NOFREEZE;	/* tell freezer to ignore us */
L
Linus Torvalds 已提交
903 904 905
	schedule();
	BUG();
	/* Avoid "noreturn function does return".  */
A
Alan Cox 已提交
906 907
	for (;;)
		cpu_relax();	/* For when BUG is null */
L
Linus Torvalds 已提交
908
}
909 910
EXPORT_SYMBOL_GPL(do_exit);

911
void complete_and_exit(struct completion *comp, long code)
L
Linus Torvalds 已提交
912 913 914
{
	if (comp)
		complete(comp);
O
Oleg Nesterov 已提交
915

L
Linus Torvalds 已提交
916 917 918 919
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

920
SYSCALL_DEFINE1(exit, int, error_code)
L
Linus Torvalds 已提交
921 922 923 924 925 926 927 928
{
	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).
 */
929
void
L
Linus Torvalds 已提交
930 931
do_group_exit(int exit_code)
{
932 933
	struct signal_struct *sig = current->signal;

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

936 937
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
L
Linus Torvalds 已提交
938 939
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
940

L
Linus Torvalds 已提交
941
		spin_lock_irq(&sighand->siglock);
942
		if (signal_group_exit(sig))
L
Linus Torvalds 已提交
943 944 945 946
			/* Another thread got here before we took the lock.  */
			exit_code = sig->group_exit_code;
		else {
			sig->group_exit_code = exit_code;
947
			sig->flags = SIGNAL_GROUP_EXIT;
L
Linus Torvalds 已提交
948 949 950 951 952 953 954 955 956 957 958 959 960 961
			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.
 */
962
SYSCALL_DEFINE1(exit_group, int, error_code)
L
Linus Torvalds 已提交
963 964
{
	do_group_exit((error_code & 0xff) << 8);
965 966
	/* NOTREACHED */
	return 0;
L
Linus Torvalds 已提交
967 968
}

969 970 971
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
972
	struct pid		*wo_pid;
973 974 975 976 977

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

978
	wait_queue_t		child_wait;
979 980 981
	int			notask_error;
};

982 983
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
E
Eric W. Biederman 已提交
984
{
985 986 987
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
E
Eric W. Biederman 已提交
988 989
}

990
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
991
{
992 993 994
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
L
Linus Torvalds 已提交
995

996 997
static int
eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
998 999 1000
{
	if (!eligible_pid(wo, p))
		return 0;
1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017

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

1020
	return 1;
L
Linus Torvalds 已提交
1021 1022
}

1023 1024
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 已提交
1025
{
1026 1027 1028
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1029

L
Linus Torvalds 已提交
1030
	put_task_struct(p);
1031
	infop = wo->wo_info;
1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045
	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 已提交
1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056
	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.
 */
1057
static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1058
{
1059
	int state, retval, status;
1060
	pid_t pid = task_pid_vnr(p);
1061
	uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
1062
	struct siginfo __user *infop;
L
Linus Torvalds 已提交
1063

1064
	if (!likely(wo->wo_flags & WEXITED))
R
Roland McGrath 已提交
1065 1066
		return 0;

1067
	if (unlikely(wo->wo_flags & WNOWAIT)) {
L
Linus Torvalds 已提交
1068
		int exit_code = p->exit_code;
1069
		int why;
L
Linus Torvalds 已提交
1070 1071 1072

		get_task_struct(p);
		read_unlock(&tasklist_lock);
1073 1074
		sched_annotate_sleep();

L
Linus Torvalds 已提交
1075 1076 1077 1078 1079 1080 1081
		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;
		}
1082
		return wait_noreap_copyout(wo, p, pid, uid, why, status);
L
Linus Torvalds 已提交
1083 1084
	}
	/*
1085
	 * Move the task's state to DEAD/TRACE, only one thread can do this.
L
Linus Torvalds 已提交
1086
	 */
1087 1088
	state = (ptrace_reparented(p) && thread_group_leader(p)) ?
		EXIT_TRACE : EXIT_DEAD;
1089
	if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
L
Linus Torvalds 已提交
1090
		return 0;
1091 1092 1093 1094 1095
	/*
	 * We own this thread, nobody else can reap it.
	 */
	read_unlock(&tasklist_lock);
	sched_annotate_sleep();
1096

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

L
Linus Torvalds 已提交
1106 1107 1108 1109 1110 1111 1112 1113
		/*
		 * 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
1114 1115 1116 1117 1118 1119 1120
		 * 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.
1121
		 *
1122 1123 1124
		 * 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 已提交
1125
		 */
1126
		thread_group_cputime_adjusted(p, &tgutime, &tgstime);
1127
		spin_lock_irq(&current->sighand->siglock);
1128
		write_seqlock(&psig->stats_lock);
1129 1130
		psig->cutime += tgutime + sig->cutime;
		psig->cstime += tgstime + sig->cstime;
1131
		psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
1132 1133 1134 1135 1136 1137 1138 1139
		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;
1140 1141 1142 1143 1144 1145
		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 已提交
1146 1147 1148
		maxrss = max(sig->maxrss, sig->cmaxrss);
		if (psig->cmaxrss < maxrss)
			psig->cmaxrss = maxrss;
1149 1150
		task_io_accounting_add(&psig->ioac, &p->ioac);
		task_io_accounting_add(&psig->ioac, &sig->ioac);
1151
		write_sequnlock(&psig->stats_lock);
1152
		spin_unlock_irq(&current->sighand->siglock);
L
Linus Torvalds 已提交
1153 1154
	}

1155 1156
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1157 1158
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1159 1160 1161 1162
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
L
Linus Torvalds 已提交
1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181
	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)
1182
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1183
	if (!retval && infop)
1184
		retval = put_user(uid, &infop->si_uid);
1185
	if (!retval)
1186
		retval = pid;
1187

1188
	if (state == EXIT_TRACE) {
L
Linus Torvalds 已提交
1189
		write_lock_irq(&tasklist_lock);
1190 1191
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1192 1193 1194 1195 1196

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

L
Linus Torvalds 已提交
1203 1204 1205
	return retval;
}

1206 1207 1208
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
1209
		if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
1210 1211 1212 1213 1214 1215 1216 1217
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234
/**
 * 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 已提交
1235
 */
1236 1237
static int wait_task_stopped(struct wait_opts *wo,
				int ptrace, struct task_struct *p)
L
Linus Torvalds 已提交
1238
{
1239
	struct siginfo __user *infop;
1240
	int retval, exit_code, *p_code, why;
1241
	uid_t uid = 0; /* unneeded, required by compiler */
1242
	pid_t pid;
L
Linus Torvalds 已提交
1243

1244 1245 1246
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1247
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
R
Roland McGrath 已提交
1248 1249
		return 0;

1250 1251 1252
	if (!task_stopped_code(p, ptrace))
		return 0;

1253 1254 1255
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1256 1257
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1258 1259
		goto unlock_sig;

1260
	exit_code = *p_code;
1261 1262 1263
	if (!exit_code)
		goto unlock_sig;

1264
	if (!unlikely(wo->wo_flags & WNOWAIT))
1265
		*p_code = 0;
1266

1267
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1268 1269 1270
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
L
Linus Torvalds 已提交
1271 1272 1273 1274 1275 1276 1277 1278 1279 1280
		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);
1281
	pid = task_pid_vnr(p);
R
Roland McGrath 已提交
1282
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
L
Linus Torvalds 已提交
1283
	read_unlock(&tasklist_lock);
1284
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1285

1286 1287 1288 1289 1290 1291 1292
	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 已提交
1293

1294
	infop = wo->wo_info;
L
Linus Torvalds 已提交
1295 1296 1297 1298 1299
	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 已提交
1300
		retval = put_user((short)why, &infop->si_code);
L
Linus Torvalds 已提交
1301 1302 1303
	if (!retval && infop)
		retval = put_user(exit_code, &infop->si_status);
	if (!retval && infop)
1304
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1305
	if (!retval && infop)
1306
		retval = put_user(uid, &infop->si_uid);
L
Linus Torvalds 已提交
1307
	if (!retval)
1308
		retval = pid;
L
Linus Torvalds 已提交
1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320
	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.
 */
1321
static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
1322 1323 1324 1325 1326
{
	int retval;
	pid_t pid;
	uid_t uid;

1327
	if (!unlikely(wo->wo_flags & WCONTINUED))
R
Roland McGrath 已提交
1328 1329
		return 0;

L
Linus Torvalds 已提交
1330 1331 1332 1333 1334 1335 1336 1337 1338
	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;
	}
1339
	if (!unlikely(wo->wo_flags & WNOWAIT))
L
Linus Torvalds 已提交
1340
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1341
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
L
Linus Torvalds 已提交
1342 1343
	spin_unlock_irq(&p->sighand->siglock);

1344
	pid = task_pid_vnr(p);
L
Linus Torvalds 已提交
1345 1346
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1347
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1348

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

	return retval;
}

R
Roland McGrath 已提交
1366 1367 1368
/*
 * Consider @p for a wait by @parent.
 *
1369
 * -ECHILD should be in ->notask_error before the first call.
R
Roland McGrath 已提交
1370 1371
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue;
1372
 * then ->notask_error is 0 if @p is an eligible child,
1373
 * or another error from security_task_wait(), or still -ECHILD.
R
Roland McGrath 已提交
1374
 */
1375 1376
static int wait_consider_task(struct wait_opts *wo, int ptrace,
				struct task_struct *p)
R
Roland McGrath 已提交
1377
{
1378 1379 1380 1381 1382 1383
	/*
	 * 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);
1384 1385
	int ret;

1386
	if (unlikely(exit_state == EXIT_DEAD))
1387 1388
		return 0;

1389
	ret = eligible_child(wo, ptrace, p);
1390
	if (!ret)
R
Roland McGrath 已提交
1391 1392
		return ret;

1393
	ret = security_task_wait(p);
1394 1395 1396 1397 1398 1399 1400 1401
	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.
		 */
1402 1403
		if (wo->notask_error)
			wo->notask_error = ret;
1404
		return 0;
1405 1406
	}

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

1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432
	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;
	}

1433
	/* slay zombie? */
1434
	if (exit_state == EXIT_ZOMBIE) {
1435
		/* we don't reap group leaders with subthreads */
1436 1437 1438 1439 1440 1441 1442 1443 1444
		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 已提交
1445

R
Roland McGrath 已提交
1446
		/*
1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471
		 * 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 已提交
1472
		 */
1473
		wo->notask_error = 0;
R
Roland McGrath 已提交
1474 1475
	}

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

	/*
1485 1486 1487
	 * 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 已提交
1488
	 */
1489
	return wait_task_continued(wo, p);
R
Roland McGrath 已提交
1490 1491 1492 1493 1494
}

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

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

1508 1509
		if (ret)
			return ret;
R
Roland McGrath 已提交
1510 1511 1512 1513 1514
	}

	return 0;
}

1515
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1516 1517 1518
{
	struct task_struct *p;

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

R
Roland McGrath 已提交
1522
		if (ret)
R
Roland McGrath 已提交
1523 1524 1525 1526 1527 1528
			return ret;
	}

	return 0;
}

1529 1530 1531 1532 1533 1534 1535
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;

1536
	if (!eligible_pid(wo, p))
1537 1538
		return 0;

1539 1540 1541
	if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
		return 0;

1542 1543 1544
	return default_wake_function(wait, mode, sync, key);
}

1545 1546
void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
{
1547 1548
	__wake_up_sync_key(&parent->signal->wait_chldexit,
				TASK_INTERRUPTIBLE, 1, p);
1549 1550
}

1551
static long do_wait(struct wait_opts *wo)
L
Linus Torvalds 已提交
1552 1553
{
	struct task_struct *tsk;
R
Roland McGrath 已提交
1554
	int retval;
L
Linus Torvalds 已提交
1555

1556
	trace_sched_process_wait(wo->wo_pid);
1557

1558 1559 1560
	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 已提交
1561
repeat:
R
Roland McGrath 已提交
1562
	/*
F
Frans Klaver 已提交
1563
	 * If there is nothing that can match our criteria, just get out.
1564 1565 1566
	 * 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 已提交
1567
	 */
1568
	wo->notask_error = -ECHILD;
1569 1570
	if ((wo->wo_type < PIDTYPE_MAX) &&
	   (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
1571
		goto notask;
E
Eric W. Biederman 已提交
1572

1573
	set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
1574 1575 1576
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1577 1578 1579
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1580

1581 1582
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
R
Roland McGrath 已提交
1583 1584
			goto end;

1585
		if (wo->wo_flags & __WNOTHREAD)
L
Linus Torvalds 已提交
1586
			break;
1587
	} while_each_thread(current, tsk);
L
Linus Torvalds 已提交
1588
	read_unlock(&tasklist_lock);
O
Oleg Nesterov 已提交
1589

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

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

1613 1614
	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
L
Linus Torvalds 已提交
1615 1616 1617 1618 1619 1620
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

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

E
Eric W. Biederman 已提交
1637 1638
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1639 1640 1641 1642 1643 1644 1645 1646

	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);
1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669

	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 已提交
1670
	put_pid(pid);
L
Linus Torvalds 已提交
1671 1672 1673
	return ret;
}

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

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
E
Eric W. Biederman 已提交
1685 1686 1687 1688 1689 1690 1691 1692

	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;
1693
		pid = get_task_pid(current, PIDTYPE_PGID);
E
Eric W. Biederman 已提交
1694 1695 1696 1697 1698
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1699 1700 1701 1702 1703 1704 1705
	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 已提交
1706
	put_pid(pid);
L
Linus Torvalds 已提交
1707 1708 1709 1710 1711 1712 1713 1714 1715 1716

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1717
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
L
Linus Torvalds 已提交
1718 1719 1720 1721 1722
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif