exit.c 41.8 KB
Newer Older
Linus Torvalds's avatar
Linus Torvalds committed
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>
Linus Torvalds's avatar
Linus Torvalds committed
12 13 14
#include <linux/completion.h>
#include <linux/personality.h>
#include <linux/tty.h>
15
#include <linux/iocontext.h>
Linus Torvalds's avatar
Linus Torvalds committed
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>
Linus Torvalds's avatar
Linus Torvalds committed
21
#include <linux/file.h>
Al Viro's avatar
Al Viro committed
22
#include <linux/fdtable.h>
23
#include <linux/freezer.h>
Linus Torvalds's avatar
Linus Torvalds committed
24
#include <linux/binfmts.h>
25
#include <linux/nsproxy.h>
26
#include <linux/pid_namespace.h>
Linus Torvalds's avatar
Linus Torvalds committed
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>
Linus Torvalds's avatar
Linus Torvalds committed
32
#include <linux/mempolicy.h>
33
#include <linux/taskstats_kern.h>
34
#include <linux/delayacct.h>
35
#include <linux/cgroup.h>
Linus Torvalds's avatar
Linus Torvalds committed
36
#include <linux/syscalls.h>
37
#include <linux/signal.h>
38
#include <linux/posix-timers.h>
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() */
Adrian Bunk's avatar
Adrian Bunk committed
44
#include <linux/resource.h>
45
#include <linux/blkdev.h>
46
#include <linux/task_io_accounting_ops.h>
Roland McGrath's avatar
Roland McGrath committed
47
#include <linux/tracehook.h>
48
#include <linux/fs_struct.h>
49
#include <linux/init_task.h>
50
#include <linux/perf_event.h>
51
#include <trace/events/sched.h>
52
#include <linux/hw_breakpoint.h>
Ying Han's avatar
Ying Han committed
53
#include <linux/oom.h>
54
#include <linux/writeback.h>
Al Viro's avatar
Al Viro committed
55
#include <linux/shm.h>
Linus Torvalds's avatar
Linus Torvalds committed
56 57 58 59 60 61

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

62
static void exit_mm(struct task_struct *tsk);
63

64
static void __unhash_process(struct task_struct *p, bool group_dead)
Linus Torvalds's avatar
Linus Torvalds committed
65 66
{
	nr_threads--;
67
	detach_pid(p, PIDTYPE_PID);
68
	if (group_dead) {
Linus Torvalds's avatar
Linus Torvalds committed
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);
Linus Torvalds's avatar
Linus Torvalds committed
75
	}
76
	list_del_rcu(&p->thread_group);
77
	list_del_rcu(&p->thread_node);
Linus Torvalds's avatar
Linus Torvalds committed
78 79
}

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

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

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

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

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

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

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

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

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

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

Roland McGrath's avatar
Roland McGrath committed
168

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

180
	proc_flush_task(p);
181

Linus Torvalds's avatar
Linus Torvalds committed
182
	write_lock_irq(&tasklist_lock);
Tejun Heo's avatar
Tejun Heo committed
183
	ptrace_release_task(p);
Linus Torvalds's avatar
Linus Torvalds committed
184
	__exit_signal(p);
185

Linus Torvalds's avatar
Linus Torvalds committed
186 187 188 189 190 191 192
	/*
	 * 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;
193 194
	if (leader != p && thread_group_empty(leader)
			&& leader->exit_state == EXIT_ZOMBIE) {
Linus Torvalds's avatar
Linus Torvalds committed
195 196 197 198
		/*
		 * 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.
Roland McGrath's avatar
Roland McGrath committed
199
		 */
200
		zap_leader = do_notify_parent(leader, leader->exit_signal);
Roland McGrath's avatar
Roland McGrath committed
201 202
		if (zap_leader)
			leader->exit_state = EXIT_DEAD;
Linus Torvalds's avatar
Linus Torvalds committed
203 204 205 206
	}

	write_unlock_irq(&tasklist_lock);
	release_thread(p);
207
	call_rcu(&p->rcu, delayed_put_task_struct);
Linus Torvalds's avatar
Linus Torvalds committed
208 209 210 211 212 213 214 215 216 217

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

/*
 * This checks not only the pgrp, but falls back on the pid if no
 * satisfactory pgrp is found. I dunno - gdb doesn't work correctly
 * without this...
218 219
 *
 * The caller must hold rcu lock or the tasklist lock.
Linus Torvalds's avatar
Linus Torvalds committed
220
 */
221
struct pid *session_of_pgrp(struct pid *pgrp)
Linus Torvalds's avatar
Linus Torvalds committed
222 223
{
	struct task_struct *p;
224
	struct pid *sid = NULL;
225

226
	p = pid_task(pgrp, PIDTYPE_PGID);
227
	if (p == NULL)
228
		p = pid_task(pgrp, PIDTYPE_PID);
229
	if (p != NULL)
230
		sid = task_session(p);
231

Linus Torvalds's avatar
Linus Torvalds committed
232 233 234 235 236 237 238 239 240 241 242
	return sid;
}

/*
 * 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?"
 */
243 244
static int will_become_orphaned_pgrp(struct pid *pgrp,
					struct task_struct *ignored_task)
Linus Torvalds's avatar
Linus Torvalds committed
245 246 247
{
	struct task_struct *p;

248
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
249 250 251
		if ((p == ignored_task) ||
		    (p->exit_state && thread_group_empty(p)) ||
		    is_global_init(p->real_parent))
Linus Torvalds's avatar
Linus Torvalds committed
252
			continue;
253

254
		if (task_pgrp(p->real_parent) != pgrp &&
255 256
		    task_session(p->real_parent) == task_session(p))
			return 0;
257
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
258 259

	return 1;
Linus Torvalds's avatar
Linus Torvalds committed
260 261
}

