blob: 2c1819419377d50746a755a1f544fbfee9fa0a1c [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>
Connor O'Brien6e7b83d2018-01-31 18:11:57 -080057#include <linux/cpufreq_times.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070058
Patrick Bellasid2489002016-07-28 18:44:40 +010059#include "sched/tune.h"
60
Linus Torvalds1da177e2005-04-16 15:20:36 -070061#include <asm/uaccess.h>
62#include <asm/unistd.h>
63#include <asm/pgtable.h>
64#include <asm/mmu_context.h>
65
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070066static void __unhash_process(struct task_struct *p, bool group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -070067{
68 nr_threads--;
Oleg Nesterov50d75f82012-06-20 12:53:04 -070069 detach_pid(p, PIDTYPE_PID);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070070 if (group_dead) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070071 detach_pid(p, PIDTYPE_PGID);
72 detach_pid(p, PIDTYPE_SID);
Oleg Nesterovc97d9892006-03-28 16:11:06 -080073
Eric W. Biederman5e85d4a2006-04-18 22:20:16 -070074 list_del_rcu(&p->tasks);
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -080075 list_del_init(&p->sibling);
Christoph Lameter909ea962010-12-08 16:22:55 +010076 __this_cpu_dec(process_counts);
Linus Torvalds1da177e2005-04-16 15:20:36 -070077 }
Oleg Nesterov47e65322006-03-28 16:11:25 -080078 list_del_rcu(&p->thread_group);
Oleg Nesterov0c740d02014-01-21 15:49:56 -080079 list_del_rcu(&p->thread_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -070080}
81
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080082/*
83 * This function expects the tasklist_lock write-locked.
84 */
85static void __exit_signal(struct task_struct *tsk)
86{
87 struct signal_struct *sig = tsk->signal;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070088 bool group_dead = thread_group_leader(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080089 struct sighand_struct *sighand;
Oleg Nesterov4ada8562010-05-26 14:43:17 -070090 struct tty_struct *uninitialized_var(tty);
Frederic Weisbecker6fac4822012-11-13 14:20:55 +010091 cputime_t utime, stime;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080092
Paul E. McKenneyd11c5632010-02-22 17:04:50 -080093 sighand = rcu_dereference_check(tsk->sighand,
Paul E. McKenneydb1466b2010-03-03 07:46:56 -080094 lockdep_tasklist_lock_is_held());
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080095 spin_lock(&sighand->siglock);
96
97 posix_cpu_timers_exit(tsk);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070098 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080099 posix_cpu_timers_exit_group(tsk);
Oleg Nesterov4ada8562010-05-26 14:43:17 -0700100 tty = sig->tty;
101 sig->tty = NULL;
Oleg Nesterov4a599942010-05-26 14:43:12 -0700102 } else {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800103 /*
Oleg Nesterove0a70212010-11-05 16:53:42 +0100104 * This can only happen if the caller is de_thread().
105 * FIXME: this is the temporary hack, we should teach
106 * posix-cpu-timers to handle this case correctly.
107 */
108 if (unlikely(has_group_leader_pid(tsk)))
109 posix_cpu_timers_exit_group(tsk);
110
111 /*
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800112 * If there is any task waiting for the group exit
113 * then notify it:
114 */
Oleg Nesterovd3441932010-05-26 14:43:11 -0700115 if (sig->notify_count > 0 && !--sig->notify_count)
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800116 wake_up_process(sig->group_exit_task);
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700117
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800118 if (tsk == sig->curr_target)
119 sig->curr_target = next_thread(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800120 }
121
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400122 /*
Oleg Nesterov26e75b52014-12-10 15:54:54 -0800123 * Accumulate here the counters for all threads as they die. We could
124 * skip the group leader because it is the last user of signal_struct,
125 * but we want to avoid the race with thread_group_cputime() which can
126 * see the empty ->thread_head list.
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400127 */
128 task_cputime(tsk, &utime, &stime);
Rik van Riele78c3492014-08-16 13:40:10 -0400129 write_seqlock(&sig->stats_lock);
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400130 sig->utime += utime;
131 sig->stime += stime;
132 sig->gtime += task_gtime(tsk);
133 sig->min_flt += tsk->min_flt;
134 sig->maj_flt += tsk->maj_flt;
135 sig->nvcsw += tsk->nvcsw;
136 sig->nivcsw += tsk->nivcsw;
137 sig->inblock += task_io_get_inblock(tsk);
138 sig->oublock += task_io_get_oublock(tsk);
139 task_io_accounting_add(&sig->ioac, &tsk->ioac);
140 sig->sum_sched_runtime += tsk->se.sum_exec_runtime;
Oleg Nesterovb3ac0222010-05-26 14:43:24 -0700141 sig->nr_threads--;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700142 __unhash_process(tsk, group_dead);
Rik van Riele78c3492014-08-16 13:40:10 -0400143 write_sequnlock(&sig->stats_lock);
Oleg Nesterov58767002006-03-28 16:11:20 -0800144
Oleg Nesterovda7978b2008-05-23 13:04:41 -0700145 /*
146 * Do this under ->siglock, we can race with another thread
147 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
148 */
149 flush_sigqueue(&tsk->pending);
Oleg Nesterova7e53282006-03-28 16:11:27 -0800150 tsk->sighand = NULL;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800151 spin_unlock(&sighand->siglock);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800152
Oleg Nesterova7e53282006-03-28 16:11:27 -0800153 __cleanup_sighand(sighand);
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700154 clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700155 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800156 flush_sigqueue(&sig->shared_pending);
Oleg Nesterov4ada8562010-05-26 14:43:17 -0700157 tty_kref_put(tty);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800158 }
159}
160
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800161static void delayed_put_task_struct(struct rcu_head *rhp)
162{
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400163 struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);
164
Peter Zijlstra4e231c72010-09-09 21:01:59 +0200165 perf_event_delayed_put(tsk);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400166 trace_sched_process_free(tsk);
167 put_task_struct(tsk);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800168}
169
Roland McGrathf4700212008-03-24 18:36:23 -0700170
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700171void release_task(struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700173 struct task_struct *leader;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700174 int zap_leader;
Connor O'Brien6e7b83d2018-01-31 18:11:57 -0800175#ifdef CONFIG_CPU_FREQ_TIMES
176 cpufreq_task_times_exit(p);
177#endif
Oleg Nesterov1f09f972006-03-28 16:11:11 -0800178repeat:
David Howellsc69e8d92008-11-14 10:39:19 +1100179 /* don't need to get the RCU readlock here - the process is dead and
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800180 * can't be modifying its own credentials. But shut RCU-lockdep up */
181 rcu_read_lock();
David Howellsc69e8d92008-11-14 10:39:19 +1100182 atomic_dec(&__task_cred(p)->user->processes);
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800183 rcu_read_unlock();
David Howellsc69e8d92008-11-14 10:39:19 +1100184
Pavel Emelyanov60347f62007-10-18 23:40:03 -0700185 proc_flush_task(p);
Ingo Molnar02030262009-05-17 11:24:08 +0200186
Linus Torvalds1da177e2005-04-16 15:20:36 -0700187 write_lock_irq(&tasklist_lock);
Tejun Heoa288eec2011-06-17 16:50:37 +0200188 ptrace_release_task(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700189 __exit_signal(p);
Oleg Nesterov35f5cad2006-03-28 16:11:19 -0800190
Linus Torvalds1da177e2005-04-16 15:20:36 -0700191 /*
192 * If we are the last non-leader member of the thread
193 * group, and the leader is zombie, then notify the
194 * group leader's parent process. (if it wants notification.)
195 */
196 zap_leader = 0;
197 leader = p->group_leader;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700198 if (leader != p && thread_group_empty(leader)
199 && leader->exit_state == EXIT_ZOMBIE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200 /*
201 * If we were the last child thread and the leader has
202 * exited already, and the leader's parent ignores SIGCHLD,
203 * then we are the one who should release the leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700204 */
Oleg Nesterov86773472011-06-22 23:09:09 +0200205 zap_leader = do_notify_parent(leader, leader->exit_signal);
Roland McGrathdae33572008-07-25 19:45:48 -0700206 if (zap_leader)
207 leader->exit_state = EXIT_DEAD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700208 }
209
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210 write_unlock_irq(&tasklist_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211 release_thread(p);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800212 call_rcu(&p->rcu, delayed_put_task_struct);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700213
214 p = leader;
215 if (unlikely(zap_leader))
216 goto repeat;
217}
218
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219/*
Oleg Nesterov150593b2016-05-18 19:02:18 +0200220 * Note that if this function returns a valid task_struct pointer (!NULL)
221 * task->usage must remain >0 for the duration of the RCU critical section.
222 */
223struct task_struct *task_rcu_dereference(struct task_struct **ptask)
224{
225 struct sighand_struct *sighand;
226 struct task_struct *task;
227
228 /*
229 * We need to verify that release_task() was not called and thus
230 * delayed_put_task_struct() can't run and drop the last reference
231 * before rcu_read_unlock(). We check task->sighand != NULL,
232 * but we can read the already freed and reused memory.
233 */
234retry:
235 task = rcu_dereference(*ptask);
236 if (!task)
237 return NULL;
238
239 probe_kernel_address(&task->sighand, sighand);
240
241 /*
242 * Pairs with atomic_dec_and_test() in put_task_struct(). If this task
243 * was already freed we can not miss the preceding update of this
244 * pointer.
245 */
246 smp_rmb();
247 if (unlikely(task != READ_ONCE(*ptask)))
248 goto retry;
249
250 /*
251 * We've re-checked that "task == *ptask", now we have two different
252 * cases:
253 *
254 * 1. This is actually the same task/task_struct. In this case
255 * sighand != NULL tells us it is still alive.
256 *
257 * 2. This is another task which got the same memory for task_struct.
258 * We can't know this of course, and we can not trust
259 * sighand != NULL.
260 *
261 * In this case we actually return a random value, but this is
262 * correct.
263 *
264 * If we return NULL - we can pretend that we actually noticed that
265 * *ptask was updated when the previous task has exited. Or pretend
266 * that probe_slab_address(&sighand) reads NULL.
267 *
268 * If we return the new task (because sighand is not NULL for any
269 * reason) - this is fine too. This (new) task can't go away before
270 * another gp pass.
271 *
272 * And note: We could even eliminate the false positive if re-read
273 * task->sighand once again to avoid the falsely NULL. But this case
274 * is very unlikely so we don't care.
275 */
276 if (!sighand)
277 return NULL;
278
279 return task;
280}
281
282struct task_struct *try_get_task_struct(struct task_struct **ptask)
283{
284 struct task_struct *task;
285
286 rcu_read_lock();
287 task = task_rcu_dereference(ptask);
288 if (task)
289 get_task_struct(task);
290 rcu_read_unlock();
291
292 return task;
293}
294
295/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 * Determine if a process group is "orphaned", according to the POSIX
297 * definition in 2.2.2.52. Orphaned process groups are not to be affected
298 * by terminal-generated stop signals. Newly orphaned process groups are
299 * to receive a SIGHUP and a SIGCONT.
300 *
301 * "I ask you, have you ever known what it is to be an orphan?"
302 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700303static int will_become_orphaned_pgrp(struct pid *pgrp,
304 struct task_struct *ignored_task)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305{
306 struct task_struct *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700307
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800308 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300309 if ((p == ignored_task) ||
310 (p->exit_state && thread_group_empty(p)) ||
311 is_global_init(p->real_parent))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700312 continue;
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300313
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800314 if (task_pgrp(p->real_parent) != pgrp &&
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300315 task_session(p->real_parent) == task_session(p))
316 return 0;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800317 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300318
319 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320}
321
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800322int is_current_pgrp_orphaned(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323{
324 int retval;
325
326 read_lock(&tasklist_lock);
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800327 retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328 read_unlock(&tasklist_lock);
329
330 return retval;
331}
332
Oleg Nesterov961c4672011-07-07 21:33:54 +0200333static bool has_stopped_jobs(struct pid *pgrp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700335 struct task_struct *p;
336
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800337 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov961c4672011-07-07 21:33:54 +0200338 if (p->signal->flags & SIGNAL_STOP_STOPPED)
339 return true;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800340 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov961c4672011-07-07 21:33:54 +0200341
342 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343}
344
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300345/*
346 * Check to see if any process groups have become orphaned as
347 * a result of our exiting, and if they have any stopped jobs,
348 * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
349 */
350static void
351kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent)
352{
353 struct pid *pgrp = task_pgrp(tsk);
354 struct task_struct *ignored_task = tsk;
355
356 if (!parent)
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700357 /* exit: our father is in a different pgrp than
358 * we are and we were the only connection outside.
359 */
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300360 parent = tsk->real_parent;
361 else
362 /* reparent: our child is in a different pgrp than
363 * we are, and it was the only connection outside.
364 */
365 ignored_task = NULL;
366
367 if (task_pgrp(parent) != pgrp &&
368 task_session(parent) == task_session(tsk) &&
369 will_become_orphaned_pgrp(pgrp, ignored_task) &&
370 has_stopped_jobs(pgrp)) {
371 __kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp);
372 __kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp);
373 }
374}
375
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700376#ifdef CONFIG_MEMCG
Balbir Singhcf475ad2008-04-29 01:00:16 -0700377/*
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700378 * A task is exiting. If it owned this mm, find a new owner for the mm.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700379 */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700380void mm_update_next_owner(struct mm_struct *mm)
381{
382 struct task_struct *c, *g, *p = current;
383
384retry:
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700385 /*
386 * If the exiting or execing task is not the owner, it's
387 * someone else's problem.
388 */
389 if (mm->owner != p)
Balbir Singhcf475ad2008-04-29 01:00:16 -0700390 return;
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700391 /*
392 * The current owner is exiting/execing and there are no other
393 * candidates. Do not leave the mm pointing to a possibly
394 * freed task structure.
395 */
396 if (atomic_read(&mm->mm_users) <= 1) {
397 mm->owner = NULL;
398 return;
399 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700400
401 read_lock(&tasklist_lock);
402 /*
403 * Search in the children
404 */
405 list_for_each_entry(c, &p->children, sibling) {
406 if (c->mm == mm)
407 goto assign_new_owner;
408 }
409
410 /*
411 * Search in the siblings
412 */
Oleg Nesterovdea33cf2009-06-17 16:27:29 -0700413 list_for_each_entry(c, &p->real_parent->children, sibling) {
Balbir Singhcf475ad2008-04-29 01:00:16 -0700414 if (c->mm == mm)
415 goto assign_new_owner;
416 }
417
418 /*
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700419 * Search through everything else, we should not get here often.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700420 */
Oleg Nesterov39af1762014-06-04 16:07:54 -0700421 for_each_process(g) {
422 if (g->flags & PF_KTHREAD)
423 continue;
424 for_each_thread(g, c) {
425 if (c->mm == mm)
426 goto assign_new_owner;
427 if (c->mm)
428 break;
429 }
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700430 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700431 read_unlock(&tasklist_lock);
Balbir Singh31a78f22008-09-28 23:09:31 +0100432 /*
433 * We found no owner yet mm_users > 1: this implies that we are
434 * most likely racing with swapoff (try_to_unuse()) or /proc or
Hugh Dickinse5991372009-01-06 14:39:22 -0800435 * ptrace or page migration (get_task_mm()). Mark owner as NULL.
Balbir Singh31a78f22008-09-28 23:09:31 +0100436 */
Balbir Singh31a78f22008-09-28 23:09:31 +0100437 mm->owner = NULL;
Balbir Singhcf475ad2008-04-29 01:00:16 -0700438 return;
439
440assign_new_owner:
441 BUG_ON(c == p);
442 get_task_struct(c);
443 /*
444 * The task_lock protects c->mm from changing.
445 * We always want mm->owner->mm == mm
446 */
447 task_lock(c);
Hugh Dickinse5991372009-01-06 14:39:22 -0800448 /*
449 * Delay read_unlock() till we have the task_lock()
450 * to ensure that c does not slip away underneath us
451 */
452 read_unlock(&tasklist_lock);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700453 if (c->mm != mm) {
454 task_unlock(c);
455 put_task_struct(c);
456 goto retry;
457 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700458 mm->owner = c;
459 task_unlock(c);
460 put_task_struct(c);
461}
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700462#endif /* CONFIG_MEMCG */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700463
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464/*
465 * Turn us into a lazy TLB process if we
466 * aren't already..
467 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700468static void exit_mm(struct task_struct *tsk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469{
470 struct mm_struct *mm = tsk->mm;
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700471 struct core_state *core_state;
Liam Mark4f1cdd22013-02-07 14:31:36 -0800472 int mm_released;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473
Linus Torvalds48d212a2012-06-07 17:54:07 -0700474 mm_release(tsk, mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475 if (!mm)
476 return;
Konstantin Khlebnikov4fe7efd2012-06-20 12:53:01 -0700477 sync_mm_rss(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478 /*
479 * Serialize with any possible pending coredump.
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700480 * We must hold mmap_sem around checking core_state
Linus Torvalds1da177e2005-04-16 15:20:36 -0700481 * and clearing tsk->mm. The core-inducing thread
Oleg Nesterov999d9fc2008-07-25 01:47:41 -0700482 * will increment ->nr_threads for each thread in the
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483 * group with ->mm != NULL.
484 */
485 down_read(&mm->mmap_sem);
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700486 core_state = mm->core_state;
487 if (core_state) {
488 struct core_thread self;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700489
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490 up_read(&mm->mmap_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491
Oleg Nesterovb564daf2008-07-25 01:47:44 -0700492 self.task = tsk;
493 self.next = xchg(&core_state->dumper.next, &self);
494 /*
495 * Implies mb(), the result of xchg() must be visible
496 * to core_state->dumper.
497 */
498 if (atomic_dec_and_test(&core_state->nr_threads))
499 complete(&core_state->startup);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700501 for (;;) {
502 set_task_state(tsk, TASK_UNINTERRUPTIBLE);
503 if (!self.task) /* see coredump_finish() */
504 break;
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -0800505 freezable_schedule();
Oleg Nesterova94e2d42008-07-25 01:47:46 -0700506 }
507 __set_task_state(tsk, TASK_RUNNING);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508 down_read(&mm->mmap_sem);
509 }
510 atomic_inc(&mm->mm_count);
Eric Sesterhenn125e1872006-06-23 02:06:06 -0700511 BUG_ON(mm != tsk->active_mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512 /* more a memory barrier than a real lock */
513 task_lock(tsk);
514 tsk->mm = NULL;
515 up_read(&mm->mmap_sem);
516 enter_lazy_tlb(mm, current);
517 task_unlock(tsk);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700518 mm_update_next_owner(mm);
Liam Mark4f1cdd22013-02-07 14:31:36 -0800519
520 mm_released = mmput(mm);
Michal Hockoc32b3cb2015-02-11 15:26:24 -0800521 if (test_thread_flag(TIF_MEMDIE))
Tetsuo Handa38531202016-10-07 16:59:03 -0700522 exit_oom_victim();
Liam Mark4f1cdd22013-02-07 14:31:36 -0800523 if (mm_released)
524 set_tsk_thread_flag(tsk, TIF_MM_RELEASED);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700525}
526
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800527static struct task_struct *find_alive_thread(struct task_struct *p)
528{
529 struct task_struct *t;
530
531 for_each_thread(p, t) {
532 if (!(t->flags & PF_EXITING))
533 return t;
534 }
535 return NULL;
536}
537
Oleg Nesterov11099092014-12-10 15:55:11 -0800538static struct task_struct *find_child_reaper(struct task_struct *father)
539 __releases(&tasklist_lock)
540 __acquires(&tasklist_lock)
541{
542 struct pid_namespace *pid_ns = task_active_pid_ns(father);
543 struct task_struct *reaper = pid_ns->child_reaper;
544
545 if (likely(reaper != father))
546 return reaper;
547
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800548 reaper = find_alive_thread(father);
549 if (reaper) {
Oleg Nesterov11099092014-12-10 15:55:11 -0800550 pid_ns->child_reaper = reaper;
551 return reaper;
552 }
553
554 write_unlock_irq(&tasklist_lock);
555 if (unlikely(pid_ns == &init_pid_ns)) {
556 panic("Attempted to kill init! exitcode=0x%08x\n",
557 father->signal->group_exit_code ?: father->exit_code);
558 }
559 zap_pid_ns_processes(pid_ns);
560 write_lock_irq(&tasklist_lock);
561
562 return father;
563}
564
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565/*
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700566 * When we die, we re-parent all our children, and try to:
567 * 1. give them to another thread in our thread group, if such a member exists
568 * 2. give it to the first ancestor process which prctl'd itself as a
569 * child_subreaper for its children (like a service manager)
570 * 3. give it to the init process (PID 1) in our pid namespace
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571 */
Oleg Nesterov11099092014-12-10 15:55:11 -0800572static struct task_struct *find_new_reaper(struct task_struct *father,
573 struct task_struct *child_reaper)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574{
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800575 struct task_struct *thread, *reaper;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700576
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800577 thread = find_alive_thread(father);
578 if (thread)
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700579 return thread;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700580
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800581 if (father->signal->has_child_subreaper) {
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700582 /*
Oleg Nesterov175aed32014-12-10 15:55:08 -0800583 * Find the first ->is_child_subreaper ancestor in our pid_ns.
584 * We start from father to ensure we can not look into another
585 * namespace, this is safe because all its threads are dead.
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700586 */
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800587 for (reaper = father;
Oleg Nesterov11099092014-12-10 15:55:11 -0800588 !same_thread_group(reaper, child_reaper);
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700589 reaper = reaper->real_parent) {
Oleg Nesterov175aed32014-12-10 15:55:08 -0800590 /* call_usermodehelper() descendants need this check */
591 if (reaper == &init_task)
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700592 break;
593 if (!reaper->signal->is_child_subreaper)
594 continue;
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800595 thread = find_alive_thread(reaper);
596 if (thread)
597 return thread;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700598 }
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700599 }
600
Oleg Nesterov11099092014-12-10 15:55:11 -0800601 return child_reaper;
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700602}
603
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700604/*
605* Any that need to be release_task'd are put on the @dead list.
606 */
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800607static void reparent_leader(struct task_struct *father, struct task_struct *p,
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700608 struct list_head *dead)
609{
Oleg Nesterov28310962014-12-10 15:45:30 -0800610 if (unlikely(p->exit_state == EXIT_DEAD))
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700611 return;
612
Oleg Nesterovabd50b32014-04-07 15:38:42 -0700613 /* We don't want people slaying init. */
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700614 p->exit_signal = SIGCHLD;
615
616 /* If it has exited notify the new parent about this child's death. */
Tejun Heod21142e2011-06-17 16:50:34 +0200617 if (!p->ptrace &&
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700618 p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
Oleg Nesterov86773472011-06-22 23:09:09 +0200619 if (do_notify_parent(p, p->exit_signal)) {
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700620 p->exit_state = EXIT_DEAD;
Oleg Nesterovdc2fd4b2014-12-10 15:45:24 -0800621 list_add(&p->ptrace_entry, dead);
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700622 }
623 }
624
625 kill_orphaned_pgrp(p, father);
626}
627
Oleg Nesterov482a3762014-12-10 15:55:20 -0800628/*
629 * This does two things:
630 *
631 * A. Make init inherit all the child processes
632 * B. Check to see if any process groups have become orphaned
633 * as a result of our exiting, and if they have any stopped
634 * jobs, send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
635 */
636static void forget_original_parent(struct task_struct *father,
637 struct list_head *dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638{
Oleg Nesterov482a3762014-12-10 15:55:20 -0800639 struct task_struct *p, *t, *reaper;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800641 if (unlikely(!list_empty(&father->ptraced)))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800642 exit_ptrace(father, dead);
Roland McGrathf4700212008-03-24 18:36:23 -0700643
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800644 /* Can drop and reacquire tasklist_lock */
Oleg Nesterov11099092014-12-10 15:55:11 -0800645 reaper = find_child_reaper(father);
Oleg Nesterovad9e2062014-12-10 15:55:17 -0800646 if (list_empty(&father->children))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800647 return;
Oleg Nesterov11099092014-12-10 15:55:11 -0800648
649 reaper = find_new_reaper(father, reaper);
Oleg Nesterov28310962014-12-10 15:45:30 -0800650 list_for_each_entry(p, &father->children, sibling) {
Oleg Nesterov57a05912014-12-10 15:45:27 -0800651 for_each_thread(p, t) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800652 t->real_parent = reaper;
Oleg Nesterov57a05912014-12-10 15:45:27 -0800653 BUG_ON((!t->ptrace) != (t->parent == father));
654 if (likely(!t->ptrace))
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800655 t->parent = t->real_parent;
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800656 if (t->pdeath_signal)
657 group_send_sig_info(t->pdeath_signal,
658 SEND_SIG_NOINFO, t);
Oleg Nesterov57a05912014-12-10 15:45:27 -0800659 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800660 /*
661 * If this is a threaded reparent there is no need to
662 * notify anyone anything has happened.
663 */
664 if (!same_thread_group(reaper, father))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800665 reparent_leader(father, p, dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800667 list_splice_tail_init(&father->children, &reaper->children);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700668}
669
670/*
671 * Send signals to all our closest relatives so that they know
672 * to properly mourn us..
673 */
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300674static void exit_notify(struct task_struct *tsk, int group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700675{
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200676 bool autoreap;
Oleg Nesterov482a3762014-12-10 15:55:20 -0800677 struct task_struct *p, *n;
678 LIST_HEAD(dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700679
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700680 write_lock_irq(&tasklist_lock);
Oleg Nesterov482a3762014-12-10 15:55:20 -0800681 forget_original_parent(tsk, &dead);
682
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300683 if (group_dead)
684 kill_orphaned_pgrp(tsk->group_leader, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685
Oleg Nesterov45cdf5c2011-06-23 19:06:50 +0200686 if (unlikely(tsk->ptrace)) {
687 int sig = thread_group_leader(tsk) &&
688 thread_group_empty(tsk) &&
689 !ptrace_reparented(tsk) ?
690 tsk->exit_signal : SIGCHLD;
691 autoreap = do_notify_parent(tsk, sig);
692 } else if (thread_group_leader(tsk)) {
693 autoreap = thread_group_empty(tsk) &&
694 do_notify_parent(tsk, tsk->exit_signal);
695 } else {
696 autoreap = true;
697 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700698
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200699 tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE;
Oleg Nesterov6c66e7d2014-12-10 15:55:23 -0800700 if (tsk->exit_state == EXIT_DEAD)
701 list_add(&tsk->ptrace_entry, &dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702
Oleg Nesterov9c339162010-05-26 14:43:10 -0700703 /* mt-exec, de_thread() is waiting for group leader */
704 if (unlikely(tsk->signal->notify_count < 0))
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700705 wake_up_process(tsk->signal->group_exit_task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700706 write_unlock_irq(&tasklist_lock);
707
Oleg Nesterov482a3762014-12-10 15:55:20 -0800708 list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
709 list_del_init(&p->ptrace_entry);
710 release_task(p);
711 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700712}
713
Jeff Dikee18eecb2007-07-15 23:38:48 -0700714#ifdef CONFIG_DEBUG_STACK_USAGE
715static void check_stack_usage(void)
716{
717 static DEFINE_SPINLOCK(low_water_lock);
718 static int lowest_to_date = THREAD_SIZE;
Jeff Dikee18eecb2007-07-15 23:38:48 -0700719 unsigned long free;
720
Eric Sandeen7c9f8862008-04-22 16:38:23 -0500721 free = stack_not_used(current);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700722
723 if (free >= lowest_to_date)
724 return;
725
726 spin_lock(&low_water_lock);
727 if (free < lowest_to_date) {
Anton Blanchard627393d2016-08-02 14:05:40 -0700728 pr_info("%s (%d) used greatest stack depth: %lu bytes left\n",
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700729 current->comm, task_pid_nr(current), free);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700730 lowest_to_date = free;
731 }
732 spin_unlock(&low_water_lock);
733}
734#else
735static inline void check_stack_usage(void) {}
736#endif
737
Peter Zijlstra9af65282016-09-13 18:37:29 +0200738void __noreturn do_exit(long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700739{
740 struct task_struct *tsk = current;
741 int group_dead;
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700742 TASKS_RCU(int tasks_rcu_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700743
744 profile_task_exit(tsk);
Dmitry Vyukov5c9a8752016-03-22 14:27:30 -0700745 kcov_task_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700746
Jens Axboe73c10102011-03-08 13:19:51 +0100747 WARN_ON(blk_needs_flush_plug(tsk));
Jens Axboe22e2c502005-06-27 10:55:12 +0200748
Linus Torvalds1da177e2005-04-16 15:20:36 -0700749 if (unlikely(in_interrupt()))
750 panic("Aiee, killing interrupt handler!");
751 if (unlikely(!tsk->pid))
752 panic("Attempted to kill the idle task!");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753
Nelson Elhage33dd94a2010-12-02 14:31:21 -0800754 /*
755 * If do_exit is called because this processes oopsed, it's possible
756 * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before
757 * continuing. Amongst other possible reasons, this is to prevent
758 * mm_release()->clear_child_tid() from writing to a user-controlled
759 * kernel address.
760 */
761 set_fs(USER_DS);
762
Tejun Heoa288eec2011-06-17 16:50:37 +0200763 ptrace_event(PTRACE_EVENT_EXIT, code);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764
David Howellse0e81732009-09-02 09:13:40 +0100765 validate_creds_for_do_exit(tsk);
766
Alexander Nybergdf164db2005-06-23 00:09:13 -0700767 /*
768 * We're taking recursive faults here in do_exit. Safest is to just
769 * leave this task alone and wait for reboot.
770 */
771 if (unlikely(tsk->flags & PF_EXITING)) {
Matt Wagantall72633f82015-03-20 12:54:57 -0700772#ifdef CONFIG_PANIC_ON_RECURSIVE_FAULT
773 panic("Recursive fault!\n");
774#else
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700775 pr_alert("Fixing recursive fault but reboot is needed!\n");
Matt Wagantall72633f82015-03-20 12:54:57 -0700776#endif
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700777 /*
778 * We can do this unlocked here. The futex code uses
779 * this flag just to verify whether the pi state
780 * cleanup has been done or not. In the worst case it
781 * loops once more. We pretend that the cleanup was
782 * done as there is no way to return. Either the
783 * OWNER_DIED bit is set by now or we push the blocked
784 * task into the wait for ever nirwana as well.
785 */
786 tsk->flags |= PF_EXITPIDONE;
Alexander Nybergdf164db2005-06-23 00:09:13 -0700787 set_current_state(TASK_UNINTERRUPTIBLE);
788 schedule();
789 }
790
Oleg Nesterovd12619b2008-02-08 04:19:12 -0800791 exit_signals(tsk); /* sets PF_EXITING */
Patrick Bellasid2489002016-07-28 18:44:40 +0100792
Syed Rameez Mustafad5b9f972017-03-24 15:54:00 -0700793 sched_exit(tsk);
Patrick Bellasid2489002016-07-28 18:44:40 +0100794 schedtune_exit_task(tsk);
795
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700796 /*
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200797 * Ensure that all new tsk->pi_lock acquisitions must observe
798 * PF_EXITING. Serializes against futex.c:attach_to_pi_owner().
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700799 */
Oleg Nesterovd2ee7192007-10-16 23:26:47 -0700800 smp_mb();
Peter Zijlstrabe3e7842016-05-24 14:45:21 +0200801 /*
802 * Ensure that we must observe the pi_state in exit_mm() ->
803 * mm_release() -> exit_pi_state_list().
804 */
Thomas Gleixner1d615482009-11-17 14:54:03 +0100805 raw_spin_unlock_wait(&tsk->pi_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700806
Peter Zijlstra1dc0fff2015-09-28 17:57:39 +0200807 if (unlikely(in_atomic())) {
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700808 pr_info("note: %s[%d] exited with preempt_count %d\n",
809 current->comm, task_pid_nr(current),
810 preempt_count());
Peter Zijlstra1dc0fff2015-09-28 17:57:39 +0200811 preempt_count_set(PREEMPT_ENABLED);
812 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700813
Linus Torvalds48d212a2012-06-07 17:54:07 -0700814 /* sync mm's RSS info before statistics gathering */
815 if (tsk->mm)
816 sync_mm_rss(tsk->mm);
Rik van Riel51229b42015-06-25 15:03:56 -0700817 acct_update_integrals(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700818 group_dead = atomic_dec_and_test(&tsk->signal->live);
Andrew Mortonc3068952005-08-04 16:49:32 -0700819 if (group_dead) {
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700820 hrtimer_cancel(&tsk->signal->real_timer);
Roland McGrath25f407f2005-10-21 15:03:29 -0700821 exit_itimers(tsk->signal);
Jiri Pirko1f102062009-09-22 16:44:10 -0700822 if (tsk->mm)
823 setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
Andrew Mortonc3068952005-08-04 16:49:32 -0700824 }
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700825 acct_collect(code, group_dead);
Miloslav Trmac522ed772007-07-15 23:40:56 -0700826 if (group_dead)
827 tty_audit_exit();
Eric Parisa4ff8db2012-01-03 14:23:07 -0500828 audit_free(tsk);
Oleg Nesterov115085e2006-12-06 20:36:51 -0800829
Linus Torvalds48d212a2012-06-07 17:54:07 -0700830 tsk->exit_code = code;
Oleg Nesterov115085e2006-12-06 20:36:51 -0800831 taskstats_exit(tsk, group_dead);
Shailabh Nagarc7572492006-07-14 00:24:40 -0700832
Linus Torvalds1da177e2005-04-16 15:20:36 -0700833 exit_mm(tsk);
834
KaiGai Kohei0e464812006-06-25 05:49:24 -0700835 if (group_dead)
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700836 acct_process();
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400837 trace_sched_process_exit(tsk);
838
Linus Torvalds1da177e2005-04-16 15:20:36 -0700839 exit_sem(tsk);
Vasiliy Kulikovb34a6b12011-07-26 16:08:48 -0700840 exit_shm(tsk);
Al Viro1ec7f1d2008-04-22 05:35:42 -0400841 exit_files(tsk);
842 exit_fs(tsk);
Oleg Nesterovc39df5f2014-04-07 15:38:29 -0700843 if (group_dead)
844 disassociate_ctty(1);
Oleg Nesterov8aac6272013-06-14 21:09:49 +0200845 exit_task_namespaces(tsk);
Al Viroed3e6942012-06-27 11:31:24 +0400846 exit_task_work(tsk);
Jiri Slabye6464692016-05-20 17:00:20 -0700847 exit_thread(tsk);
Stephane Eranian0b3fcf12011-01-03 18:20:01 +0200848
849 /*
850 * Flush inherited counters to the parent - before the parent
851 * gets woken up by child-exit notifications.
852 *
853 * because of cgroup mode, must be called before cgroup_exit()
854 */
855 perf_event_exit_task(tsk);
856
Oleg Nesterov8e5bfa82016-11-14 19:46:12 +0100857 sched_autogroup_exit_task(tsk);
Li Zefan1ec41832014-03-28 15:22:19 +0800858 cgroup_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200860 /*
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +0200861 * FIXME: do that only when needed, using sched_exit tracepoint
862 */
Oleg Nesterov7c8df282013-07-08 16:00:54 -0700863 flush_ptrace_hw_breakpoint(tsk);
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200864
Paul E. McKenney49f59032015-09-01 00:42:57 -0700865 TASKS_RCU(preempt_disable());
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700866 TASKS_RCU(tasks_rcu_i = __srcu_read_lock(&tasks_rcu_exit_srcu));
Paul E. McKenney49f59032015-09-01 00:42:57 -0700867 TASKS_RCU(preempt_enable());
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300868 exit_notify(tsk, group_dead);
Guillaume Morinef982392014-04-07 15:38:31 -0700869 proc_exit_connector(tsk);
David Rientjesc11600e2016-09-01 16:15:07 -0700870 mpol_put_task_policy(tsk);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700871#ifdef CONFIG_FUTEX
Ingo Molnarc87e2832006-06-27 02:54:58 -0700872 if (unlikely(current->pi_state_cache))
873 kfree(current->pi_state_cache);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700874#endif
Ingo Molnarc87e2832006-06-27 02:54:58 -0700875 /*
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700876 * Make sure we are holding no locks:
Ingo Molnarde5097c2006-01-09 15:59:21 -0800877 */
Colin Cross1b1d2fb2013-05-06 23:50:08 +0000878 debug_check_no_locks_held();
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700879 /*
880 * We can do this unlocked here. The futex code uses this flag
881 * just to verify whether the pi state cleanup has been done
882 * or not. In the worst case it loops once more.
883 */
884 tsk->flags |= PF_EXITPIDONE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700885
Al Viroafc847b2006-02-28 12:51:55 -0500886 if (tsk->io_context)
Louis Rillingb69f2292009-12-04 14:52:42 +0100887 exit_io_context(tsk);
Al Viroafc847b2006-02-28 12:51:55 -0500888
Jens Axboeb92ce552006-04-11 13:52:07 +0200889 if (tsk->splice_pipe)
Al Viro4b8a8f12013-03-21 11:06:46 -0400890 free_pipe_info(tsk->splice_pipe);
Jens Axboeb92ce552006-04-11 13:52:07 +0200891
Eric Dumazet5640f762012-09-23 23:04:42 +0000892 if (tsk->task_frag.page)
893 put_page(tsk->task_frag.page);
894
David Howellse0e81732009-09-02 09:13:40 +0100895 validate_creds_for_do_exit(tsk);
896
Oleg Nesterov4bcb8232014-04-07 15:38:30 -0700897 check_stack_usage();
Coywolf Qi Hunt74072512005-10-30 15:02:47 -0800898 preempt_disable();
Wu Fengguang54848d72011-04-05 13:21:19 -0600899 if (tsk->nr_dirtied)
900 __this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700901 exit_rcu();
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700902 TASKS_RCU(__srcu_read_unlock(&tasks_rcu_exit_srcu, tasks_rcu_i));
Yasunori Gotob5740f42012-01-17 17:40:31 +0900903
Peter Zijlstra9af65282016-09-13 18:37:29 +0200904 do_task_dead();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905}
Russ Anderson012914d2005-04-23 00:08:00 -0700906EXPORT_SYMBOL_GPL(do_exit);
907
Joe Perches9402c952012-01-12 17:17:17 -0800908void complete_and_exit(struct completion *comp, long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909{
910 if (comp)
911 complete(comp);
Oleg Nesterov55a101f2006-09-29 02:01:10 -0700912
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913 do_exit(code);
914}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700915EXPORT_SYMBOL(complete_and_exit);
916
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100917SYSCALL_DEFINE1(exit, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918{
919 do_exit((error_code&0xff)<<8);
920}
921
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922/*
923 * Take down every thread in the group. This is called by fatal signals
924 * as well as by sys_exit_group (below).
925 */
Joe Perches9402c952012-01-12 17:17:17 -0800926void
Linus Torvalds1da177e2005-04-16 15:20:36 -0700927do_group_exit(int exit_code)
928{
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700929 struct signal_struct *sig = current->signal;
930
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931 BUG_ON(exit_code & 0x80); /* core dumps don't get here */
932
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700933 if (signal_group_exit(sig))
934 exit_code = sig->group_exit_code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935 else if (!thread_group_empty(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936 struct sighand_struct *const sighand = current->sighand;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700937
Linus Torvalds1da177e2005-04-16 15:20:36 -0700938 spin_lock_irq(&sighand->siglock);
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800939 if (signal_group_exit(sig))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940 /* Another thread got here before we took the lock. */
941 exit_code = sig->group_exit_code;
942 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700943 sig->group_exit_code = exit_code;
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800944 sig->flags = SIGNAL_GROUP_EXIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945 zap_other_threads(current);
946 }
947 spin_unlock_irq(&sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700948 }
949
950 do_exit(exit_code);
951 /* NOTREACHED */
952}
953
954/*
955 * this kills every thread in the thread group. Note that any externally
956 * wait4()-ing process will get the correct exit code - even if this
957 * thread is not the thread group leader.
958 */
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100959SYSCALL_DEFINE1(exit_group, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700960{
961 do_group_exit((error_code & 0xff) << 8);
Heiko Carstens2ed7c032009-01-14 14:13:54 +0100962 /* NOTREACHED */
963 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700964}
965
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700966struct wait_opts {
967 enum pid_type wo_type;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700968 int wo_flags;
Richard Kennedye1eb1eb2009-06-17 16:27:42 -0700969 struct pid *wo_pid;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700970
971 struct siginfo __user *wo_info;
972 int __user *wo_stat;
973 struct rusage __user *wo_rusage;
974
Oleg Nesterov0b7570e2009-09-23 15:56:46 -0700975 wait_queue_t child_wait;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700976 int notask_error;
977};
978
Oleg Nesterov989264f2009-09-23 15:56:49 -0700979static inline
980struct pid *task_pid_type(struct task_struct *task, enum pid_type type)
Eric W. Biederman161550d2008-02-08 04:19:14 -0800981{
Oleg Nesterov989264f2009-09-23 15:56:49 -0700982 if (type != PIDTYPE_PID)
983 task = task->group_leader;
984 return task->pids[type].pid;
Eric W. Biederman161550d2008-02-08 04:19:14 -0800985}
986
Oleg Nesterov989264f2009-09-23 15:56:49 -0700987static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700988{
989 return wo->wo_type == PIDTYPE_MAX ||
990 task_pid_type(p, wo->wo_type) == wo->wo_pid;
991}
992
Oleg Nesterovbf959932016-05-23 16:23:50 -0700993static int
994eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700995{
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700996 if (!eligible_pid(wo, p))
997 return 0;
Oleg Nesterovbf959932016-05-23 16:23:50 -0700998
999 /*
1000 * Wait for all children (clone and not) if __WALL is set or
1001 * if it is traced by us.
1002 */
1003 if (ptrace || (wo->wo_flags & __WALL))
1004 return 1;
1005
1006 /*
1007 * Otherwise, wait for clone children *only* if __WCLONE is set;
1008 * otherwise, wait for non-clone children *only*.
1009 *
1010 * Note: a "clone" child here is one that reports to its parent
1011 * using a signal other than SIGCHLD, or a non-leader thread which
1012 * we can only see if it is traced by us.
1013 */
1014 if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001015 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001016
Roland McGrath14dd0b82008-03-30 18:41:25 -07001017 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001018}
1019
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001020static int wait_noreap_copyout(struct wait_opts *wo, struct task_struct *p,
1021 pid_t pid, uid_t uid, int why, int status)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001022{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001023 struct siginfo __user *infop;
1024 int retval = wo->wo_rusage
1025 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Ingo Molnar36c8b582006-07-03 00:25:41 -07001026
Linus Torvalds1da177e2005-04-16 15:20:36 -07001027 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001028 infop = wo->wo_info;
Vitaly Mayatskikhb6fe2d12009-09-23 15:56:52 -07001029 if (infop) {
1030 if (!retval)
1031 retval = put_user(SIGCHLD, &infop->si_signo);
1032 if (!retval)
1033 retval = put_user(0, &infop->si_errno);
1034 if (!retval)
1035 retval = put_user((short)why, &infop->si_code);
1036 if (!retval)
1037 retval = put_user(pid, &infop->si_pid);
1038 if (!retval)
1039 retval = put_user(uid, &infop->si_uid);
1040 if (!retval)
1041 retval = put_user(status, &infop->si_status);
1042 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001043 if (!retval)
1044 retval = pid;
1045 return retval;
1046}
1047
1048/*
1049 * Handle sys_wait4 work for one task in state EXIT_ZOMBIE. We hold
1050 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1051 * the lock and this task is uninteresting. If we return nonzero, we have
1052 * released the lock and the system call should return.
1053 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001054static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001055{
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001056 int state, retval, status;
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001057 pid_t pid = task_pid_vnr(p);
Oleg Nesterov43e13cc2012-05-31 16:26:16 -07001058 uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001059 struct siginfo __user *infop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001061 if (!likely(wo->wo_flags & WEXITED))
Roland McGrath98abed02008-03-19 19:24:59 -07001062 return 0;
1063
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001064 if (unlikely(wo->wo_flags & WNOWAIT)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001065 int exit_code = p->exit_code;
Thiago Farinaf3abd4f2010-03-05 13:42:52 -08001066 int why;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067
Linus Torvalds1da177e2005-04-16 15:20:36 -07001068 get_task_struct(p);
1069 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001070 sched_annotate_sleep();
1071
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072 if ((exit_code & 0x7f) == 0) {
1073 why = CLD_EXITED;
1074 status = exit_code >> 8;
1075 } else {
1076 why = (exit_code & 0x80) ? CLD_DUMPED : CLD_KILLED;
1077 status = exit_code & 0x7f;
1078 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001079 return wait_noreap_copyout(wo, p, pid, uid, why, status);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001080 }
Oleg Nesterovbefca962009-06-18 16:49:11 -07001081 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001082 * Move the task's state to DEAD/TRACE, only one thread can do this.
1083 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001084 state = (ptrace_reparented(p) && thread_group_leader(p)) ?
1085 EXIT_TRACE : EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001086 if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
1087 return 0;
Oleg Nesterov986094d2014-12-10 15:54:51 -08001088 /*
1089 * We own this thread, nobody else can reap it.
1090 */
1091 read_unlock(&tasklist_lock);
1092 sched_annotate_sleep();
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001093
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001094 /*
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001095 * Check thread_group_leader() to exclude the traced sub-threads.
Oleg Nesterovbefca962009-06-18 16:49:11 -07001096 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001097 if (state == EXIT_DEAD && thread_group_leader(p)) {
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001098 struct signal_struct *sig = p->signal;
1099 struct signal_struct *psig = current->signal;
Jiri Pirko1f102062009-09-22 16:44:10 -07001100 unsigned long maxrss;
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001101 cputime_t tgutime, tgstime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001102
Linus Torvalds1da177e2005-04-16 15:20:36 -07001103 /*
1104 * The resource counters for the group leader are in its
1105 * own task_struct. Those for dead threads in the group
1106 * are in its signal_struct, as are those for the child
1107 * processes it has previously reaped. All these
1108 * accumulate in the parent's signal_struct c* fields.
1109 *
1110 * We don't bother to take a lock here to protect these
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001111 * p->signal fields because the whole thread group is dead
1112 * and nobody can change them.
1113 *
1114 * psig->stats_lock also protects us from our sub-theads
1115 * which can reap other children at the same time. Until
1116 * we change k_getrusage()-like users to rely on this lock
1117 * we have to take ->siglock as well.
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001118 *
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001119 * We use thread_group_cputime_adjusted() to get times for
1120 * the thread group, which consolidates times for all threads
1121 * in the group including the group leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001122 */
Frederic Weisbeckere80d0a1a2012-11-21 16:26:44 +01001123 thread_group_cputime_adjusted(p, &tgutime, &tgstime);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001124 spin_lock_irq(&current->sighand->siglock);
Rik van Riele78c3492014-08-16 13:40:10 -04001125 write_seqlock(&psig->stats_lock);
Martin Schwidefsky64861632011-12-15 14:56:09 +01001126 psig->cutime += tgutime + sig->cutime;
1127 psig->cstime += tgstime + sig->cstime;
Frederic Weisbecker6fac4822012-11-13 14:20:55 +01001128 psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001129 psig->cmin_flt +=
1130 p->min_flt + sig->min_flt + sig->cmin_flt;
1131 psig->cmaj_flt +=
1132 p->maj_flt + sig->maj_flt + sig->cmaj_flt;
1133 psig->cnvcsw +=
1134 p->nvcsw + sig->nvcsw + sig->cnvcsw;
1135 psig->cnivcsw +=
1136 p->nivcsw + sig->nivcsw + sig->cnivcsw;
Eric Dumazet6eaeeab2007-05-10 22:22:37 -07001137 psig->cinblock +=
1138 task_io_get_inblock(p) +
1139 sig->inblock + sig->cinblock;
1140 psig->coublock +=
1141 task_io_get_oublock(p) +
1142 sig->oublock + sig->coublock;
Jiri Pirko1f102062009-09-22 16:44:10 -07001143 maxrss = max(sig->maxrss, sig->cmaxrss);
1144 if (psig->cmaxrss < maxrss)
1145 psig->cmaxrss = maxrss;
Andrea Righi59954772008-07-27 17:29:15 +02001146 task_io_accounting_add(&psig->ioac, &p->ioac);
1147 task_io_accounting_add(&psig->ioac, &sig->ioac);
Rik van Riele78c3492014-08-16 13:40:10 -04001148 write_sequnlock(&psig->stats_lock);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001149 spin_unlock_irq(&current->sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001150 }
1151
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001152 retval = wo->wo_rusage
1153 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001154 status = (p->signal->flags & SIGNAL_GROUP_EXIT)
1155 ? p->signal->group_exit_code : p->exit_code;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001156 if (!retval && wo->wo_stat)
1157 retval = put_user(status, wo->wo_stat);
1158
1159 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160 if (!retval && infop)
1161 retval = put_user(SIGCHLD, &infop->si_signo);
1162 if (!retval && infop)
1163 retval = put_user(0, &infop->si_errno);
1164 if (!retval && infop) {
1165 int why;
1166
1167 if ((status & 0x7f) == 0) {
1168 why = CLD_EXITED;
1169 status >>= 8;
1170 } else {
1171 why = (status & 0x80) ? CLD_DUMPED : CLD_KILLED;
1172 status &= 0x7f;
1173 }
1174 retval = put_user((short)why, &infop->si_code);
1175 if (!retval)
1176 retval = put_user(status, &infop->si_status);
1177 }
1178 if (!retval && infop)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001179 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001180 if (!retval && infop)
David Howellsc69e8d92008-11-14 10:39:19 +11001181 retval = put_user(uid, &infop->si_uid);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001182 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001183 retval = pid;
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001184
Oleg Nesterovb4360692014-04-07 15:38:43 -07001185 if (state == EXIT_TRACE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001186 write_lock_irq(&tasklist_lock);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001187 /* We dropped tasklist, ptracer could die and untrace */
1188 ptrace_unlink(p);
Oleg Nesterovb4360692014-04-07 15:38:43 -07001189
1190 /* If parent wants a zombie, don't release it now */
1191 state = EXIT_ZOMBIE;
1192 if (do_notify_parent(p, p->exit_signal))
1193 state = EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001194 p->exit_state = state;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001195 write_unlock_irq(&tasklist_lock);
1196 }
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001197 if (state == EXIT_DEAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198 release_task(p);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001199
Linus Torvalds1da177e2005-04-16 15:20:36 -07001200 return retval;
1201}
1202
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001203static int *task_stopped_code(struct task_struct *p, bool ptrace)
1204{
1205 if (ptrace) {
Oleg Nesterov570ac932016-01-20 14:59:58 -08001206 if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001207 return &p->exit_code;
1208 } else {
1209 if (p->signal->flags & SIGNAL_STOP_STOPPED)
1210 return &p->signal->group_exit_code;
1211 }
1212 return NULL;
1213}
1214
Tejun Heo19e27462011-05-12 10:47:23 +02001215/**
1216 * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED
1217 * @wo: wait options
1218 * @ptrace: is the wait for ptrace
1219 * @p: task to wait for
1220 *
1221 * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED.
1222 *
1223 * CONTEXT:
1224 * read_lock(&tasklist_lock), which is released if return value is
1225 * non-zero. Also, grabs and releases @p->sighand->siglock.
1226 *
1227 * RETURNS:
1228 * 0 if wait condition didn't exist and search for other wait conditions
1229 * should continue. Non-zero return, -errno on failure and @p's pid on
1230 * success, implies that tasklist_lock is released and wait condition
1231 * search should terminate.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001232 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001233static int wait_task_stopped(struct wait_opts *wo,
1234 int ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001235{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001236 struct siginfo __user *infop;
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001237 int retval, exit_code, *p_code, why;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001238 uid_t uid = 0; /* unneeded, required by compiler */
Oleg Nesterovc8950782007-11-28 16:21:24 -08001239 pid_t pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001240
Oleg Nesterov47918022009-06-17 16:27:39 -07001241 /*
1242 * Traditionally we see ptrace'd stopped tasks regardless of options.
1243 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001244 if (!ptrace && !(wo->wo_flags & WUNTRACED))
Roland McGrath98abed02008-03-19 19:24:59 -07001245 return 0;
1246
Tejun Heo19e27462011-05-12 10:47:23 +02001247 if (!task_stopped_code(p, ptrace))
1248 return 0;
1249
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001250 exit_code = 0;
1251 spin_lock_irq(&p->sighand->siglock);
1252
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001253 p_code = task_stopped_code(p, ptrace);
1254 if (unlikely(!p_code))
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001255 goto unlock_sig;
1256
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001257 exit_code = *p_code;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001258 if (!exit_code)
1259 goto unlock_sig;
1260
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001261 if (!unlikely(wo->wo_flags & WNOWAIT))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001262 *p_code = 0;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001263
Sasha Levin8ca937a2012-05-17 23:31:39 +02001264 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001265unlock_sig:
1266 spin_unlock_irq(&p->sighand->siglock);
1267 if (!exit_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268 return 0;
1269
1270 /*
1271 * Now we are pretty sure this task is interesting.
1272 * Make sure it doesn't get reaped out from under us while we
1273 * give up the lock and then examine it below. We don't want to
1274 * keep holding onto the tasklist_lock while we call getrusage and
1275 * possibly take page faults for user memory.
1276 */
1277 get_task_struct(p);
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001278 pid = task_pid_vnr(p);
Roland McGrathf4700212008-03-24 18:36:23 -07001279 why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001280 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001281 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001282
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001283 if (unlikely(wo->wo_flags & WNOWAIT))
1284 return wait_noreap_copyout(wo, p, pid, uid, why, exit_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001285
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001286 retval = wo->wo_rusage
1287 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
1288 if (!retval && wo->wo_stat)
1289 retval = put_user((exit_code << 8) | 0x7f, wo->wo_stat);
1290
1291 infop = wo->wo_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001292 if (!retval && infop)
1293 retval = put_user(SIGCHLD, &infop->si_signo);
1294 if (!retval && infop)
1295 retval = put_user(0, &infop->si_errno);
1296 if (!retval && infop)
Roland McGrath6efcae42008-03-08 11:41:22 -08001297 retval = put_user((short)why, &infop->si_code);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001298 if (!retval && infop)
1299 retval = put_user(exit_code, &infop->si_status);
1300 if (!retval && infop)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001301 retval = put_user(pid, &infop->si_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001302 if (!retval && infop)
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001303 retval = put_user(uid, &infop->si_uid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304 if (!retval)
Oleg Nesterovc8950782007-11-28 16:21:24 -08001305 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001306 put_task_struct(p);
1307
1308 BUG_ON(!retval);
1309 return retval;
1310}
1311
1312/*
1313 * Handle do_wait work for one task in a live, non-stopped state.
1314 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1315 * the lock and this task is uninteresting. If we return nonzero, we have
1316 * released the lock and the system call should return.
1317 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001318static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001319{
1320 int retval;
1321 pid_t pid;
1322 uid_t uid;
1323
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001324 if (!unlikely(wo->wo_flags & WCONTINUED))
Roland McGrath98abed02008-03-19 19:24:59 -07001325 return 0;
1326
Linus Torvalds1da177e2005-04-16 15:20:36 -07001327 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED))
1328 return 0;
1329
1330 spin_lock_irq(&p->sighand->siglock);
1331 /* Re-check with the lock held. */
1332 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) {
1333 spin_unlock_irq(&p->sighand->siglock);
1334 return 0;
1335 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001336 if (!unlikely(wo->wo_flags & WNOWAIT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337 p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
Sasha Levin8ca937a2012-05-17 23:31:39 +02001338 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 spin_unlock_irq(&p->sighand->siglock);
1340
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001341 pid = task_pid_vnr(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001342 get_task_struct(p);
1343 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001344 sched_annotate_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001345
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001346 if (!wo->wo_info) {
1347 retval = wo->wo_rusage
1348 ? getrusage(p, RUSAGE_BOTH, wo->wo_rusage) : 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349 put_task_struct(p);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001350 if (!retval && wo->wo_stat)
1351 retval = put_user(0xffff, wo->wo_stat);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352 if (!retval)
Oleg Nesterov3a515e42008-02-08 04:19:07 -08001353 retval = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001354 } else {
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001355 retval = wait_noreap_copyout(wo, p, pid, uid,
1356 CLD_CONTINUED, SIGCONT);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001357 BUG_ON(retval == 0);
1358 }
1359
1360 return retval;
1361}
1362
Roland McGrath98abed02008-03-19 19:24:59 -07001363/*
1364 * Consider @p for a wait by @parent.
1365 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001366 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001367 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1368 * Returns zero if the search for a child should continue;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001369 * then ->notask_error is 0 if @p is an eligible child,
Roland McGrath14dd0b82008-03-30 18:41:25 -07001370 * or another error from security_task_wait(), or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001371 */
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001372static int wait_consider_task(struct wait_opts *wo, int ptrace,
1373 struct task_struct *p)
Roland McGrath98abed02008-03-19 19:24:59 -07001374{
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001375 /*
1376 * We can race with wait_task_zombie() from another thread.
1377 * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition
1378 * can't confuse the checks below.
1379 */
1380 int exit_state = ACCESS_ONCE(p->exit_state);
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001381 int ret;
1382
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001383 if (unlikely(exit_state == EXIT_DEAD))
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001384 return 0;
1385
Oleg Nesterovbf959932016-05-23 16:23:50 -07001386 ret = eligible_child(wo, ptrace, p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001387 if (!ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001388 return ret;
1389
Oleg Nesterova2322e12009-09-23 15:56:45 -07001390 ret = security_task_wait(p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001391 if (unlikely(ret < 0)) {
1392 /*
1393 * If we have not yet seen any eligible child,
1394 * then let this error code replace -ECHILD.
1395 * A permission error will give the user a clue
1396 * to look for security policy problems, rather
1397 * than for mysterious wait bugs.
1398 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001399 if (wo->notask_error)
1400 wo->notask_error = ret;
Oleg Nesterov78a3d9d2009-04-29 18:01:23 +02001401 return 0;
Roland McGrath14dd0b82008-03-30 18:41:25 -07001402 }
1403
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001404 if (unlikely(exit_state == EXIT_TRACE)) {
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001405 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001406 * ptrace == 0 means we are the natural parent. In this case
1407 * we should clear notask_error, debugger will notify us.
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001408 */
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001409 if (likely(!ptrace))
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001410 wo->notask_error = 0;
Roland McGrath98abed02008-03-19 19:24:59 -07001411 return 0;
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001412 }
Roland McGrath98abed02008-03-19 19:24:59 -07001413
Oleg Nesterov377d75d2014-04-07 15:38:47 -07001414 if (likely(!ptrace) && unlikely(p->ptrace)) {
1415 /*
1416 * If it is traced by its real parent's group, just pretend
1417 * the caller is ptrace_do_wait() and reap this child if it
1418 * is zombie.
1419 *
1420 * This also hides group stop state from real parent; otherwise
1421 * a single stop can be reported twice as group and ptrace stop.
1422 * If a ptracer wants to distinguish these two events for its
1423 * own children it should create a separate process which takes
1424 * the role of real parent.
1425 */
1426 if (!ptrace_reparented(p))
1427 ptrace = 1;
1428 }
1429
Tejun Heo9b84cca2011-03-23 10:37:01 +01001430 /* slay zombie? */
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001431 if (exit_state == EXIT_ZOMBIE) {
Tejun Heo9b84cca2011-03-23 10:37:01 +01001432 /* we don't reap group leaders with subthreads */
Oleg Nesterov7c733eb2014-04-07 15:38:49 -07001433 if (!delay_group_leader(p)) {
1434 /*
1435 * A zombie ptracee is only visible to its ptracer.
1436 * Notification and reaping will be cascaded to the
1437 * real parent when the ptracer detaches.
1438 */
1439 if (unlikely(ptrace) || likely(!p->ptrace))
1440 return wait_task_zombie(wo, p);
1441 }
Roland McGrath98abed02008-03-19 19:24:59 -07001442
Tejun Heo9b84cca2011-03-23 10:37:01 +01001443 /*
1444 * Allow access to stopped/continued state via zombie by
1445 * falling through. Clearing of notask_error is complex.
1446 *
1447 * When !@ptrace:
1448 *
1449 * If WEXITED is set, notask_error should naturally be
1450 * cleared. If not, subset of WSTOPPED|WCONTINUED is set,
1451 * so, if there are live subthreads, there are events to
1452 * wait for. If all subthreads are dead, it's still safe
1453 * to clear - this function will be called again in finite
1454 * amount time once all the subthreads are released and
1455 * will then return without clearing.
1456 *
1457 * When @ptrace:
1458 *
1459 * Stopped state is per-task and thus can't change once the
1460 * target task dies. Only continued and exited can happen.
1461 * Clear notask_error if WCONTINUED | WEXITED.
1462 */
1463 if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED)))
1464 wo->notask_error = 0;
1465 } else {
1466 /*
1467 * @p is alive and it's gonna stop, continue or exit, so
1468 * there always is something to wait for.
1469 */
1470 wo->notask_error = 0;
1471 }
Roland McGrath98abed02008-03-19 19:24:59 -07001472
1473 /*
Tejun Heo45cb24a2011-03-23 10:37:01 +01001474 * Wait for stopped. Depending on @ptrace, different stopped state
1475 * is used and the two don't interact with each other.
Roland McGrath98abed02008-03-19 19:24:59 -07001476 */
Tejun Heo19e27462011-05-12 10:47:23 +02001477 ret = wait_task_stopped(wo, ptrace, p);
1478 if (ret)
1479 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001480
Tejun Heo45cb24a2011-03-23 10:37:01 +01001481 /*
1482 * Wait for continued. There's only one continued state and the
1483 * ptracer can consume it which can confuse the real parent. Don't
1484 * use WCONTINUED from ptracer. You don't need or want it.
1485 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001486 return wait_task_continued(wo, p);
Roland McGrath98abed02008-03-19 19:24:59 -07001487}
1488
1489/*
1490 * Do the work of do_wait() for one thread in the group, @tsk.
1491 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001492 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001493 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1494 * Returns zero if the search for a child should continue; then
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001495 * ->notask_error is 0 if there were any eligible children,
Roland McGrath14dd0b82008-03-30 18:41:25 -07001496 * or another error from security_task_wait(), or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001497 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001498static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001499{
1500 struct task_struct *p;
1501
1502 list_for_each_entry(p, &tsk->children, sibling) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001503 int ret = wait_consider_task(wo, 0, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001504
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001505 if (ret)
1506 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001507 }
1508
1509 return 0;
1510}
1511
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001512static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001513{
1514 struct task_struct *p;
1515
Roland McGrathf4700212008-03-24 18:36:23 -07001516 list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001517 int ret = wait_consider_task(wo, 1, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001518
Roland McGrathf4700212008-03-24 18:36:23 -07001519 if (ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001520 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001521 }
1522
1523 return 0;
1524}
1525
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001526static int child_wait_callback(wait_queue_t *wait, unsigned mode,
1527 int sync, void *key)
1528{
1529 struct wait_opts *wo = container_of(wait, struct wait_opts,
1530 child_wait);
1531 struct task_struct *p = key;
1532
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001533 if (!eligible_pid(wo, p))
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001534 return 0;
1535
Oleg Nesterovb4fe5182009-09-23 15:56:47 -07001536 if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
1537 return 0;
1538
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001539 return default_wake_function(wait, mode, sync, key);
1540}
1541
Oleg Nesterova7f07652009-09-23 15:56:44 -07001542void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
1543{
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001544 __wake_up_sync_key(&parent->signal->wait_chldexit,
1545 TASK_INTERRUPTIBLE, 1, p);
Oleg Nesterova7f07652009-09-23 15:56:44 -07001546}
1547
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001548static long do_wait(struct wait_opts *wo)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001549{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001550 struct task_struct *tsk;
Roland McGrath98abed02008-03-19 19:24:59 -07001551 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001552
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001553 trace_sched_process_wait(wo->wo_pid);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -04001554
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001555 init_waitqueue_func_entry(&wo->child_wait, child_wait_callback);
1556 wo->child_wait.private = current;
1557 add_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001558repeat:
Roland McGrath98abed02008-03-19 19:24:59 -07001559 /*
Frans Klaver3da56d12015-05-21 22:35:57 +02001560 * If there is nothing that can match our criteria, just get out.
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001561 * We will clear ->notask_error to zero if we see any child that
1562 * might later match our criteria, even if we are not able to reap
1563 * it yet.
Roland McGrath98abed02008-03-19 19:24:59 -07001564 */
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001565 wo->notask_error = -ECHILD;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001566 if ((wo->wo_type < PIDTYPE_MAX) &&
1567 (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type])))
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001568 goto notask;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001569
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001570 set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001571 read_lock(&tasklist_lock);
1572 tsk = current;
1573 do {
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001574 retval = do_wait_thread(wo, tsk);
1575 if (retval)
Roland McGrath98abed02008-03-19 19:24:59 -07001576 goto end;
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001577
1578 retval = ptrace_do_wait(wo, tsk);
1579 if (retval)
1580 goto end;
Roland McGrath98abed02008-03-19 19:24:59 -07001581
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001582 if (wo->wo_flags & __WNOTHREAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001583 break;
Oleg Nesterova3f6dfb2009-06-17 16:27:41 -07001584 } while_each_thread(current, tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001585 read_unlock(&tasklist_lock);
Oleg Nesterovf2cc3eb2008-02-08 04:19:06 -08001586
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001587notask:
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001588 retval = wo->notask_error;
1589 if (!retval && !(wo->wo_flags & WNOHANG)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001590 retval = -ERESTARTSYS;
Roland McGrath98abed02008-03-19 19:24:59 -07001591 if (!signal_pending(current)) {
1592 schedule();
1593 goto repeat;
1594 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001595 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001596end:
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001597 __set_current_state(TASK_RUNNING);
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001598 remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001599 return retval;
1600}
1601
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001602SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
1603 infop, int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001604{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001605 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001606 struct pid *pid = NULL;
1607 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001608 long ret;
1609
Oleg Nesterov91c4e8e2016-05-23 16:23:53 -07001610 if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
1611 __WNOTHREAD|__WCLONE|__WALL))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001612 return -EINVAL;
1613 if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
1614 return -EINVAL;
1615
1616 switch (which) {
1617 case P_ALL:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001618 type = PIDTYPE_MAX;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001619 break;
1620 case P_PID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001621 type = PIDTYPE_PID;
1622 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001623 return -EINVAL;
1624 break;
1625 case P_PGID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001626 type = PIDTYPE_PGID;
1627 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001628 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001629 break;
1630 default:
1631 return -EINVAL;
1632 }
1633
Eric W. Biederman161550d2008-02-08 04:19:14 -08001634 if (type < PIDTYPE_MAX)
1635 pid = find_get_pid(upid);
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001636
1637 wo.wo_type = type;
1638 wo.wo_pid = pid;
1639 wo.wo_flags = options;
1640 wo.wo_info = infop;
1641 wo.wo_stat = NULL;
1642 wo.wo_rusage = ru;
1643 ret = do_wait(&wo);
Vitaly Mayatskikhdfe16df2009-09-23 15:56:51 -07001644
1645 if (ret > 0) {
1646 ret = 0;
1647 } else if (infop) {
1648 /*
1649 * For a WNOHANG return, clear out all the fields
1650 * we would set so the user can easily tell the
1651 * difference.
1652 */
1653 if (!ret)
1654 ret = put_user(0, &infop->si_signo);
1655 if (!ret)
1656 ret = put_user(0, &infop->si_errno);
1657 if (!ret)
1658 ret = put_user(0, &infop->si_code);
1659 if (!ret)
1660 ret = put_user(0, &infop->si_pid);
1661 if (!ret)
1662 ret = put_user(0, &infop->si_uid);
1663 if (!ret)
1664 ret = put_user(0, &infop->si_status);
1665 }
1666
Eric W. Biederman161550d2008-02-08 04:19:14 -08001667 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001668 return ret;
1669}
1670
Heiko Carstens754fe8d2009-01-14 14:14:09 +01001671SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
1672 int, options, struct rusage __user *, ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001673{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001674 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001675 struct pid *pid = NULL;
1676 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001677 long ret;
1678
1679 if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
1680 __WNOTHREAD|__WCLONE|__WALL))
1681 return -EINVAL;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001682
zhongjiang04103c22017-07-10 15:53:01 -07001683 /* -INT_MIN is not defined */
1684 if (upid == INT_MIN)
1685 return -ESRCH;
1686
Eric W. Biederman161550d2008-02-08 04:19:14 -08001687 if (upid == -1)
1688 type = PIDTYPE_MAX;
1689 else if (upid < 0) {
1690 type = PIDTYPE_PGID;
1691 pid = find_get_pid(-upid);
1692 } else if (upid == 0) {
1693 type = PIDTYPE_PGID;
Oleg Nesterov2ae448e2009-04-02 16:58:36 -07001694 pid = get_task_pid(current, PIDTYPE_PGID);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001695 } else /* upid > 0 */ {
1696 type = PIDTYPE_PID;
1697 pid = find_get_pid(upid);
1698 }
1699
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001700 wo.wo_type = type;
1701 wo.wo_pid = pid;
1702 wo.wo_flags = options | WEXITED;
1703 wo.wo_info = NULL;
1704 wo.wo_stat = stat_addr;
1705 wo.wo_rusage = ru;
1706 ret = do_wait(&wo);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001707 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001708
Linus Torvalds1da177e2005-04-16 15:20:36 -07001709 return ret;
1710}
1711
1712#ifdef __ARCH_WANT_SYS_WAITPID
1713
1714/*
1715 * sys_waitpid() remains for compatibility. waitpid() should be
1716 * implemented by calling sys_wait4() from libc.a.
1717 */
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001718SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001719{
1720 return sys_wait4(pid, stat_addr, options, NULL);
1721}
1722
1723#endif