blob: e126ebf2400c221adfb8a73508d883ec9accd63d [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>
Ingo Molnar4eb5aaa2017-02-08 18:51:29 +01009#include <linux/sched/autogroup.h>
Ingo Molnar6e84f312017-02-08 18:51:29 +010010#include <linux/sched/mm.h>
Ingo Molnar03441a32017-02-08 18:51:35 +010011#include <linux/sched/stat.h>
Ingo Molnar29930022017-02-08 18:51:36 +010012#include <linux/sched/task.h>
Ingo Molnar68db0cf2017-02-08 18:51:37 +010013#include <linux/sched/task_stack.h>
Ingo Molnar32ef5512017-02-05 11:48:36 +010014#include <linux/sched/cputime.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/interrupt.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/module.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080017#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include <linux/completion.h>
19#include <linux/personality.h>
20#include <linux/tty.h>
Jens Axboeda9cbc82008-06-30 20:42:08 +020021#include <linux/iocontext.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include <linux/key.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023#include <linux/cpu.h>
24#include <linux/acct.h>
Jay Lan8f0ab512006-09-30 23:28:59 -070025#include <linux/tsacct_kern.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <linux/file.h>
Al Viro9f3acc32008-04-24 07:44:08 -040027#include <linux/fdtable.h>
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -080028#include <linux/freezer.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070029#include <linux/binfmts.h>
Serge E. Hallynab516012006-10-02 02:18:06 -070030#include <linux/nsproxy.h>
Sukadev Bhattiprolu84d73782006-12-08 02:38:01 -080031#include <linux/pid_namespace.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070032#include <linux/ptrace.h>
33#include <linux/profile.h>
34#include <linux/mount.h>
35#include <linux/proc_fs.h>
Eric W. Biederman49d769d2007-05-09 02:34:33 -070036#include <linux/kthread.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070037#include <linux/mempolicy.h>
Shailabh Nagarc7572492006-07-14 00:24:40 -070038#include <linux/taskstats_kern.h>
Shailabh Nagarca74e922006-07-14 00:24:36 -070039#include <linux/delayacct.h>
Paul Menageb4f48b62007-10-18 23:39:33 -070040#include <linux/cgroup.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070041#include <linux/syscalls.h>
Jesper Juhl7ed20e12005-05-01 08:59:14 -070042#include <linux/signal.h>
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080043#include <linux/posix-timers.h>
Matt Helsley9f460802005-11-07 00:59:16 -080044#include <linux/cn_proc.h>
Ingo Molnarde5097c2006-01-09 15:59:21 -080045#include <linux/mutex.h>
Ingo Molnar0771dfe2006-03-27 01:16:22 -080046#include <linux/futex.h>
Jens Axboeb92ce552006-04-11 13:52:07 +020047#include <linux/pipe_fs_i.h>
Al Virofa84cb92006-03-29 20:30:19 -050048#include <linux/audit.h> /* for audit_free() */
Adrian Bunk83cc5ed2006-06-25 05:47:41 -070049#include <linux/resource.h>
David Howells0d67a462006-08-29 19:05:56 +010050#include <linux/blkdev.h>
Eric Dumazet6eaeeab2007-05-10 22:22:37 -070051#include <linux/task_io_accounting_ops.h>
Roland McGrath30199f52008-07-25 19:45:46 -070052#include <linux/tracehook.h>
Al Viro5ad4e532009-03-29 19:50:06 -040053#include <linux/fs_struct.h>
Mike Rapoportca49ca72017-02-24 14:58:25 -080054#include <linux/userfaultfd_k.h>
David Howellsd84f4f92008-11-14 10:39:23 +110055#include <linux/init_task.h>
Ingo Molnarcdd6c482009-09-21 12:02:48 +020056#include <linux/perf_event.h>
Steven Rostedtad8d75f2009-04-14 19:39:12 -040057#include <trace/events/sched.h>
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +020058#include <linux/hw_breakpoint.h>
Ying Han3d5992d2010-10-26 14:21:23 -070059#include <linux/oom.h>
Wu Fengguang54848d72011-04-05 13:21:19 -060060#include <linux/writeback.h>
Al Viro40401532012-02-13 03:58:52 +000061#include <linux/shm.h>
Dmitry Vyukov5c9a8752016-03-22 14:27:30 -070062#include <linux/kcov.h>
Nicolas Pitre53d3eaa2016-11-11 00:10:09 -050063#include <linux/random.h>
Davidlohr Bueso8f95c902017-01-11 07:22:25 -080064#include <linux/rcuwait.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070065
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080066#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070067#include <asm/unistd.h>
68#include <asm/pgtable.h>
69#include <asm/mmu_context.h>
70
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070071static void __unhash_process(struct task_struct *p, bool group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -070072{
73 nr_threads--;
Oleg Nesterov50d75f82012-06-20 12:53:04 -070074 detach_pid(p, PIDTYPE_PID);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070075 if (group_dead) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070076 detach_pid(p, PIDTYPE_PGID);
77 detach_pid(p, PIDTYPE_SID);
Oleg Nesterovc97d9892006-03-28 16:11:06 -080078
Eric W. Biederman5e85d4a2006-04-18 22:20:16 -070079 list_del_rcu(&p->tasks);
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -080080 list_del_init(&p->sibling);
Christoph Lameter909ea962010-12-08 16:22:55 +010081 __this_cpu_dec(process_counts);
Linus Torvalds1da177e2005-04-16 15:20:36 -070082 }
Oleg Nesterov47e65322006-03-28 16:11:25 -080083 list_del_rcu(&p->thread_group);
Oleg Nesterov0c740d02014-01-21 15:49:56 -080084 list_del_rcu(&p->thread_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -070085}
86
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080087/*
88 * This function expects the tasklist_lock write-locked.
89 */
90static void __exit_signal(struct task_struct *tsk)
91{
92 struct signal_struct *sig = tsk->signal;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070093 bool group_dead = thread_group_leader(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080094 struct sighand_struct *sighand;
Oleg Nesterov4ada8562010-05-26 14:43:17 -070095 struct tty_struct *uninitialized_var(tty);
Frederic Weisbecker5613fda2017-01-31 04:09:23 +010096 u64 utime, stime;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080097
Paul E. McKenneyd11c5632010-02-22 17:04:50 -080098 sighand = rcu_dereference_check(tsk->sighand,
Paul E. McKenneydb1466b2010-03-03 07:46:56 -080099 lockdep_tasklist_lock_is_held());
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800100 spin_lock(&sighand->siglock);
101
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500102#ifdef CONFIG_POSIX_TIMERS
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800103 posix_cpu_timers_exit(tsk);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700104 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800105 posix_cpu_timers_exit_group(tsk);
Oleg Nesterov4a599942010-05-26 14:43:12 -0700106 } else {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800107 /*
Oleg Nesterove0a70212010-11-05 16:53:42 +0100108 * This can only happen if the caller is de_thread().
109 * FIXME: this is the temporary hack, we should teach
110 * posix-cpu-timers to handle this case correctly.
111 */
112 if (unlikely(has_group_leader_pid(tsk)))
113 posix_cpu_timers_exit_group(tsk);
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500114 }
115#endif
Oleg Nesterove0a70212010-11-05 16:53:42 +0100116
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500117 if (group_dead) {
118 tty = sig->tty;
119 sig->tty = NULL;
120 } else {
Oleg Nesterove0a70212010-11-05 16:53:42 +0100121 /*
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800122 * If there is any task waiting for the group exit
123 * then notify it:
124 */
Oleg Nesterovd3441932010-05-26 14:43:11 -0700125 if (sig->notify_count > 0 && !--sig->notify_count)
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800126 wake_up_process(sig->group_exit_task);
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700127
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800128 if (tsk == sig->curr_target)
129 sig->curr_target = next_thread(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800130 }
131
Nicolas Pitre53d3eaa2016-11-11 00:10:09 -0500132 add_device_randomness((const void*) &tsk->se.sum_exec_runtime,
133 sizeof(unsigned long long));
134
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400135 /*
Oleg Nesterov26e75b52014-12-10 15:54:54 -0800136 * Accumulate here the counters for all threads as they die. We could
137 * skip the group leader because it is the last user of signal_struct,
138 * but we want to avoid the race with thread_group_cputime() which can
139 * see the empty ->thread_head list.
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400140 */
141 task_cputime(tsk, &utime, &stime);
Rik van Riele78c3492014-08-16 13:40:10 -0400142 write_seqlock(&sig->stats_lock);
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400143 sig->utime += utime;
144 sig->stime += stime;
145 sig->gtime += task_gtime(tsk);
146 sig->min_flt += tsk->min_flt;
147 sig->maj_flt += tsk->maj_flt;
148 sig->nvcsw += tsk->nvcsw;
149 sig->nivcsw += tsk->nivcsw;
150 sig->inblock += task_io_get_inblock(tsk);
151 sig->oublock += task_io_get_oublock(tsk);
152 task_io_accounting_add(&sig->ioac, &tsk->ioac);
153 sig->sum_sched_runtime += tsk->se.sum_exec_runtime;
Oleg Nesterovb3ac0222010-05-26 14:43:24 -0700154 sig->nr_threads--;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700155 __unhash_process(tsk, group_dead);
Rik van Riele78c3492014-08-16 13:40:10 -0400156 write_sequnlock(&sig->stats_lock);
Oleg Nesterov58767002006-03-28 16:11:20 -0800157
Oleg Nesterovda7978b2008-05-23 13:04:41 -0700158 /*
159 * Do this under ->siglock, we can race with another thread
160 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
161 */
162 flush_sigqueue(&tsk->pending);
Oleg Nesterova7e53282006-03-28 16:11:27 -0800163 tsk->sighand = NULL;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800164 spin_unlock(&sighand->siglock);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800165
Oleg Nesterova7e53282006-03-28 16:11:27 -0800166 __cleanup_sighand(sighand);
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700167 clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700168 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800169 flush_sigqueue(&sig->shared_pending);
Oleg Nesterov4ada8562010-05-26 14:43:17 -0700170 tty_kref_put(tty);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800171 }
172}
173
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800174static void delayed_put_task_struct(struct rcu_head *rhp)
175{
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400176 struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);
177
Peter Zijlstra4e231c72010-09-09 21:01:59 +0200178 perf_event_delayed_put(tsk);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400179 trace_sched_process_free(tsk);
180 put_task_struct(tsk);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800181}
182
Roland McGrathf4700212008-03-24 18:36:23 -0700183
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700184void release_task(struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700185{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700186 struct task_struct *leader;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700187 int zap_leader;
Oleg Nesterov1f09f972006-03-28 16:11:11 -0800188repeat:
David Howellsc69e8d92008-11-14 10:39:19 +1100189 /* don't need to get the RCU readlock here - the process is dead and
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800190 * can't be modifying its own credentials. But shut RCU-lockdep up */
191 rcu_read_lock();
David Howellsc69e8d92008-11-14 10:39:19 +1100192 atomic_dec(&__task_cred(p)->user->processes);
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800193 rcu_read_unlock();
David Howellsc69e8d92008-11-14 10:39:19 +1100194
Pavel Emelyanov60347f62007-10-18 23:40:03 -0700195 proc_flush_task(p);
Ingo Molnar02030262009-05-17 11:24:08 +0200196
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197 write_lock_irq(&tasklist_lock);
Tejun Heoa288eec2011-06-17 16:50:37 +0200198 ptrace_release_task(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700199 __exit_signal(p);
Oleg Nesterov35f5cad2006-03-28 16:11:19 -0800200
Linus Torvalds1da177e2005-04-16 15:20:36 -0700201 /*
202 * If we are the last non-leader member of the thread
203 * group, and the leader is zombie, then notify the
204 * group leader's parent process. (if it wants notification.)
205 */
206 zap_leader = 0;
207 leader = p->group_leader;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700208 if (leader != p && thread_group_empty(leader)
209 && leader->exit_state == EXIT_ZOMBIE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210 /*
211 * If we were the last child thread and the leader has
212 * exited already, and the leader's parent ignores SIGCHLD,
213 * then we are the one who should release the leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700214 */
Oleg Nesterov86773472011-06-22 23:09:09 +0200215 zap_leader = do_notify_parent(leader, leader->exit_signal);
Roland McGrathdae33572008-07-25 19:45:48 -0700216 if (zap_leader)
217 leader->exit_state = EXIT_DEAD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218 }
219
Linus Torvalds1da177e2005-04-16 15:20:36 -0700220 write_unlock_irq(&tasklist_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 release_thread(p);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800222 call_rcu(&p->rcu, delayed_put_task_struct);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223
224 p = leader;
225 if (unlikely(zap_leader))
226 goto repeat;
227}
228
Linus Torvalds1da177e2005-04-16 15:20:36 -0700229/*
Oleg Nesterov150593b2016-05-18 19:02:18 +0200230 * Note that if this function returns a valid task_struct pointer (!NULL)
231 * task->usage must remain >0 for the duration of the RCU critical section.
232 */
233struct task_struct *task_rcu_dereference(struct task_struct **ptask)
234{
235 struct sighand_struct *sighand;
236 struct task_struct *task;
237
238 /*
239 * We need to verify that release_task() was not called and thus
240 * delayed_put_task_struct() can't run and drop the last reference
241 * before rcu_read_unlock(). We check task->sighand != NULL,
242 * but we can read the already freed and reused memory.
243 */
244retry:
245 task = rcu_dereference(*ptask);
246 if (!task)
247 return NULL;
248
249 probe_kernel_address(&task->sighand, sighand);
250
251 /*
252 * Pairs with atomic_dec_and_test() in put_task_struct(). If this task
253 * was already freed we can not miss the preceding update of this
254 * pointer.
255 */
256 smp_rmb();
257 if (unlikely(task != READ_ONCE(*ptask)))
258 goto retry;
259
260 /*
261 * We've re-checked that "task == *ptask", now we have two different
262 * cases:
263 *
264 * 1. This is actually the same task/task_struct. In this case
265 * sighand != NULL tells us it is still alive.
266 *
267 * 2. This is another task which got the same memory for task_struct.
268 * We can't know this of course, and we can not trust
269 * sighand != NULL.
270 *
271 * In this case we actually return a random value, but this is
272 * correct.
273 *
274 * If we return NULL - we can pretend that we actually noticed that
275 * *ptask was updated when the previous task has exited. Or pretend
276 * that probe_slab_address(&sighand) reads NULL.
277 *
278 * If we return the new task (because sighand is not NULL for any
279 * reason) - this is fine too. This (new) task can't go away before
280 * another gp pass.
281 *
282 * And note: We could even eliminate the false positive if re-read
283 * task->sighand once again to avoid the falsely NULL. But this case
284 * is very unlikely so we don't care.
285 */
286 if (!sighand)
287 return NULL;
288
289 return task;
290}
291
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800292void rcuwait_wake_up(struct rcuwait *w)
293{
294 struct task_struct *task;
295
296 rcu_read_lock();
297
298 /*
299 * Order condition vs @task, such that everything prior to the load
300 * of @task is visible. This is the condition as to why the user called
301 * rcuwait_trywake() in the first place. Pairs with set_current_state()
302 * barrier (A) in rcuwait_wait_event().
303 *
304 * WAIT WAKE
305 * [S] tsk = current [S] cond = true
306 * MB (A) MB (B)
307 * [L] cond [L] tsk
308 */
309 smp_rmb(); /* (B) */
310
311 /*
312 * Avoid using task_rcu_dereference() magic as long as we are careful,
313 * see comment in rcuwait_wait_event() regarding ->exit_state.
314 */
315 task = rcu_dereference(w->task);
316 if (task)
317 wake_up_process(task);
318 rcu_read_unlock();
319}
320
Oleg Nesterov150593b2016-05-18 19:02:18 +0200321struct task_struct *try_get_task_struct(struct task_struct **ptask)
322{
323 struct task_struct *task;
324
325 rcu_read_lock();
326 task = task_rcu_dereference(ptask);
327 if (task)
328 get_task_struct(task);
329 rcu_read_unlock();
330
331 return task;
332}
333
334/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335 * Determine if a process group is "orphaned", according to the POSIX
336 * definition in 2.2.2.52. Orphaned process groups are not to be affected
337 * by terminal-generated stop signals. Newly orphaned process groups are
338 * to receive a SIGHUP and a SIGCONT.
339 *
340 * "I ask you, have you ever known what it is to be an orphan?"
341 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700342static int will_become_orphaned_pgrp(struct pid *pgrp,
343 struct task_struct *ignored_task)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344{
345 struct task_struct *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700346
Eric W. Biederman0475ac082007-02-12 00:52:57 -0800347 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300348 if ((p == ignored_task) ||
349 (p->exit_state && thread_group_empty(p)) ||
350 is_global_init(p->real_parent))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700351 continue;
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300352
Eric W. Biederman0475ac082007-02-12 00:52:57 -0800353 if (task_pgrp(p->real_parent) != pgrp &&
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300354 task_session(p->real_parent) == task_session(p))
355 return 0;
Eric W. Biederman0475ac082007-02-12 00:52:57 -0800356 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300357
358 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359}
360
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800361int is_current_pgrp_orphaned(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362{
363 int retval;
364
365 read_lock(&tasklist_lock);
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800366 retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700367 read_unlock(&tasklist_lock);
368
369 return retval;
370}
371
Oleg Nesterov961c4672011-07-07 21:33:54 +0200372static bool has_stopped_jobs(struct pid *pgrp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374 struct task_struct *p;
375
Eric W. Biederman0475ac082007-02-12 00:52:57 -0800376 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov961c4672011-07-07 21:33:54 +0200377 if (p->signal->flags & SIGNAL_STOP_STOPPED)
378 return true;
Eric W. Biederman0475ac082007-02-12 00:52:57 -0800379 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov961c4672011-07-07 21:33:54 +0200380
381 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700382}
383
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300384/*
385 * Check to see if any process groups have become orphaned as
386 * a result of our exiting, and if they have any stopped jobs,
387 * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
388 */
389static void
390kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent)
391{
392 struct pid *pgrp = task_pgrp(tsk);
393 struct task_struct *ignored_task = tsk;
394
395 if (!parent)
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700396 /* exit: our father is in a different pgrp than
397 * we are and we were the only connection outside.
398 */
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300399 parent = tsk->real_parent;
400 else
401 /* reparent: our child is in a different pgrp than
402 * we are, and it was the only connection outside.
403 */
404 ignored_task = NULL;
405
406 if (task_pgrp(parent) != pgrp &&
407 task_session(parent) == task_session(tsk) &&
408 will_become_orphaned_pgrp(pgrp, ignored_task) &&
409 has_stopped_jobs(pgrp)) {
410 __kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp);
411 __kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp);
412 }
413}
414
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700415#ifdef CONFIG_MEMCG
Balbir Singhcf475ad22008-04-29 01:00:16 -0700416/*
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700417 * A task is exiting. If it owned this mm, find a new owner for the mm.
Balbir Singhcf475ad22008-04-29 01:00:16 -0700418 */
Balbir Singhcf475ad22008-04-29 01:00:16 -0700419void mm_update_next_owner(struct mm_struct *mm)
420{
421 struct task_struct *c, *g, *p = current;
422
423retry:
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700424 /*
425 * If the exiting or execing task is not the owner, it's
426 * someone else's problem.
427 */
428 if (mm->owner != p)
Balbir Singhcf475ad22008-04-29 01:00:16 -0700429 return;
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700430 /*
431 * The current owner is exiting/execing and there are no other
432 * candidates. Do not leave the mm pointing to a possibly
433 * freed task structure.
434 */
435 if (atomic_read(&mm->mm_users) <= 1) {
436 mm->owner = NULL;
437 return;
438 }
Balbir Singhcf475ad22008-04-29 01:00:16 -0700439
440 read_lock(&tasklist_lock);
441 /*
442 * Search in the children
443 */
444 list_for_each_entry(c, &p->children, sibling) {
445 if (c->mm == mm)
446 goto assign_new_owner;
447 }
448
449 /*
450 * Search in the siblings
451 */
Oleg Nesterovdea33cf2009-06-17 16:27:29 -0700452 list_for_each_entry(c, &p->real_parent->children, sibling) {
Balbir Singhcf475ad22008-04-29 01:00:16 -0700453 if (c->mm == mm)
454 goto assign_new_owner;
455 }
456
457 /*
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700458 * Search through everything else, we should not get here often.
Balbir Singhcf475ad22008-04-29 01:00:16 -0700459 */
Oleg Nesterov39af1762014-06-04 16:07:54 -0700460 for_each_process(g) {
461 if (g->flags & PF_KTHREAD)
462 continue;
463 for_each_thread(g, c) {
464 if (c->mm == mm)
465 goto assign_new_owner;
466 if (c->mm)
467 break;
468 }
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700469 }
Balbir Singhcf475ad22008-04-29 01:00:16 -0700470 read_unlock(&tasklist_lock);
Balbir Singh31a78f22008-09-28 23:09:31 +0100471 /*
472 * We found no owner yet mm_users > 1: this implies that we are
473 * most likely racing with swapoff (try_to_unuse()) or /proc or
Hugh Dickinse5991372009-01-06 14:39:22 -0800474 * ptrace or page migration (get_task_mm()). Mark owner as NULL.
Balbir Singh31a78f22008-09-28 23:09:31 +0100475 */
Balbir Singh31a78f22008-09-28 23:09:31 +0100476 mm->owner = NULL;
Balbir Singhcf475ad22008-04-29 01:00:16 -0700477 return;
478
479assign_new_owner:
480 BUG_ON(c == p);
481 get_task_struct(c);
482 /*
483 * The task_lock protects c->mm from changing.
484 * We always want mm->owner->mm == mm
485 */
486 task_lock(c);
Hugh Dickinse5991372009-01-06 14:39:22 -0800487 /*
488 * Delay read_unlock() till we have the task_lock()
489 * to ensure that c does not slip away underneath us
490 */
491 read_unlock(&tasklist_lock);
Balbir Singhcf475ad22008-04-29 01:00:16 -0700492 if (c->mm != mm) {
493 task_unlock(c);
494 put_task_struct(c);
495 goto retry;
496 }
Balbir Singhcf475ad22008-04-29 01:00:16 -0700497 mm->owner = c;
498 task_unlock(c);
499 put_task_struct(c);
500}
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700501#endif /* CONFIG_MEMCG */
Balbir Singhcf475ad22008-04-29 01:00:16 -0700502
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503/*
504 * Turn us into a lazy TLB process if we
505 * aren't already..
506 */
Davidlohr Bueso00399622017-01-03 13:43:11 -0800507static void exit_mm(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508{
Davidlohr Bueso00399622017-01-03 13:43:11 -0800509 struct mm_struct *mm = current->mm;
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700510 struct core_state *core_state;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700511
Davidlohr Bueso00399622017-01-03 13:43:11 -0800512 mm_release(current, mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700513 if (!mm)
514 return;
Konstantin Khlebnikov4fe7efd2012-06-20 12:53:01 -0700515 sync_mm_rss(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516 /*
517 * Serialize with any possible pending coredump.
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700518 * We must hold mmap_sem around checking core_state
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519 * and clearing tsk->mm. The core-inducing thread
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700520 * will increment ->nr_threads for each thread in the
Linus Torvalds1da177e2005-04-16 15:20:36 -0700521 * group with ->mm != NULL.
522 */
523 down_read(&mm->mmap_sem);
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700524 core_state = mm->core_state;
525 if (core_state) {
526 struct core_thread self;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700527
Linus Torvalds1da177e2005-04-16 15:20:36 -0700528 up_read(&mm->mmap_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529
Davidlohr Bueso00399622017-01-03 13:43:11 -0800530 self.task = current;
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700531 self.next = xchg(&core_state->dumper.next, &self);
532 /*
533 * Implies mb(), the result of xchg() must be visible
534 * to core_state->dumper.
535 */
536 if (atomic_dec_and_test(&core_state->nr_threads))
537 complete(&core_state->startup);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700539 for (;;) {
Davidlohr Bueso642fa442017-01-03 13:43:14 -0800540 set_current_state(TASK_UNINTERRUPTIBLE);
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700541 if (!self.task) /* see coredump_finish() */
542 break;
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -0800543 freezable_schedule();
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700544 }
Davidlohr Bueso642fa442017-01-03 13:43:14 -0800545 __set_current_state(TASK_RUNNING);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700546 down_read(&mm->mmap_sem);
547 }
Vegard Nossumf1f10072017-02-27 14:30:07 -0800548 mmgrab(mm);
Davidlohr Bueso00399622017-01-03 13:43:11 -0800549 BUG_ON(mm != current->active_mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550 /* more a memory barrier than a real lock */
Davidlohr Bueso00399622017-01-03 13:43:11 -0800551 task_lock(current);
552 current->mm = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700553 up_read(&mm->mmap_sem);
554 enter_lazy_tlb(mm, current);
Davidlohr Bueso00399622017-01-03 13:43:11 -0800555 task_unlock(current);
Balbir Singhcf475ad22008-04-29 01:00:16 -0700556 mm_update_next_owner(mm);
Mike Rapoportca49ca72017-02-24 14:58:25 -0800557 userfaultfd_exit(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700558 mmput(mm);
Michal Hockoc32b3cb2015-02-11 15:26:24 -0800559 if (test_thread_flag(TIF_MEMDIE))
Tetsuo Handa38531202016-10-07 16:59:03 -0700560 exit_oom_victim();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700561}
562
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800563static struct task_struct *find_alive_thread(struct task_struct *p)
564{
565 struct task_struct *t;
566
567 for_each_thread(p, t) {
568 if (!(t->flags & PF_EXITING))
569 return t;
570 }
571 return NULL;
572}
573
Oleg Nesterov11099092014-12-10 15:55:11 -0800574static struct task_struct *find_child_reaper(struct task_struct *father)
575 __releases(&tasklist_lock)
576 __acquires(&tasklist_lock)
577{
578 struct pid_namespace *pid_ns = task_active_pid_ns(father);
579 struct task_struct *reaper = pid_ns->child_reaper;
580
581 if (likely(reaper != father))
582 return reaper;
583
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800584 reaper = find_alive_thread(father);
585 if (reaper) {
Oleg Nesterov11099092014-12-10 15:55:11 -0800586 pid_ns->child_reaper = reaper;
587 return reaper;
588 }
589
590 write_unlock_irq(&tasklist_lock);
591 if (unlikely(pid_ns == &init_pid_ns)) {
592 panic("Attempted to kill init! exitcode=0x%08x\n",
593 father->signal->group_exit_code ?: father->exit_code);
594 }
595 zap_pid_ns_processes(pid_ns);
596 write_lock_irq(&tasklist_lock);
597
598 return father;
599}
600
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601/*
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700602 * When we die, we re-parent all our children, and try to:
603 * 1. give them to another thread in our thread group, if such a member exists
604 * 2. give it to the first ancestor process which prctl'd itself as a
605 * child_subreaper for its children (like a service manager)
606 * 3. give it to the init process (PID 1) in our pid namespace
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607 */
Oleg Nesterov11099092014-12-10 15:55:11 -0800608static struct task_struct *find_new_reaper(struct task_struct *father,
609 struct task_struct *child_reaper)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610{
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800611 struct task_struct *thread, *reaper;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700612
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800613 thread = find_alive_thread(father);
614 if (thread)
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700615 return thread;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700616
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800617 if (father->signal->has_child_subreaper) {
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100618 unsigned int ns_level = task_pid(father)->level;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700619 /*
Oleg Nesterov175aed32014-12-10 15:55:08 -0800620 * Find the first ->is_child_subreaper ancestor in our pid_ns.
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100621 * We can't check reaper != child_reaper to ensure we do not
622 * cross the namespaces, the exiting parent could be injected
623 * by setns() + fork().
624 * We check pid->level, this is slightly more efficient than
625 * task_active_pid_ns(reaper) != task_active_pid_ns(father).
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700626 */
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100627 for (reaper = father->real_parent;
628 task_pid(reaper)->level == ns_level;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700629 reaper = reaper->real_parent) {
Oleg Nesterov175aed32014-12-10 15:55:08 -0800630 if (reaper == &init_task)
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700631 break;
632 if (!reaper->signal->is_child_subreaper)
633 continue;
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800634 thread = find_alive_thread(reaper);
635 if (thread)
636 return thread;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700637 }
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700638 }
639
Oleg Nesterov11099092014-12-10 15:55:11 -0800640 return child_reaper;
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700641}
642
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700643/*
644* Any that need to be release_task'd are put on the @dead list.
645 */
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800646static void reparent_leader(struct task_struct *father, struct task_struct *p,
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700647 struct list_head *dead)
648{
Oleg Nesterov28310962014-12-10 15:45:30 -0800649 if (unlikely(p->exit_state == EXIT_DEAD))
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700650 return;
651
Oleg Nesterovabd50b32014-04-07 15:38:42 -0700652 /* We don't want people slaying init. */
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700653 p->exit_signal = SIGCHLD;
654
655 /* If it has exited notify the new parent about this child's death. */
Tejun Heod21142e2011-06-17 16:50:34 +0200656 if (!p->ptrace &&
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700657 p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
Oleg Nesterov86773472011-06-22 23:09:09 +0200658 if (do_notify_parent(p, p->exit_signal)) {
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700659 p->exit_state = EXIT_DEAD;
Oleg Nesterovdc2fd4b2014-12-10 15:45:24 -0800660 list_add(&p->ptrace_entry, dead);
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700661 }
662 }
663
664 kill_orphaned_pgrp(p, father);
665}
666
Oleg Nesterov482a3762014-12-10 15:55:20 -0800667/*
668 * This does two things:
669 *
670 * A. Make init inherit all the child processes
671 * B. Check to see if any process groups have become orphaned
672 * as a result of our exiting, and if they have any stopped
673 * jobs, send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
674 */
675static void forget_original_parent(struct task_struct *father,
676 struct list_head *dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700677{
Oleg Nesterov482a3762014-12-10 15:55:20 -0800678 struct task_struct *p, *t, *reaper;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700679
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800680 if (unlikely(!list_empty(&father->ptraced)))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800681 exit_ptrace(father, dead);
Roland McGrathf4700212008-03-24 18:36:23 -0700682
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800683 /* Can drop and reacquire tasklist_lock */
Oleg Nesterov11099092014-12-10 15:55:11 -0800684 reaper = find_child_reaper(father);
Oleg Nesterovad9e2062014-12-10 15:55:17 -0800685 if (list_empty(&father->children))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800686 return;
Oleg Nesterov11099092014-12-10 15:55:11 -0800687
688 reaper = find_new_reaper(father, reaper);
Oleg Nesterov28310962014-12-10 15:45:30 -0800689 list_for_each_entry(p, &father->children, sibling) {
Oleg Nesterov57a05912014-12-10 15:45:27 -0800690 for_each_thread(p, t) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800691 t->real_parent = reaper;
Oleg Nesterov57a05912014-12-10 15:45:27 -0800692 BUG_ON((!t->ptrace) != (t->parent == father));
693 if (likely(!t->ptrace))
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800694 t->parent = t->real_parent;
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800695 if (t->pdeath_signal)
696 group_send_sig_info(t->pdeath_signal,
697 SEND_SIG_NOINFO, t);
Oleg Nesterov57a05912014-12-10 15:45:27 -0800698 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800699 /*
700 * If this is a threaded reparent there is no need to
701 * notify anyone anything has happened.
702 */
703 if (!same_thread_group(reaper, father))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800704 reparent_leader(father, p, dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700705 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800706 list_splice_tail_init(&father->children, &reaper->children);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707}
708
709/*
710 * Send signals to all our closest relatives so that they know
711 * to properly mourn us..
712 */
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300713static void exit_notify(struct task_struct *tsk, int group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714{
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200715 bool autoreap;
Oleg Nesterov482a3762014-12-10 15:55:20 -0800716 struct task_struct *p, *n;
717 LIST_HEAD(dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700718
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700719 write_lock_irq(&tasklist_lock);
Oleg Nesterov482a3762014-12-10 15:55:20 -0800720 forget_original_parent(tsk, &dead);
721
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300722 if (group_dead)
723 kill_orphaned_pgrp(tsk->group_leader, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700724
Oleg Nesterov45cdf5c2011-06-23 19:06:50 +0200725 if (unlikely(tsk->ptrace)) {
726 int sig = thread_group_leader(tsk) &&
727 thread_group_empty(tsk) &&
728 !ptrace_reparented(tsk) ?
729 tsk->exit_signal : SIGCHLD;
730 autoreap = do_notify_parent(tsk, sig);
731 } else if (thread_group_leader(tsk)) {
732 autoreap = thread_group_empty(tsk) &&
733 do_notify_parent(tsk, tsk->exit_signal);
734 } else {
735 autoreap = true;
736 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200738 tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
Oleg Nesterov6c66e7d2014-12-10 15:55:23 -0800739 if (tsk->exit_state == EXIT_DEAD)
740 list_add(&tsk->ptrace_entry, &dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700741
Oleg Nesterov9c3391682010-05-26 14:43:10 -0700742 /* mt-exec, de_thread() is waiting for group leader */
743 if (unlikely(tsk->signal->notify_count < 0))
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700744 wake_up_process(tsk->signal->group_exit_task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700745 write_unlock_irq(&tasklist_lock);
746
Oleg Nesterov482a3762014-12-10 15:55:20 -0800747 list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
748 list_del_init(&p->ptrace_entry);
749 release_task(p);
750 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751}
752
Jeff Dikee18eecb2007-07-15 23:38:48 -0700753#ifdef CONFIG_DEBUG_STACK_USAGE
754static void check_stack_usage(void)
755{
756 static DEFINE_SPINLOCK(low_water_lock);
757 static int lowest_to_date = THREAD_SIZE;
Jeff Dikee18eecb2007-07-15 23:38:48 -0700758 unsigned long free;
759
Eric Sandeen7c9f8862008-04-22 16:38:23 -0500760 free = stack_not_used(current);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700761
762 if (free >= lowest_to_date)
763 return;
764
765 spin_lock(&low_water_lock);
766 if (free < lowest_to_date) {
Anton Blanchard627393d2016-08-02 14:05:40 -0700767 pr_info("%s (%d) used greatest stack depth: %lu bytes left\n",
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700768 current->comm, task_pid_nr(current), free);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700769 lowest_to_date = free;
770 }
771 spin_unlock(&low_water_lock);
772}
773#else
774static inline void check_stack_usage(void) {}
775#endif
776
Peter Zijlstra9af65282016-09-13 18:37:29 +0200777void __noreturn do_exit(long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700778{
779 struct task_struct *tsk = current;
780 int group_dead;
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700781 TASKS_RCU(int tasks_rcu_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700782
783 profile_task_exit(tsk);
Dmitry Vyukov5c9a8752016-03-22 14:27:30 -0700784 kcov_task_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700785
Jens Axboe73c10102011-03-08 13:19:51 +0100786 WARN_ON(blk_needs_flush_plug(tsk));
Jens Axboe22e2c502005-06-27 10:55:12 +0200787
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788 if (unlikely(in_interrupt()))
789 panic("Aiee, killing interrupt handler!");
790 if (unlikely(!tsk->pid))
791 panic("Attempted to kill the idle task!");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700792
Nelson Elhage33dd94a2010-12-02 14:31:21 -0800793 /*
794 * If do_exit is called because this processes oopsed, it's possible
795 * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before
796 * continuing. Amongst other possible reasons, this is to prevent
797 * mm_release()->clear_child_tid() from writing to a user-controlled
798 * kernel address.
799 */
800 set_fs(USER_DS);
801
Tejun Heoa288eec2011-06-17 16:50:37 +0200802 ptrace_event(PTRACE_EVENT_EXIT, code);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700803
David Howellse0e81732009-09-02 09:13:40 +0100804 validate_creds_for_do_exit(tsk);
805
Alexander Nybergdf164db2005-06-23 00:09:13 -0700806 /*
807 * We're taking recursive faults here in do_exit. Safest is to just
808 * leave this task alone and wait for reboot.
809 */
810 if (unlikely(tsk->flags & PF_EXITING)) {
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700811 pr_alert("Fixing recursive fault but reboot is needed!\n");
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700812 /*
813 * We can do this unlocked here. The futex code uses
814 * this flag just to verify whether the pi state
815 * cleanup has been done or not. In the worst case it
816 * loops once more. We pretend that the cleanup was
817 * done as there is no way to return. Either the
818 * OWNER_DIED bit is set by now or we push the blocked
819 * task into the wait for ever nirwana as well.
820 */
821 tsk->flags |= PF_EXITPIDONE;
Alexander Nybergdf164db2005-06-23 00:09:13 -0700822 set_current_state(TASK_UNINTERRUPTIBLE);
823 schedule();
824 }
825
Oleg Nesterovd12619b2008-02-08 04:19:12 -0800826 exit_signals(tsk); /* sets PF_EXITING */
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700827 /*
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200828 * Ensure that all new tsk->pi_lock acquisitions must observe
829 * PF_EXITING. Serializes against futex.c:attach_to_pi_owner().
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700830 */
Oleg Nesterovd2ee7192007-10-16 23:26:47 -0700831 smp_mb();
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200832 /*
833 * Ensure that we must observe the pi_state in exit_mm() ->
834 * mm_release() -> exit_pi_state_list().
835 */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100836 raw_spin_unlock_wait(&tsk->pi_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700837
Peter Zijlstra1dc0fff2015-09-28 17:57:39 +0200838 if (unlikely(in_atomic())) {
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700839 pr_info("note: %s[%d] exited with preempt_count %d\n",
840 current->comm, task_pid_nr(current),
841 preempt_count());
Peter Zijlstra1dc0fff2015-09-28 17:57:39 +0200842 preempt_count_set(PREEMPT_ENABLED);
843 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700844
Linus Torvalds48d212a2012-06-07 17:54:07 -0700845 /* sync mm's RSS info before statistics gathering */
846 if (tsk->mm)
847 sync_mm_rss(tsk->mm);
Rik van Riel51229b42015-06-25 15:03:56 -0700848 acct_update_integrals(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849 group_dead = atomic_dec_and_test(&tsk->signal->live);
Andrew Mortonc3068952005-08-04 16:49:32 -0700850 if (group_dead) {
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500851#ifdef CONFIG_POSIX_TIMERS
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700852 hrtimer_cancel(&tsk->signal->real_timer);
Roland McGrath25f407f2005-10-21 15:03:29 -0700853 exit_itimers(tsk->signal);
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500854#endif
Jiri Pirko1f102062009-09-22 16:44:10 -0700855 if (tsk->mm)
856 setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
Andrew Mortonc3068952005-08-04 16:49:32 -0700857 }
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700858 acct_collect(code, group_dead);
Miloslav Trmac522ed772007-07-15 23:40:56 -0700859 if (group_dead)
860 tty_audit_exit();
Eric Parisa4ff8db2012-01-03 14:23:07 -0500861 audit_free(tsk);
Oleg Nesterov115085e2006-12-06 20:36:51 -0800862
Linus Torvalds48d212a2012-06-07 17:54:07 -0700863 tsk->exit_code = code;
Oleg Nesterov115085e2006-12-06 20:36:51 -0800864 taskstats_exit(tsk, group_dead);
Shailabh Nagarc7572492006-07-14 00:24:40 -0700865
Davidlohr Bueso00399622017-01-03 13:43:11 -0800866 exit_mm();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700867
KaiGai Kohei0e464812006-06-25 05:49:24 -0700868 if (group_dead)
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700869 acct_process();
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400870 trace_sched_process_exit(tsk);
871
Linus Torvalds1da177e2005-04-16 15:20:36 -0700872 exit_sem(tsk);
Vasiliy Kulikovb34a6b12011-07-26 16:08:48 -0700873 exit_shm(tsk);
Al Viro1ec7f1d2008-04-22 05:35:42 -0400874 exit_files(tsk);
875 exit_fs(tsk);
Oleg Nesterovc39df5f2014-04-07 15:38:29 -0700876 if (group_dead)
877 disassociate_ctty(1);
Oleg Nesterov8aac6272013-06-14 21:09:49 +0200878 exit_task_namespaces(tsk);
Al Viroed3e6942012-06-27 11:31:24 +0400879 exit_task_work(tsk);
Jiri Slabye6464692016-05-20 17:00:20 -0700880 exit_thread(tsk);
Stephane Eranian0b3fcf12011-01-03 18:20:01 +0200881
882 /*
883 * Flush inherited counters to the parent - before the parent
884 * gets woken up by child-exit notifications.
885 *
886 * because of cgroup mode, must be called before cgroup_exit()
887 */
888 perf_event_exit_task(tsk);
889
Oleg Nesterov8e5bfa82016-11-14 19:46:12 +0100890 sched_autogroup_exit_task(tsk);
Li Zefan1ec41832014-03-28 15:22:19 +0800891 cgroup_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700892
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200893 /*
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +0200894 * FIXME: do that only when needed, using sched_exit tracepoint
895 */
Oleg Nesterov7c8df282013-07-08 16:00:54 -0700896 flush_ptrace_hw_breakpoint(tsk);
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200897
Paul E. McKenney49f59032015-09-01 00:42:57 -0700898 TASKS_RCU(preempt_disable());
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700899 TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
Paul E. McKenney49f59032015-09-01 00:42:57 -0700900 TASKS_RCU(preempt_enable());
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300901 exit_notify(tsk, group_dead);
Guillaume Morinef982392014-04-07 15:38:31 -0700902 proc_exit_connector(tsk);
David Rientjesc11600e2016-09-01 16:15:07 -0700903 mpol_put_task_policy(tsk);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700904#ifdef CONFIG_FUTEX
Ingo Molnarc87e2832006-06-27 02:54:58 -0700905 if (unlikely(current->pi_state_cache))
906 kfree(current->pi_state_cache);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700907#endif
Ingo Molnarc87e2832006-06-27 02:54:58 -0700908 /*
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700909 * Make sure we are holding no locks:
Ingo Molnarde5097c2006-01-09 15:59:21 -0800910 */
Colin Cross1b1d2fb2013-05-06 23:50:08 +0000911 debug_check_no_locks_held();
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700912 /*
913 * We can do this unlocked here. The futex code uses this flag
914 * just to verify whether the pi state cleanup has been done
915 * or not. In the worst case it loops once more.
916 */
917 tsk->flags |= PF_EXITPIDONE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918
Al Viroafc847b2006-02-28 12:51:55 -0500919 if (tsk->io_context)
Louis Rillingb69f2292009-12-04 14:52:42 +0100920 exit_io_context(tsk);
Al Viroafc847b2006-02-28 12:51:55 -0500921
Jens Axboeb92ce552006-04-11 13:52:07 +0200922 if (tsk->splice_pipe)
Al Viro4b8a8f12013-03-21 11:06:46 -0400923 free_pipe_info(tsk->splice_pipe);
Jens Axboeb92ce552006-04-11 13:52:07 +0200924
Eric Dumazet5640f762012-09-23 23:04:42 +0000925 if (tsk->task_frag.page)
926 put_page(tsk->task_frag.page);
927
David Howellse0e81732009-09-02 09:13:40 +0100928 validate_creds_for_do_exit(tsk);
929
Oleg Nesterov4bcb8232014-04-07 15:38:30 -0700930 check_stack_usage();
Coywolf Qi Hunt74072512005-10-30 15:02:47 -0800931 preempt_disable();
Wu Fengguang54848d72011-04-05 13:21:19 -0600932 if (tsk->nr_dirtied)
933 __this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700934 exit_rcu();
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700935 TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
Yasunori Gotob5740f42012-01-17 17:40:31 +0900936
Peter Zijlstra9af65282016-09-13 18:37:29 +0200937 do_task_dead();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700938}
Russ Anderson012914d2005-04-23 00:08:00 -0700939EXPORT_SYMBOL_GPL(do_exit);
940
Joe Perches9402c952012-01-12 17:17:17 -0800941void complete_and_exit(struct completion *comp, long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700942{
943 if (comp)
944 complete(comp);
Oleg Nesterov55a101f2006-09-29 02:01:10 -0700945
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946 do_exit(code);
947}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700948EXPORT_SYMBOL(complete_and_exit);
949
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100950SYSCALL_DEFINE1(exit, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700951{
952 do_exit((error_code&0xff)<<8);
953}
954
Linus Torvalds1da177e2005-04-16 15:20:36 -0700955/*
956 * Take down every thread in the group. This is called by fatal signals
957 * as well as by sys_exit_group (below).
958 */
Joe Perches9402c952012-01-12 17:17:17 -0800959void
Linus Torvalds1da177e2005-04-16 15:20:36 -0700960do_group_exit(int exit_code)
961{
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700962 struct signal_struct *sig = current->signal;
963
Linus Torvalds1da177e2005-04-16 15:20:36 -0700964 BUG_ON(exit_code & 0x80); /* core dumps don't get here */
965
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700966 if (signal_group_exit(sig))
967 exit_code = sig->group_exit_code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700968 else if (!thread_group_empty(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700969 struct sighand_struct *const sighand = current->sighand;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700970
Linus Torvalds1da177e2005-04-16 15:20:36 -0700971 spin_lock_irq(&sighand->siglock);
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800972 if (signal_group_exit(sig))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700973 /* Another thread got here before we took the lock. */
974 exit_code = sig->group_exit_code;
975 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976 sig->group_exit_code = exit_code;
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800977 sig->flags = SIGNAL_GROUP_EXIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700978 zap_other_threads(current);
979 }
980 spin_unlock_irq(&sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700981 }
982
983 do_exit(exit_code);
984 /* NOTREACHED */
985}
986
987/*
988 * this kills every thread in the thread group. Note that any externally
989 * wait4()-ing process will get the correct exit code - even if this
990 * thread is not the thread group leader.
991 */
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100992SYSCALL_DEFINE1(exit_group, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700993{
994 do_group_exit((error_code & 0xff) << 8);
Heiko Carstens2ed7c032009-01-14 14:13:54 +0100995 /* NOTREACHED */
996 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997}
998
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700999struct wait_opts {
1000 enum pid_type wo_type;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001001 int wo_flags;
Richard Kennedye1eb1eb2009-06-17 16:27:42 -07001002 struct pid *wo_pid;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001003
1004 struct siginfo __user *wo_info;
1005 int __user *wo_stat;
1006 struct rusage __user *wo_rusage;
1007
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001008 wait_queue_t child_wait;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001009 int notask_error;
1010};
1011
Oleg Nesterov989264f2009-09-23 15:56:49 -07001012static inline
1013struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
Eric W. Biederman161550d2008-02-08 04:19:14 -08001014{
Oleg Nesterov989264f2009-09-23 15:56:49 -07001015 if (type != PIDTYPE_PID)
1016 task = task->group_leader;
1017 return task->pids[type].pid;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001018}
1019
Oleg Nesterov989264f2009-09-23 15:56:49 -07001020static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001021{
1022 return wo->wo_type == PIDTYPE_MAX ||
1023 task_pid_type(p, wo->wo_type) == wo->wo_pid;
1024}
1025
Oleg Nesterovbf959932016-05-23 16:23:50 -07001026static int
1027eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028{
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001029 if (!eligible_pid(wo, p))
1030 return 0;
Oleg Nesterovbf959932016-05-23 16:23:50 -07001031
1032 /*
1033 * Wait for all children (clone and not) if __WALL is set or
1034 * if it is traced by us.
1035 */
1036 if (ptrace || (wo->wo_flags & __WALL))
1037 return 1;
1038
1039 /*
1040 * Otherwise, wait for clone children *only* if __WCLONE is set;
1041 * otherwise, wait for non-clone children *only*.
1042 *
1043 * Note: a "clone" child here is one that reports to its parent
1044 * using a signal other than SIGCHLD, or a non-leader thread which
1045 * we can only see if it is traced by us.
1046 */
1047 if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001048 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001049
Roland McGrath14dd0b82008-03-30 18:41:25 -07001050 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001051}
1052
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001053static int wait_noreap_copyout(struct wait_opts *wo, struct task_struct *p,
1054 pid_t pid, uid_t uid, int why, int status)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001055{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001056 struct siginfo __user *infop;
1057 int retval = wo->wo_rusage
1058 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Ingo Molnar36c8b582006-07-03 00:25:41 -07001059
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001061 infop = wo->wo_info;
Vitaly Mayatskikhb6fe2d12009-09-23 15:56:52 -07001062 if (infop) {
1063 if (!retval)
1064 retval = put_user(SIGCHLD, &infop->si_signo);
1065 if (!retval)
1066 retval = put_user(0, &infop->si_errno);
1067 if (!retval)
1068 retval = put_user((short)why, &infop->si_code);
1069 if (!retval)
1070 retval = put_user(pid, &infop->si_pid);
1071 if (!retval)
1072 retval = put_user(uid, &infop->si_uid);
1073 if (!retval)
1074 retval = put_user(status, &infop->si_status);
1075 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001076 if (!retval)
1077 retval = pid;
1078 return retval;
1079}
1080
1081/*
1082 * Handle sys_wait4 work for one task in state EXIT_ZOMBIE. We hold
1083 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1084 * the lock and this task is uninteresting. If we return nonzero, we have
1085 * released the lock and the system call should return.
1086 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001087static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001088{
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001089 int state, retval, status;
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001090 pid_t pid = task_pid_vnr(p);
Oleg Nesterov43e13cc2012-05-31 16:26:16 -07001091 uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001092 struct siginfo __user *infop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001094 if (!likely(wo->wo_flags & WEXITED))
Roland McGrath98abed02008-03-19 19:24:59 -07001095 return 0;
1096
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001097 if (unlikely(wo->wo_flags & WNOWAIT)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001098 int exit_code = p->exit_code;
Thiago Farinaf3abd4f2010-03-05 13:42:52 -08001099 int why;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100
Linus Torvalds1da177e2005-04-16 15:20:36 -07001101 get_task_struct(p);
1102 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001103 sched_annotate_sleep();
1104
Linus Torvalds1da177e2005-04-16 15:20:36 -07001105 if ((exit_code & 0x7f) == 0) {
1106 why = CLD_EXITED;
1107 status = exit_code >> 8;
1108 } else {
1109 why = (exit_code & 0x80) ? CLD_DUMPED : CLD_KILLED;
1110 status = exit_code & 0x7f;
1111 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001112 return wait_noreap_copyout(wo, p, pid, uid, why, status);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001113 }
Oleg Nesterovbefca962009-06-18 16:49:11 -07001114 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001115 * Move the task's state to DEAD/TRACE, only one thread can do this.
1116 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001117 state = (ptrace_reparented(p) && thread_group_leader(p)) ?
1118 EXIT_TRACE : EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001119 if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
1120 return 0;
Oleg Nesterov986094d2014-12-10 15:54:51 -08001121 /*
1122 * We own this thread, nobody else can reap it.
1123 */
1124 read_unlock(&tasklist_lock);
1125 sched_annotate_sleep();
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001126
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001127 /*
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001128 * Check thread_group_leader() to exclude the traced sub-threads.
Oleg Nesterovbefca962009-06-18 16:49:11 -07001129 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001130 if (state == EXIT_DEAD && thread_group_leader(p)) {
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001131 struct signal_struct *sig = p->signal;
1132 struct signal_struct *psig = current->signal;
Jiri Pirko1f102062009-09-22 16:44:10 -07001133 unsigned long maxrss;
Frederic Weisbecker5613fda2017-01-31 04:09:23 +01001134 u64 tgutime, tgstime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001135
Linus Torvalds1da177e2005-04-16 15:20:36 -07001136 /*
1137 * The resource counters for the group leader are in its
1138 * own task_struct. Those for dead threads in the group
1139 * are in its signal_struct, as are those for the child
1140 * processes it has previously reaped. All these
1141 * accumulate in the parent's signal_struct c* fields.
1142 *
1143 * We don't bother to take a lock here to protect these
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001144 * p->signal fields because the whole thread group is dead
1145 * and nobody can change them.
1146 *
1147 * psig->stats_lock also protects us from our sub-theads
1148 * which can reap other children at the same time. Until
1149 * we change k_getrusage()-like users to rely on this lock
1150 * we have to take ->siglock as well.
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001151 *
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001152 * We use thread_group_cputime_adjusted() to get times for
1153 * the thread group, which consolidates times for all threads
1154 * in the group including the group leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001155 */
Frederic Weisbeckere80d0a1a2012-11-21 16:26:44 +01001156 thread_group_cputime_adjusted(p, &tgutime, &tgstime);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001157 spin_lock_irq(&current->sighand->siglock);
Rik van Riele78c3492014-08-16 13:40:10 -04001158 write_seqlock(&psig->stats_lock);
Martin Schwidefsky64861632011-12-15 14:56:09 +01001159 psig->cutime += tgutime + sig->cutime;
1160 psig->cstime += tgstime + sig->cstime;
Frederic Weisbecker6fac4822012-11-13 14:20:55 +01001161 psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001162 psig->cmin_flt +=
1163 p->min_flt + sig->min_flt + sig->cmin_flt;
1164 psig->cmaj_flt +=
1165 p->maj_flt + sig->maj_flt + sig->cmaj_flt;
1166 psig->cnvcsw +=
1167 p->nvcsw + sig->nvcsw + sig->cnvcsw;
1168 psig->cnivcsw +=
1169 p->nivcsw + sig->nivcsw + sig->cnivcsw;
Eric Dumazet6eaeeab2007-05-10 22:22:37 -07001170 psig->cinblock +=
1171 task_io_get_inblock(p) +
1172 sig->inblock + sig->cinblock;
1173 psig->coublock +=
1174 task_io_get_oublock(p) +
1175 sig->oublock + sig->coublock;
Jiri Pirko1f102062009-09-22 16:44:10 -07001176 maxrss = max(sig->maxrss, sig->cmaxrss);
1177 if (psig->cmaxrss < maxrss)
1178 psig->cmaxrss = maxrss;
Andrea Righi59954772008-07-27 17:29:15 +02001179 task_io_accounting_add(&psig->ioac, &p->ioac);
1180 task_io_accounting_add(&psig->ioac, &sig->ioac);
Rik van Riele78c3492014-08-16 13:40:10 -04001181 write_sequnlock(&psig->stats_lock);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001182 spin_unlock_irq(&current->sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001183 }
1184
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001185 retval = wo->wo_rusage
1186 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001187 status = (p->signal->flags & SIGNAL_GROUP_EXIT)
1188 ? p->signal->group_exit_code : p->exit_code;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001189 if (!retval && wo->wo_stat)
1190 retval = put_user(status, wo->wo_stat);
1191
1192 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001193 if (!retval && infop)
1194 retval = put_user(SIGCHLD, &infop->si_signo);
1195 if (!retval && infop)
1196 retval = put_user(0, &infop->si_errno);
1197 if (!retval && infop) {
1198 int why;
1199
1200 if ((status & 0x7f) == 0) {
1201 why = CLD_EXITED;
1202 status >>= 8;
1203 } else {
1204 why = (status & 0x80) ? CLD_DUMPED : CLD_KILLED;
1205 status &= 0x7f;
1206 }
1207 retval = put_user((short)why, &infop->si_code);
1208 if (!retval)
1209 retval = put_user(status, &infop->si_status);
1210 }
1211 if (!retval && infop)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001212 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001213 if (!retval && infop)
David Howellsc69e8d92008-11-14 10:39:19 +11001214 retval = put_user(uid, &infop->si_uid);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001215 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001216 retval = pid;
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001217
Oleg Nesterovb4360692014-04-07 15:38:43 -07001218 if (state == EXIT_TRACE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001219 write_lock_irq(&tasklist_lock);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001220 /* We dropped tasklist, ptracer could die and untrace */
1221 ptrace_unlink(p);
Oleg Nesterovb4360692014-04-07 15:38:43 -07001222
1223 /* If parent wants a zombie, don't release it now */
1224 state = EXIT_ZOMBIE;
1225 if (do_notify_parent(p, p->exit_signal))
1226 state = EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001227 p->exit_state = state;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001228 write_unlock_irq(&tasklist_lock);
1229 }
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001230 if (state == EXIT_DEAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231 release_task(p);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001232
Linus Torvalds1da177e2005-04-16 15:20:36 -07001233 return retval;
1234}
1235
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001236static int *task_stopped_code(struct task_struct *p, bool ptrace)
1237{
1238 if (ptrace) {
Oleg Nesterov570ac932016-01-20 14:59:58 -08001239 if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001240 return &p->exit_code;
1241 } else {
1242 if (p->signal->flags & SIGNAL_STOP_STOPPED)
1243 return &p->signal->group_exit_code;
1244 }
1245 return NULL;
1246}
1247
Tejun Heo19e27462011-05-12 10:47:23 +02001248/**
1249 * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED
1250 * @wo: wait options
1251 * @ptrace: is the wait for ptrace
1252 * @p: task to wait for
1253 *
1254 * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED.
1255 *
1256 * CONTEXT:
1257 * read_lock(&tasklist_lock), which is released if return value is
1258 * non-zero. Also, grabs and releases @p->sighand->siglock.
1259 *
1260 * RETURNS:
1261 * 0 if wait condition didn't exist and search for other wait conditions
1262 * should continue. Non-zero return, -errno on failure and @p's pid on
1263 * success, implies that tasklist_lock is released and wait condition
1264 * search should terminate.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001265 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001266static int wait_task_stopped(struct wait_opts *wo,
1267 int ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001269 struct siginfo __user *infop;
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001270 int retval, exit_code, *p_code, why;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001271 uid_t uid = 0; /* unneeded, required by compiler */
Oleg Nesterovc8950782007-11-28 16:21:24 -08001272 pid_t pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001273
Oleg Nesterov47918022009-06-17 16:27:39 -07001274 /*
1275 * Traditionally we see ptrace'd stopped tasks regardless of options.
1276 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001277 if (!ptrace && !(wo->wo_flags & WUNTRACED))
Roland McGrath98abed02008-03-19 19:24:59 -07001278 return 0;
1279
Tejun Heo19e27462011-05-12 10:47:23 +02001280 if (!task_stopped_code(p, ptrace))
1281 return 0;
1282
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001283 exit_code = 0;
1284 spin_lock_irq(&p->sighand->siglock);
1285
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001286 p_code = task_stopped_code(p, ptrace);
1287 if (unlikely(!p_code))
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001288 goto unlock_sig;
1289
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001290 exit_code = *p_code;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001291 if (!exit_code)
1292 goto unlock_sig;
1293
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001294 if (!unlikely(wo->wo_flags & WNOWAIT))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001295 *p_code = 0;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001296
Sasha Levin8ca937a2012-05-17 23:31:39 +02001297 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001298unlock_sig:
1299 spin_unlock_irq(&p->sighand->siglock);
1300 if (!exit_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001301 return 0;
1302
1303 /*
1304 * Now we are pretty sure this task is interesting.
1305 * Make sure it doesn't get reaped out from under us while we
1306 * give up the lock and then examine it below. We don't want to
1307 * keep holding onto the tasklist_lock while we call getrusage and
1308 * possibly take page faults for user memory.
1309 */
1310 get_task_struct(p);
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001311 pid = task_pid_vnr(p);
Roland McGrathf4700212008-03-24 18:36:23 -07001312 why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001313 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001314 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001316 if (unlikely(wo->wo_flags & WNOWAIT))
1317 return wait_noreap_copyout(wo, p, pid, uid, why, exit_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001318
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001319 retval = wo->wo_rusage
1320 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1321 if (!retval && wo->wo_stat)
1322 retval = put_user((exit_code << 8) | 0x7f, wo->wo_stat);
1323
1324 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325 if (!retval && infop)
1326 retval = put_user(SIGCHLD, &infop->si_signo);
1327 if (!retval && infop)
1328 retval = put_user(0, &infop->si_errno);
1329 if (!retval && infop)
Roland McGrath6efcae462008-03-08 11:41:22 -08001330 retval = put_user((short)why, &infop->si_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 if (!retval && infop)
1332 retval = put_user(exit_code, &infop->si_status);
1333 if (!retval && infop)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001334 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001335 if (!retval && infop)
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001336 retval = put_user(uid, &infop->si_uid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337 if (!retval)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001338 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 put_task_struct(p);
1340
1341 BUG_ON(!retval);
1342 return retval;
1343}
1344
1345/*
1346 * Handle do_wait work for one task in a live, non-stopped state.
1347 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1348 * the lock and this task is uninteresting. If we return nonzero, we have
1349 * released the lock and the system call should return.
1350 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001351static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352{
1353 int retval;
1354 pid_t pid;
1355 uid_t uid;
1356
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001357 if (!unlikely(wo->wo_flags & WCONTINUED))
Roland McGrath98abed02008-03-19 19:24:59 -07001358 return 0;
1359
Linus Torvalds1da177e2005-04-16 15:20:36 -07001360 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED))
1361 return 0;
1362
1363 spin_lock_irq(&p->sighand->siglock);
1364 /* Re-check with the lock held. */
1365 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) {
1366 spin_unlock_irq(&p->sighand->siglock);
1367 return 0;
1368 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001369 if (!unlikely(wo->wo_flags & WNOWAIT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001370 p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
Sasha Levin8ca937a2012-05-17 23:31:39 +02001371 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001372 spin_unlock_irq(&p->sighand->siglock);
1373
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001374 pid = task_pid_vnr(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001375 get_task_struct(p);
1376 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001377 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001378
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001379 if (!wo->wo_info) {
1380 retval = wo->wo_rusage
1381 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001382 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001383 if (!retval && wo->wo_stat)
1384 retval = put_user(0xffff, wo->wo_stat);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001385 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001386 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001387 } else {
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001388 retval = wait_noreap_copyout(wo, p, pid, uid,
1389 CLD_CONTINUED, SIGCONT);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001390 BUG_ON(retval == 0);
1391 }
1392
1393 return retval;
1394}
1395
Roland McGrath98abed02008-03-19 19:24:59 -07001396/*
1397 * Consider @p for a wait by @parent.
1398 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001399 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001400 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1401 * Returns zero if the search for a child should continue;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001402 * then ->notask_error is 0 if @p is an eligible child,
Stephen Smalley3a2f5a52017-01-10 12:28:32 -05001403 * or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001404 */
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001405static int wait_consider_task(struct wait_opts *wo, int ptrace,
1406 struct task_struct *p)
Roland McGrath98abed02008-03-19 19:24:59 -07001407{
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001408 /*
1409 * We can race with wait_task_zombie() from another thread.
1410 * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition
1411 * can't confuse the checks below.
1412 */
1413 int exit_state = ACCESS_ONCE(p->exit_state);
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001414 int ret;
1415
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001416 if (unlikely(exit_state == EXIT_DEAD))
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001417 return 0;
1418
Oleg Nesterovbf959932016-05-23 16:23:50 -07001419 ret = eligible_child(wo, ptrace, p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001420 if (!ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001421 return ret;
1422
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001423 if (unlikely(exit_state == EXIT_TRACE)) {
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001424 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001425 * ptrace == 0 means we are the natural parent. In this case
1426 * we should clear notask_error, debugger will notify us.
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001427 */
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001428 if (likely(!ptrace))
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001429 wo->notask_error = 0;
Roland McGrath98abed02008-03-19 19:24:59 -07001430 return 0;
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001431 }
Roland McGrath98abed02008-03-19 19:24:59 -07001432
Oleg Nesterov377d75d2014-04-07 15:38:47 -07001433 if (likely(!ptrace) && unlikely(p->ptrace)) {
1434 /*
1435 * If it is traced by its real parent's group, just pretend
1436 * the caller is ptrace_do_wait() and reap this child if it
1437 * is zombie.
1438 *
1439 * This also hides group stop state from real parent; otherwise
1440 * a single stop can be reported twice as group and ptrace stop.
1441 * If a ptracer wants to distinguish these two events for its
1442 * own children it should create a separate process which takes
1443 * the role of real parent.
1444 */
1445 if (!ptrace_reparented(p))
1446 ptrace = 1;
1447 }
1448
Tejun Heo9b84cca2011-03-23 10:37:01 +01001449 /* slay zombie? */
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001450 if (exit_state == EXIT_ZOMBIE) {
Tejun Heo9b84cca2011-03-23 10:37:01 +01001451 /* we don't reap group leaders with subthreads */
Oleg Nesterov7c733eb2014-04-07 15:38:49 -07001452 if (!delay_group_leader(p)) {
1453 /*
1454 * A zombie ptracee is only visible to its ptracer.
1455 * Notification and reaping will be cascaded to the
1456 * real parent when the ptracer detaches.
1457 */
1458 if (unlikely(ptrace) || likely(!p->ptrace))
1459 return wait_task_zombie(wo, p);
1460 }
Roland McGrath98abed02008-03-19 19:24:59 -07001461
Tejun Heo9b84cca2011-03-23 10:37:01 +01001462 /*
1463 * Allow access to stopped/continued state via zombie by
1464 * falling through. Clearing of notask_error is complex.
1465 *
1466 * When !@ptrace:
1467 *
1468 * If WEXITED is set, notask_error should naturally be
1469 * cleared. If not, subset of WSTOPPED|WCONTINUED is set,
1470 * so, if there are live subthreads, there are events to
1471 * wait for. If all subthreads are dead, it's still safe
1472 * to clear - this function will be called again in finite
1473 * amount time once all the subthreads are released and
1474 * will then return without clearing.
1475 *
1476 * When @ptrace:
1477 *
1478 * Stopped state is per-task and thus can't change once the
1479 * target task dies. Only continued and exited can happen.
1480 * Clear notask_error if WCONTINUED | WEXITED.
1481 */
1482 if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED)))
1483 wo->notask_error = 0;
1484 } else {
1485 /*
1486 * @p is alive and it's gonna stop, continue or exit, so
1487 * there always is something to wait for.
1488 */
1489 wo->notask_error = 0;
1490 }
Roland McGrath98abed02008-03-19 19:24:59 -07001491
1492 /*
Tejun Heo45cb24a2011-03-23 10:37:01 +01001493 * Wait for stopped. Depending on @ptrace, different stopped state
1494 * is used and the two don't interact with each other.
Roland McGrath98abed02008-03-19 19:24:59 -07001495 */
Tejun Heo19e27462011-05-12 10:47:23 +02001496 ret = wait_task_stopped(wo, ptrace, p);
1497 if (ret)
1498 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001499
Tejun Heo45cb24a2011-03-23 10:37:01 +01001500 /*
1501 * Wait for continued. There's only one continued state and the
1502 * ptracer can consume it which can confuse the real parent. Don't
1503 * use WCONTINUED from ptracer. You don't need or want it.
1504 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001505 return wait_task_continued(wo, p);
Roland McGrath98abed02008-03-19 19:24:59 -07001506}
1507
1508/*
1509 * Do the work of do_wait() for one thread in the group, @tsk.
1510 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001511 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001512 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1513 * Returns zero if the search for a child should continue; then
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001514 * ->notask_error is 0 if there were any eligible children,
Stephen Smalley3a2f5a52017-01-10 12:28:32 -05001515 * or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001516 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001517static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001518{
1519 struct task_struct *p;
1520
1521 list_for_each_entry(p, &tsk->children, sibling) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001522 int ret = wait_consider_task(wo, 0, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001523
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001524 if (ret)
1525 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001526 }
1527
1528 return 0;
1529}
1530
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001531static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001532{
1533 struct task_struct *p;
1534
Roland McGrathf4700212008-03-24 18:36:23 -07001535 list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001536 int ret = wait_consider_task(wo, 1, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001537
Roland McGrathf4700212008-03-24 18:36:23 -07001538 if (ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001539 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001540 }
1541
1542 return 0;
1543}
1544
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001545static int child_wait_callback(wait_queue_t *wait, unsigned mode,
1546 int sync, void *key)
1547{
1548 struct wait_opts *wo = container_of(wait, struct wait_opts,
1549 child_wait);
1550 struct task_struct *p = key;
1551
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001552 if (!eligible_pid(wo, p))
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001553 return 0;
1554
Oleg Nesterovb4fe51822009-09-23 15:56:47 -07001555 if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
1556 return 0;
1557
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001558 return default_wake_function(wait, mode, sync, key);
1559}
1560
Oleg Nesterova7f07652009-09-23 15:56:44 -07001561void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
1562{
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001563 __wake_up_sync_key(&parent->signal->wait_chldexit,
1564 TASK_INTERRUPTIBLE, 1, p);
Oleg Nesterova7f07652009-09-23 15:56:44 -07001565}
1566
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001567static long do_wait(struct wait_opts *wo)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001568{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001569 struct task_struct *tsk;
Roland McGrath98abed02008-03-19 19:24:59 -07001570 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001571
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001572 trace_sched_process_wait(wo->wo_pid);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -04001573
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001574 init_waitqueue_func_entry(&wo->child_wait, child_wait_callback);
1575 wo->child_wait.private = current;
1576 add_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001577repeat:
Roland McGrath98abed02008-03-19 19:24:59 -07001578 /*
Frans Klaver3da56d12015-05-21 22:35:57 +02001579 * If there is nothing that can match our criteria, just get out.
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001580 * We will clear ->notask_error to zero if we see any child that
1581 * might later match our criteria, even if we are not able to reap
1582 * it yet.
Roland McGrath98abed02008-03-19 19:24:59 -07001583 */
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001584 wo->notask_error = -ECHILD;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001585 if ((wo->wo_type < PIDTYPE_MAX) &&
1586 (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001587 goto notask;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001588
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001589 set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001590 read_lock(&tasklist_lock);
1591 tsk = current;
1592 do {
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001593 retval = do_wait_thread(wo, tsk);
1594 if (retval)
Roland McGrath98abed02008-03-19 19:24:59 -07001595 goto end;
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001596
1597 retval = ptrace_do_wait(wo, tsk);
1598 if (retval)
1599 goto end;
Roland McGrath98abed02008-03-19 19:24:59 -07001600
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001601 if (wo->wo_flags & __WNOTHREAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001602 break;
Oleg Nesterova3f6dfb2009-06-17 16:27:41 -07001603 } while_each_thread(current, tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001604 read_unlock(&tasklist_lock);
Oleg Nesterovf2cc3eb2008-02-08 04:19:06 -08001605
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001606notask:
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001607 retval = wo->notask_error;
1608 if (!retval && !(wo->wo_flags & WNOHANG)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001609 retval = -ERESTARTSYS;
Roland McGrath98abed02008-03-19 19:24:59 -07001610 if (!signal_pending(current)) {
1611 schedule();
1612 goto repeat;
1613 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001614 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001615end:
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001616 __set_current_state(TASK_RUNNING);
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001617 remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001618 return retval;
1619}
1620
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001621SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
1622 infop, int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001623{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001624 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001625 struct pid *pid = NULL;
1626 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001627 long ret;
1628
Oleg Nesterov91c4e8e2016-05-23 16:23:53 -07001629 if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
1630 __WNOTHREAD|__WCLONE|__WALL))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001631 return -EINVAL;
1632 if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
1633 return -EINVAL;
1634
1635 switch (which) {
1636 case P_ALL:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001637 type = PIDTYPE_MAX;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001638 break;
1639 case P_PID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001640 type = PIDTYPE_PID;
1641 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001642 return -EINVAL;
1643 break;
1644 case P_PGID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001645 type = PIDTYPE_PGID;
1646 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001647 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001648 break;
1649 default:
1650 return -EINVAL;
1651 }
1652
Eric W. Biederman161550d2008-02-08 04:19:14 -08001653 if (type < PIDTYPE_MAX)
1654 pid = find_get_pid(upid);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001655
1656 wo.wo_type = type;
1657 wo.wo_pid = pid;
1658 wo.wo_flags = options;
1659 wo.wo_info = infop;
1660 wo.wo_stat = NULL;
1661 wo.wo_rusage = ru;
1662 ret = do_wait(&wo);
Vitaly Mayatskikhdfe16df2009-09-23 15:56:51 -07001663
1664 if (ret > 0) {
1665 ret = 0;
1666 } else if (infop) {
1667 /*
1668 * For a WNOHANG return, clear out all the fields
1669 * we would set so the user can easily tell the
1670 * difference.
1671 */
1672 if (!ret)
1673 ret = put_user(0, &infop->si_signo);
1674 if (!ret)
1675 ret = put_user(0, &infop->si_errno);
1676 if (!ret)
1677 ret = put_user(0, &infop->si_code);
1678 if (!ret)
1679 ret = put_user(0, &infop->si_pid);
1680 if (!ret)
1681 ret = put_user(0, &infop->si_uid);
1682 if (!ret)
1683 ret = put_user(0, &infop->si_status);
1684 }
1685
Eric W. Biederman161550d2008-02-08 04:19:14 -08001686 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001687 return ret;
1688}
1689
Heiko Carstens754fe8d2009-01-14 14:14:09 +01001690SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
1691 int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001692{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001693 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001694 struct pid *pid = NULL;
1695 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001696 long ret;
1697
1698 if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
1699 __WNOTHREAD|__WCLONE|__WALL))
1700 return -EINVAL;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001701
1702 if (upid == -1)
1703 type = PIDTYPE_MAX;
1704 else if (upid < 0) {
1705 type = PIDTYPE_PGID;
1706 pid = find_get_pid(-upid);
1707 } else if (upid == 0) {
1708 type = PIDTYPE_PGID;
Oleg Nesterov2ae448e2009-04-02 16:58:36 -07001709 pid = get_task_pid(current, PIDTYPE_PGID);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001710 } else /* upid > 0 */ {
1711 type = PIDTYPE_PID;
1712 pid = find_get_pid(upid);
1713 }
1714
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001715 wo.wo_type = type;
1716 wo.wo_pid = pid;
1717 wo.wo_flags = options | WEXITED;
1718 wo.wo_info = NULL;
1719 wo.wo_stat = stat_addr;
1720 wo.wo_rusage = ru;
1721 ret = do_wait(&wo);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001722 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001723
Linus Torvalds1da177e2005-04-16 15:20:36 -07001724 return ret;
1725}
1726
1727#ifdef __ARCH_WANT_SYS_WAITPID
1728
1729/*
1730 * sys_waitpid() remains for compatibility. waitpid() should be
1731 * implemented by calling sys_wait4() from libc.a.
1732 */
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001733SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001734{
1735 return sys_wait4(pid, stat_addr, options, NULL);
1736}
1737
1738#endif