262
int is_current_pgrp_orphaned(void)
Linus Torvalds's avatar
Linus Torvalds committed
263 264 265 266
{
	int retval;

	read_lock(&tasklist_lock);
267
	retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
Linus Torvalds's avatar
Linus Torvalds committed
268 269 270 271 272
	read_unlock(&tasklist_lock);

	return retval;
}

273
static bool has_stopped_jobs(struct pid *pgrp)
Linus Torvalds's avatar
Linus Torvalds committed
274 275 276
{
	struct task_struct *p;

277
	do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
278 279
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return true;
280
	} while_each_pid_task(pgrp, PIDTYPE_PGID, p);
281 282

	return false;
Linus Torvalds's avatar
Linus Torvalds committed
283 284
}

285 286 287 288 289 290 291 292 293 294 295 296
/*
 * 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)
297 298 299
		/* exit: our father is in a different pgrp than
		 * we are and we were the only connection outside.
		 */
300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315
		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);
	}
}

Oleg Nesterov's avatar
Oleg Nesterov committed
316
#ifdef CONFIG_MEMCG
317
/*
318
 * A task is exiting.   If it owned this mm, find a new owner for the mm.
319 320 321 322 323 324
 */
void mm_update_next_owner(struct mm_struct *mm)
{
	struct task_struct *c, *g, *p = current;

retry:
325 326 327 328 329
	/*
	 * If the exiting or execing task is not the owner, it's
	 * someone else's problem.
	 */
	if (mm->owner != p)
330
		return;
331 332 333 334 335 336 337 338 339
	/*
	 * 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;
	}
340 341 342 343 344 345 346 347 348 349 350 351 352

	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
	 */
353
	list_for_each_entry(c, &p->real_parent->children, sibling) {
354 355 356 357 358
		if (c->mm == mm)
			goto assign_new_owner;
	}

	/*
359
	 * Search through everything else, we should not get here often.
360
	 */
361 362 363 364 365 366 367 368 369
	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;
		}
370
	}
371
	read_unlock(&tasklist_lock);
372 373 374
	/*
	 * We found no owner yet mm_users > 1: this implies that we are
	 * most likely racing with swapoff (try_to_unuse()) or /proc or
375
	 * ptrace or page migration (get_task_mm()).  Mark owner as NULL.
376 377
	 */
	mm->owner = NULL;
378 379 380 381 382 383 384 385 386 387
	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);
388 389 390 391 392
	/*
	 * Delay read_unlock() till we have the task_lock()
	 * to ensure that c does not slip away underneath us
	 */
	read_unlock(&tasklist_lock);
393 394 395 396 397 398 399 400 401
	if (c->mm != mm) {
		task_unlock(c);
		put_task_struct(c);
		goto retry;
	}
	mm->owner = c;
	task_unlock(c);
	put_task_struct(c);
}
Oleg Nesterov's avatar
Oleg Nesterov committed
402
#endif /* CONFIG_MEMCG */
403

Linus Torvalds's avatar
Linus Torvalds committed
404 405 406 407
/*
 * Turn us into a lazy TLB process if we
 * aren't already..
 */
408
static void exit_mm(struct task_struct *tsk)
Linus Torvalds's avatar
Linus Torvalds committed
409 410
{
	struct mm_struct *mm = tsk->mm;
411
	struct core_state *core_state;
Linus Torvalds's avatar
Linus Torvalds committed
412

413
	mm_release(tsk, mm);
Linus Torvalds's avatar
Linus Torvalds committed
414 415
	if (!mm)
		return;
416
	sync_mm_rss(mm);
Linus Torvalds's avatar
Linus Torvalds committed
417 418
	/*
	 * Serialize with any possible pending coredump.
419
	 * We must hold mmap_sem around checking core_state
Linus Torvalds's avatar
Linus Torvalds committed
420
	 * and clearing tsk->mm.  The core-inducing thread
421
	 * will increment ->nr_threads for each thread in the
Linus Torvalds's avatar
Linus Torvalds committed
422 423 424
	 * group with ->mm != NULL.
	 */
	down_read(&mm->mmap_sem);
425 426 427
	core_state = mm->core_state;
	if (core_state) {
		struct core_thread self;
428

Linus Torvalds's avatar
Linus Torvalds committed
429 430
		up_read(&mm->mmap_sem);

431 432 433 434 435 436 437 438
		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);
Linus Torvalds's avatar
Linus Torvalds committed
439

Oleg Nesterov's avatar
Oleg Nesterov committed
440 441 442 443
		for (;;) {
			set_task_state(tsk, TASK_UNINTERRUPTIBLE);
			if (!self.task) /* see coredump_finish() */
				break;
444
			freezable_schedule();
Oleg Nesterov's avatar
Oleg Nesterov committed
445 446
		}
		__set_task_state(tsk, TASK_RUNNING);
Linus Torvalds's avatar
Linus Torvalds committed
447 448 449
		down_read(&mm->mmap_sem);
	}
	atomic_inc(&mm->mm_count);
450
	BUG_ON(mm != tsk->active_mm);
Linus Torvalds's avatar
Linus Torvalds committed
451 452 453 454 455 456
	/* 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);
457
	mm_update_next_owner(mm);
Linus Torvalds's avatar
Linus Torvalds committed
458
	mmput(mm);
459
	clear_thread_flag(TIF_MEMDIE);
Linus Torvalds's avatar
Linus Torvalds committed
460 461
}

462 463 464 465 466 467 468 469 470 471 472
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;
}

473 474 475 476 477 478 479 480 481 482
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;

483 484
	reaper = find_alive_thread(father);
	if (reaper) {
485 486 487 488 489 490 491 492 493 494 495 496 497 498 499
		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;
}

Linus Torvalds's avatar
Linus Torvalds committed
500
/*
501 502 503 504 505
 * 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
Linus Torvalds's avatar
Linus Torvalds committed
506
 */
