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

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

59
#include <linux/uaccess.h>
L
Linus Torvalds 已提交
60 61 62 63
#include <asm/unistd.h>
#include <asm/pgtable.h>
#include <asm/mmu_context.h>

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

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

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

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

95
#ifdef CONFIG_POSIX_TIMERS
96
	posix_cpu_timers_exit(tsk);
97
	if (group_dead) {
98
		posix_cpu_timers_exit_group(tsk);
99
	} else {
100 101 102 103 104 105 106
		/*
		 * 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);
107 108
	}
#endif
109

110 111 112 113
	if (group_dead) {
		tty = sig->tty;
		sig->tty = NULL;
	} else {
114 115 116 117
		/*
		 * If there is any task waiting for the group exit
		 * then notify it:
		 */
118
		if (sig->notify_count > 0 && !--sig->notify_count)
119
			wake_up_process(sig->group_exit_task);
120

121 122 123 124
		if (tsk == sig->curr_target)
			sig->curr_target = next_thread(tsk);
	}

125 126 127
	add_device_randomness((const void*) &tsk->se.sum_exec_runtime,
			      sizeof(unsigned long long));

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

151 152 153 154 155
	/*
	 * Do this under ->siglock, we can race with another thread
	 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
	 */
	flush_sigqueue(&tsk->pending);
156
	tsk->sighand = NULL;
157 158
	spin_unlock(&sighand->siglock);

159
	__cleanup_sighand(sighand);
160
	clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
161
	if (group_dead) {
162
		flush_sigqueue(&sig->shared_pending);
163
		tty_kref_put(tty);
164 165 166
	}
}

167 168
static void delayed_put_task_struct(struct rcu_head *rhp)
{
169 170
	struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);

171
	perf_event_delayed_put(tsk);
172 173
	trace_sched_process_free(tsk);
	put_task_struct(tsk);
174 175
}

R
Roland McGrath 已提交
176

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

188
	proc_flush_task(p);
189

L
Linus Torvalds 已提交
190
	write_lock_irq(&tasklist_lock);
T
Tejun Heo 已提交
191
	ptrace_release_task(p);
L
Linus Torvalds 已提交
192
	__exit_signal(p);
193

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

	write_unlock_irq(&tasklist_lock);
	release_thread(p);
215
	call_rcu(&p->rcu, delayed_put_task_struct);
L
Linus Torvalds 已提交
216 217 218 219 220 221

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

222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297
/*
 * 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 已提交
298 299 300 301 302 303 304 305
/*
 * 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?"
 */
306 307
static int will_become_orphaned_pgrp(struct pid *pgrp,
					struct task_struct *ignored_task)
L
Linus Torvalds 已提交
308 309 310
{
	struct task_struct *p;

311
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
312 313 314
		if ((p == ignored_task) ||
		    (p->exit_state && thread_group_empty(p)) ||
		    is_global_init(p->real_parent))
L
Linus Torvalds 已提交
315
			continue;
316

317
		if (task_pgrp(p->real_parent) != pgrp &&
318 319
		    task_session(p->real_parent) == task_session(p))
			return 0;
320
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
321 322

	return 1;
L
Linus Torvalds 已提交
323 324
}

325
int is_current_pgrp_orphaned(void)
L
Linus Torvalds 已提交
326 327 328 329
{
	int retval;

	read_lock(&tasklist_lock);
330
	retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
L
Linus Torvalds 已提交
331 332 333 334 335
	read_unlock(&tasklist_lock);

	return retval;
}

336
static bool has_stopped_jobs(struct pid *pgrp)
L
Linus Torvalds 已提交
337 338 339
{
	struct task_struct *p;

340
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
341 342
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return true;
343
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
344 345

	return false;
L
Linus Torvalds 已提交
346 347
}

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

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

	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
	 */
416
	list_for_each_entry(c, &p->real_parent->children, sibling) {
417 418 419 420 421
		if (c->mm == mm)
			goto assign_new_owner;
	}

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

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

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

L
Linus Torvalds 已提交
492 493
		up_read(&mm->mmap_sem);

494 495 496 497 498 499 500 501
		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 已提交
502

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

526 527 528 529 530 531 532 533 534 535 536
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;
}

537 538 539 540 541 542 543 544 545 546
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;

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

576 577
	thread = find_alive_thread(father);
	if (thread)
578
		return thread;
L
Linus Torvalds 已提交
579

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

600
	return child_reaper;
601 602
}

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

612
	/* We don't want people slaying init. */
613 614 615
	p->exit_signal = SIGCHLD;

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

	kill_orphaned_pgrp(p, father);
}

