blob: 27f4168eaeb1bd6bebf8349be322befdcca83238 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/kernel/exit.c
3 *
4 * Copyright (C) 1991, 1992 Linus Torvalds
5 */
6
Linus Torvalds1da177e2005-04-16 15:20:36 -07007#include <linux/mm.h>
8#include <linux/slab.h>
9#include <linux/interrupt.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070010#include <linux/module.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080011#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070012#include <linux/completion.h>
13#include <linux/personality.h>
14#include <linux/tty.h>
Jens Axboeda9cbc82008-06-30 20:42:08 +020015#include <linux/iocontext.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/key.h>
17#include <linux/security.h>
18#include <linux/cpu.h>
19#include <linux/acct.h>
Jay Lan8f0ab512006-09-30 23:28:59 -070020#include <linux/tsacct_kern.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070021#include <linux/file.h>
Al Viro9f3acc32008-04-24 07:44:08 -040022#include <linux/fdtable.h>
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -080023#include <linux/freezer.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <linux/binfmts.h>
Serge E. Hallynab516012006-10-02 02:18:06 -070025#include <linux/nsproxy.h>
Sukadev Bhattiprolu84d73782006-12-08 02:38:01 -080026#include <linux/pid_namespace.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070027#include <linux/ptrace.h>
28#include <linux/profile.h>
29#include <linux/mount.h>
30#include <linux/proc_fs.h>
Eric W. Biederman49d769d2007-05-09 02:34:33 -070031#include <linux/kthread.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070032#include <linux/mempolicy.h>
Shailabh Nagarc7572492006-07-14 00:24:40 -070033#include <linux/taskstats_kern.h>
Shailabh Nagarca74e922006-07-14 00:24:36 -070034#include <linux/delayacct.h>
Paul Menageb4f48b62007-10-18 23:39:33 -070035#include <linux/cgroup.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070036#include <linux/syscalls.h>
Jesper Juhl7ed20e12005-05-01 08:59:14 -070037#include <linux/signal.h>
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080038#include <linux/posix-timers.h>
Matt Helsley9f460802005-11-07 00:59:16 -080039#include <linux/cn_proc.h>
Ingo Molnarde5097c2006-01-09 15:59:21 -080040#include <linux/mutex.h>
Ingo Molnar0771dfe2006-03-27 01:16:22 -080041#include <linux/futex.h>
Jens Axboeb92ce552006-04-11 13:52:07 +020042#include <linux/pipe_fs_i.h>
Al Virofa84cb92006-03-29 20:30:19 -050043#include <linux/audit.h> /* for audit_free() */
Adrian Bunk83cc5ed2006-06-25 05:47:41 -070044#include <linux/resource.h>
David Howells0d67a462006-08-29 19:05:56 +010045#include <linux/blkdev.h>
Eric Dumazet6eaeeab2007-05-10 22:22:37 -070046#include <linux/task_io_accounting_ops.h>
Roland McGrath30199f52008-07-25 19:45:46 -070047#include <linux/tracehook.h>
Al Viro5ad4e532009-03-29 19:50:06 -040048#include <linux/fs_struct.h>
David Howellsd84f4f92008-11-14 10:39:23 +110049#include <linux/init_task.h>
Ingo Molnarcdd6c482009-09-21 12:02:48 +020050#include <linux/perf_event.h>
Steven Rostedtad8d75f2009-04-14 19:39:12 -040051#include <trace/events/sched.h>
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +020052#include <linux/hw_breakpoint.h>
Ying Han3d5992d2010-10-26 14:21:23 -070053#include <linux/oom.h>
Wu Fengguang54848d72011-04-05 13:21:19 -060054#include <linux/writeback.h>
Al Viro40401532012-02-13 03:58:52 +000055#include <linux/shm.h>
Dmitry Vyukov5c9a8752016-03-22 14:27:30 -070056#include <linux/kcov.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070057
58#include <asm/uaccess.h>
59#include <asm/unistd.h>
60#include <asm/pgtable.h>
61#include <asm/mmu_context.h>
62
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070063static void __unhash_process(struct task_struct *p, bool group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -070064{
65 nr_threads--;
Oleg Nesterov50d75f82012-06-20 12:53:04 -070066 detach_pid(p, PIDTYPE_PID);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070067 if (group_dead) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070068 detach_pid(p, PIDTYPE_PGID);
69 detach_pid(p, PIDTYPE_SID);
Oleg Nesterovc97d9892006-03-28 16:11:06 -080070
Eric W. Biederman5e85d4a2006-04-18 22:20:16 -070071 list_del_rcu(&p->tasks);
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -080072 list_del_init(&p->sibling);
Christoph Lameter909ea962010-12-08 16:22:55 +010073 __this_cpu_dec(process_counts);
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 }
Oleg Nesterov47e65322006-03-28 16:11:25 -080075 list_del_rcu(&p->thread_group);
Oleg Nesterov0c740d02014-01-21 15:49:56 -080076 list_del_rcu(&p->thread_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -070077}
78
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080079/*
80 * This function expects the tasklist_lock write-locked.
81 */
82static void __exit_signal(struct task_struct *tsk)
83{
84 struct signal_struct *sig = tsk->signal;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070085 bool group_dead = thread_group_leader(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080086 struct sighand_struct *sighand;
Oleg Nesterov4ada8562010-05-26 14:43:17 -070087 struct tty_struct *uninitialized_var(tty);
Frederic Weisbecker6fac4822012-11-13 14:20:55 +010088 cputime_t utime, stime;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080089
Paul E. McKenneyd11c5632010-02-22 17:04:50 -080090 sighand = rcu_dereference_check(tsk->sighand,
Paul E. McKenneydb1466b2010-03-03 07:46:56 -080091 lockdep_tasklist_lock_is_held());
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080092 spin_lock(&sighand->siglock);
93
94 posix_cpu_timers_exit(tsk);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070095 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080096 posix_cpu_timers_exit_group(tsk);
Oleg Nesterov4ada8562010-05-26 14:43:17 -070097 tty = sig->tty;
98 sig->tty = NULL;
Oleg Nesterov4a599942010-05-26 14:43:12 -070099 } else {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800100 /*
Oleg Nesterove0a70212010-11-05 16:53:42 +0100101 * This can only happen if the caller is de_thread().
102 * FIXME: this is the temporary hack, we should teach
103 * posix-cpu-timers to handle this case correctly.
104 */
105 if (unlikely(has_group_leader_pid(tsk)))
106 posix_cpu_timers_exit_group(tsk);
107
108 /*
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800109 * If there is any task waiting for the group exit
110 * then notify it:
111 */
Oleg Nesterovd3441932010-05-26 14:43:11 -0700112 if (sig->notify_count > 0 && !--sig->notify_count)
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800113 wake_up_process(sig->group_exit_task);
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700114
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800115 if (tsk == sig->curr_target)
116 sig->curr_target = next_thread(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800117 }
118
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400119 /*
Oleg Nesterov26e75b52014-12-10 15:54:54 -0800120 * Accumulate here the counters for all threads as they die. We could
121 * skip the group leader because it is the last user of signal_struct,
122 * but we want to avoid the race with thread_group_cputime() which can
123 * see the empty ->thread_head list.
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400124 */
125 task_cputime(tsk, &utime, &stime);
Rik van Riele78c3492014-08-16 13:40:10 -0400126 write_seqlock(&sig->stats_lock);
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400127 sig->utime += utime;
128 sig->stime += stime;
129 sig->gtime += task_gtime(tsk);
130 sig->min_flt += tsk->min_flt;
131 sig->maj_flt += tsk->maj_flt;
132 sig->nvcsw += tsk->nvcsw;
133 sig->nivcsw += tsk->nivcsw;
134 sig->inblock += task_io_get_inblock(tsk);
135 sig->oublock += task_io_get_oublock(tsk);
136 task_io_accounting_add(&sig->ioac, &tsk->ioac);
137 sig->sum_sched_runtime += tsk->se.sum_exec_runtime;
Oleg Nesterovb3ac0222010-05-26 14:43:24 -0700138 sig->nr_threads--;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700139 __unhash_process(tsk, group_dead);
Rik van Riele78c3492014-08-16 13:40:10 -0400140 write_sequnlock(&sig->stats_lock);
Oleg Nesterov58767002006-03-28 16:11:20 -0800141
Oleg Nesterovda7978b2008-05-23 13:04:41 -0700142 /*
143 * Do this under ->siglock, we can race with another thread
144 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
145 */
146 flush_sigqueue(&tsk->pending);
Oleg Nesterova7e53282006-03-28 16:11:27 -0800147 tsk->sighand = NULL;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800148 spin_unlock(&sighand->siglock);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800149
Oleg Nesterova7e53282006-03-28 16:11:27 -0800150 __cleanup_sighand(sighand);
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700151 clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700152 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800153 flush_sigqueue(&sig->shared_pending);
Oleg Nesterov4ada8562010-05-26 14:43:17 -0700154 tty_kref_put(tty);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800155 }
156}
157
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800158static void delayed_put_task_struct(struct rcu_head *rhp)
159{
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400160 struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);
161
Peter Zijlstra4e231c72010-09-09 21:01:59 +0200162 perf_event_delayed_put(tsk);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400163 trace_sched_process_free(tsk);
164 put_task_struct(tsk);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800165}
166
Roland McGrathf4700212008-03-24 18:36:23 -0700167
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700168void release_task(struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700170 struct task_struct *leader;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700171 int zap_leader;
Oleg Nesterov1f09f972006-03-28 16:11:11 -0800172repeat:
David Howellsc69e8d92008-11-14 10:39:19 +1100173 /* don't need to get the RCU readlock here - the process is dead and
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800174 * can't be modifying its own credentials. But shut RCU-lockdep up */
175 rcu_read_lock();
David Howellsc69e8d92008-11-14 10:39:19 +1100176 atomic_dec(&__task_cred(p)->user->processes);
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800177 rcu_read_unlock();
David Howellsc69e8d92008-11-14 10:39:19 +1100178
Pavel Emelyanov60347f62007-10-18 23:40:03 -0700179 proc_flush_task(p);
Ingo Molnar02030262009-05-17 11:24:08 +0200180
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 write_lock_irq(&tasklist_lock);
Tejun Heoa288eec2011-06-17 16:50:37 +0200182 ptrace_release_task(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700183 __exit_signal(p);
Oleg Nesterov35f5cad2006-03-28 16:11:19 -0800184
Linus Torvalds1da177e2005-04-16 15:20:36 -0700185 /*
186 * If we are the last non-leader member of the thread
187 * group, and the leader is zombie, then notify the
188 * group leader's parent process. (if it wants notification.)
189 */
190 zap_leader = 0;
191 leader = p->group_leader;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700192 if (leader != p && thread_group_empty(leader)
193 && leader->exit_state == EXIT_ZOMBIE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194 /*
195 * If we were the last child thread and the leader has
196 * exited already, and the leader's parent ignores SIGCHLD,
197 * then we are the one who should release the leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198 */
Oleg Nesterov86773472011-06-22 23:09:09 +0200199 zap_leader = do_notify_parent(leader, leader->exit_signal);
Roland McGrathdae33572008-07-25 19:45:48 -0700200 if (zap_leader)
201 leader->exit_state = EXIT_DEAD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202 }
203
Linus Torvalds1da177e2005-04-16 15:20:36 -0700204 write_unlock_irq(&tasklist_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700205 release_thread(p);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800206 call_rcu(&p->rcu, delayed_put_task_struct);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207
208 p = leader;
209 if (unlikely(zap_leader))
210 goto repeat;
211}
212
Linus Torvalds1da177e2005-04-16 15:20:36 -0700213/*
Oleg Nesterov150593b2016-05-18 19:02:18 +0200214 * Note that if this function returns a valid task_struct pointer (!NULL)
215 * task->usage must remain >0 for the duration of the RCU critical section.
216 */
217struct task_struct *task_rcu_dereference(struct task_struct **ptask)
218{
219 struct sighand_struct *sighand;
220 struct task_struct *task;
221
222 /*
223 * We need to verify that release_task() was not called and thus
224 * delayed_put_task_struct() can't run and drop the last reference
225 * before rcu_read_unlock(). We check task->sighand != NULL,
226 * but we can read the already freed and reused memory.
227 */
228retry:
229 task = rcu_dereference(*ptask);
230 if (!task)
231 return NULL;
232
233 probe_kernel_address(&task->sighand, sighand);
234
235 /*
236 * Pairs with atomic_dec_and_test() in put_task_struct(). If this task
237 * was already freed we can not miss the preceding update of this
238 * pointer.
239 */
240 smp_rmb();
241 if (unlikely(task != READ_ONCE(*ptask)))
242 goto retry;
243
244 /*
245 * We've re-checked that "task == *ptask", now we have two different
246 * cases:
247 *
248 * 1. This is actually the same task/task_struct. In this case
249 * sighand != NULL tells us it is still alive.
250 *
251 * 2. This is another task which got the same memory for task_struct.
252 * We can't know this of course, and we can not trust
253 * sighand != NULL.
254 *
255 * In this case we actually return a random value, but this is
256 * correct.
257 *
258 * If we return NULL - we can pretend that we actually noticed that
259 * *ptask was updated when the previous task has exited. Or pretend
260 * that probe_slab_address(&sighand) reads NULL.
261 *
262 * If we return the new task (because sighand is not NULL for any
263 * reason) - this is fine too. This (new) task can't go away before
264 * another gp pass.
265 *
266 * And note: We could even eliminate the false positive if re-read
267 * task->sighand once again to avoid the falsely NULL. But this case
268 * is very unlikely so we don't care.
269 */
270 if (!sighand)
271 return NULL;
272
273 return task;
274}
275
276struct task_struct *try_get_task_struct(struct task_struct **ptask)
277{
278 struct task_struct *task;
279
280 rcu_read_lock();
281 task = task_rcu_dereference(ptask);
282 if (task)
283 get_task_struct(task);
284 rcu_read_unlock();
285
286 return task;
287}
288
289/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700290 * Determine if a process group is "orphaned", according to the POSIX
291 * definition in 2.2.2.52. Orphaned process groups are not to be affected
292 * by terminal-generated stop signals. Newly orphaned process groups are
293 * to receive a SIGHUP and a SIGCONT.
294 *
295 * "I ask you, have you ever known what it is to be an orphan?"
296 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700297static int will_become_orphaned_pgrp(struct pid *pgrp,
298 struct task_struct *ignored_task)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299{
300 struct task_struct *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800302 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300303 if ((p == ignored_task) ||
304 (p->exit_state && thread_group_empty(p)) ||
305 is_global_init(p->real_parent))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306 continue;
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300307
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800308 if (task_pgrp(p->real_parent) != pgrp &&
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300309 task_session(p->real_parent) == task_session(p))
310 return 0;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800311 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300312
313 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700314}
315
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800316int is_current_pgrp_orphaned(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317{
318 int retval;
319
320 read_lock(&tasklist_lock);
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800321 retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700322 read_unlock(&tasklist_lock);
323
324 return retval;
325}
326
Oleg Nesterov961c4672011-07-07 21:33:54 +0200327static bool has_stopped_jobs(struct pid *pgrp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329 struct task_struct *p;
330
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800331 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov961c4672011-07-07 21:33:54 +0200332 if (p->signal->flags & SIGNAL_STOP_STOPPED)
333 return true;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800334 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov961c4672011-07-07 21:33:54 +0200335
336 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337}
338
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300339/*
340 * Check to see if any process groups have become orphaned as
341 * a result of our exiting, and if they have any stopped jobs,
342 * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
343 */
344static void
345kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent)
346{
347 struct pid *pgrp = task_pgrp(tsk);
348 struct task_struct *ignored_task = tsk;
349
350 if (!parent)
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700351 /* exit: our father is in a different pgrp than
352 * we are and we were the only connection outside.
353 */
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300354 parent = tsk->real_parent;
355 else
356 /* reparent: our child is in a different pgrp than
357 * we are, and it was the only connection outside.
358 */
359 ignored_task = NULL;
360
361 if (task_pgrp(parent) != pgrp &&
362 task_session(parent) == task_session(tsk) &&
363 will_become_orphaned_pgrp(pgrp, ignored_task) &&
364 has_stopped_jobs(pgrp)) {
365 __kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp);
366 __kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp);
367 }
368}
369
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700370#ifdef CONFIG_MEMCG
Balbir Singhcf475ad2008-04-29 01:00:16 -0700371/*
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700372 * A task is exiting. If it owned this mm, find a new owner for the mm.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700373 */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700374void mm_update_next_owner(struct mm_struct *mm)
375{
376 struct task_struct *c, *g, *p = current;
377
378retry:
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700379 /*
380 * If the exiting or execing task is not the owner, it's
381 * someone else's problem.
382 */
383 if (mm->owner != p)
Balbir Singhcf475ad2008-04-29 01:00:16 -0700384 return;
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700385 /*
386 * The current owner is exiting/execing and there are no other
387 * candidates. Do not leave the mm pointing to a possibly
388 * freed task structure.
389 */
390 if (atomic_read(&mm->mm_users) <= 1) {
391 mm->owner = NULL;
392 return;
393 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700394
395 read_lock(&tasklist_lock);
396 /*
397 * Search in the children
398 */
399 list_for_each_entry(c, &p->children, sibling) {
400 if (c->mm == mm)
401 goto assign_new_owner;
402 }
403
404 /*
405 * Search in the siblings
406 */
Oleg Nesterovdea33cf2009-06-17 16:27:29 -0700407 list_for_each_entry(c, &p->real_parent->children, sibling) {
Balbir Singhcf475ad2008-04-29 01:00:16 -0700408 if (c->mm == mm)
409 goto assign_new_owner;
410 }
411
412 /*
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700413 * Search through everything else, we should not get here often.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700414 */
Oleg Nesterov39af1762014-06-04 16:07:54 -0700415 for_each_process(g) {
416 if (g->flags & PF_KTHREAD)
417 continue;
418 for_each_thread(g, c) {
419 if (c->mm == mm)
420 goto assign_new_owner;
421 if (c->mm)
422 break;
423 }
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700424 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700425 read_unlock(&tasklist_lock);
Balbir Singh31a78f22008-09-28 23:09:31 +0100426 /*
427 * We found no owner yet mm_users > 1: this implies that we are
428 * most likely racing with swapoff (try_to_unuse()) or /proc or
Hugh Dickinse5991372009-01-06 14:39:22 -0800429 * ptrace or page migration (get_task_mm()). Mark owner as NULL.
Balbir Singh31a78f22008-09-28 23:09:31 +0100430 */
Balbir Singh31a78f22008-09-28 23:09:31 +0100431 mm->owner = NULL;
Balbir Singhcf475ad2008-04-29 01:00:16 -0700432 return;
433
434assign_new_owner:
435 BUG_ON(c == p);
436 get_task_struct(c);
437 /*
438 * The task_lock protects c->mm from changing.
439 * We always want mm->owner->mm == mm
440 */
441 task_lock(c);
Hugh Dickinse5991372009-01-06 14:39:22 -0800442 /*
443 * Delay read_unlock() till we have the task_lock()
444 * to ensure that c does not slip away underneath us
445 */
446 read_unlock(&tasklist_lock);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700447 if (c->mm != mm) {
448 task_unlock(c);
449 put_task_struct(c);
450 goto retry;
451 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700452 mm->owner = c;
453 task_unlock(c);
454 put_task_struct(c);
455}
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700456#endif /* CONFIG_MEMCG */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700457
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458/*
459 * Turn us into a lazy TLB process if we
460 * aren't already..
461 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700462static void exit_mm(struct task_struct *tsk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463{
464 struct mm_struct *mm = tsk->mm;
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700465 struct core_state *core_state;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700466
Linus Torvalds48d212a2012-06-07 17:54:07 -0700467 mm_release(tsk, mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468 if (!mm)
469 return;
Konstantin Khlebnikov4fe7efd2012-06-20 12:53:01 -0700470 sync_mm_rss(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700471 /*
472 * Serialize with any possible pending coredump.
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700473 * We must hold mmap_sem around checking core_state
Linus Torvalds1da177e2005-04-16 15:20:36 -0700474 * and clearing tsk->mm. The core-inducing thread
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700475 * will increment ->nr_threads for each thread in the
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476 * group with ->mm != NULL.
477 */
478 down_read(&mm->mmap_sem);
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700479 core_state = mm->core_state;
480 if (core_state) {
481 struct core_thread self;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700482
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483 up_read(&mm->mmap_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700484
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700485 self.task = tsk;
486 self.next = xchg(&core_state->dumper.next, &self);
487 /*
488 * Implies mb(), the result of xchg() must be visible
489 * to core_state->dumper.
490 */
491 if (atomic_dec_and_test(&core_state->nr_threads))
492 complete(&core_state->startup);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700493
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700494 for (;;) {
495 set_task_state(tsk, TASK_UNINTERRUPTIBLE);
496 if (!self.task) /* see coredump_finish() */
497 break;
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -0800498 freezable_schedule();
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700499 }
500 __set_task_state(tsk, TASK_RUNNING);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501 down_read(&mm->mmap_sem);
502 }
503 atomic_inc(&mm->mm_count);
Eric Sesterhenn125e1872006-06-23 02:06:06 -0700504 BUG_ON(mm != tsk->active_mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700505 /* more a memory barrier than a real lock */
506 task_lock(tsk);
507 tsk->mm = NULL;
508 up_read(&mm->mmap_sem);
509 enter_lazy_tlb(mm, current);
510 task_unlock(tsk);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700511 mm_update_next_owner(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 mmput(mm);
Michal Hockoc32b3cb2015-02-11 15:26:24 -0800513 if (test_thread_flag(TIF_MEMDIE))
Tetsuo Handa38531202016-10-07 16:59:03 -0700514 exit_oom_victim();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515}
516
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800517static struct task_struct *find_alive_thread(struct task_struct *p)
518{
519 struct task_struct *t;
520
521 for_each_thread(p, t) {
522 if (!(t->flags & PF_EXITING))
523 return t;
524 }
525 return NULL;
526}
527
Andrei Vagin44ccc0c2019-02-01 14:20:24 -0800528static struct task_struct *find_child_reaper(struct task_struct *father,
529 struct list_head *dead)
Oleg Nesterov11099092014-12-10 15:55:11 -0800530 __releases(&tasklist_lock)
531 __acquires(&tasklist_lock)
532{
533 struct pid_namespace *pid_ns = task_active_pid_ns(father);
534 struct task_struct *reaper = pid_ns->child_reaper;
Andrei Vagin44ccc0c2019-02-01 14:20:24 -0800535 struct task_struct *p, *n;
Oleg Nesterov11099092014-12-10 15:55:11 -0800536
537 if (likely(reaper != father))
538 return reaper;
539
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800540 reaper = find_alive_thread(father);
541 if (reaper) {
Oleg Nesterov11099092014-12-10 15:55:11 -0800542 pid_ns->child_reaper = reaper;
543 return reaper;
544 }
545
546 write_unlock_irq(&tasklist_lock);
547 if (unlikely(pid_ns == &init_pid_ns)) {
548 panic("Attempted to kill init! exitcode=0x%08x\n",
549 father->signal->group_exit_code ?: father->exit_code);
550 }
Andrei Vagin44ccc0c2019-02-01 14:20:24 -0800551
552 list_for_each_entry_safe(p, n, dead, ptrace_entry) {
553 list_del_init(&p->ptrace_entry);
554 release_task(p);
555 }
556
Oleg Nesterov11099092014-12-10 15:55:11 -0800557 zap_pid_ns_processes(pid_ns);
558 write_lock_irq(&tasklist_lock);
559
560 return father;
561}
562
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563/*
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700564 * When we die, we re-parent all our children, and try to:
565 * 1. give them to another thread in our thread group, if such a member exists
566 * 2. give it to the first ancestor process which prctl'd itself as a
567 * child_subreaper for its children (like a service manager)
568 * 3. give it to the init process (PID 1) in our pid namespace
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569 */
Oleg Nesterov11099092014-12-10 15:55:11 -0800570static struct task_struct *find_new_reaper(struct task_struct *father,
571 struct task_struct *child_reaper)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572{
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800573 struct task_struct *thread, *reaper;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700574
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800575 thread = find_alive_thread(father);
576 if (thread)
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700577 return thread;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700578
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800579 if (father->signal->has_child_subreaper) {
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700580 /*
Oleg Nesterov175aed32014-12-10 15:55:08 -0800581 * Find the first ->is_child_subreaper ancestor in our pid_ns.
582 * We start from father to ensure we can not look into another
583 * namespace, this is safe because all its threads are dead.
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700584 */
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800585 for (reaper = father;
Oleg Nesterov11099092014-12-10 15:55:11 -0800586 !same_thread_group(reaper, child_reaper);
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700587 reaper = reaper->real_parent) {
Oleg Nesterov175aed32014-12-10 15:55:08 -0800588 /* call_usermodehelper() descendants need this check */
589 if (reaper == &init_task)
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700590 break;
591 if (!reaper->signal->is_child_subreaper)
592 continue;
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800593 thread = find_alive_thread(reaper);
594 if (thread)
595 return thread;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700596 }
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700597 }
598
Oleg Nesterov11099092014-12-10 15:55:11 -0800599 return child_reaper;
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700600}
601
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700602/*
603* Any that need to be release_task'd are put on the @dead list.
604 */
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800605static void reparent_leader(struct task_struct *father, struct task_struct *p,
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700606 struct list_head *dead)
607{
Oleg Nesterov28310962014-12-10 15:45:30 -0800608 if (unlikely(p->exit_state == EXIT_DEAD))
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700609 return;
610
Oleg Nesterovabd50b32014-04-07 15:38:42 -0700611 /* We don't want people slaying init. */
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700612 p->exit_signal = SIGCHLD;
613
614 /* If it has exited notify the new parent about this child's death. */
Tejun Heod21142e2011-06-17 16:50:34 +0200615 if (!p->ptrace &&
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700616 p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
Oleg Nesterov86773472011-06-22 23:09:09 +0200617 if (do_notify_parent(p, p->exit_signal)) {
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700618 p->exit_state = EXIT_DEAD;
Oleg Nesterovdc2fd4b2014-12-10 15:45:24 -0800619 list_add(&p->ptrace_entry, dead);
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700620 }
621 }
622
623 kill_orphaned_pgrp(p, father);
624}
625
Oleg Nesterov482a3762014-12-10 15:55:20 -0800626/*
627 * This does two things:
628 *
629 * A. Make init inherit all the child processes
630 * B. Check to see if any process groups have become orphaned
631 * as a result of our exiting, and if they have any stopped
632 * jobs, send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
633 */
634static void forget_original_parent(struct task_struct *father,
635 struct list_head *dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636{
Oleg Nesterov482a3762014-12-10 15:55:20 -0800637 struct task_struct *p, *t, *reaper;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800639 if (unlikely(!list_empty(&father->ptraced)))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800640 exit_ptrace(father, dead);
Roland McGrathf4700212008-03-24 18:36:23 -0700641
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800642 /* Can drop and reacquire tasklist_lock */
Andrei Vagin44ccc0c2019-02-01 14:20:24 -0800643 reaper = find_child_reaper(father, dead);
Oleg Nesterovad9e2062014-12-10 15:55:17 -0800644 if (list_empty(&father->children))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800645 return;
Oleg Nesterov11099092014-12-10 15:55:11 -0800646
647 reaper = find_new_reaper(father, reaper);
Oleg Nesterov28310962014-12-10 15:45:30 -0800648 list_for_each_entry(p, &father->children, sibling) {
Oleg Nesterov57a05912014-12-10 15:45:27 -0800649 for_each_thread(p, t) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800650 t->real_parent = reaper;
Oleg Nesterov57a05912014-12-10 15:45:27 -0800651 BUG_ON((!t->ptrace) != (t->parent == father));
652 if (likely(!t->ptrace))
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800653 t->parent = t->real_parent;
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800654 if (t->pdeath_signal)
655 group_send_sig_info(t->pdeath_signal,
656 SEND_SIG_NOINFO, t);
Oleg Nesterov57a05912014-12-10 15:45:27 -0800657 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800658 /*
659 * If this is a threaded reparent there is no need to
660 * notify anyone anything has happened.
661 */
662 if (!same_thread_group(reaper, father))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800663 reparent_leader(father, p, dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800665 list_splice_tail_init(&father->children, &reaper->children);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666}
667
668/*
669 * Send signals to all our closest relatives so that they know
670 * to properly mourn us..
671 */
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300672static void exit_notify(struct task_struct *tsk, int group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673{
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200674 bool autoreap;
Oleg Nesterov482a3762014-12-10 15:55:20 -0800675 struct task_struct *p, *n;
676 LIST_HEAD(dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700678 write_lock_irq(&tasklist_lock);
Oleg Nesterov482a3762014-12-10 15:55:20 -0800679 forget_original_parent(tsk, &dead);
680
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300681 if (group_dead)
682 kill_orphaned_pgrp(tsk->group_leader, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700683
Oleg Nesterov45cdf5c2011-06-23 19:06:50 +0200684 if (unlikely(tsk->ptrace)) {
685 int sig = thread_group_leader(tsk) &&
686 thread_group_empty(tsk) &&
687 !ptrace_reparented(tsk) ?
688 tsk->exit_signal : SIGCHLD;
689 autoreap = do_notify_parent(tsk, sig);
690 } else if (thread_group_leader(tsk)) {
691 autoreap = thread_group_empty(tsk) &&
692 do_notify_parent(tsk, tsk->exit_signal);
693 } else {
694 autoreap = true;
695 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700696
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200697 tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
Oleg Nesterov6c66e7d2014-12-10 15:55:23 -0800698 if (tsk->exit_state == EXIT_DEAD)
699 list_add(&tsk->ptrace_entry, &dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700700
Oleg Nesterov9c339162010-05-26 14:43:10 -0700701 /* mt-exec, de_thread() is waiting for group leader */
702 if (unlikely(tsk->signal->notify_count < 0))
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700703 wake_up_process(tsk->signal->group_exit_task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700704 write_unlock_irq(&tasklist_lock);
705
Oleg Nesterov482a3762014-12-10 15:55:20 -0800706 list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
707 list_del_init(&p->ptrace_entry);
708 release_task(p);
709 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700710}
711
Jeff Dikee18eecb2007-07-15 23:38:48 -0700712#ifdef CONFIG_DEBUG_STACK_USAGE
713static void check_stack_usage(void)
714{
715 static DEFINE_SPINLOCK(low_water_lock);
716 static int lowest_to_date = THREAD_SIZE;
Jeff Dikee18eecb2007-07-15 23:38:48 -0700717 unsigned long free;
718
Eric Sandeen7c9f8862008-04-22 16:38:23 -0500719 free = stack_not_used(current);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700720
721 if (free >= lowest_to_date)
722 return;
723
724 spin_lock(&low_water_lock);
725 if (free < lowest_to_date) {
Anton Blanchard627393d2016-08-02 14:05:40 -0700726 pr_info("%s (%d) used greatest stack depth: %lu bytes left\n",
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700727 current->comm, task_pid_nr(current), free);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700728 lowest_to_date = free;
729 }
730 spin_unlock(&low_water_lock);
731}
732#else
733static inline void check_stack_usage(void) {}
734#endif
735
Peter Zijlstra9af65282016-09-13 18:37:29 +0200736void __noreturn do_exit(long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737{
738 struct task_struct *tsk = current;
739 int group_dead;
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700740 TASKS_RCU(int tasks_rcu_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741
Jann Horn1e587ce2020-03-05 23:06:57 +0100742 /*
743 * We can get here from a kernel oops, sometimes with preemption off.
744 * Start by checking for critical errors.
745 * Then fix up important state like USER_DS and preemption.
746 * Then do everything else.
747 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700748
Jens Axboe73c10102011-03-08 13:19:51 +0100749 WARN_ON(blk_needs_flush_plug(tsk));
Jens Axboe22e2c502005-06-27 10:55:12 +0200750
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751 if (unlikely(in_interrupt()))
752 panic("Aiee, killing interrupt handler!");
753 if (unlikely(!tsk->pid))
754 panic("Attempted to kill the idle task!");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700755
Nelson Elhage33dd94a2010-12-02 14:31:21 -0800756 /*
757 * If do_exit is called because this processes oopsed, it's possible
758 * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before
759 * continuing. Amongst other possible reasons, this is to prevent
760 * mm_release()->clear_child_tid() from writing to a user-controlled
761 * kernel address.
762 */
763 set_fs(USER_DS);
764
Jann Horn1e587ce2020-03-05 23:06:57 +0100765 if (unlikely(in_atomic())) {
766 pr_info("note: %s[%d] exited with preempt_count %d\n",
767 current->comm, task_pid_nr(current),
768 preempt_count());
769 preempt_count_set(PREEMPT_ENABLED);
770 }
771
772 profile_task_exit(tsk);
773 kcov_task_exit(tsk);
774
Tejun Heoa288eec2011-06-17 16:50:37 +0200775 ptrace_event(PTRACE_EVENT_EXIT, code);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700776
David Howellse0e81732009-09-02 09:13:40 +0100777 validate_creds_for_do_exit(tsk);
778
Alexander Nybergdf164db2005-06-23 00:09:13 -0700779 /*
780 * We're taking recursive faults here in do_exit. Safest is to just
781 * leave this task alone and wait for reboot.
782 */
783 if (unlikely(tsk->flags & PF_EXITING)) {
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700784 pr_alert("Fixing recursive fault but reboot is needed!\n");
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700785 /*
786 * We can do this unlocked here. The futex code uses
787 * this flag just to verify whether the pi state
788 * cleanup has been done or not. In the worst case it
789 * loops once more. We pretend that the cleanup was
790 * done as there is no way to return. Either the
791 * OWNER_DIED bit is set by now or we push the blocked
792 * task into the wait for ever nirwana as well.
793 */
794 tsk->flags |= PF_EXITPIDONE;
Alexander Nybergdf164db2005-06-23 00:09:13 -0700795 set_current_state(TASK_UNINTERRUPTIBLE);
796 schedule();
797 }
798
Oleg Nesterovd12619b2008-02-08 04:19:12 -0800799 exit_signals(tsk); /* sets PF_EXITING */
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700800 /*
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200801 * Ensure that all new tsk->pi_lock acquisitions must observe
802 * PF_EXITING. Serializes against futex.c:attach_to_pi_owner().
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700803 */
Oleg Nesterovd2ee7192007-10-16 23:26:47 -0700804 smp_mb();
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200805 /*
806 * Ensure that we must observe the pi_state in exit_mm() ->
807 * mm_release() -> exit_pi_state_list().
808 */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100809 raw_spin_unlock_wait(&tsk->pi_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700810
Linus Torvalds48d212a2012-06-07 17:54:07 -0700811 /* sync mm's RSS info before statistics gathering */
812 if (tsk->mm)
813 sync_mm_rss(tsk->mm);
Rik van Riel51229b42015-06-25 15:03:56 -0700814 acct_update_integrals(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700815 group_dead = atomic_dec_and_test(&tsk->signal->live);
Andrew Mortonc3068952005-08-04 16:49:32 -0700816 if (group_dead) {
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700817 hrtimer_cancel(&tsk->signal->real_timer);
Roland McGrath25f407f2005-10-21 15:03:29 -0700818 exit_itimers(tsk->signal);
Jiri Pirko1f102062009-09-22 16:44:10 -0700819 if (tsk->mm)
820 setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
Andrew Mortonc3068952005-08-04 16:49:32 -0700821 }
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700822 acct_collect(code, group_dead);
Miloslav Trmac522ed772007-07-15 23:40:56 -0700823 if (group_dead)
824 tty_audit_exit();
Eric Parisa4ff8db2012-01-03 14:23:07 -0500825 audit_free(tsk);
Oleg Nesterov115085e2006-12-06 20:36:51 -0800826
Linus Torvalds48d212a2012-06-07 17:54:07 -0700827 tsk->exit_code = code;
Oleg Nesterov115085e2006-12-06 20:36:51 -0800828 taskstats_exit(tsk, group_dead);
Shailabh Nagarc7572492006-07-14 00:24:40 -0700829
Linus Torvalds1da177e2005-04-16 15:20:36 -0700830 exit_mm(tsk);
831
KaiGai Kohei0e464812006-06-25 05:49:24 -0700832 if (group_dead)
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700833 acct_process();
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400834 trace_sched_process_exit(tsk);
835
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836 exit_sem(tsk);
Vasiliy Kulikovb34a6b12011-07-26 16:08:48 -0700837 exit_shm(tsk);
Al Viro1ec7f1d2008-04-22 05:35:42 -0400838 exit_files(tsk);
839 exit_fs(tsk);
Oleg Nesterovc39df5f2014-04-07 15:38:29 -0700840 if (group_dead)
841 disassociate_ctty(1);
Oleg Nesterov8aac6272013-06-14 21:09:49 +0200842 exit_task_namespaces(tsk);
Al Viroed3e6942012-06-27 11:31:24 +0400843 exit_task_work(tsk);
Jiri Slabye6464692016-05-20 17:00:20 -0700844 exit_thread(tsk);
Stephane Eranian0b3fcf12011-01-03 18:20:01 +0200845
846 /*
847 * Flush inherited counters to the parent - before the parent
848 * gets woken up by child-exit notifications.
849 *
850 * because of cgroup mode, must be called before cgroup_exit()
851 */
852 perf_event_exit_task(tsk);
853
Oleg Nesterov8e5bfa82016-11-14 19:46:12 +0100854 sched_autogroup_exit_task(tsk);
Li Zefan1ec41832014-03-28 15:22:19 +0800855 cgroup_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700856
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200857 /*
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +0200858 * FIXME: do that only when needed, using sched_exit tracepoint
859 */
Oleg Nesterov7c8df282013-07-08 16:00:54 -0700860 flush_ptrace_hw_breakpoint(tsk);
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200861
Paul E. McKenney49f59032015-09-01 00:42:57 -0700862 TASKS_RCU(preempt_disable());
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700863 TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
Paul E. McKenney49f59032015-09-01 00:42:57 -0700864 TASKS_RCU(preempt_enable());
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300865 exit_notify(tsk, group_dead);
Guillaume Morinef982392014-04-07 15:38:31 -0700866 proc_exit_connector(tsk);
David Rientjesc11600e2016-09-01 16:15:07 -0700867 mpol_put_task_policy(tsk);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700868#ifdef CONFIG_FUTEX
Ingo Molnarc87e2832006-06-27 02:54:58 -0700869 if (unlikely(current->pi_state_cache))
870 kfree(current->pi_state_cache);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700871#endif
Ingo Molnarc87e2832006-06-27 02:54:58 -0700872 /*
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700873 * Make sure we are holding no locks:
Ingo Molnarde5097c2006-01-09 15:59:21 -0800874 */
Colin Cross1b1d2fb2013-05-06 23:50:08 +0000875 debug_check_no_locks_held();
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700876 /*
877 * We can do this unlocked here. The futex code uses this flag
878 * just to verify whether the pi state cleanup has been done
879 * or not. In the worst case it loops once more.
880 */
881 tsk->flags |= PF_EXITPIDONE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882
Al Viroafc847b2006-02-28 12:51:55 -0500883 if (tsk->io_context)
Louis Rillingb69f2292009-12-04 14:52:42 +0100884 exit_io_context(tsk);
Al Viroafc847b2006-02-28 12:51:55 -0500885
Jens Axboeb92ce552006-04-11 13:52:07 +0200886 if (tsk->splice_pipe)
Al Viro4b8a8f12013-03-21 11:06:46 -0400887 free_pipe_info(tsk->splice_pipe);
Jens Axboeb92ce552006-04-11 13:52:07 +0200888
Eric Dumazet5640f762012-09-23 23:04:42 +0000889 if (tsk->task_frag.page)
890 put_page(tsk->task_frag.page);
891
David Howellse0e81732009-09-02 09:13:40 +0100892 validate_creds_for_do_exit(tsk);
893
Oleg Nesterov4bcb8232014-04-07 15:38:30 -0700894 check_stack_usage();
Coywolf Qi Hunt74072512005-10-30 15:02:47 -0800895 preempt_disable();
Wu Fengguang54848d72011-04-05 13:21:19 -0600896 if (tsk->nr_dirtied)
897 __this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700898 exit_rcu();
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700899 TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
Yasunori Gotob5740f42012-01-17 17:40:31 +0900900
Peter Zijlstra9af65282016-09-13 18:37:29 +0200901 do_task_dead();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902}
Russ Anderson012914d2005-04-23 00:08:00 -0700903EXPORT_SYMBOL_GPL(do_exit);
904
Joe Perches9402c952012-01-12 17:17:17 -0800905void complete_and_exit(struct completion *comp, long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700906{
907 if (comp)
908 complete(comp);
Oleg Nesterov55a101f2006-09-29 02:01:10 -0700909
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 do_exit(code);
911}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912EXPORT_SYMBOL(complete_and_exit);
913
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100914SYSCALL_DEFINE1(exit, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700915{
916 do_exit((error_code&0xff)<<8);
917}
918
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919/*
920 * Take down every thread in the group. This is called by fatal signals
921 * as well as by sys_exit_group (below).
922 */
Joe Perches9402c952012-01-12 17:17:17 -0800923void
Linus Torvalds1da177e2005-04-16 15:20:36 -0700924do_group_exit(int exit_code)
925{
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700926 struct signal_struct *sig = current->signal;
927
Linus Torvalds1da177e2005-04-16 15:20:36 -0700928 BUG_ON(exit_code & 0x80); /* core dumps don't get here */
929
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700930 if (signal_group_exit(sig))
931 exit_code = sig->group_exit_code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700932 else if (!thread_group_empty(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933 struct sighand_struct *const sighand = current->sighand;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700934
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935 spin_lock_irq(&sighand->siglock);
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800936 if (signal_group_exit(sig))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937 /* Another thread got here before we took the lock. */
938 exit_code = sig->group_exit_code;
939 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940 sig->group_exit_code = exit_code;
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800941 sig->flags = SIGNAL_GROUP_EXIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942 zap_other_threads(current);
943 }
944 spin_unlock_irq(&sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945 }
946
947 do_exit(exit_code);
948 /* NOTREACHED */
949}
950
951/*
952 * this kills every thread in the thread group. Note that any externally
953 * wait4()-ing process will get the correct exit code - even if this
954 * thread is not the thread group leader.
955 */
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100956SYSCALL_DEFINE1(exit_group, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957{
958 do_group_exit((error_code & 0xff) << 8);
Heiko Carstens2ed7c032009-01-14 14:13:54 +0100959 /* NOTREACHED */
960 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700961}
962
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700963struct wait_opts {
964 enum pid_type wo_type;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700965 int wo_flags;
Richard Kennedye1eb1eb2009-06-17 16:27:42 -0700966 struct pid *wo_pid;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700967
968 struct siginfo __user *wo_info;
969 int __user *wo_stat;
970 struct rusage __user *wo_rusage;
971
Oleg Nesterov0b7570e2009-09-23 15:56:46 -0700972 wait_queue_t child_wait;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700973 int notask_error;
974};
975
Oleg Nesterov989264f2009-09-23 15:56:49 -0700976static inline
977struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
Eric W. Biederman161550d2008-02-08 04:19:14 -0800978{
Oleg Nesterov989264f2009-09-23 15:56:49 -0700979 if (type != PIDTYPE_PID)
980 task = task->group_leader;
981 return task->pids[type].pid;
Eric W. Biederman161550d2008-02-08 04:19:14 -0800982}
983
Oleg Nesterov989264f2009-09-23 15:56:49 -0700984static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700985{
986 return wo->wo_type == PIDTYPE_MAX ||
987 task_pid_type(p, wo->wo_type) == wo->wo_pid;
988}
989
Oleg Nesterovbf959932016-05-23 16:23:50 -0700990static int
991eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700992{
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700993 if (!eligible_pid(wo, p))
994 return 0;
Oleg Nesterovbf959932016-05-23 16:23:50 -0700995
996 /*
997 * Wait for all children (clone and not) if __WALL is set or
998 * if it is traced by us.
999 */
1000 if (ptrace || (wo->wo_flags & __WALL))
1001 return 1;
1002
1003 /*
1004 * Otherwise, wait for clone children *only* if __WCLONE is set;
1005 * otherwise, wait for non-clone children *only*.
1006 *
1007 * Note: a "clone" child here is one that reports to its parent
1008 * using a signal other than SIGCHLD, or a non-leader thread which
1009 * we can only see if it is traced by us.
1010 */
1011 if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001012 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001013
Roland McGrath14dd0b82008-03-30 18:41:25 -07001014 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001015}
1016
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001017static int wait_noreap_copyout(struct wait_opts *wo, struct task_struct *p,
1018 pid_t pid, uid_t uid, int why, int status)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001019{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001020 struct siginfo __user *infop;
1021 int retval = wo->wo_rusage
1022 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Ingo Molnar36c8b582006-07-03 00:25:41 -07001023
Linus Torvalds1da177e2005-04-16 15:20:36 -07001024 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001025 infop = wo->wo_info;
Vitaly Mayatskikhb6fe2d12009-09-23 15:56:52 -07001026 if (infop) {
1027 if (!retval)
1028 retval = put_user(SIGCHLD, &infop->si_signo);
1029 if (!retval)
1030 retval = put_user(0, &infop->si_errno);
1031 if (!retval)
1032 retval = put_user((short)why, &infop->si_code);
1033 if (!retval)
1034 retval = put_user(pid, &infop->si_pid);
1035 if (!retval)
1036 retval = put_user(uid, &infop->si_uid);
1037 if (!retval)
1038 retval = put_user(status, &infop->si_status);
1039 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040 if (!retval)
1041 retval = pid;
1042 return retval;
1043}
1044
1045/*
1046 * Handle sys_wait4 work for one task in state EXIT_ZOMBIE. We hold
1047 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1048 * the lock and this task is uninteresting. If we return nonzero, we have
1049 * released the lock and the system call should return.
1050 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001051static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001052{
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001053 int state, retval, status;
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001054 pid_t pid = task_pid_vnr(p);
Oleg Nesterov43e13cc2012-05-31 16:26:16 -07001055 uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001056 struct siginfo __user *infop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001058 if (!likely(wo->wo_flags & WEXITED))
Roland McGrath98abed02008-03-19 19:24:59 -07001059 return 0;
1060
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001061 if (unlikely(wo->wo_flags & WNOWAIT)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001062 int exit_code = p->exit_code;
Thiago Farinaf3abd4f2010-03-05 13:42:52 -08001063 int why;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001064
Linus Torvalds1da177e2005-04-16 15:20:36 -07001065 get_task_struct(p);
1066 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001067 sched_annotate_sleep();
1068
Linus Torvalds1da177e2005-04-16 15:20:36 -07001069 if ((exit_code & 0x7f) == 0) {
1070 why = CLD_EXITED;
1071 status = exit_code >> 8;
1072 } else {
1073 why = (exit_code & 0x80) ? CLD_DUMPED : CLD_KILLED;
1074 status = exit_code & 0x7f;
1075 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001076 return wait_noreap_copyout(wo, p, pid, uid, why, status);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001077 }
Oleg Nesterovbefca962009-06-18 16:49:11 -07001078 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001079 * Move the task's state to DEAD/TRACE, only one thread can do this.
1080 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001081 state = (ptrace_reparented(p) && thread_group_leader(p)) ?
1082 EXIT_TRACE : EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001083 if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
1084 return 0;
Oleg Nesterov986094d2014-12-10 15:54:51 -08001085 /*
1086 * We own this thread, nobody else can reap it.
1087 */
1088 read_unlock(&tasklist_lock);
1089 sched_annotate_sleep();
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001090
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001091 /*
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001092 * Check thread_group_leader() to exclude the traced sub-threads.
Oleg Nesterovbefca962009-06-18 16:49:11 -07001093 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001094 if (state == EXIT_DEAD && thread_group_leader(p)) {
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001095 struct signal_struct *sig = p->signal;
1096 struct signal_struct *psig = current->signal;
Jiri Pirko1f102062009-09-22 16:44:10 -07001097 unsigned long maxrss;
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001098 cputime_t tgutime, tgstime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001099
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100 /*
1101 * The resource counters for the group leader are in its
1102 * own task_struct. Those for dead threads in the group
1103 * are in its signal_struct, as are those for the child
1104 * processes it has previously reaped. All these
1105 * accumulate in the parent's signal_struct c* fields.
1106 *
1107 * We don't bother to take a lock here to protect these
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001108 * p->signal fields because the whole thread group is dead
1109 * and nobody can change them.
1110 *
1111 * psig->stats_lock also protects us from our sub-theads
1112 * which can reap other children at the same time. Until
1113 * we change k_getrusage()-like users to rely on this lock
1114 * we have to take ->siglock as well.
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001115 *
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001116 * We use thread_group_cputime_adjusted() to get times for
1117 * the thread group, which consolidates times for all threads
1118 * in the group including the group leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001119 */
Frederic Weisbeckere80d0a12012-11-21 16:26:44 +01001120 thread_group_cputime_adjusted(p, &tgutime, &tgstime);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001121 spin_lock_irq(&current->sighand->siglock);
Rik van Riele78c3492014-08-16 13:40:10 -04001122 write_seqlock(&psig->stats_lock);
Martin Schwidefsky64861632011-12-15 14:56:09 +01001123 psig->cutime += tgutime + sig->cutime;
1124 psig->cstime += tgstime + sig->cstime;
Frederic Weisbecker6fac4822012-11-13 14:20:55 +01001125 psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001126 psig->cmin_flt +=
1127 p->min_flt + sig->min_flt + sig->cmin_flt;
1128 psig->cmaj_flt +=
1129 p->maj_flt + sig->maj_flt + sig->cmaj_flt;
1130 psig->cnvcsw +=
1131 p->nvcsw + sig->nvcsw + sig->cnvcsw;
1132 psig->cnivcsw +=
1133 p->nivcsw + sig->nivcsw + sig->cnivcsw;
Eric Dumazet6eaeeab2007-05-10 22:22:37 -07001134 psig->cinblock +=
1135 task_io_get_inblock(p) +
1136 sig->inblock + sig->cinblock;
1137 psig->coublock +=
1138 task_io_get_oublock(p) +
1139 sig->oublock + sig->coublock;
Jiri Pirko1f102062009-09-22 16:44:10 -07001140 maxrss = max(sig->maxrss, sig->cmaxrss);
1141 if (psig->cmaxrss < maxrss)
1142 psig->cmaxrss = maxrss;
Andrea Righi59954772008-07-27 17:29:15 +02001143 task_io_accounting_add(&psig->ioac, &p->ioac);
1144 task_io_accounting_add(&psig->ioac, &sig->ioac);
Rik van Riele78c3492014-08-16 13:40:10 -04001145 write_sequnlock(&psig->stats_lock);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001146 spin_unlock_irq(&current->sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001147 }
1148
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001149 retval = wo->wo_rusage
1150 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001151 status = (p->signal->flags & SIGNAL_GROUP_EXIT)
1152 ? p->signal->group_exit_code : p->exit_code;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001153 if (!retval && wo->wo_stat)
1154 retval = put_user(status, wo->wo_stat);
1155
1156 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001157 if (!retval && infop)
1158 retval = put_user(SIGCHLD, &infop->si_signo);
1159 if (!retval && infop)
1160 retval = put_user(0, &infop->si_errno);
1161 if (!retval && infop) {
1162 int why;
1163
1164 if ((status & 0x7f) == 0) {
1165 why = CLD_EXITED;
1166 status >>= 8;
1167 } else {
1168 why = (status & 0x80) ? CLD_DUMPED : CLD_KILLED;
1169 status &= 0x7f;
1170 }
1171 retval = put_user((short)why, &infop->si_code);
1172 if (!retval)
1173 retval = put_user(status, &infop->si_status);
1174 }
1175 if (!retval && infop)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001176 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177 if (!retval && infop)
David Howellsc69e8d92008-11-14 10:39:19 +11001178 retval = put_user(uid, &infop->si_uid);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001179 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001180 retval = pid;
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001181
Oleg Nesterovb4360692014-04-07 15:38:43 -07001182 if (state == EXIT_TRACE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001183 write_lock_irq(&tasklist_lock);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001184 /* We dropped tasklist, ptracer could die and untrace */
1185 ptrace_unlink(p);
Oleg Nesterovb4360692014-04-07 15:38:43 -07001186
1187 /* If parent wants a zombie, don't release it now */
1188 state = EXIT_ZOMBIE;
1189 if (do_notify_parent(p, p->exit_signal))
1190 state = EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001191 p->exit_state = state;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001192 write_unlock_irq(&tasklist_lock);
1193 }
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001194 if (state == EXIT_DEAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001195 release_task(p);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001196
Linus Torvalds1da177e2005-04-16 15:20:36 -07001197 return retval;
1198}
1199
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001200static int *task_stopped_code(struct task_struct *p, bool ptrace)
1201{
1202 if (ptrace) {
Oleg Nesterov570ac932016-01-20 14:59:58 -08001203 if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001204 return &p->exit_code;
1205 } else {
1206 if (p->signal->flags & SIGNAL_STOP_STOPPED)
1207 return &p->signal->group_exit_code;
1208 }
1209 return NULL;
1210}
1211
Tejun Heo19e27462011-05-12 10:47:23 +02001212/**
1213 * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED
1214 * @wo: wait options
1215 * @ptrace: is the wait for ptrace
1216 * @p: task to wait for
1217 *
1218 * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED.
1219 *
1220 * CONTEXT:
1221 * read_lock(&tasklist_lock), which is released if return value is
1222 * non-zero. Also, grabs and releases @p->sighand->siglock.
1223 *
1224 * RETURNS:
1225 * 0 if wait condition didn't exist and search for other wait conditions
1226 * should continue. Non-zero return, -errno on failure and @p's pid on
1227 * success, implies that tasklist_lock is released and wait condition
1228 * search should terminate.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001229 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001230static int wait_task_stopped(struct wait_opts *wo,
1231 int ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001232{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001233 struct siginfo __user *infop;
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001234 int retval, exit_code, *p_code, why;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001235 uid_t uid = 0; /* unneeded, required by compiler */
Oleg Nesterovc8950782007-11-28 16:21:24 -08001236 pid_t pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001237
Oleg Nesterov47918022009-06-17 16:27:39 -07001238 /*
1239 * Traditionally we see ptrace'd stopped tasks regardless of options.
1240 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001241 if (!ptrace && !(wo->wo_flags & WUNTRACED))
Roland McGrath98abed02008-03-19 19:24:59 -07001242 return 0;
1243
Tejun Heo19e27462011-05-12 10:47:23 +02001244 if (!task_stopped_code(p, ptrace))
1245 return 0;
1246
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001247 exit_code = 0;
1248 spin_lock_irq(&p->sighand->siglock);
1249
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001250 p_code = task_stopped_code(p, ptrace);
1251 if (unlikely(!p_code))
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001252 goto unlock_sig;
1253
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001254 exit_code = *p_code;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001255 if (!exit_code)
1256 goto unlock_sig;
1257
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001258 if (!unlikely(wo->wo_flags & WNOWAIT))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001259 *p_code = 0;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001260
Sasha Levin8ca937a2012-05-17 23:31:39 +02001261 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001262unlock_sig:
1263 spin_unlock_irq(&p->sighand->siglock);
1264 if (!exit_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001265 return 0;
1266
1267 /*
1268 * Now we are pretty sure this task is interesting.
1269 * Make sure it doesn't get reaped out from under us while we
1270 * give up the lock and then examine it below. We don't want to
1271 * keep holding onto the tasklist_lock while we call getrusage and
1272 * possibly take page faults for user memory.
1273 */
1274 get_task_struct(p);
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001275 pid = task_pid_vnr(p);
Roland McGrathf4700212008-03-24 18:36:23 -07001276 why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001277 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001278 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001279
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001280 if (unlikely(wo->wo_flags & WNOWAIT))
1281 return wait_noreap_copyout(wo, p, pid, uid, why, exit_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001282
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001283 retval = wo->wo_rusage
1284 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1285 if (!retval && wo->wo_stat)
1286 retval = put_user((exit_code << 8) | 0x7f, wo->wo_stat);
1287
1288 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001289 if (!retval && infop)
1290 retval = put_user(SIGCHLD, &infop->si_signo);
1291 if (!retval && infop)
1292 retval = put_user(0, &infop->si_errno);
1293 if (!retval && infop)
Roland McGrath6efcae42008-03-08 11:41:22 -08001294 retval = put_user((short)why, &infop->si_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001295 if (!retval && infop)
1296 retval = put_user(exit_code, &infop->si_status);
1297 if (!retval && infop)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001298 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001299 if (!retval && infop)
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001300 retval = put_user(uid, &infop->si_uid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001301 if (!retval)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001302 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001303 put_task_struct(p);
1304
1305 BUG_ON(!retval);
1306 return retval;
1307}
1308
1309/*
1310 * Handle do_wait work for one task in a live, non-stopped state.
1311 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1312 * the lock and this task is uninteresting. If we return nonzero, we have
1313 * released the lock and the system call should return.
1314 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001315static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001316{
1317 int retval;
1318 pid_t pid;
1319 uid_t uid;
1320
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001321 if (!unlikely(wo->wo_flags & WCONTINUED))
Roland McGrath98abed02008-03-19 19:24:59 -07001322 return 0;
1323
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED))
1325 return 0;
1326
1327 spin_lock_irq(&p->sighand->siglock);
1328 /* Re-check with the lock held. */
1329 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) {
1330 spin_unlock_irq(&p->sighand->siglock);
1331 return 0;
1332 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001333 if (!unlikely(wo->wo_flags & WNOWAIT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001334 p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
Sasha Levin8ca937a2012-05-17 23:31:39 +02001335 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001336 spin_unlock_irq(&p->sighand->siglock);
1337
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001338 pid = task_pid_vnr(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 get_task_struct(p);
1340 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001341 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001342
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001343 if (!wo->wo_info) {
1344 retval = wo->wo_rusage
1345 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001346 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001347 if (!retval && wo->wo_stat)
1348 retval = put_user(0xffff, wo->wo_stat);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001350 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001351 } else {
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001352 retval = wait_noreap_copyout(wo, p, pid, uid,
1353 CLD_CONTINUED, SIGCONT);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001354 BUG_ON(retval == 0);
1355 }
1356
1357 return retval;
1358}
1359
Roland McGrath98abed02008-03-19 19:24:59 -07001360/*
1361 * Consider @p for a wait by @parent.
1362 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001363 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001364 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1365 * Returns zero if the search for a child should continue;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001366 * then ->notask_error is 0 if @p is an eligible child,
Roland McGrath14dd0b82008-03-30 18:41:25 -07001367 * or another error from security_task_wait(), or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001368 */
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001369static int wait_consider_task(struct wait_opts *wo, int ptrace,
1370 struct task_struct *p)
Roland McGrath98abed02008-03-19 19:24:59 -07001371{
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001372 /*
1373 * We can race with wait_task_zombie() from another thread.
1374 * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition
1375 * can't confuse the checks below.
1376 */
1377 int exit_state = ACCESS_ONCE(p->exit_state);
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001378 int ret;
1379
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001380 if (unlikely(exit_state == EXIT_DEAD))
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001381 return 0;
1382
Oleg Nesterovbf959932016-05-23 16:23:50 -07001383 ret = eligible_child(wo, ptrace, p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001384 if (!ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001385 return ret;
1386
Oleg Nesterova2322e12009-09-23 15:56:45 -07001387 ret = security_task_wait(p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001388 if (unlikely(ret < 0)) {
1389 /*
1390 * If we have not yet seen any eligible child,
1391 * then let this error code replace -ECHILD.
1392 * A permission error will give the user a clue
1393 * to look for security policy problems, rather
1394 * than for mysterious wait bugs.
1395 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001396 if (wo->notask_error)
1397 wo->notask_error = ret;
Oleg Nesterov78a3d9d2009-04-29 18:01:23 +02001398 return 0;
Roland McGrath14dd0b82008-03-30 18:41:25 -07001399 }
1400
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001401 if (unlikely(exit_state == EXIT_TRACE)) {
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001402 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001403 * ptrace == 0 means we are the natural parent. In this case
1404 * we should clear notask_error, debugger will notify us.
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001405 */
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001406 if (likely(!ptrace))
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001407 wo->notask_error = 0;
Roland McGrath98abed02008-03-19 19:24:59 -07001408 return 0;
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001409 }
Roland McGrath98abed02008-03-19 19:24:59 -07001410
Oleg Nesterov377d75d2014-04-07 15:38:47 -07001411 if (likely(!ptrace) && unlikely(p->ptrace)) {
1412 /*
1413 * If it is traced by its real parent's group, just pretend
1414 * the caller is ptrace_do_wait() and reap this child if it
1415 * is zombie.
1416 *
1417 * This also hides group stop state from real parent; otherwise
1418 * a single stop can be reported twice as group and ptrace stop.
1419 * If a ptracer wants to distinguish these two events for its
1420 * own children it should create a separate process which takes
1421 * the role of real parent.
1422 */
1423 if (!ptrace_reparented(p))
1424 ptrace = 1;
1425 }
1426
Tejun Heo9b84cca2011-03-23 10:37:01 +01001427 /* slay zombie? */
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001428 if (exit_state == EXIT_ZOMBIE) {
Tejun Heo9b84cca2011-03-23 10:37:01 +01001429 /* we don't reap group leaders with subthreads */
Oleg Nesterov7c733eb2014-04-07 15:38:49 -07001430 if (!delay_group_leader(p)) {
1431 /*
1432 * A zombie ptracee is only visible to its ptracer.
1433 * Notification and reaping will be cascaded to the
1434 * real parent when the ptracer detaches.
1435 */
1436 if (unlikely(ptrace) || likely(!p->ptrace))
1437 return wait_task_zombie(wo, p);
1438 }
Roland McGrath98abed02008-03-19 19:24:59 -07001439
Tejun Heo9b84cca2011-03-23 10:37:01 +01001440 /*
1441 * Allow access to stopped/continued state via zombie by
1442 * falling through. Clearing of notask_error is complex.
1443 *
1444 * When !@ptrace:
1445 *
1446 * If WEXITED is set, notask_error should naturally be
1447 * cleared. If not, subset of WSTOPPED|WCONTINUED is set,
1448 * so, if there are live subthreads, there are events to
1449 * wait for. If all subthreads are dead, it's still safe
1450 * to clear - this function will be called again in finite
1451 * amount time once all the subthreads are released and
1452 * will then return without clearing.
1453 *
1454 * When @ptrace:
1455 *
1456 * Stopped state is per-task and thus can't change once the
1457 * target task dies. Only continued and exited can happen.
1458 * Clear notask_error if WCONTINUED | WEXITED.
1459 */
1460 if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED)))
1461 wo->notask_error = 0;
1462 } else {
1463 /*
1464 * @p is alive and it's gonna stop, continue or exit, so
1465 * there always is something to wait for.
1466 */
1467 wo->notask_error = 0;
1468 }
Roland McGrath98abed02008-03-19 19:24:59 -07001469
1470 /*
Tejun Heo45cb24a2011-03-23 10:37:01 +01001471 * Wait for stopped. Depending on @ptrace, different stopped state
1472 * is used and the two don't interact with each other.
Roland McGrath98abed02008-03-19 19:24:59 -07001473 */
Tejun Heo19e27462011-05-12 10:47:23 +02001474 ret = wait_task_stopped(wo, ptrace, p);
1475 if (ret)
1476 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001477
Tejun Heo45cb24a2011-03-23 10:37:01 +01001478 /*
1479 * Wait for continued. There's only one continued state and the
1480 * ptracer can consume it which can confuse the real parent. Don't
1481 * use WCONTINUED from ptracer. You don't need or want it.
1482 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001483 return wait_task_continued(wo, p);
Roland McGrath98abed02008-03-19 19:24:59 -07001484}
1485
1486/*
1487 * Do the work of do_wait() for one thread in the group, @tsk.
1488 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001489 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001490 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1491 * Returns zero if the search for a child should continue; then
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001492 * ->notask_error is 0 if there were any eligible children,
Roland McGrath14dd0b82008-03-30 18:41:25 -07001493 * or another error from security_task_wait(), or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001494 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001495static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001496{
1497 struct task_struct *p;
1498
1499 list_for_each_entry(p, &tsk->children, sibling) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001500 int ret = wait_consider_task(wo, 0, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001501
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001502 if (ret)
1503 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001504 }
1505
1506 return 0;
1507}
1508
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001509static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001510{
1511 struct task_struct *p;
1512
Roland McGrathf4700212008-03-24 18:36:23 -07001513 list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001514 int ret = wait_consider_task(wo, 1, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001515
Roland McGrathf4700212008-03-24 18:36:23 -07001516 if (ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001517 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001518 }
1519
1520 return 0;
1521}
1522
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001523static int child_wait_callback(wait_queue_t *wait, unsigned mode,
1524 int sync, void *key)
1525{
1526 struct wait_opts *wo = container_of(wait, struct wait_opts,
1527 child_wait);
1528 struct task_struct *p = key;
1529
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001530 if (!eligible_pid(wo, p))
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001531 return 0;
1532
Oleg Nesterovb4fe5182009-09-23 15:56:47 -07001533 if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
1534 return 0;
1535
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001536 return default_wake_function(wait, mode, sync, key);
1537}
1538
Oleg Nesterova7f07652009-09-23 15:56:44 -07001539void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
1540{
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001541 __wake_up_sync_key(&parent->signal->wait_chldexit,
1542 TASK_INTERRUPTIBLE, 1, p);
Oleg Nesterova7f07652009-09-23 15:56:44 -07001543}
1544
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001545static long do_wait(struct wait_opts *wo)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001546{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001547 struct task_struct *tsk;
Roland McGrath98abed02008-03-19 19:24:59 -07001548 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001549
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001550 trace_sched_process_wait(wo->wo_pid);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -04001551
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001552 init_waitqueue_func_entry(&wo->child_wait, child_wait_callback);
1553 wo->child_wait.private = current;
1554 add_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555repeat:
Roland McGrath98abed02008-03-19 19:24:59 -07001556 /*
Frans Klaver3da56d12015-05-21 22:35:57 +02001557 * If there is nothing that can match our criteria, just get out.
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001558 * We will clear ->notask_error to zero if we see any child that
1559 * might later match our criteria, even if we are not able to reap
1560 * it yet.
Roland McGrath98abed02008-03-19 19:24:59 -07001561 */
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001562 wo->notask_error = -ECHILD;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001563 if ((wo->wo_type < PIDTYPE_MAX) &&
1564 (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001565 goto notask;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001566
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001567 set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001568 read_lock(&tasklist_lock);
1569 tsk = current;
1570 do {
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001571 retval = do_wait_thread(wo, tsk);
1572 if (retval)
Roland McGrath98abed02008-03-19 19:24:59 -07001573 goto end;
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001574
1575 retval = ptrace_do_wait(wo, tsk);
1576 if (retval)
1577 goto end;
Roland McGrath98abed02008-03-19 19:24:59 -07001578
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001579 if (wo->wo_flags & __WNOTHREAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001580 break;
Oleg Nesterova3f6dfb2009-06-17 16:27:41 -07001581 } while_each_thread(current, tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001582 read_unlock(&tasklist_lock);
Oleg Nesterovf2cc3eb2008-02-08 04:19:06 -08001583
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001584notask:
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001585 retval = wo->notask_error;
1586 if (!retval && !(wo->wo_flags & WNOHANG)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001587 retval = -ERESTARTSYS;
Roland McGrath98abed02008-03-19 19:24:59 -07001588 if (!signal_pending(current)) {
1589 schedule();
1590 goto repeat;
1591 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001592 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001593end:
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001594 __set_current_state(TASK_RUNNING);
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001595 remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001596 return retval;
1597}
1598
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001599SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
1600 infop, int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001601{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001602 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001603 struct pid *pid = NULL;
1604 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001605 long ret;
1606
Oleg Nesterov91c4e8e2016-05-23 16:23:53 -07001607 if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
1608 __WNOTHREAD|__WCLONE|__WALL))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001609 return -EINVAL;
1610 if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
1611 return -EINVAL;
1612
1613 switch (which) {
1614 case P_ALL:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001615 type = PIDTYPE_MAX;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001616 break;
1617 case P_PID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001618 type = PIDTYPE_PID;
1619 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001620 return -EINVAL;
1621 break;
1622 case P_PGID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001623 type = PIDTYPE_PGID;
1624 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001625 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001626 break;
1627 default:
1628 return -EINVAL;
1629 }
1630
Eric W. Biederman161550d2008-02-08 04:19:14 -08001631 if (type < PIDTYPE_MAX)
1632 pid = find_get_pid(upid);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001633
1634 wo.wo_type = type;
1635 wo.wo_pid = pid;
1636 wo.wo_flags = options;
1637 wo.wo_info = infop;
1638 wo.wo_stat = NULL;
1639 wo.wo_rusage = ru;
1640 ret = do_wait(&wo);
Vitaly Mayatskikhdfe16df2009-09-23 15:56:51 -07001641
1642 if (ret > 0) {
1643 ret = 0;
1644 } else if (infop) {
1645 /*
1646 * For a WNOHANG return, clear out all the fields
1647 * we would set so the user can easily tell the
1648 * difference.
1649 */
1650 if (!ret)
1651 ret = put_user(0, &infop->si_signo);
1652 if (!ret)
1653 ret = put_user(0, &infop->si_errno);
1654 if (!ret)
1655 ret = put_user(0, &infop->si_code);
1656 if (!ret)
1657 ret = put_user(0, &infop->si_pid);
1658 if (!ret)
1659 ret = put_user(0, &infop->si_uid);
1660 if (!ret)
1661 ret = put_user(0, &infop->si_status);
1662 }
1663
Eric W. Biederman161550d2008-02-08 04:19:14 -08001664 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001665 return ret;
1666}
1667
Heiko Carstens754fe8d2009-01-14 14:14:09 +01001668SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
1669 int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001670{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001671 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001672 struct pid *pid = NULL;
1673 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001674 long ret;
1675
1676 if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
1677 __WNOTHREAD|__WCLONE|__WALL))
1678 return -EINVAL;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001679
zhongjiang04103c22017-07-10 15:53:01 -07001680 /* -INT_MIN is not defined */
1681 if (upid == INT_MIN)
1682 return -ESRCH;
1683
Eric W. Biederman161550d2008-02-08 04:19:14 -08001684 if (upid == -1)
1685 type = PIDTYPE_MAX;
1686 else if (upid < 0) {
1687 type = PIDTYPE_PGID;
1688 pid = find_get_pid(-upid);
1689 } else if (upid == 0) {
1690 type = PIDTYPE_PGID;
Oleg Nesterov2ae448e2009-04-02 16:58:36 -07001691 pid = get_task_pid(current, PIDTYPE_PGID);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001692 } else /* upid > 0 */ {
1693 type = PIDTYPE_PID;
1694 pid = find_get_pid(upid);
1695 }
1696
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001697 wo.wo_type = type;
1698 wo.wo_pid = pid;
1699 wo.wo_flags = options | WEXITED;
1700 wo.wo_info = NULL;
1701 wo.wo_stat = stat_addr;
1702 wo.wo_rusage = ru;
1703 ret = do_wait(&wo);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001704 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001705
Linus Torvalds1da177e2005-04-16 15:20:36 -07001706 return ret;
1707}
1708
1709#ifdef __ARCH_WANT_SYS_WAITPID
1710
1711/*
1712 * sys_waitpid() remains for compatibility. waitpid() should be
1713 * implemented by calling sys_wait4() from libc.a.
1714 */
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001715SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001716{
1717 return sys_wait4(pid, stat_addr, options, NULL);
1718}
1719
1720#endif