507 508
static struct task_struct *find_new_reaper(struct task_struct *father,
					   struct task_struct *child_reaper)
Linus Torvalds's avatar
Linus Torvalds committed
509
{
510
	struct task_struct *thread, *reaper;
Linus Torvalds's avatar
Linus Torvalds committed
511

512 513
	thread = find_alive_thread(father);
	if (thread)
514
		return thread;
Linus Torvalds's avatar
Linus Torvalds committed
515

516
	if (father->signal->has_child_subreaper) {
517
		/*
518 519 520
		 * 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.
521
		 */
522
		for (reaper = father;
523
		     !same_thread_group(reaper, child_reaper);
524
		     reaper = reaper->real_parent) {
525 526
			/* call_usermodehelper() descendants need this check */
			if (reaper == &init_task)
527 528 529
				break;
			if (!reaper->signal->is_child_subreaper)
				continue;
530 531 532
			thread = find_alive_thread(reaper);
			if (thread)
				return thread;
533
		}
Linus Torvalds's avatar
Linus Torvalds committed
534
	}
535

536
	return child_reaper;
537 538
}

539 540 541
/*
* Any that need to be release_task'd are put on the @dead list.
 */
542
static void reparent_leader(struct task_struct *father, struct task_struct *p,
543 544
				struct list_head *dead)
{
545
	if (unlikely(p->exit_state == EXIT_DEAD))
546 547
		return;

548
	/* We don't want people slaying init. */
549 550 551
	p->exit_signal = SIGCHLD;

	/* If it has exited notify the new parent about this child's death. */
Tejun Heo's avatar
Tejun Heo committed
552
	if (!p->ptrace &&
553
	    p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
554
		if (do_notify_parent(p, p->exit_signal)) {
555
			p->exit_state = EXIT_DEAD;
556
			list_add(&p->ptrace_entry, dead);
557 558 559 560 561 562
		}
	}

	kill_orphaned_pgrp(p, father);
}

563 564 565 566 567 568 569 570 571 572
/*
 * 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)
Linus Torvalds's avatar
Linus Torvalds committed
573
{
574
	struct task_struct *p, *t, *reaper;
575

576
	if (unlikely(!list_empty(&father->ptraced)))
577
		exit_ptrace(father, dead);
Roland McGrath's avatar
Roland McGrath committed
578

579
	/* Can drop and reacquire tasklist_lock */
580
	reaper = find_child_reaper(father);
581
	if (list_empty(&father->children))
582
		return;
583 584

	reaper = find_new_reaper(father, reaper);
585
	list_for_each_entry(p, &father->children, sibling) {
586
		for_each_thread(p, t) {
587
			t->real_parent = reaper;
588 589
			BUG_ON((!t->ptrace) != (t->parent == father));
			if (likely(!t->ptrace))
590 591 592 593
				t->parent = t->real_parent;
			if (t->pdeath_signal)
				group_send_sig_info(t->pdeath_signal,
						    SEND_SIG_NOINFO, t);
594
		}
595 596 597 598 599
		/*
		 * If this is a threaded reparent there is no need to
		 * notify anyone anything has happened.
		 */
		if (!same_thread_group(reaper, father))
600
			reparent_leader(father, p, dead);
Linus Torvalds's avatar
Linus Torvalds committed
601
	}
602
	list_splice_tail_init(&father->children, &reaper->children);
Linus Torvalds's avatar
Linus Torvalds committed
603 604 605 606 607 608
}

/*
 * Send signals to all our closest relatives so that they know
 * to properly mourn us..
 */
609
static void exit_notify(struct task_struct *tsk, int group_dead)
Linus Torvalds's avatar
Linus Torvalds committed
610
{
611
	bool autoreap;
612 613
	struct task_struct *p, *n;
	LIST_HEAD(dead);
Linus Torvalds's avatar
Linus Torvalds committed
614

615
	write_lock_irq(&tasklist_lock);
616 617
	forget_original_parent(tsk, &dead);

618 619
	if (group_dead)
		kill_orphaned_pgrp(tsk->group_leader, NULL);
Linus Torvalds's avatar
Linus Torvalds committed
620

621 622 623 624 625 626 627 628 629 630 631 632
	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;
	}
Linus Torvalds's avatar
Linus Torvalds committed
633

634
	tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
635 636
	if (tsk->exit_state == EXIT_DEAD)
		list_add(&tsk->ptrace_entry, &dead);
Linus Torvalds's avatar
Linus Torvalds committed
637

638 639
	/* mt-exec, de_thread() is waiting for group leader */
	if (unlikely(tsk->signal->notify_count < 0))
640
		wake_up_process(tsk->signal->group_exit_task);
Linus Torvalds's avatar
Linus Torvalds committed
641 642
	write_unlock_irq(&tasklist_lock);

643 644 645 646
	list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
		list_del_init(&p->ptrace_entry);
		release_task(p);
	}
Linus Torvalds's avatar
Linus Torvalds committed
647 648
}

649 650 651 652 653 654 655
#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;

656
	free = stack_not_used(current);
657 658 659 660 661 662

	if (free >= lowest_to_date)
		return;

	spin_lock(&low_water_lock);
	if (free < lowest_to_date) {
663 664
		pr_warn("%s (%d) used greatest stack depth: %lu bytes left\n",
			current->comm, task_pid_nr(current), free);
665 666 667 668 669 670 671 672
		lowest_to_date = free;
	}
	spin_unlock(&low_water_lock);
}
#else
static inline void check_stack_usage(void) {}
#endif