627 628 629 630 631 632 633 634 635 636
/*
 * 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 已提交
637
{
638
	struct task_struct *p, *t, *reaper;
639

640
	if (unlikely(!list_empty(&father->ptraced)))
641
		exit_ptrace(father, dead);
R
Roland McGrath 已提交
642

643
	/* Can drop and reacquire tasklist_lock */
644
	reaper = find_child_reaper(father);
645
	if (list_empty(&father->children))
646
		return;
647 648

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

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

679
	write_lock_irq(&tasklist_lock);
680 681
	forget_original_parent(tsk, &dead);

682 683
	if (group_dead)
		kill_orphaned_pgrp(tsk->group_leader, NULL);
L
Linus Torvalds 已提交
684

O
Oleg Nesterov 已提交
685 686 687 688 689 690 691 692 693 694 695 696
	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 已提交
697

698
	tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
699 700
	if (tsk->exit_state == EXIT_DEAD)
		list_add(&tsk->ptrace_entry, &dead);
L
Linus Torvalds 已提交
701

702 703
	/* mt-exec, de_thread() is waiting for group leader */
	if (unlikely(tsk->signal->notify_count < 0))
704
		wake_up_process(tsk->signal->group_exit_task);
L
Linus Torvalds 已提交
705 706
	write_unlock_irq(&tasklist_lock);

707 708 709 710
	list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
		list_del_init(&p->ptrace_entry);
		release_task(p);
	}
L
Linus Torvalds 已提交
711 712
}

713 714 715 716 717 718 719
#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;

720
	free = stack_not_used(current);
721 722 723 724 725 726

	if (free >= lowest_to_date)
		return;

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