673
void do_exit(long code)
Linus Torvalds's avatar
Linus Torvalds committed
674 675 676
{
	struct task_struct *tsk = current;
	int group_dead;
677
	TASKS_RCU(int tasks_rcu_i);
Linus Torvalds's avatar
Linus Torvalds committed
678 679 680

	profile_task_exit(tsk);

681
	WARN_ON(blk_needs_flush_plug(tsk));
682

Linus Torvalds's avatar
Linus Torvalds committed
683 684 685 686 687
	if (unlikely(in_interrupt()))
		panic("Aiee, killing interrupt handler!");
	if (unlikely(!tsk->pid))
		panic("Attempted to kill the idle task!");

688 689 690 691 692 693 694 695 696
	/*
	 * 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);

Tejun Heo's avatar
Tejun Heo committed
697
	ptrace_event(PTRACE_EVENT_EXIT, code);
Linus Torvalds's avatar
Linus Torvalds committed
698

699 700
	validate_creds_for_do_exit(tsk);

701 702 703 704 705
	/*
	 * 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)) {
706
		pr_alert("Fixing recursive fault but reboot is needed!\n");
707 708 709 710 711 712 713 714 715 716
		/*
		 * 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;
717 718 719 720
		set_current_state(TASK_UNINTERRUPTIBLE);
		schedule();
	}

721
	exit_signals(tsk);  /* sets PF_EXITING */
722 723
	/*
	 * tsk->flags are checked in the futex code to protect against
724
	 * an exiting task cleaning up the robust pi futexes.
725
	 */
726
	smp_mb();
727
	raw_spin_unlock_wait(&tsk->pi_lock);
Linus Torvalds's avatar
Linus Torvalds committed
728 729

	if (unlikely(in_atomic()))
730 731 732
		pr_info("note: %s[%d] exited with preempt_count %d\n",
			current->comm, task_pid_nr(current),
			preempt_count());
Linus Torvalds's avatar
Linus Torvalds committed
733 734

	acct_update_integrals(tsk);
735 736 737
	/* sync mm's RSS info before statistics gathering */
	if (tsk->mm)
		sync_mm_rss(tsk->mm);
Linus Torvalds's avatar
Linus Torvalds committed
738
	group_dead = atomic_dec_and_test(&tsk->signal->live);
739
	if (group_dead) {
740
		hrtimer_cancel(&tsk->signal->real_timer);
741
		exit_itimers(tsk->signal);
Jiri Pirko's avatar
Jiri Pirko committed
742 743
		if (tsk->mm)
			setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
744
	}
745
	acct_collect(code, group_dead);
746 747
	if (group_dead)
		tty_audit_exit();
748
	audit_free(tsk);
749

750
	tsk->exit_code = code;
751
	taskstats_exit(tsk, group_dead);
752

Linus Torvalds's avatar
Linus Torvalds committed
753 754
	exit_mm(tsk);

755
	if (group_dead)
756
		acct_process();
757 758
	trace_sched_process_exit(tsk);

Linus Torvalds's avatar
Linus Torvalds committed
759
	exit_sem(tsk);
760
	exit_shm(tsk);
761 762
	exit_files(tsk);
	exit_fs(tsk);
763 764
	if (group_dead)
		disassociate_ctty(1);
765
	exit_task_namespaces(tsk);
766
	exit_task_work(tsk);
Linus Torvalds's avatar
Linus Torvalds committed
767
	exit_thread();
768 769 770 771 772 773 774 775 776

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

777
	cgroup_exit(tsk);
Linus Torvalds's avatar
Linus Torvalds committed
778

779
	module_put(task_thread_info(tsk)->exec_domain->module);
Linus Torvalds's avatar
Linus Torvalds committed
780

781 782 783
	/*
	 * FIXME: do that only when needed, using sched_exit tracepoint
	 */
784
	flush_ptrace_hw_breakpoint(tsk);
785

786
	TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
787
	exit_notify(tsk, group_dead);
788
	proc_exit_connector(tsk);
Linus Torvalds's avatar
Linus Torvalds committed
789
#ifdef CONFIG_NUMA
790
	task_lock(tsk);
791
	mpol_put(tsk->mempolicy);
Linus Torvalds's avatar
Linus Torvalds committed
792
	tsk->mempolicy = NULL;
793
	task_unlock(tsk);
Linus Torvalds's avatar
Linus Torvalds committed
794
#endif
795
#ifdef CONFIG_FUTEX
796 797
	if (unlikely(current->pi_state_cache))
		kfree(current->pi_state_cache);
798
#endif
799
	/*
800
	 * Make sure we are holding no locks:
801
	 */
802
	debug_check_no_locks_held();
803 804 805 806 807 808
	/*
	 * 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;
Linus Torvalds's avatar
Linus Torvalds committed
809

810
	if (tsk->io_context)
811
		exit_io_context(tsk);
812

813
	if (tsk->splice_pipe)
814
		free_pipe_info(tsk->splice_pipe);
815

816 817 818
	if (tsk->task_frag.page)
		put_page(tsk->task_frag.page);

819 820
	validate_creds_for_do_exit(tsk);

821
	check_stack_usage();
Coywolf Qi Hunt's avatar
Coywolf Qi Hunt committed
822
	preempt_disable();
823 824
	if (tsk->nr_dirtied)
		__this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
825
	exit_rcu();
826
	TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842

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

Oleg Nesterov's avatar
Oleg Nesterov committed
843
	/* causes final put_task_struct in finish_task_switch(). */
844
	tsk->state = TASK_DEAD;
845
	tsk->flags |= PF_NOFREEZE;	/* tell freezer to ignore us */
Linus Torvalds's avatar
Linus Torvalds committed
846 847 848
	schedule();
	BUG();
	/* Avoid "noreturn function does return".  */
Alan Cox's avatar
Alan Cox committed
849 850
	for (;;)
		cpu_relax();	/* For when BUG is null */
Linus Torvalds's avatar
Linus Torvalds committed
851
}
852 853
EXPORT_SYMBOL_GPL(do_exit);

854
void complete_and_exit(struct completion *comp, long code)
Linus Torvalds's avatar
Linus Torvalds committed
855 856 857
{
	if (comp)
		complete(comp);
Oleg Nesterov's avatar
Oleg Nesterov committed
858

Linus Torvalds's avatar
Linus Torvalds committed
859 860 861 862
	do_exit(code);
}
EXPORT_SYMBOL(complete_and_exit);

863
SYSCALL_DEFINE1(exit, int, error_code)
Linus Torvalds's avatar
Linus Torvalds committed
864 865 866 867 868 869 870 871
{
	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).
 */
872
void
Linus Torvalds's avatar
Linus Torvalds committed
873 874
do_group_exit(int exit_code)
{
875 876
	struct signal_struct *sig = current->signal;

Linus Torvalds's avatar
Linus Torvalds committed
877 878
	BUG_ON(exit_code & 0x80); /* core dumps don't get here */

879 880
	if (signal_group_exit(sig))
		exit_code = sig->group_exit_code;
Linus Torvalds's avatar
Linus Torvalds committed
881 882
	else if (!thread_group_empty(current)) {
		struct sighand_struct *const sighand = current->sighand;
883

Linus Torvalds's avatar
Linus Torvalds committed
884
		spin_lock_irq(&sighand->siglock);
885
		if (signal_group_exit(sig))
Linus Torvalds's avatar
Linus Torvalds committed
886 887 888 889
			/* Another thread got here before we took the lock.  */
			exit_code = sig->group_exit_code;
		else {
			sig->group_exit_code = exit_code;
890
			sig->flags = SIGNAL_GROUP_EXIT;
Linus Torvalds's avatar
Linus Torvalds committed
891 892 893 894 895 896 897 898 899 900 901 902 903 904
			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.
 */
905
SYSCALL_DEFINE1(exit_group, int, error_code)
Linus Torvalds's avatar
Linus Torvalds committed
906 907
{
	do_group_exit((error_code & 0xff) << 8);
908 909
	/* NOTREACHED */
	return 0;
Linus Torvalds's avatar
Linus Torvalds committed
910 911
}

912 913 914
struct wait_opts {
	enum pid_type		wo_type;
	int			wo_flags;
915
	struct pid		*wo_pid;
916 917 918 919 920

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

921
	wait_queue_t		child_wait;
922 923 924
	int			notask_error;
};

925 926
static inline
struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
Eric W. Biederman's avatar
Eric W. Biederman committed
927
{
928 929 930
	if (type != PIDTYPE_PID)
		task = task->group_leader;
	return task->pids[type].pid;
Eric W. Biederman's avatar
Eric W. Biederman committed
931 932
}

933
static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds's avatar
Linus Torvalds committed
934
{
935 936 937
	return	wo->wo_type == PIDTYPE_MAX ||
		task_pid_type(p, wo->wo_type) == wo->wo_pid;
}
Linus Torvalds's avatar
Linus Torvalds committed
938

939 940 941 942
static int eligible_child(struct wait_opts *wo, struct task_struct *p)
{
	if (!eligible_pid(wo, p))
		return 0;
Linus Torvalds's avatar
Linus Torvalds committed
943 944 945 946 947
	/* Wait for all children (clone and not) if __WALL is set;
	 * 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.) */
948 949
	if (((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
	    && !(wo->wo_flags & __WALL))
Linus Torvalds's avatar
Linus Torvalds committed
950 951
		return 0;

952
	return 1;
Linus Torvalds's avatar
Linus Torvalds committed
953 954
}

955 956
static int wait_noreap_copyout(struct wait_opts *wo, struct task_struct *p,
				pid_t pid, uid_t uid, int why, int status)
Linus Torvalds's avatar
Linus Torvalds committed
957
{
958 959 960
	struct siginfo __user *infop;
	int retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
961

Linus Torvalds's avatar
Linus Torvalds committed
962
	put_task_struct(p);
963
	infop = wo->wo_info;
964 965 966 967 968 969 970 971 972 973 974 975 976 977
	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);
	}
Linus Torvalds's avatar
Linus Torvalds committed
978 979 980 981 982 983 984 985 986 987 988
	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.
 */
989
static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds's avatar
Linus Torvalds committed
990
{
991
	int state, retval, status;
992
	pid_t pid = task_pid_vnr(p);
993
	uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
994
	struct siginfo __user *infop;
Linus Torvalds's avatar
Linus Torvalds committed
995

996
	if (!likely(wo->wo_flags & WEXITED))
Roland McGrath's avatar
Roland McGrath committed
997 998
		return 0;

999
	if (unlikely(wo->wo_flags & WNOWAIT)) {
Linus Torvalds's avatar
Linus Torvalds committed
1000
		int exit_code = p->exit_code;
1001
		int why;
Linus Torvalds's avatar
Linus Torvalds committed
1002 1003 1004

		get_task_struct(p);
		read_unlock(&tasklist_lock);
1005 1006
		sched_annotate_sleep();

Linus Torvalds's avatar
Linus Torvalds committed
1007 1008 1009 1010 1011 1012 1013
		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;
		}
1014
		return wait_noreap_copyout(wo, p, pid, uid, why, status);
Linus Torvalds's avatar
Linus Torvalds committed
1015 1016
	}
	/*
1017
	 * Move the task's state to DEAD/TRACE, only one thread can do this.
Linus Torvalds's avatar
Linus Torvalds committed
1018
	 */
1019 1020
	state = (ptrace_reparented(p) && thread_group_leader(p)) ?
		EXIT_TRACE : EXIT_DEAD;
1021
	if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
Linus Torvalds's avatar
Linus Torvalds committed
1022
		return 0;
1023 1024 1025 1026 1027
	/*
	 * We own this thread, nobody else can reap it.
	 */
	read_unlock(&tasklist_lock);
	sched_annotate_sleep();
1028

1029
	/*
1030
	 * Check thread_group_leader() to exclude the traced sub-threads.
1031
	 */
1032
	if (state == EXIT_DEAD && thread_group_leader(p)) {
1033 1034
		struct signal_struct *sig = p->signal;
		struct signal_struct *psig = current->signal;
Jiri Pirko's avatar
Jiri Pirko committed
1035
		unsigned long maxrss;
1036
		cputime_t tgutime, tgstime;
1037

Linus Torvalds's avatar
Linus Torvalds committed
1038 1039 1040 1041 1042 1043 1044 1045
		/*
		 * 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
1046 1047 1048 1049 1050 1051 1052
		 * 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.
1053
		 *
1054 1055 1056
		 * 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.
Linus Torvalds's avatar
Linus Torvalds committed
1057
		 */
1058
		thread_group_cputime_adjusted(p, &tgutime, &tgstime);
1059
		spin_lock_irq(&current->sighand->siglock);
1060
		write_seqlock(&psig->stats_lock);
1061 1062
		psig->cutime += tgutime + sig->cutime;
		psig->cstime += tgstime + sig->cstime;
1063
		psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
1064 1065 1066 1067 1068 1069 1070 1071
		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;
1072 1073 1074 1075 1076 1077
		psig->cinblock +=
			task_io_get_inblock(p) +
			sig->inblock + sig->cinblock;
		psig->coublock +=
			task_io_get_oublock(p) +
			sig->oublock + sig->coublock;
Jiri Pirko's avatar
Jiri Pirko committed
1078 1079 1080
		maxrss = max(sig->maxrss, sig->cmaxrss);
		if (psig->cmaxrss < maxrss)
			psig->cmaxrss = maxrss;
1081 1082
		task_io_accounting_add(&psig->ioac, &p->ioac);
		task_io_accounting_add(&psig->ioac, &sig->ioac);
1083
		write_sequnlock(&psig->stats_lock);
1084
		spin_unlock_irq(&current->sighand->siglock);
Linus Torvalds's avatar
Linus Torvalds committed
1085 1086
	}

1087 1088
	retval = wo->wo_rusage
		? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds's avatar
Linus Torvalds committed
1089 1090
	status = (p->signal->flags & SIGNAL_GROUP_EXIT)
		? p->signal->group_exit_code : p->exit_code;
1091 1092 1093 1094
	if (!retval && wo->wo_stat)
		retval = put_user(status, wo->wo_stat);

	infop = wo->wo_info;
Linus Torvalds's avatar
Linus Torvalds committed
1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
	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)
1114
		retval = put_user(pid, &infop->si_pid);
Linus Torvalds's avatar
Linus Torvalds committed
1115
	if (!retval && infop)
1116
		retval = put_user(uid, &infop->si_uid);
1117
	if (!retval)
1118
		retval = pid;
1119

1120
	if (state == EXIT_TRACE) {
Linus Torvalds's avatar
Linus Torvalds committed
1121
		write_lock_irq(&tasklist_lock);
1122 1123
		/* We dropped tasklist, ptracer could die and untrace */
		ptrace_unlink(p);
1124 1125 1126 1127 1128

		/* If parent wants a zombie, don't release it now */
		state = EXIT_ZOMBIE;
		if (do_notify_parent(p, p->exit_signal))
			state = EXIT_DEAD;
1129
		p->exit_state = state;
Linus Torvalds's avatar
Linus Torvalds committed
1130 1131
		write_unlock_irq(&tasklist_lock);
	}
1132
	if (state == EXIT_DEAD)
Linus Torvalds's avatar
Linus Torvalds committed
1133
		release_task(p);
1134

Linus Torvalds's avatar
Linus Torvalds committed
1135 1136 1137
	return retval;
}

1138 1139 1140
static int *task_stopped_code(struct task_struct *p, bool ptrace)
{
	if (ptrace) {
Tejun Heo's avatar
Tejun Heo committed
1141 1142
		if (task_is_stopped_or_traced(p) &&
		    !(p->jobctl & JOBCTL_LISTENING))
1143 1144 1145 1146 1147 1148 1149 1150
			return &p->exit_code;
	} else {
		if (p->signal->flags & SIGNAL_STOP_STOPPED)
			return &p->signal->group_exit_code;
	}
	return NULL;
}

1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167
/**
 * 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.
Linus Torvalds's avatar
Linus Torvalds committed
1168
 */
1169 1170
static int wait_task_stopped(struct wait_opts *wo,
				int ptrace, struct task_struct *p)
Linus Torvalds's avatar
Linus Torvalds committed
1171
{
1172
	struct siginfo __user *infop;
1173
	int retval, exit_code, *p_code, why;
1174
	uid_t uid = 0; /* unneeded, required by compiler */
1175
	pid_t pid;
Linus Torvalds's avatar
Linus Torvalds committed
1176

1177 1178 1179
	/*
	 * Traditionally we see ptrace'd stopped tasks regardless of options.
	 */
1180
	if (!ptrace && !(wo->wo_flags & WUNTRACED))
Roland McGrath's avatar
Roland McGrath committed
1181 1182
		return 0;

1183 1184 1185
	if (!task_stopped_code(p, ptrace))
		return 0;

1186 1187 1188
	exit_code = 0;
	spin_lock_irq(&p->sighand->siglock);

1189 1190
	p_code = task_stopped_code(p, ptrace);
	if (unlikely(!p_code))
1191 1192
		goto unlock_sig;

1193
	exit_code = *p_code;
1194 1195 1196
	if (!exit_code)
		goto unlock_sig;

1197
	if (!unlikely(wo->wo_flags & WNOWAIT))
1198
		*p_code = 0;
1199

1200
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
1201 1202 1203
unlock_sig:
	spin_unlock_irq(&p->sighand->siglock);
	if (!exit_code)
Linus Torvalds's avatar
Linus Torvalds committed
1204 1205 1206 1207 1208 1209 1210 1211 1212 1213
		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);
1214
	pid = task_pid_vnr(p);
Roland McGrath's avatar
Roland McGrath committed
1215
	why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
Linus Torvalds's avatar
Linus Torvalds committed
1216
	read_unlock(&tasklist_lock);
1217
	sched_annotate_sleep();
Linus Torvalds's avatar
Linus Torvalds committed
1218

1219 1220 1221 1222 1223 1224 1225
	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);
Linus Torvalds's avatar
Linus Torvalds committed
1226

1227
	infop = wo->wo_info;
Linus Torvalds's avatar
Linus Torvalds committed
1228 1229 1230 1231 1232
	if (!retval && infop)
		retval = put_user(SIGCHLD, &infop->si_signo);
	if (!retval && infop)
		retval = put_user(0, &infop->si_errno);
	if (!retval && infop)
1233
		retval = put_user((short)why, &infop->si_code);
Linus Torvalds's avatar
Linus Torvalds committed
1234 1235 1236
	if (!retval && infop)
		retval = put_user(exit_code, &infop->si_status);
	if (!retval && infop)
1237
		retval = put_user(pid, &infop->si_pid);
Linus Torvalds's avatar
Linus Torvalds committed
1238
	if (!retval && infop)
1239
		retval = put_user(uid, &infop->si_uid);
Linus Torvalds's avatar
Linus Torvalds committed
1240
	if (!retval)
1241
		retval = pid;
Linus Torvalds's avatar
Linus Torvalds committed
1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253
	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.
 */
1254
static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds's avatar
Linus Torvalds committed
1255 1256 1257 1258 1259
{
	int retval;
	pid_t pid;
	uid_t uid;

1260
	if (!unlikely(wo->wo_flags & WCONTINUED))
Roland McGrath's avatar
Roland McGrath committed
1261 1262
		return 0;

Linus Torvalds's avatar
Linus Torvalds committed
1263 1264 1265 1266 1267 1268 1269 1270 1271
	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;
	}
1272
	if (!unlikely(wo->wo_flags & WNOWAIT))
Linus Torvalds's avatar
Linus Torvalds committed
1273
		p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
1274
	uid = from_kuid_munged(current_user_ns(), task_uid(p));
Linus Torvalds's avatar
Linus Torvalds committed
1275 1276
	spin_unlock_irq(&p->sighand->siglock);

1277
	pid = task_pid_vnr(p);
Linus Torvalds's avatar
Linus Torvalds committed
1278 1279
	get_task_struct(p);
	read_unlock(&tasklist_lock);
1280
	sched_annotate_sleep();
Linus Torvalds's avatar
Linus Torvalds committed
1281

1282 1283 1284
	if (!wo->wo_info) {
		retval = wo->wo_rusage
			? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds's avatar
Linus Torvalds committed
1285
		put_task_struct(p);
1286 1287
		if (!retval && wo->wo_stat)
			retval = put_user(0xffff, wo->wo_stat);
Linus Torvalds's avatar
Linus Torvalds committed
1288
		if (!retval)
1289
			retval = pid;
Linus Torvalds's avatar
Linus Torvalds committed
1290
	} else {
1291 1292
		retval = wait_noreap_copyout(wo, p, pid, uid,
					     CLD_CONTINUED, SIGCONT);
Linus Torvalds's avatar
Linus Torvalds committed
1293 1294 1295 1296 1297 1298
		BUG_ON(retval == 0);
	}

	return retval;
}