737
void __noreturn do_exit(long code)
L
Linus Torvalds 已提交
738 739 740
{
	struct task_struct *tsk = current;
	int group_dead;
741
	TASKS_RCU(int tasks_rcu_i);
L
Linus Torvalds 已提交
742 743

	profile_task_exit(tsk);
D
Dmitry Vyukov 已提交
744
	kcov_task_exit(tsk);
L
Linus Torvalds 已提交
745

746
	WARN_ON(blk_needs_flush_plug(tsk));
747

L
Linus Torvalds 已提交
748 749 750 751 752
	if (unlikely(in_interrupt()))
		panic("Aiee, killing interrupt handler!");
	if (unlikely(!tsk->pid))
		panic("Attempted to kill the idle task!");

753 754 755 756 757 758 759 760 761
	/*
	 * 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 已提交
762
	ptrace_event(PTRACE_EVENT_EXIT, code);
L
Linus Torvalds 已提交
763

764 765
	validate_creds_for_do_exit(tsk);

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

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

798
	if (unlikely(in_atomic())) {
799 800 801
		pr_info("note: %s[%d] exited with preempt_count %d\n",
			current->comm, task_pid_nr(current),
			preempt_count());
802 803
		preempt_count_set(PREEMPT_ENABLED);
	}
L
Linus Torvalds 已提交
804

805 806 807
	/* sync mm's RSS info before statistics gathering */
	if (tsk->mm)
		sync_mm_rss(tsk->mm);
808
	acct_update_integrals(tsk);
L
Linus Torvalds 已提交
809
	group_dead = atomic_dec_and_test(&tsk->signal->live);
810
	if (group_dead) {
811
#ifdef CONFIG_POSIX_TIMERS
812
		hrtimer_cancel(&tsk->signal->real_timer);
813
		exit_itimers(tsk->signal);
814
#endif
J
Jiri Pirko 已提交
815 816
		if (tsk->mm)
			setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
817
	}
818
	acct_collect(code, group_dead);
M
Miloslav Trmac 已提交
819 820
	if (group_dead)
		tty_audit_exit();
821
	audit_free(tsk);
822

823
	tsk->exit_code = code;
824
	taskstats_exit(tsk, group_dead);
825

L
Linus Torvalds 已提交
826 827
	exit_mm(tsk);

828
	if (group_dead)
829
		acct_process();
830 831
	trace_sched_process_exit(tsk);

L
Linus Torvalds 已提交
832
	exit_sem(tsk);
833
	exit_shm(tsk);
834 835
	exit_files(tsk);
	exit_fs(tsk);
836 837
	if (group_dead)
		disassociate_ctty(1);
838
	exit_task_namespaces(tsk);
839
	exit_task_work(tsk);
840
	exit_thread(tsk);
841 842 843 844 845 846 847 848 849

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

850
	sched_autogroup_exit_task(tsk);
851
	cgroup_exit(tsk);
L
Linus Torvalds 已提交
852

853 854 855
	/*
	 * FIXME: do that only when needed, using sched_exit tracepoint
	 */
856
	flush_ptrace_hw_breakpoint(tsk);
857

858
	TASKS_RCU(preempt_disable());
859
	TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
860
	TASKS_RCU(preempt_enable());
861
	exit_notify(tsk, group_dead);
862
	proc_exit_connector(tsk);
863
	mpol_put_task_policy(tsk);
864
#ifdef CONFIG_FUTEX
865 866
	if (unlikely(current->pi_state_cache))
		kfree(current->pi_state_cache);
867
#endif
868
	/*
869
	 * Make sure we are holding no locks:
870
	 */
871
	debug_check_no_locks_held();
872 873 874 875 876 877
	/*
	 * 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 已提交
878

879
	if (tsk->io_context)
880
		exit_io_context(tsk);
881

882
	if (tsk->splice_pipe)
883
		free_pipe_info(tsk->splice_pipe);
884

885 886 887
	if (tsk->task_frag.page)
		put_page(tsk->task_frag.page);

888 889
	validate_creds_for_do_exit(tsk);

890
	check_stack_usage();
C
Coywolf Qi Hunt 已提交
891
	preempt_disable();
892 893
	if (tsk->nr_dirtied)
		__this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
894
	exit_rcu();
895
	TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
896

897
	do_task_dead();
L
Linus Torvalds 已提交
898
}
899 900
EXPORT_SYMBOL_GPL(do_exit);

901
void complete_and_exit(struct completion *comp, long code)
L
Linus Torvalds 已提交
902 903 904
{
	if (comp)
		complete(comp);
O
Oleg Nesterov 已提交
905

L
Linus Torvalds 已提交
906 907 908 909
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

910
SYSCALL_DEFINE1(exit, int, error_code)
L
Linus Torvalds 已提交
911 912 913 914 915 916 917 918
{
	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).
 */
919
void
L
Linus Torvalds 已提交
920 921
do_group_exit(int exit_code)
{
922 923
	struct signal_struct *sig = current->signal;

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

926 927
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
L
Linus Torvalds 已提交
928 929
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
930

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

959 960 961
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
962
	struct pid		*wo_pid;
963 964 965 966 967

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

968
	wait_queue_t		child_wait;
969 970 971
	int			notask_error;
};

972 973
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
E
Eric W. Biederman 已提交
974
{
975 976 977
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
E
Eric W. Biederman 已提交
978 979
}

980
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
L
Linus Torvalds 已提交
981
{
982 983 984
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
L
Linus Torvalds 已提交
985

986 987
static int
eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
988 989 990
{
	if (!eligible_pid(wo, p))
		return 0;
991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007

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

1010
	return 1;
L
Linus Torvalds 已提交
1011 1012
}

1013 1014
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 已提交
1015
{
1016 1017 1018
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1019

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

1054
	if (!likely(wo->wo_flags & WEXITED))
R
Roland McGrath 已提交
1055 1056
		return 0;

1057
	if (unlikely(wo->wo_flags & WNOWAIT)) {
L
Linus Torvalds 已提交
1058
		int exit_code = p->exit_code;
1059
		int why;
L
Linus Torvalds 已提交
1060 1061 1062

		get_task_struct(p);
		read_unlock(&tasklist_lock);
1063 1064
		sched_annotate_sleep();

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

1087
	/*
1088
	 * Check thread_group_leader() to exclude the traced sub-threads.
1089
	 */
1090
	if (state == EXIT_DEAD && thread_group_leader(p)) {
1091 1092
		struct signal_struct *sig = p->signal;
		struct signal_struct *psig = current->signal;
J
Jiri Pirko 已提交
1093
		unsigned long maxrss;
1094
		cputime_t tgutime, tgstime;
1095

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

1145 1146
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1147 1148
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1149 1150 1151 1152
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
L
Linus Torvalds 已提交
1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
	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)
1172
		retval = put_user(pid, &infop->si_pid);
L
Linus Torvalds 已提交
1173
	if (!retval && infop)
1174
		retval = put_user(uid, &infop->si_uid);
1175
	if (!retval)
1176
		retval = pid;
1177

1178
	if (state == EXIT_TRACE) {
L
Linus Torvalds 已提交
1179
		write_lock_irq(&tasklist_lock);
1180 1181
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1182 1183 1184 1185 1186

		/* If parent wants a zombie, don't release it now */
		state = EXIT_ZOMBIE;
		if (do_notify_parent(p, p->exit_signal))
			state = EXIT_DEAD;
1187
		p->exit_state = state;
L
Linus Torvalds 已提交
1188 1189
		write_unlock_irq(&tasklist_lock);
	}
1190
	if (state == EXIT_DEAD)
L
Linus Torvalds 已提交
1191
		release_task(p);
1192

L
Linus Torvalds 已提交
1193 1194 1195
	return retval;
}

1196 1197 1198
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
1199
		if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
1200 1201 1202 1203 1204 1205 1206 1207
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

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

1234 1235 1236
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1237
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
R
Roland McGrath 已提交
1238 1239
		return 0;

1240 1241 1242
	if (!task_stopped_code(p, ptrace))
		return 0;

1243 1244 1245
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1246 1247
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1248 1249
		goto unlock_sig;

1250
	exit_code = *p_code;
1251 1252 1253
	if (!exit_code)
		goto unlock_sig;

1254
	if (!unlikely(wo->wo_flags & WNOWAIT))
1255
		*p_code = 0;
1256

1257
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1258 1259 1260
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
L
Linus Torvalds 已提交
1261 1262 1263 1264 1265 1266 1267 1268 1269 1270
		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);
1271
	pid = task_pid_vnr(p);
R
Roland McGrath 已提交
1272
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
L
Linus Torvalds 已提交
1273
	read_unlock(&tasklist_lock);
1274
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1275

1276 1277 1278 1279 1280 1281 1282
	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 已提交
1283

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

1317
	if (!unlikely(wo->wo_flags & WCONTINUED))
R
Roland McGrath 已提交
1318 1319
		return 0;

L
Linus Torvalds 已提交
1320 1321 1322 1323 1324 1325 1326 1327 1328
	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;
	}
1329
	if (!unlikely(wo->wo_flags & WNOWAIT))
L
Linus Torvalds 已提交
1330
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1331
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
L
Linus Torvalds 已提交
1332 1333
	spin_unlock_irq(&p->sighand->siglock);

1334
	pid = task_pid_vnr(p);
L
Linus Torvalds 已提交
1335 1336
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1337
	sched_annotate_sleep();
L
Linus Torvalds 已提交
1338

1339 1340 1341
	if (!wo->wo_info) {
		retval = wo->wo_rusage
			? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
L
Linus Torvalds 已提交
1342
		put_task_struct(p);
1343 1344
		if (!retval && wo->wo_stat)
			retval = put_user(0xffff, wo->wo_stat);
L
Linus Torvalds 已提交
1345
		if (!retval)
1346
			retval = pid;
L
Linus Torvalds 已提交
1347
	} else {
1348 1349
		retval = wait_noreap_copyout(wo, p, pid, uid,
					     CLD_CONTINUED, SIGCONT);
L
Linus Torvalds 已提交
1350 1351 1352 1353 1354 1355
		BUG_ON(retval == 0);
	}

	return retval;
}

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