Roland McGrath's avatar
Roland McGrath committed
1299 1300 1301
/*
 * Consider @p for a wait by @parent.
 *
1302
 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath's avatar
Roland McGrath committed
1303 1304
 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
 * Returns zero if the search for a child should continue;
1305
 * then ->notask_error is 0 if @p is an eligible child,
1306
 * or another error from security_task_wait(), or still -ECHILD.
Roland McGrath's avatar
Roland McGrath committed
1307
 */
1308 1309
static int wait_consider_task(struct wait_opts *wo, int ptrace,
				struct task_struct *p)
Roland McGrath's avatar
Roland McGrath committed
1310
{
1311 1312 1313 1314 1315 1316
	int ret;

	if (unlikely(p->exit_state == EXIT_DEAD))
		return 0;

	ret = eligible_child(wo, p);
1317
	if (!ret)
Roland McGrath's avatar
Roland McGrath committed
1318 1319
		return ret;

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

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

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

1360 1361
	/* slay zombie? */
	if (p->exit_state == EXIT_ZOMBIE) {
1362
		/* we don't reap group leaders with subthreads */
1363 1364 1365 1366 1367 1368 1369 1370 1371
		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);
		}
Roland McGrath's avatar
Roland McGrath committed
1372

Roland McGrath's avatar
Roland McGrath committed
1373
		/*
1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398
		 * 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.
Roland McGrath's avatar
Roland McGrath committed
1399
		 */
1400
		wo->notask_error = 0;
Roland McGrath's avatar
Roland McGrath committed
1401 1402
	}

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

	/*
1412 1413 1414
	 * 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.
Roland McGrath's avatar
Roland McGrath committed
1415
	 */
1416
	return wait_task_continued(wo, p);
Roland McGrath's avatar
Roland McGrath committed
1417 1418 1419 1420 1421
}

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

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

1435 1436
		if (ret)
			return ret;
Roland McGrath's avatar
Roland McGrath committed
1437 1438 1439 1440 1441
	}

	return 0;
}

1442
static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath's avatar
Roland McGrath committed
1443 1444 1445
{
	struct task_struct *p;

Roland McGrath's avatar
Roland McGrath committed
1446
	list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
1447
		int ret = wait_consider_task(wo, 1, p);
1448

Roland McGrath's avatar
Roland McGrath committed
1449
		if (ret)
Roland McGrath's avatar
Roland McGrath committed
1450 1451 1452 1453 1454 1455
			return ret;
	}

	return 0;
}

1456 1457 1458 1459 1460 1461 1462
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;

1463
	if (!eligible_pid(wo, p))
1464 1465
		return 0;

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

1469 1470 1471
	return default_wake_function(wait, mode, sync, key);
}

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

1478
static long do_wait(struct wait_opts *wo)
Linus Torvalds's avatar
Linus Torvalds committed
1479 1480
{
	struct task_struct *tsk;
Roland McGrath's avatar
Roland McGrath committed
1481
	int retval;
Linus Torvalds's avatar
Linus Torvalds committed
1482

1483
	trace_sched_process_wait(wo->wo_pid);
1484

1485 1486 1487
	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);