1376
	if (unlikely(exit_state == EXIT_DEAD))
1377 1378
		return 0;

1379
	ret = eligible_child(wo, ptrace, p);
1380
	if (!ret)
R
Roland McGrath 已提交
1381 1382
		return ret;

1383
	ret = security_task_wait(p);
1384 1385 1386 1387 1388 1389 1390 1391
	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.
		 */
1392 1393
		if (wo->notask_error)
			wo->notask_error = ret;
1394
		return 0;
1395 1396
	}

1397
	if (unlikely(exit_state == EXIT_TRACE)) {
1398
		/*
1399 1400
		 * ptrace == 0 means we are the natural parent. In this case
		 * we should clear notask_error, debugger will notify us.
1401
		 */
1402
		if (likely(!ptrace))
1403
			wo->notask_error = 0;
1404
		return 0;
1405
	}
1406

1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422
	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;
	}

1423
	/* slay zombie? */
1424
	if (exit_state == EXIT_ZOMBIE) {
1425
		/* we don't reap group leaders with subthreads */
1426 1427 1428 1429 1430 1431 1432 1433 1434
		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 已提交
1435

R
Roland McGrath 已提交
1436
		/*
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461
		 * 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 已提交
1462
		 */
1463
		wo->notask_error = 0;
R
Roland McGrath 已提交
1464 1465
	}

R
Roland McGrath 已提交
1466
	/*
1467 1468
	 * Wait for stopped.  Depending on @ptrace, different stopped state
	 * is used and the two don't interact with each other.
R
Roland McGrath 已提交
1469
	 */