Linus Torvalds's avatar
Linus Torvalds committed
1488
repeat:
Roland McGrath's avatar
Roland McGrath committed
1489 1490
	/*
	 * If there is nothing that can match our critiera just get out.
1491 1492 1493
	 * 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.
Roland McGrath's avatar
Roland McGrath committed
1494
	 */
1495
	wo->notask_error = -ECHILD;
1496 1497
	if ((wo->wo_type < PIDTYPE_MAX) &&
	   (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
1498
		goto notask;
Eric W. Biederman's avatar
Eric W. Biederman committed
1499

1500
	set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds's avatar
Linus Torvalds committed
1501 1502 1503
	read_lock(&tasklist_lock);
	tsk = current;
	do {
1504 1505 1506
		retval = do_wait_thread(wo, tsk);
		if (retval)
			goto end;
1507

1508 1509
		retval = ptrace_do_wait(wo, tsk);
		if (retval)
Roland McGrath's avatar
Roland McGrath committed
1510 1511
			goto end;

1512
		if (wo->wo_flags & __WNOTHREAD)
Linus Torvalds's avatar
Linus Torvalds committed
1513
			break;
1514
	} while_each_thread(current, tsk);
Linus Torvalds's avatar
Linus Torvalds committed
1515
	read_unlock(&tasklist_lock);
Oleg Nesterov's avatar
Oleg Nesterov committed
1516

1517
notask:
1518 1519
	retval = wo->notask_error;
	if (!retval && !(wo->wo_flags & WNOHANG)) {
Linus Torvalds's avatar
Linus Torvalds committed
1520
		retval = -ERESTARTSYS;
Roland McGrath's avatar
Roland McGrath committed
1521 1522 1523 1524
		if (!signal_pending(current)) {
			schedule();
			goto repeat;
		}
Linus Torvalds's avatar
Linus Torvalds committed
1525 1526
	}
end:
1527
	__set_current_state(TASK_RUNNING);
1528
	remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds's avatar
Linus Torvalds committed
1529 1530 1531
	return retval;
}

1532 1533
SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
		infop, int, options, struct rusage __user *, ru)
Linus Torvalds's avatar
Linus Torvalds committed
1534
{
1535
	struct wait_opts wo;
Eric W. Biederman's avatar
Eric W. Biederman committed
1536 1537
	struct pid *pid = NULL;
	enum pid_type type;
Linus Torvalds's avatar
Linus Torvalds committed
1538 1539 1540 1541 1542 1543 1544 1545 1546
	long ret;

	if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED))
		return -EINVAL;
	if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
		return -EINVAL;

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

Eric W. Biederman's avatar
Eric W. Biederman committed
1563 1564
	if (type < PIDTYPE_MAX)
		pid = find_get_pid(upid);
1565 1566 1567 1568 1569 1570 1571 1572

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

	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);
	}

Eric W. Biederman's avatar
Eric W. Biederman committed
1596
	put_pid(pid);
Linus Torvalds's avatar
Linus Torvalds committed
1597 1598 1599
	return ret;
}

1600 1601
SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
		int, options, struct rusage __user *, ru)
Linus Torvalds's avatar
Linus Torvalds committed
1602
{
1603
	struct wait_opts wo;
Eric W. Biederman's avatar
Eric W. Biederman committed
1604 1605
	struct pid *pid = NULL;
	enum pid_type type;
Linus Torvalds's avatar
Linus Torvalds committed
1606 1607 1608 1609 1610
	long ret;

	if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
			__WNOTHREAD|__WCLONE|__WALL))
		return -EINVAL;
Eric W. Biederman's avatar
Eric W. Biederman committed
1611 1612 1613 1614 1615 1616 1617 1618

	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;
1619
		pid = get_task_pid(current, PIDTYPE_PGID);
Eric W. Biederman's avatar
Eric W. Biederman committed
1620 1621 1622 1623 1624
	} else /* upid > 0 */ {
		type = PIDTYPE_PID;
		pid = find_get_pid(upid);
	}

1625 1626 1627 1628 1629 1630 1631
	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);
Eric W. Biederman's avatar
Eric W. Biederman committed
1632
	put_pid(pid);
Linus Torvalds's avatar
Linus Torvalds committed
1633 1634 1635 1636 1637 1638 1639 1640 1641 1642

	return ret;
}

#ifdef __ARCH_WANT_SYS_WAITPID

/*
 * sys_waitpid() remains for compatibility. waitpid() should be
 * implemented by calling sys_wait4() from libc.a.
 */
1643
SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
Linus Torvalds's avatar
Linus Torvalds committed
1644 1645 1646 1647 1648
{
	return sys_wait4(pid, stat_addr, options, NULL);
}

#endif