1470 1471 1472
	ret = wait_task_stopped(wo, ptrace, p);
	if (ret)
		return ret;
R
Roland McGrath 已提交
1473 1474

	/*
1475 1476 1477
	 * 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 已提交
1478
	 */
1479
	return wait_task_continued(wo, p);
R
Roland McGrath 已提交
1480 1481 1482 1483 1484
}

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

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

1498 1499
		if (ret)
			return ret;
R
Roland McGrath 已提交
1500 1501 1502 1503 1504
	}

	return 0;
}

1505
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
R
Roland McGrath 已提交
1506 1507 1508
{
	struct task_struct *p;

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

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

	return 0;
}

1519 1520 1521 1522 1523 1524 1525
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;

1526
	if (!eligible_pid(wo, p))
1527 1528
		return 0;

1529 1530 1531
	if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
		return 0;

1532 1533 1534
	return default_wake_function(wait, mode, sync, key);
}

1535 1536
void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
{
1537 1538
	__wake_up_sync_key(&parent->signal->wait_chldexit,
				TASK_INTERRUPTIBLE, 1, p);
1539 1540
}

1541
static long do_wait(struct wait_opts *wo)
L
Linus Torvalds 已提交
1542 1543
{
	struct task_struct *tsk;
R
Roland McGrath 已提交
1544
	int retval;
L
Linus Torvalds 已提交
1545

1546
	trace_sched_process_wait(wo->wo_pid);
1547

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

1563
	set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
1564 1565 1566
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1567 1568 1569
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1570

1571 1572
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
R
Roland McGrath 已提交
1573 1574
			goto end;

1575
		if (wo->wo_flags & __WNOTHREAD)
L
Linus Torvalds 已提交
1576
			break;
1577
	} while_each_thread(current, tsk);
L
Linus Torvalds 已提交
1578
	read_unlock(&tasklist_lock);
O
Oleg Nesterov 已提交
1579

1580
notask:
1581 1582
	retval = wo->notask_error;
	if (!retval && !(wo->wo_flags & WNOHANG)) {
L
Linus Torvalds 已提交
1583
		retval = -ERESTARTSYS;
R
Roland McGrath 已提交
1584 1585 1586 1587
		if (!signal_pending(current)) {
			schedule();
			goto repeat;
		}
L
Linus Torvalds 已提交
1588 1589
	}
end:
1590
	__set_current_state(TASK_RUNNING);
1591
	remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
L
Linus Torvalds 已提交
1592 1593 1594
	return retval;
}

1595 1596
SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
		infop, int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1597
{
1598
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1599 1600
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1601 1602
	long ret;

1603 1604
	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
L
Linus Torvalds 已提交
1605 1606 1607 1608 1609 1610
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

	switch (which) {
	case P_ALL:
E
Eric W. Biederman 已提交
1611
		type = PIDTYPE_MAX;
L
Linus Torvalds 已提交
1612 1613
		break;
	case P_PID:
E
Eric W. Biederman 已提交
1614 1615
		type = PIDTYPE_PID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1616 1617 1618
			return -EINVAL;
		break;
	case P_PGID:
E
Eric W. Biederman 已提交
1619 1620
		type = PIDTYPE_PGID;
		if (upid <= 0)
L
Linus Torvalds 已提交
1621 1622 1623 1624 1625 1626
			return -EINVAL;
		break;
	default:
		return -EINVAL;
	}

E
Eric W. Biederman 已提交
1627 1628
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1629 1630 1631 1632 1633 1634 1635 1636

	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);
1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659

	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 已提交
1660
	put_pid(pid);
L
Linus Torvalds 已提交
1661 1662 1663
	return ret;
}

1664 1665
SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
		int, options, struct rusage __user *, ru)
L
Linus Torvalds 已提交
1666
{
1667
	struct wait_opts wo;
E
Eric W. Biederman 已提交
1668 1669
	struct pid *pid = NULL;
	enum pid_type type;
L
Linus Torvalds 已提交
1670 1671 1672 1673 1674
	long ret;

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
E
Eric W. Biederman 已提交
1675 1676 1677 1678 1679 1680 1681 1682

	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;
1683
		pid = get_task_pid(current, PIDTYPE_PGID);
E
Eric W. Biederman 已提交
1684 1685 1686 1687 1688
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1689 1690 1691 1692 1693 1694 1695
	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 已提交
1696
	put_pid(pid);
L
Linus Torvalds 已提交
1697 1698 1699 1700 1701 1702 1703 1704 1705 1706

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1707
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
L
Linus Torvalds 已提交
1708 1709 1710 1711 1712
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif