blob: b00a25bb4ab939fb54e29785f9365c01c1447080 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * linux/kernel/exit.c
4 *
5 * Copyright (C) 1991, 1992 Linus Torvalds
6 */
7
Linus Torvalds1da177e2005-04-16 15:20:36 -07008#include <linux/mm.h>
9#include <linux/slab.h>
Ingo Molnar4eb5aaa2017-02-08 18:51:29 +010010#include <linux/sched/autogroup.h>
Ingo Molnar6e84f312017-02-08 18:51:29 +010011#include <linux/sched/mm.h>
Ingo Molnar03441a32017-02-08 18:51:35 +010012#include <linux/sched/stat.h>
Ingo Molnar29930022017-02-08 18:51:36 +010013#include <linux/sched/task.h>
Ingo Molnar68db0cf2017-02-08 18:51:37 +010014#include <linux/sched/task_stack.h>
Ingo Molnar32ef5512017-02-05 11:48:36 +010015#include <linux/sched/cputime.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/interrupt.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/module.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080018#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/completion.h>
20#include <linux/personality.h>
21#include <linux/tty.h>
Jens Axboeda9cbc82008-06-30 20:42:08 +020022#include <linux/iocontext.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023#include <linux/key.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024#include <linux/cpu.h>
25#include <linux/acct.h>
Jay Lan8f0ab512006-09-30 23:28:59 -070026#include <linux/tsacct_kern.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070027#include <linux/file.h>
Al Viro9f3acc32008-04-24 07:44:08 -040028#include <linux/fdtable.h>
Mandeep Singh Baines80d26af2013-02-27 17:03:20 -080029#include <linux/freezer.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include <linux/binfmts.h>
Serge E. Hallynab516012006-10-02 02:18:06 -070031#include <linux/nsproxy.h>
Sukadev Bhattiprolu84d73782006-12-08 02:38:01 -080032#include <linux/pid_namespace.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070033#include <linux/ptrace.h>
34#include <linux/profile.h>
35#include <linux/mount.h>
36#include <linux/proc_fs.h>
Eric W. Biederman49d769d2007-05-09 02:34:33 -070037#include <linux/kthread.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070038#include <linux/mempolicy.h>
Shailabh Nagarc7572492006-07-14 00:24:40 -070039#include <linux/taskstats_kern.h>
Shailabh Nagarca74e922006-07-14 00:24:36 -070040#include <linux/delayacct.h>
Paul Menageb4f48b62007-10-18 23:39:33 -070041#include <linux/cgroup.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070042#include <linux/syscalls.h>
Jesper Juhl7ed20e12005-05-01 08:59:14 -070043#include <linux/signal.h>
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080044#include <linux/posix-timers.h>
Matt Helsley9f460802005-11-07 00:59:16 -080045#include <linux/cn_proc.h>
Ingo Molnarde5097c2006-01-09 15:59:21 -080046#include <linux/mutex.h>
Ingo Molnar0771dfe2006-03-27 01:16:22 -080047#include <linux/futex.h>
Jens Axboeb92ce552006-04-11 13:52:07 +020048#include <linux/pipe_fs_i.h>
Al Virofa84cb92006-03-29 20:30:19 -050049#include <linux/audit.h> /* for audit_free() */
Adrian Bunk83cc5ed2006-06-25 05:47:41 -070050#include <linux/resource.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>
David Howellsd84f4f92008-11-14 10:39:23 +110054#include <linux/init_task.h>
Ingo Molnarcdd6c482009-09-21 12:02:48 +020055#include <linux/perf_event.h>
Steven Rostedtad8d75f2009-04-14 19:39:12 -040056#include <trace/events/sched.h>
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +020057#include <linux/hw_breakpoint.h>
Ying Han3d5992d2010-10-26 14:21:23 -070058#include <linux/oom.h>
Wu Fengguang54848d72011-04-05 13:21:19 -060059#include <linux/writeback.h>
Al Viro40401532012-02-13 03:58:52 +000060#include <linux/shm.h>
Dmitry Vyukov5c9a8752016-03-22 14:27:30 -070061#include <linux/kcov.h>
Nicolas Pitre53d3eaa2016-11-11 00:10:09 -050062#include <linux/random.h>
Davidlohr Bueso8f95c902017-01-11 07:22:25 -080063#include <linux/rcuwait.h>
Al Viro7e95a222017-05-14 19:52:01 -040064#include <linux/compat.h>
Pavel Begunkovb1b6b5a2020-12-30 21:34:16 +000065#include <linux/io_uring.h>
Thomas Gleixner670721c2021-09-28 14:24:28 +020066#include <linux/kprobes.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070067
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080068#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070069#include <asm/unistd.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070070#include <asm/mmu_context.h>
71
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070072static void __unhash_process(struct task_struct *p, bool group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -070073{
74 nr_threads--;
Oleg Nesterov50d75f82012-06-20 12:53:04 -070075 detach_pid(p, PIDTYPE_PID);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070076 if (group_dead) {
Eric W. Biederman6883f812017-06-04 04:32:13 -050077 detach_pid(p, PIDTYPE_TGID);
Linus Torvalds1da177e2005-04-16 15:20:36 -070078 detach_pid(p, PIDTYPE_PGID);
79 detach_pid(p, PIDTYPE_SID);
Oleg Nesterovc97d9892006-03-28 16:11:06 -080080
Eric W. Biederman5e85d4a2006-04-18 22:20:16 -070081 list_del_rcu(&p->tasks);
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -080082 list_del_init(&p->sibling);
Christoph Lameter909ea962010-12-08 16:22:55 +010083 __this_cpu_dec(process_counts);
Linus Torvalds1da177e2005-04-16 15:20:36 -070084 }
Oleg Nesterov47e65322006-03-28 16:11:25 -080085 list_del_rcu(&p->thread_group);
Oleg Nesterov0c740d02014-01-21 15:49:56 -080086 list_del_rcu(&p->thread_node);
Linus Torvalds1da177e2005-04-16 15:20:36 -070087}
88
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080089/*
90 * This function expects the tasklist_lock write-locked.
91 */
92static void __exit_signal(struct task_struct *tsk)
93{
94 struct signal_struct *sig = tsk->signal;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -070095 bool group_dead = thread_group_leader(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080096 struct sighand_struct *sighand;
Kees Cook3f649ab2020-06-03 13:09:38 -070097 struct tty_struct *tty;
Frederic Weisbecker5613fda2017-01-31 04:09:23 +010098 u64 utime, stime;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -080099
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800100 sighand = rcu_dereference_check(tsk->sighand,
Paul E. McKenneydb1466b2010-03-03 07:46:56 -0800101 lockdep_tasklist_lock_is_held());
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800102 spin_lock(&sighand->siglock);
103
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500104#ifdef CONFIG_POSIX_TIMERS
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800105 posix_cpu_timers_exit(tsk);
Eric W. Biedermanb95e31c2020-02-28 11:15:03 -0600106 if (group_dead)
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800107 posix_cpu_timers_exit_group(tsk);
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500108#endif
Oleg Nesterove0a70212010-11-05 16:53:42 +0100109
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500110 if (group_dead) {
111 tty = sig->tty;
112 sig->tty = NULL;
113 } else {
Oleg Nesterove0a70212010-11-05 16:53:42 +0100114 /*
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800115 * If there is any task waiting for the group exit
116 * then notify it:
117 */
Oleg Nesterovd3441932010-05-26 14:43:11 -0700118 if (sig->notify_count > 0 && !--sig->notify_count)
Eric W. Biederman60700e32021-06-06 13:47:53 -0500119 wake_up_process(sig->group_exec_task);
Oleg Nesterov6db840f2007-10-16 23:27:23 -0700120
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800121 if (tsk == sig->curr_target)
122 sig->curr_target = next_thread(tsk);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800123 }
124
Nicolas Pitre53d3eaa2016-11-11 00:10:09 -0500125 add_device_randomness((const void*) &tsk->se.sum_exec_runtime,
126 sizeof(unsigned long long));
127
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400128 /*
Oleg Nesterov26e75b52014-12-10 15:54:54 -0800129 * Accumulate here the counters for all threads as they die. We could
130 * skip the group leader because it is the last user of signal_struct,
131 * but we want to avoid the race with thread_group_cputime() which can
132 * see the empty ->thread_head list.
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400133 */
134 task_cputime(tsk, &utime, &stime);
Rik van Riele78c3492014-08-16 13:40:10 -0400135 write_seqlock(&sig->stats_lock);
Rik van Riel90ed9cb2014-08-15 16:05:36 -0400136 sig->utime += utime;
137 sig->stime += stime;
138 sig->gtime += task_gtime(tsk);
139 sig->min_flt += tsk->min_flt;
140 sig->maj_flt += tsk->maj_flt;
141 sig->nvcsw += tsk->nvcsw;
142 sig->nivcsw += tsk->nivcsw;
143 sig->inblock += task_io_get_inblock(tsk);
144 sig->oublock += task_io_get_oublock(tsk);
145 task_io_accounting_add(&sig->ioac, &tsk->ioac);
146 sig->sum_sched_runtime += tsk->se.sum_exec_runtime;
Oleg Nesterovb3ac0222010-05-26 14:43:24 -0700147 sig->nr_threads--;
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700148 __unhash_process(tsk, group_dead);
Rik van Riele78c3492014-08-16 13:40:10 -0400149 write_sequnlock(&sig->stats_lock);
Oleg Nesterov58767002006-03-28 16:11:20 -0800150
Oleg Nesterovda7978b2008-05-23 13:04:41 -0700151 /*
152 * Do this under ->siglock, we can race with another thread
153 * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals.
154 */
155 flush_sigqueue(&tsk->pending);
Oleg Nesterova7e53282006-03-28 16:11:27 -0800156 tsk->sighand = NULL;
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800157 spin_unlock(&sighand->siglock);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800158
Oleg Nesterova7e53282006-03-28 16:11:27 -0800159 __cleanup_sighand(sighand);
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700160 clear_tsk_thread_flag(tsk, TIF_SIGPENDING);
Oleg Nesterovd40e48e2010-05-26 14:43:19 -0700161 if (group_dead) {
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800162 flush_sigqueue(&sig->shared_pending);
Oleg Nesterov4ada8562010-05-26 14:43:17 -0700163 tty_kref_put(tty);
Oleg Nesterov6a14c5c2006-03-28 16:11:18 -0800164 }
165}
166
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800167static void delayed_put_task_struct(struct rcu_head *rhp)
168{
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400169 struct task_struct *tsk = container_of(rhp, struct task_struct, rcu);
170
Thomas Gleixner670721c2021-09-28 14:24:28 +0200171 kprobe_flush_task(tsk);
Peter Zijlstra4e231c72010-09-09 21:01:59 +0200172 perf_event_delayed_put(tsk);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400173 trace_sched_process_free(tsk);
174 put_task_struct(tsk);
Eric W. Biederman8c7904a2006-03-31 02:31:37 -0800175}
176
Eric W. Biederman3fbd7ee2019-09-14 07:33:34 -0500177void put_task_struct_rcu_user(struct task_struct *task)
178{
179 if (refcount_dec_and_test(&task->rcu_users))
180 call_rcu(&task->rcu, delayed_put_task_struct);
181}
Roland McGrathf4700212008-03-24 18:36:23 -0700182
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700183void release_task(struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184{
Ingo Molnar36c8b582006-07-03 00:25:41 -0700185 struct task_struct *leader;
Eric W. Biederman7bc3e6e2020-02-19 18:22:26 -0600186 struct pid *thread_pid;
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();
Alexey Gladkov21d1c5e2021-04-22 14:27:11 +0200192 dec_rlimit_ucounts(task_ucounts(p), UCOUNT_RLIMIT_NPROC, 1);
Paul E. McKenneyd11c5632010-02-22 17:04:50 -0800193 rcu_read_unlock();
David Howellsc69e8d92008-11-14 10:39:19 +1100194
Tejun Heo6b115bf2019-05-31 10:38:57 -0700195 cgroup_release(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);
Eric W. Biederman7bc3e6e2020-02-19 18:22:26 -0600199 thread_pid = get_pid(p->thread_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200 __exit_signal(p);
Oleg Nesterov35f5cad2006-03-28 16:11:19 -0800201
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202 /*
203 * If we are the last non-leader member of the thread
204 * group, and the leader is zombie, then notify the
205 * group leader's parent process. (if it wants notification.)
206 */
207 zap_leader = 0;
208 leader = p->group_leader;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700209 if (leader != p && thread_group_empty(leader)
210 && leader->exit_state == EXIT_ZOMBIE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211 /*
212 * If we were the last child thread and the leader has
213 * exited already, and the leader's parent ignores SIGCHLD,
214 * then we are the one who should release the leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700215 */
Oleg Nesterov86773472011-06-22 23:09:09 +0200216 zap_leader = do_notify_parent(leader, leader->exit_signal);
Roland McGrathdae33572008-07-25 19:45:48 -0700217 if (zap_leader)
218 leader->exit_state = EXIT_DEAD;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219 }
220
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 write_unlock_irq(&tasklist_lock);
Christian Brauner3a15fb62020-05-31 13:50:29 +0200222 seccomp_filter_release(p);
Eric W. Biederman7bc3e6e2020-02-19 18:22:26 -0600223 proc_flush_pid(thread_pid);
Eric W. Biederman6ade99e2020-04-24 15:41:20 -0500224 put_pid(thread_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225 release_thread(p);
Eric W. Biederman3fbd7ee2019-09-14 07:33:34 -0500226 put_task_struct_rcu_user(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227
228 p = leader;
229 if (unlikely(zap_leader))
230 goto repeat;
231}
232
Davidlohr Bueso9d9a6eb2020-04-23 22:48:34 -0700233int rcuwait_wake_up(struct rcuwait *w)
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800234{
Davidlohr Bueso9d9a6eb2020-04-23 22:48:34 -0700235 int ret = 0;
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800236 struct task_struct *task;
237
238 rcu_read_lock();
239
240 /*
241 * Order condition vs @task, such that everything prior to the load
242 * of @task is visible. This is the condition as to why the user called
Davidlohr Buesoc9d64a12020-04-23 22:48:33 -0700243 * rcuwait_wake() in the first place. Pairs with set_current_state()
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800244 * barrier (A) in rcuwait_wait_event().
245 *
246 * WAIT WAKE
247 * [S] tsk = current [S] cond = true
248 * MB (A) MB (B)
249 * [L] cond [L] tsk
250 */
Prateek Sood6dc080e2018-11-30 20:40:56 +0530251 smp_mb(); /* (B) */
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800252
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800253 task = rcu_dereference(w->task);
254 if (task)
Davidlohr Bueso9d9a6eb2020-04-23 22:48:34 -0700255 ret = wake_up_process(task);
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800256 rcu_read_unlock();
Davidlohr Bueso9d9a6eb2020-04-23 22:48:34 -0700257
258 return ret;
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800259}
Davidlohr Buesoac8dec42019-11-18 15:19:35 -0800260EXPORT_SYMBOL_GPL(rcuwait_wake_up);
Davidlohr Bueso8f95c902017-01-11 07:22:25 -0800261
Oleg Nesterov150593b2016-05-18 19:02:18 +0200262/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263 * Determine if a process group is "orphaned", according to the POSIX
264 * definition in 2.2.2.52. Orphaned process groups are not to be affected
265 * by terminal-generated stop signals. Newly orphaned process groups are
266 * to receive a SIGHUP and a SIGCONT.
267 *
268 * "I ask you, have you ever known what it is to be an orphan?"
269 */
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700270static int will_become_orphaned_pgrp(struct pid *pgrp,
271 struct task_struct *ignored_task)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272{
273 struct task_struct *p;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700274
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800275 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300276 if ((p == ignored_task) ||
277 (p->exit_state && thread_group_empty(p)) ||
278 is_global_init(p->real_parent))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 continue;
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300280
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800281 if (task_pgrp(p->real_parent) != pgrp &&
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300282 task_session(p->real_parent) == task_session(p))
283 return 0;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800284 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov05e83df2008-03-02 21:44:42 +0300285
286 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287}
288
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800289int is_current_pgrp_orphaned(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700290{
291 int retval;
292
293 read_lock(&tasklist_lock);
Eric W. Biederman3e7cd6c2007-02-12 00:52:58 -0800294 retval = will_become_orphaned_pgrp(task_pgrp(current), NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295 read_unlock(&tasklist_lock);
296
297 return retval;
298}
299
Oleg Nesterov961c4672011-07-07 21:33:54 +0200300static bool has_stopped_jobs(struct pid *pgrp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700302 struct task_struct *p;
303
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800304 do_each_pid_task(pgrp, PIDTYPE_PGID, p) {
Oleg Nesterov961c4672011-07-07 21:33:54 +0200305 if (p->signal->flags & SIGNAL_STOP_STOPPED)
306 return true;
Eric W. Biederman0475ac02007-02-12 00:52:57 -0800307 } while_each_pid_task(pgrp, PIDTYPE_PGID, p);
Oleg Nesterov961c4672011-07-07 21:33:54 +0200308
309 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310}
311
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300312/*
313 * Check to see if any process groups have become orphaned as
314 * a result of our exiting, and if they have any stopped jobs,
315 * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
316 */
317static void
318kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent)
319{
320 struct pid *pgrp = task_pgrp(tsk);
321 struct task_struct *ignored_task = tsk;
322
323 if (!parent)
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700324 /* exit: our father is in a different pgrp than
325 * we are and we were the only connection outside.
326 */
Oleg Nesterovf49ee502008-03-02 21:44:40 +0300327 parent = tsk->real_parent;
328 else
329 /* reparent: our child is in a different pgrp than
330 * we are, and it was the only connection outside.
331 */
332 ignored_task = NULL;
333
334 if (task_pgrp(parent) != pgrp &&
335 task_session(parent) == task_session(tsk) &&
336 will_become_orphaned_pgrp(pgrp, ignored_task) &&
337 has_stopped_jobs(pgrp)) {
338 __kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp);
339 __kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp);
340 }
341}
342
Eric W. Biederman92307382021-09-01 11:33:50 -0500343static void coredump_task_exit(struct task_struct *tsk)
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500344{
345 struct core_state *core_state;
346
347 /*
348 * Serialize with any possible pending coredump.
Eric W. Biederman0258b5f2021-09-22 11:24:02 -0500349 * We must hold siglock around checking core_state
Eric W. Biederman92307382021-09-01 11:33:50 -0500350 * and setting PF_POSTCOREDUMP. The core-inducing thread
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500351 * will increment ->nr_threads for each thread in the
Eric W. Biederman92307382021-09-01 11:33:50 -0500352 * group without PF_POSTCOREDUMP set.
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500353 */
Eric W. Biederman0258b5f2021-09-22 11:24:02 -0500354 spin_lock_irq(&tsk->sighand->siglock);
Eric W. Biederman92307382021-09-01 11:33:50 -0500355 tsk->flags |= PF_POSTCOREDUMP;
Eric W. Biederman0258b5f2021-09-22 11:24:02 -0500356 core_state = tsk->signal->core_state;
357 spin_unlock_irq(&tsk->sighand->siglock);
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500358 if (core_state) {
359 struct core_thread self;
360
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500361 self.task = current;
362 if (self.task->flags & PF_SIGNALED)
363 self.next = xchg(&core_state->dumper.next, &self);
364 else
365 self.task = NULL;
366 /*
367 * Implies mb(), the result of xchg() must be visible
368 * to core_state->dumper.
369 */
370 if (atomic_dec_and_test(&core_state->nr_threads))
371 complete(&core_state->startup);
372
373 for (;;) {
374 set_current_state(TASK_UNINTERRUPTIBLE);
375 if (!self.task) /* see coredump_finish() */
376 break;
377 freezable_schedule();
378 }
379 __set_current_state(TASK_RUNNING);
Eric W. Biedermand67e03e2021-09-01 11:23:38 -0500380 }
381}
382
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700383#ifdef CONFIG_MEMCG
Balbir Singhcf475ad2008-04-29 01:00:16 -0700384/*
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700385 * A task is exiting. If it owned this mm, find a new owner for the mm.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700386 */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700387void mm_update_next_owner(struct mm_struct *mm)
388{
389 struct task_struct *c, *g, *p = current;
390
391retry:
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700392 /*
393 * If the exiting or execing task is not the owner, it's
394 * someone else's problem.
395 */
396 if (mm->owner != p)
Balbir Singhcf475ad2008-04-29 01:00:16 -0700397 return;
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700398 /*
399 * The current owner is exiting/execing and there are no other
400 * candidates. Do not leave the mm pointing to a possibly
401 * freed task structure.
402 */
403 if (atomic_read(&mm->mm_users) <= 1) {
Andrea Arcangeli987717e2019-05-14 15:40:50 -0700404 WRITE_ONCE(mm->owner, NULL);
KAMEZAWA Hiroyuki733eda72011-06-15 15:08:43 -0700405 return;
406 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700407
408 read_lock(&tasklist_lock);
409 /*
410 * Search in the children
411 */
412 list_for_each_entry(c, &p->children, sibling) {
413 if (c->mm == mm)
414 goto assign_new_owner;
415 }
416
417 /*
418 * Search in the siblings
419 */
Oleg Nesterovdea33cf2009-06-17 16:27:29 -0700420 list_for_each_entry(c, &p->real_parent->children, sibling) {
Balbir Singhcf475ad2008-04-29 01:00:16 -0700421 if (c->mm == mm)
422 goto assign_new_owner;
423 }
424
425 /*
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700426 * Search through everything else, we should not get here often.
Balbir Singhcf475ad2008-04-29 01:00:16 -0700427 */
Oleg Nesterov39af1762014-06-04 16:07:54 -0700428 for_each_process(g) {
429 if (g->flags & PF_KTHREAD)
430 continue;
431 for_each_thread(g, c) {
432 if (c->mm == mm)
433 goto assign_new_owner;
434 if (c->mm)
435 break;
436 }
Oleg Nesterovf87fb592014-06-04 16:07:52 -0700437 }
Balbir Singhcf475ad2008-04-29 01:00:16 -0700438 read_unlock(&tasklist_lock);
Balbir Singh31a78f22008-09-28 23:09:31 +0100439 /*
440 * We found no owner yet mm_users > 1: this implies that we are
441 * most likely racing with swapoff (try_to_unuse()) or /proc or
Hugh Dickinse5991372009-01-06 14:39:22 -0800442 * ptrace or page migration (get_task_mm()). Mark owner as NULL.
Balbir Singh31a78f22008-09-28 23:09:31 +0100443 */
Andrea Arcangeli987717e2019-05-14 15:40:50 -0700444 WRITE_ONCE(mm->owner, NULL);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700445 return;
446
447assign_new_owner:
448 BUG_ON(c == p);
449 get_task_struct(c);
450 /*
451 * The task_lock protects c->mm from changing.
452 * We always want mm->owner->mm == mm
453 */
454 task_lock(c);
Hugh Dickinse5991372009-01-06 14:39:22 -0800455 /*
456 * Delay read_unlock() till we have the task_lock()
457 * to ensure that c does not slip away underneath us
458 */
459 read_unlock(&tasklist_lock);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700460 if (c->mm != mm) {
461 task_unlock(c);
462 put_task_struct(c);
463 goto retry;
464 }
Andrea Arcangeli987717e2019-05-14 15:40:50 -0700465 WRITE_ONCE(mm->owner, c);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700466 task_unlock(c);
467 put_task_struct(c);
468}
Oleg Nesterovf98bafa2014-06-04 16:07:34 -0700469#endif /* CONFIG_MEMCG */
Balbir Singhcf475ad2008-04-29 01:00:16 -0700470
Linus Torvalds1da177e2005-04-16 15:20:36 -0700471/*
472 * Turn us into a lazy TLB process if we
473 * aren't already..
474 */
Davidlohr Bueso00399622017-01-03 13:43:11 -0800475static void exit_mm(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476{
Davidlohr Bueso00399622017-01-03 13:43:11 -0800477 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478
Thomas Gleixner4610ba72019-11-06 22:55:38 +0100479 exit_mm_release(current, mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 if (!mm)
481 return;
Konstantin Khlebnikov4fe7efd2012-06-20 12:53:01 -0700482 sync_mm_rss(mm);
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700483 mmap_read_lock(mm);
Vegard Nossumf1f10072017-02-27 14:30:07 -0800484 mmgrab(mm);
Davidlohr Bueso00399622017-01-03 13:43:11 -0800485 BUG_ON(mm != current->active_mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486 /* more a memory barrier than a real lock */
Davidlohr Bueso00399622017-01-03 13:43:11 -0800487 task_lock(current);
Mathieu Desnoyers5bc78502020-10-20 09:47:13 -0400488 /*
489 * When a thread stops operating on an address space, the loop
490 * in membarrier_private_expedited() may not observe that
491 * tsk->mm, and the loop in membarrier_global_expedited() may
492 * not observe a MEMBARRIER_STATE_GLOBAL_EXPEDITED
493 * rq->membarrier_state, so those would not issue an IPI.
494 * Membarrier requires a memory barrier after accessing
495 * user-space memory, before clearing tsk->mm or the
496 * rq->membarrier_state.
497 */
498 smp_mb__after_spinlock();
499 local_irq_disable();
Davidlohr Bueso00399622017-01-03 13:43:11 -0800500 current->mm = NULL;
Mathieu Desnoyers5bc78502020-10-20 09:47:13 -0400501 membarrier_update_current_mm(NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700502 enter_lazy_tlb(mm, current);
Mathieu Desnoyers5bc78502020-10-20 09:47:13 -0400503 local_irq_enable();
Davidlohr Bueso00399622017-01-03 13:43:11 -0800504 task_unlock(current);
Mathieu Desnoyers5bc78502020-10-20 09:47:13 -0400505 mmap_read_unlock(mm);
Balbir Singhcf475ad2008-04-29 01:00:16 -0700506 mm_update_next_owner(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700507 mmput(mm);
Michal Hockoc32b3cb2015-02-11 15:26:24 -0800508 if (test_thread_flag(TIF_MEMDIE))
Tetsuo Handa38531202016-10-07 16:59:03 -0700509 exit_oom_victim();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510}
511
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800512static struct task_struct *find_alive_thread(struct task_struct *p)
513{
514 struct task_struct *t;
515
516 for_each_thread(p, t) {
517 if (!(t->flags & PF_EXITING))
518 return t;
519 }
520 return NULL;
521}
522
Andrei Vagin8fb335e2019-02-01 14:20:24 -0800523static struct task_struct *find_child_reaper(struct task_struct *father,
524 struct list_head *dead)
Oleg Nesterov11099092014-12-10 15:55:11 -0800525 __releases(&tasklist_lock)
526 __acquires(&tasklist_lock)
527{
528 struct pid_namespace *pid_ns = task_active_pid_ns(father);
529 struct task_struct *reaper = pid_ns->child_reaper;
Andrei Vagin8fb335e2019-02-01 14:20:24 -0800530 struct task_struct *p, *n;
Oleg Nesterov11099092014-12-10 15:55:11 -0800531
532 if (likely(reaper != father))
533 return reaper;
534
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800535 reaper = find_alive_thread(father);
536 if (reaper) {
Oleg Nesterov11099092014-12-10 15:55:11 -0800537 pid_ns->child_reaper = reaper;
538 return reaper;
539 }
540
541 write_unlock_irq(&tasklist_lock);
Andrei Vagin8fb335e2019-02-01 14:20:24 -0800542
543 list_for_each_entry_safe(p, n, dead, ptrace_entry) {
544 list_del_init(&p->ptrace_entry);
545 release_task(p);
546 }
547
Oleg Nesterov11099092014-12-10 15:55:11 -0800548 zap_pid_ns_processes(pid_ns);
549 write_lock_irq(&tasklist_lock);
550
551 return father;
552}
553
Linus Torvalds1da177e2005-04-16 15:20:36 -0700554/*
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700555 * When we die, we re-parent all our children, and try to:
556 * 1. give them to another thread in our thread group, if such a member exists
557 * 2. give it to the first ancestor process which prctl'd itself as a
558 * child_subreaper for its children (like a service manager)
559 * 3. give it to the init process (PID 1) in our pid namespace
Linus Torvalds1da177e2005-04-16 15:20:36 -0700560 */
Oleg Nesterov11099092014-12-10 15:55:11 -0800561static struct task_struct *find_new_reaper(struct task_struct *father,
562 struct task_struct *child_reaper)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563{
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800564 struct task_struct *thread, *reaper;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700565
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800566 thread = find_alive_thread(father);
567 if (thread)
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700568 return thread;
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700569
Oleg Nesterov7d24e2d2014-12-10 15:55:02 -0800570 if (father->signal->has_child_subreaper) {
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100571 unsigned int ns_level = task_pid(father)->level;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700572 /*
Oleg Nesterov175aed32014-12-10 15:55:08 -0800573 * Find the first ->is_child_subreaper ancestor in our pid_ns.
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100574 * We can't check reaper != child_reaper to ensure we do not
575 * cross the namespaces, the exiting parent could be injected
576 * by setns() + fork().
577 * We check pid->level, this is slightly more efficient than
578 * task_active_pid_ns(reaper) != task_active_pid_ns(father).
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700579 */
Oleg Nesterovc6c70f42017-01-30 19:17:35 +0100580 for (reaper = father->real_parent;
581 task_pid(reaper)->level == ns_level;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700582 reaper = reaper->real_parent) {
Oleg Nesterov175aed32014-12-10 15:55:08 -0800583 if (reaper == &init_task)
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700584 break;
585 if (!reaper->signal->is_child_subreaper)
586 continue;
Oleg Nesterovc9dc05b2014-12-10 15:55:14 -0800587 thread = find_alive_thread(reaper);
588 if (thread)
589 return thread;
Lennart Poetteringebec18a2012-03-23 15:01:54 -0700590 }
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700591 }
592
Oleg Nesterov11099092014-12-10 15:55:11 -0800593 return child_reaper;
Oleg Nesterov950bbab2008-09-02 14:35:49 -0700594}
595
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700596/*
597* Any that need to be release_task'd are put on the @dead list.
598 */
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800599static void reparent_leader(struct task_struct *father, struct task_struct *p,
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700600 struct list_head *dead)
601{
Oleg Nesterov28310962014-12-10 15:45:30 -0800602 if (unlikely(p->exit_state == EXIT_DEAD))
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700603 return;
604
Oleg Nesterovabd50b32014-04-07 15:38:42 -0700605 /* We don't want people slaying init. */
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700606 p->exit_signal = SIGCHLD;
607
608 /* If it has exited notify the new parent about this child's death. */
Tejun Heod21142e2011-06-17 16:50:34 +0200609 if (!p->ptrace &&
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700610 p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) {
Oleg Nesterov86773472011-06-22 23:09:09 +0200611 if (do_notify_parent(p, p->exit_signal)) {
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700612 p->exit_state = EXIT_DEAD;
Oleg Nesterovdc2fd4b2014-12-10 15:45:24 -0800613 list_add(&p->ptrace_entry, dead);
Oleg Nesterov5dfc80b2009-04-02 16:58:19 -0700614 }
615 }
616
617 kill_orphaned_pgrp(p, father);
618}
619
Oleg Nesterov482a3762014-12-10 15:55:20 -0800620/*
621 * This does two things:
622 *
623 * A. Make init inherit all the child processes
624 * B. Check to see if any process groups have become orphaned
625 * as a result of our exiting, and if they have any stopped
626 * jobs, send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2)
627 */
628static void forget_original_parent(struct task_struct *father,
629 struct list_head *dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630{
Oleg Nesterov482a3762014-12-10 15:55:20 -0800631 struct task_struct *p, *t, *reaper;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800633 if (unlikely(!list_empty(&father->ptraced)))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800634 exit_ptrace(father, dead);
Roland McGrathf4700212008-03-24 18:36:23 -0700635
Oleg Nesterov7c8bd232014-12-10 15:45:33 -0800636 /* Can drop and reacquire tasklist_lock */
Andrei Vagin8fb335e2019-02-01 14:20:24 -0800637 reaper = find_child_reaper(father, dead);
Oleg Nesterovad9e2062014-12-10 15:55:17 -0800638 if (list_empty(&father->children))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800639 return;
Oleg Nesterov11099092014-12-10 15:55:11 -0800640
641 reaper = find_new_reaper(father, reaper);
Oleg Nesterov28310962014-12-10 15:45:30 -0800642 list_for_each_entry(p, &father->children, sibling) {
Oleg Nesterov57a05912014-12-10 15:45:27 -0800643 for_each_thread(p, t) {
Madhuparna Bhowmik22a34c6f2020-01-30 11:50:28 +0530644 RCU_INIT_POINTER(t->real_parent, reaper);
645 BUG_ON((!t->ptrace) != (rcu_access_pointer(t->parent) == father));
Oleg Nesterov57a05912014-12-10 15:45:27 -0800646 if (likely(!t->ptrace))
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800647 t->parent = t->real_parent;
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -0800648 if (t->pdeath_signal)
649 group_send_sig_info(t->pdeath_signal,
Eric W. Biederman01024982018-07-13 18:40:57 -0500650 SEND_SIG_NOINFO, t,
651 PIDTYPE_TGID);
Oleg Nesterov57a05912014-12-10 15:45:27 -0800652 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800653 /*
654 * If this is a threaded reparent there is no need to
655 * notify anyone anything has happened.
656 */
657 if (!same_thread_group(reaper, father))
Oleg Nesterov482a3762014-12-10 15:55:20 -0800658 reparent_leader(father, p, dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659 }
Oleg Nesterov28310962014-12-10 15:45:30 -0800660 list_splice_tail_init(&father->children, &reaper->children);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700661}
662
663/*
664 * Send signals to all our closest relatives so that they know
665 * to properly mourn us..
666 */
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300667static void exit_notify(struct task_struct *tsk, int group_dead)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700668{
Oleg Nesterov53c8f9f2011-06-22 23:08:18 +0200669 bool autoreap;
Oleg Nesterov482a3762014-12-10 15:55:20 -0800670 struct task_struct *p, *n;
671 LIST_HEAD(dead);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700672
Oleg Nesterov762a24b2007-10-18 23:40:00 -0700673 write_lock_irq(&tasklist_lock);
Oleg Nesterov482a3762014-12-10 15:55:20 -0800674 forget_original_parent(tsk, &dead);
675
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300676 if (group_dead)
677 kill_orphaned_pgrp(tsk->group_leader, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678
Suren Baghdasaryanb191d642019-07-17 13:21:00 -0400679 tsk->exit_state = EXIT_ZOMBIE;
Oleg Nesterov45cdf5c2011-06-23 19:06:50 +0200680 if (unlikely(tsk->ptrace)) {
681 int sig = thread_group_leader(tsk) &&
682 thread_group_empty(tsk) &&
683 !ptrace_reparented(tsk) ?
684 tsk->exit_signal : SIGCHLD;
685 autoreap = do_notify_parent(tsk, sig);
686 } else if (thread_group_leader(tsk)) {
687 autoreap = thread_group_empty(tsk) &&
688 do_notify_parent(tsk, tsk->exit_signal);
689 } else {
690 autoreap = true;
691 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700692
Christian Brauner30b692d2019-07-29 17:48:24 +0200693 if (autoreap) {
694 tsk->exit_state = EXIT_DEAD;
Oleg Nesterov6c66e7d2014-12-10 15:55:23 -0800695 list_add(&tsk->ptrace_entry, &dead);
Christian Brauner30b692d2019-07-29 17:48:24 +0200696 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700697
Oleg Nesterov9c3391682010-05-26 14:43:10 -0700698 /* mt-exec, de_thread() is waiting for group leader */
699 if (unlikely(tsk->signal->notify_count < 0))
Eric W. Biederman60700e32021-06-06 13:47:53 -0500700 wake_up_process(tsk->signal->group_exec_task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701 write_unlock_irq(&tasklist_lock);
702
Oleg Nesterov482a3762014-12-10 15:55:20 -0800703 list_for_each_entry_safe(p, n, &dead, ptrace_entry) {
704 list_del_init(&p->ptrace_entry);
705 release_task(p);
706 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707}
708
Jeff Dikee18eecb2007-07-15 23:38:48 -0700709#ifdef CONFIG_DEBUG_STACK_USAGE
710static void check_stack_usage(void)
711{
712 static DEFINE_SPINLOCK(low_water_lock);
713 static int lowest_to_date = THREAD_SIZE;
Jeff Dikee18eecb2007-07-15 23:38:48 -0700714 unsigned long free;
715
Eric Sandeen7c9f8862008-04-22 16:38:23 -0500716 free = stack_not_used(current);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700717
718 if (free >= lowest_to_date)
719 return;
720
721 spin_lock(&low_water_lock);
722 if (free < lowest_to_date) {
Anton Blanchard627393d2016-08-02 14:05:40 -0700723 pr_info("%s (%d) used greatest stack depth: %lu bytes left\n",
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700724 current->comm, task_pid_nr(current), free);
Jeff Dikee18eecb2007-07-15 23:38:48 -0700725 lowest_to_date = free;
726 }
727 spin_unlock(&low_water_lock);
728}
729#else
730static inline void check_stack_usage(void) {}
731#endif
732
Peter Zijlstra9af65282016-09-13 18:37:29 +0200733void __noreturn do_exit(long code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700734{
735 struct task_struct *tsk = current;
736 int group_dead;
737
Jens Axboe73c10102011-03-08 13:19:51 +0100738 WARN_ON(blk_needs_flush_plug(tsk));
Jens Axboe22e2c502005-06-27 10:55:12 +0200739
Eric W. Biedermande77c3a2022-01-07 12:18:12 -0600740 /*
741 * If do_dead is called because this processes oopsed, it's possible
742 * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before
743 * continuing. Amongst other possible reasons, this is to prevent
744 * mm_release()->clear_child_tid() from writing to a user-controlled
745 * kernel address.
746 *
747 * On uptodate architectures force_uaccess_begin is a noop. On
748 * architectures that still have set_fs/get_fs in addition to handling
749 * oopses handles kernel threads that run as set_fs(KERNEL_DS) by
750 * default.
751 */
752 force_uaccess_begin();
753
Jann Horn586b58c2020-03-05 23:06:57 +0100754 kcov_task_exit(tsk);
755
Eric W. Biederman92307382021-09-01 11:33:50 -0500756 coredump_task_exit(tsk);
Tejun Heoa288eec2011-06-17 16:50:37 +0200757 ptrace_event(PTRACE_EVENT_EXIT, code);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700758
David Howellse0e81732009-09-02 09:13:40 +0100759 validate_creds_for_do_exit(tsk);
760
Hao Xuf552a272021-08-12 12:14:35 +0800761 io_uring_files_cancel();
Oleg Nesterovd12619b2008-02-08 04:19:12 -0800762 exit_signals(tsk); /* sets PF_EXITING */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700763
Linus Torvalds48d212a2012-06-07 17:54:07 -0700764 /* sync mm's RSS info before statistics gathering */
765 if (tsk->mm)
766 sync_mm_rss(tsk->mm);
Rik van Riel51229b42015-06-25 15:03:56 -0700767 acct_update_integrals(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700768 group_dead = atomic_dec_and_test(&tsk->signal->live);
Andrew Mortonc3068952005-08-04 16:49:32 -0700769 if (group_dead) {
chenqiwu43cf75d2019-12-19 14:29:53 +0800770 /*
771 * If the last thread of global init has exited, panic
772 * immediately to get a useable coredump.
773 */
774 if (unlikely(is_global_init(tsk)))
775 panic("Attempted to kill init! exitcode=0x%08x\n",
776 tsk->signal->group_exit_code ?: (int)code);
777
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500778#ifdef CONFIG_POSIX_TIMERS
Alexey Kuznetsov778e9a92007-06-08 13:47:00 -0700779 hrtimer_cancel(&tsk->signal->real_timer);
Roland McGrath25f407f2005-10-21 15:03:29 -0700780 exit_itimers(tsk->signal);
Nicolas Pitrebaa73d92016-11-11 00:10:10 -0500781#endif
Jiri Pirko1f102062009-09-22 16:44:10 -0700782 if (tsk->mm)
783 setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm);
Andrew Mortonc3068952005-08-04 16:49:32 -0700784 }
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700785 acct_collect(code, group_dead);
Miloslav Trmac522ed772007-07-15 23:40:56 -0700786 if (group_dead)
787 tty_audit_exit();
Eric Parisa4ff8db2012-01-03 14:23:07 -0500788 audit_free(tsk);
Oleg Nesterov115085e2006-12-06 20:36:51 -0800789
Linus Torvalds48d212a2012-06-07 17:54:07 -0700790 tsk->exit_code = code;
Oleg Nesterov115085e2006-12-06 20:36:51 -0800791 taskstats_exit(tsk, group_dead);
Shailabh Nagarc7572492006-07-14 00:24:40 -0700792
Davidlohr Bueso00399622017-01-03 13:43:11 -0800793 exit_mm();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700794
KaiGai Kohei0e464812006-06-25 05:49:24 -0700795 if (group_dead)
KaiGai Koheif6ec29a2006-06-25 05:49:25 -0700796 acct_process();
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -0400797 trace_sched_process_exit(tsk);
798
Linus Torvalds1da177e2005-04-16 15:20:36 -0700799 exit_sem(tsk);
Vasiliy Kulikovb34a6b12011-07-26 16:08:48 -0700800 exit_shm(tsk);
Al Viro1ec7f1d2008-04-22 05:35:42 -0400801 exit_files(tsk);
802 exit_fs(tsk);
Oleg Nesterovc39df5f2014-04-07 15:38:29 -0700803 if (group_dead)
804 disassociate_ctty(1);
Oleg Nesterov8aac6272013-06-14 21:09:49 +0200805 exit_task_namespaces(tsk);
Al Viroed3e6942012-06-27 11:31:24 +0400806 exit_task_work(tsk);
Jiri Slabye6464692016-05-20 17:00:20 -0700807 exit_thread(tsk);
Stephane Eranian0b3fcf12011-01-03 18:20:01 +0200808
809 /*
810 * Flush inherited counters to the parent - before the parent
811 * gets woken up by child-exit notifications.
812 *
813 * because of cgroup mode, must be called before cgroup_exit()
814 */
815 perf_event_exit_task(tsk);
816
Oleg Nesterov8e5bfa82016-11-14 19:46:12 +0100817 sched_autogroup_exit_task(tsk);
Li Zefan1ec41832014-03-28 15:22:19 +0800818 cgroup_exit(tsk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200820 /*
Frederic Weisbecker24f1e32c2009-09-09 19:22:48 +0200821 * FIXME: do that only when needed, using sched_exit tracepoint
822 */
Oleg Nesterov7c8df282013-07-08 16:00:54 -0700823 flush_ptrace_hw_breakpoint(tsk);
Ingo Molnar33b2fb32009-05-17 11:08:41 +0200824
Paul E. McKenneyccdd29f2017-05-25 08:51:48 -0700825 exit_tasks_rcu_start();
Oleg Nesterov821c7de2008-03-02 21:44:44 +0300826 exit_notify(tsk, group_dead);
Guillaume Morinef982392014-04-07 15:38:31 -0700827 proc_exit_connector(tsk);
David Rientjesc11600e2016-09-01 16:15:07 -0700828 mpol_put_task_policy(tsk);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700829#ifdef CONFIG_FUTEX
Ingo Molnarc87e2832006-06-27 02:54:58 -0700830 if (unlikely(current->pi_state_cache))
831 kfree(current->pi_state_cache);
Alexey Dobriyan42b2dd02007-10-16 23:27:30 -0700832#endif
Ingo Molnarc87e2832006-06-27 02:54:58 -0700833 /*
Ingo Molnar9a11b49a2006-07-03 00:24:33 -0700834 * Make sure we are holding no locks:
Ingo Molnarde5097c2006-01-09 15:59:21 -0800835 */
Colin Cross1b1d2fb2013-05-06 23:50:08 +0000836 debug_check_no_locks_held();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700837
Al Viroafc847b2006-02-28 12:51:55 -0500838 if (tsk->io_context)
Louis Rillingb69f2292009-12-04 14:52:42 +0100839 exit_io_context(tsk);
Al Viroafc847b2006-02-28 12:51:55 -0500840
Jens Axboeb92ce552006-04-11 13:52:07 +0200841 if (tsk->splice_pipe)
Al Viro4b8a8f12013-03-21 11:06:46 -0400842 free_pipe_info(tsk->splice_pipe);
Jens Axboeb92ce552006-04-11 13:52:07 +0200843
Eric Dumazet5640f762012-09-23 23:04:42 +0000844 if (tsk->task_frag.page)
845 put_page(tsk->task_frag.page);
846
David Howellse0e81732009-09-02 09:13:40 +0100847 validate_creds_for_do_exit(tsk);
848
Oleg Nesterov4bcb8232014-04-07 15:38:30 -0700849 check_stack_usage();
Coywolf Qi Hunt74072512005-10-30 15:02:47 -0800850 preempt_disable();
Wu Fengguang54848d72011-04-05 13:21:19 -0600851 if (tsk->nr_dirtied)
852 __this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700853 exit_rcu();
Paul E. McKenneyccdd29f2017-05-25 08:51:48 -0700854 exit_tasks_rcu_finish();
Yasunori Gotob5740f42012-01-17 17:40:31 +0900855
Byungchul Parkb09be672017-08-07 16:12:52 +0900856 lockdep_free_task(tsk);
Peter Zijlstra9af65282016-09-13 18:37:29 +0200857 do_task_dead();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858}
Russ Anderson012914d2005-04-23 00:08:00 -0700859
Eric W. Biederman0e254982021-06-28 14:52:01 -0500860void __noreturn make_task_dead(int signr)
861{
862 /*
863 * Take the task off the cpu after something catastrophic has
864 * happened.
Eric W. Biederman05ea0422021-11-22 09:33:00 -0600865 *
866 * We can get here from a kernel oops, sometimes with preemption off.
867 * Start by checking for critical errors.
868 * Then fix up important state like USER_DS and preemption.
869 * Then do everything else.
Eric W. Biederman0e254982021-06-28 14:52:01 -0500870 */
Eric W. Biederman05ea0422021-11-22 09:33:00 -0600871 struct task_struct *tsk = current;
872
873 if (unlikely(in_interrupt()))
874 panic("Aiee, killing interrupt handler!");
875 if (unlikely(!tsk->pid))
876 panic("Attempted to kill the idle task!");
877
Eric W. Biederman05ea0422021-11-22 09:33:00 -0600878 if (unlikely(in_atomic())) {
879 pr_info("note: %s[%d] exited with preempt_count %d\n",
880 current->comm, task_pid_nr(current),
881 preempt_count());
882 preempt_count_set(PREEMPT_ENABLED);
883 }
884
885 /*
886 * We're taking recursive faults here in make_task_dead. Safest is to just
887 * leave this task alone and wait for reboot.
888 */
889 if (unlikely(tsk->flags & PF_EXITING)) {
890 pr_alert("Fixing recursive fault but reboot is needed!\n");
891 futex_exit_recursive(tsk);
Eric W. Biederman912616f2022-01-05 16:30:21 -0600892 tsk->exit_state = EXIT_DEAD;
893 refcount_inc(&tsk->rcu_users);
Eric W. Biederman7f80a2f2021-11-22 09:51:03 -0600894 do_task_dead();
Eric W. Biederman05ea0422021-11-22 09:33:00 -0600895 }
896
Eric W. Biederman0e254982021-06-28 14:52:01 -0500897 do_exit(signr);
898}
899
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100900SYSCALL_DEFINE1(exit, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901{
902 do_exit((error_code&0xff)<<8);
903}
904
Linus Torvalds1da177e2005-04-16 15:20:36 -0700905/*
906 * Take down every thread in the group. This is called by fatal signals
907 * as well as by sys_exit_group (below).
908 */
Joe Perches9402c952012-01-12 17:17:17 -0800909void
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910do_group_exit(int exit_code)
911{
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700912 struct signal_struct *sig = current->signal;
913
Eric W. Biederman49697332021-06-24 02:14:30 -0500914 if (sig->flags & SIGNAL_GROUP_EXIT)
Oleg Nesterovbfc4b082008-04-30 00:52:36 -0700915 exit_code = sig->group_exit_code;
Eric W. Biederman49697332021-06-24 02:14:30 -0500916 else if (sig->group_exec_task)
917 exit_code = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700918 else if (!thread_group_empty(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919 struct sighand_struct *const sighand = current->sighand;
Ionut Alexaa0be55d2014-08-08 14:21:18 -0700920
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921 spin_lock_irq(&sighand->siglock);
Eric W. Biederman49697332021-06-24 02:14:30 -0500922 if (sig->flags & SIGNAL_GROUP_EXIT)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700923 /* Another thread got here before we took the lock. */
924 exit_code = sig->group_exit_code;
Eric W. Biederman49697332021-06-24 02:14:30 -0500925 else if (sig->group_exec_task)
926 exit_code = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700927 else {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700928 sig->group_exit_code = exit_code;
Oleg Nesteroved5d2ca2008-02-04 22:27:24 -0800929 sig->flags = SIGNAL_GROUP_EXIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930 zap_other_threads(current);
931 }
932 spin_unlock_irq(&sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700933 }
934
935 do_exit(exit_code);
936 /* NOTREACHED */
937}
938
939/*
940 * this kills every thread in the thread group. Note that any externally
941 * wait4()-ing process will get the correct exit code - even if this
942 * thread is not the thread group leader.
943 */
Heiko Carstens754fe8d2009-01-14 14:14:09 +0100944SYSCALL_DEFINE1(exit_group, int, error_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945{
946 do_group_exit((error_code & 0xff) << 8);
Heiko Carstens2ed7c032009-01-14 14:13:54 +0100947 /* NOTREACHED */
948 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700949}
950
Al Viro67d7ddd2017-05-14 20:53:13 -0400951struct waitid_info {
952 pid_t pid;
953 uid_t uid;
954 int status;
955 int cause;
956};
957
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700958struct wait_opts {
959 enum pid_type wo_type;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700960 int wo_flags;
Richard Kennedye1eb1eb2009-06-17 16:27:42 -0700961 struct pid *wo_pid;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700962
Al Viro67d7ddd2017-05-14 20:53:13 -0400963 struct waitid_info *wo_info;
Al Viro359566f2017-05-14 20:39:39 -0400964 int wo_stat;
Al Viroce72a162017-05-14 20:25:02 -0400965 struct rusage *wo_rusage;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700966
Ingo Molnarac6424b2017-06-20 12:06:13 +0200967 wait_queue_entry_t child_wait;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -0700968 int notask_error;
969};
970
Oleg Nesterov989264f2009-09-23 15:56:49 -0700971static int eligible_pid(struct wait_opts *wo, struct task_struct *p)
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700972{
973 return wo->wo_type == PIDTYPE_MAX ||
974 task_pid_type(p, wo->wo_type) == wo->wo_pid;
975}
976
Oleg Nesterovbf959932016-05-23 16:23:50 -0700977static int
978eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700979{
Oleg Nesterov5c01ba42009-09-23 15:56:48 -0700980 if (!eligible_pid(wo, p))
981 return 0;
Oleg Nesterovbf959932016-05-23 16:23:50 -0700982
983 /*
984 * Wait for all children (clone and not) if __WALL is set or
985 * if it is traced by us.
986 */
987 if (ptrace || (wo->wo_flags & __WALL))
988 return 1;
989
990 /*
991 * Otherwise, wait for clone children *only* if __WCLONE is set;
992 * otherwise, wait for non-clone children *only*.
993 *
994 * Note: a "clone" child here is one that reports to its parent
995 * using a signal other than SIGCHLD, or a non-leader thread which
996 * we can only see if it is traced by us.
997 */
998 if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700999 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001000
Roland McGrath14dd0b82008-03-30 18:41:25 -07001001 return 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001002}
1003
Linus Torvalds1da177e2005-04-16 15:20:36 -07001004/*
1005 * Handle sys_wait4 work for one task in state EXIT_ZOMBIE. We hold
1006 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1007 * the lock and this task is uninteresting. If we return nonzero, we have
1008 * released the lock and the system call should return.
1009 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001010static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001011{
Al Viro67d7ddd2017-05-14 20:53:13 -04001012 int state, status;
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001013 pid_t pid = task_pid_vnr(p);
Oleg Nesterov43e13cc2012-05-31 16:26:16 -07001014 uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p));
Al Viro67d7ddd2017-05-14 20:53:13 -04001015 struct waitid_info *infop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001016
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001017 if (!likely(wo->wo_flags & WEXITED))
Roland McGrath98abed02008-03-19 19:24:59 -07001018 return 0;
1019
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001020 if (unlikely(wo->wo_flags & WNOWAIT)) {
Eric W. Biederman907c3112021-12-21 10:11:01 -06001021 status = (p->signal->flags & SIGNAL_GROUP_EXIT)
1022 ? p->signal->group_exit_code : p->exit_code;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001023 get_task_struct(p);
1024 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001025 sched_annotate_sleep();
Al Viroe61a2502017-05-14 21:25:03 -04001026 if (wo->wo_rusage)
1027 getrusage(p, RUSAGE_BOTH, wo->wo_rusage);
Al Virobb380ec2017-05-14 21:33:21 -04001028 put_task_struct(p);
Al Viro76d98712017-05-14 21:38:26 -04001029 goto out_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030 }
Oleg Nesterovbefca962009-06-18 16:49:11 -07001031 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001032 * Move the task's state to DEAD/TRACE, only one thread can do this.
1033 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001034 state = (ptrace_reparented(p) && thread_group_leader(p)) ?
1035 EXIT_TRACE : EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001036 if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE)
1037 return 0;
Oleg Nesterov986094d2014-12-10 15:54:51 -08001038 /*
1039 * We own this thread, nobody else can reap it.
1040 */
1041 read_unlock(&tasklist_lock);
1042 sched_annotate_sleep();
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001043
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001044 /*
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001045 * Check thread_group_leader() to exclude the traced sub-threads.
Oleg Nesterovbefca962009-06-18 16:49:11 -07001046 */
Oleg Nesterovf6507f82014-12-10 15:54:45 -08001047 if (state == EXIT_DEAD && thread_group_leader(p)) {
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001048 struct signal_struct *sig = p->signal;
1049 struct signal_struct *psig = current->signal;
Jiri Pirko1f102062009-09-22 16:44:10 -07001050 unsigned long maxrss;
Frederic Weisbecker5613fda2017-01-31 04:09:23 +01001051 u64 tgutime, tgstime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001052
Linus Torvalds1da177e2005-04-16 15:20:36 -07001053 /*
1054 * The resource counters for the group leader are in its
1055 * own task_struct. Those for dead threads in the group
1056 * are in its signal_struct, as are those for the child
1057 * processes it has previously reaped. All these
1058 * accumulate in the parent's signal_struct c* fields.
1059 *
1060 * We don't bother to take a lock here to protect these
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001061 * p->signal fields because the whole thread group is dead
1062 * and nobody can change them.
1063 *
1064 * psig->stats_lock also protects us from our sub-theads
1065 * which can reap other children at the same time. Until
1066 * we change k_getrusage()-like users to rely on this lock
1067 * we have to take ->siglock as well.
Hidetoshi Seto0cf55e12009-12-02 17:28:07 +09001068 *
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001069 * We use thread_group_cputime_adjusted() to get times for
1070 * the thread group, which consolidates times for all threads
1071 * in the group including the group leader.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072 */
Frederic Weisbeckere80d0a1a2012-11-21 16:26:44 +01001073 thread_group_cputime_adjusted(p, &tgutime, &tgstime);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001074 spin_lock_irq(&current->sighand->siglock);
Rik van Riele78c3492014-08-16 13:40:10 -04001075 write_seqlock(&psig->stats_lock);
Martin Schwidefsky64861632011-12-15 14:56:09 +01001076 psig->cutime += tgutime + sig->cutime;
1077 psig->cstime += tgstime + sig->cstime;
Frederic Weisbecker6fac4822012-11-13 14:20:55 +01001078 psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime;
Jesper Juhl3795e162006-01-09 20:54:39 -08001079 psig->cmin_flt +=
1080 p->min_flt + sig->min_flt + sig->cmin_flt;
1081 psig->cmaj_flt +=
1082 p->maj_flt + sig->maj_flt + sig->cmaj_flt;
1083 psig->cnvcsw +=
1084 p->nvcsw + sig->nvcsw + sig->cnvcsw;
1085 psig->cnivcsw +=
1086 p->nivcsw + sig->nivcsw + sig->cnivcsw;
Eric Dumazet6eaeeab2007-05-10 22:22:37 -07001087 psig->cinblock +=
1088 task_io_get_inblock(p) +
1089 sig->inblock + sig->cinblock;
1090 psig->coublock +=
1091 task_io_get_oublock(p) +
1092 sig->oublock + sig->coublock;
Jiri Pirko1f102062009-09-22 16:44:10 -07001093 maxrss = max(sig->maxrss, sig->cmaxrss);
1094 if (psig->cmaxrss < maxrss)
1095 psig->cmaxrss = maxrss;
Andrea Righi59954772008-07-27 17:29:15 +02001096 task_io_accounting_add(&psig->ioac, &p->ioac);
1097 task_io_accounting_add(&psig->ioac, &sig->ioac);
Rik van Riele78c3492014-08-16 13:40:10 -04001098 write_sequnlock(&psig->stats_lock);
Oleg Nesterovf953ccd2014-12-10 15:54:48 -08001099 spin_unlock_irq(&current->sighand->siglock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100 }
1101
Al Viroce72a162017-05-14 20:25:02 -04001102 if (wo->wo_rusage)
1103 getrusage(p, RUSAGE_BOTH, wo->wo_rusage);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001104 status = (p->signal->flags & SIGNAL_GROUP_EXIT)
1105 ? p->signal->group_exit_code : p->exit_code;
Al Viro359566f2017-05-14 20:39:39 -04001106 wo->wo_stat = status;
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001107
Oleg Nesterovb4360692014-04-07 15:38:43 -07001108 if (state == EXIT_TRACE) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001109 write_lock_irq(&tasklist_lock);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001110 /* We dropped tasklist, ptracer could die and untrace */
1111 ptrace_unlink(p);
Oleg Nesterovb4360692014-04-07 15:38:43 -07001112
1113 /* If parent wants a zombie, don't release it now */
1114 state = EXIT_ZOMBIE;
1115 if (do_notify_parent(p, p->exit_signal))
1116 state = EXIT_DEAD;
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001117 p->exit_state = state;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001118 write_unlock_irq(&tasklist_lock);
1119 }
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001120 if (state == EXIT_DEAD)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001121 release_task(p);
Oleg Nesterov2f4e6e22007-10-16 23:26:58 -07001122
Al Viro76d98712017-05-14 21:38:26 -04001123out_info:
1124 infop = wo->wo_info;
1125 if (infop) {
1126 if ((status & 0x7f) == 0) {
1127 infop->cause = CLD_EXITED;
1128 infop->status = status >> 8;
1129 } else {
1130 infop->cause = (status & 0x80) ? CLD_DUMPED : CLD_KILLED;
1131 infop->status = status & 0x7f;
1132 }
1133 infop->pid = pid;
1134 infop->uid = uid;
1135 }
1136
Al Viro67d7ddd2017-05-14 20:53:13 -04001137 return pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001138}
1139
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001140static int *task_stopped_code(struct task_struct *p, bool ptrace)
1141{
1142 if (ptrace) {
Oleg Nesterov570ac932016-01-20 14:59:58 -08001143 if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001144 return &p->exit_code;
1145 } else {
1146 if (p->signal->flags & SIGNAL_STOP_STOPPED)
1147 return &p->signal->group_exit_code;
1148 }
1149 return NULL;
1150}
1151
Tejun Heo19e27462011-05-12 10:47:23 +02001152/**
1153 * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED
1154 * @wo: wait options
1155 * @ptrace: is the wait for ptrace
1156 * @p: task to wait for
1157 *
1158 * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED.
1159 *
1160 * CONTEXT:
1161 * read_lock(&tasklist_lock), which is released if return value is
1162 * non-zero. Also, grabs and releases @p->sighand->siglock.
1163 *
1164 * RETURNS:
1165 * 0 if wait condition didn't exist and search for other wait conditions
1166 * should continue. Non-zero return, -errno on failure and @p's pid on
1167 * success, implies that tasklist_lock is released and wait condition
1168 * search should terminate.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001169 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001170static int wait_task_stopped(struct wait_opts *wo,
1171 int ptrace, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001172{
Al Viro67d7ddd2017-05-14 20:53:13 -04001173 struct waitid_info *infop;
1174 int exit_code, *p_code, why;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001175 uid_t uid = 0; /* unneeded, required by compiler */
Oleg Nesterovc8950782007-11-28 16:21:24 -08001176 pid_t pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177
Oleg Nesterov47918022009-06-17 16:27:39 -07001178 /*
1179 * Traditionally we see ptrace'd stopped tasks regardless of options.
1180 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001181 if (!ptrace && !(wo->wo_flags & WUNTRACED))
Roland McGrath98abed02008-03-19 19:24:59 -07001182 return 0;
1183
Tejun Heo19e27462011-05-12 10:47:23 +02001184 if (!task_stopped_code(p, ptrace))
1185 return 0;
1186
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001187 exit_code = 0;
1188 spin_lock_irq(&p->sighand->siglock);
1189
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001190 p_code = task_stopped_code(p, ptrace);
1191 if (unlikely(!p_code))
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001192 goto unlock_sig;
1193
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001194 exit_code = *p_code;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001195 if (!exit_code)
1196 goto unlock_sig;
1197
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001198 if (!unlikely(wo->wo_flags & WNOWAIT))
Oleg Nesterov90bc8d82009-04-02 16:57:58 -07001199 *p_code = 0;
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001200
Sasha Levin8ca937a2012-05-17 23:31:39 +02001201 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Oleg Nesterovee7c82d2008-02-08 04:19:01 -08001202unlock_sig:
1203 spin_unlock_irq(&p->sighand->siglock);
1204 if (!exit_code)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001205 return 0;
1206
1207 /*
1208 * Now we are pretty sure this task is interesting.
1209 * Make sure it doesn't get reaped out from under us while we
1210 * give up the lock and then examine it below. We don't want to
1211 * keep holding onto the tasklist_lock while we call getrusage and
1212 * possibly take page faults for user memory.
1213 */
1214 get_task_struct(p);
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001215 pid = task_pid_vnr(p);
Roland McGrathf4700212008-03-24 18:36:23 -07001216 why = ptrace ? CLD_TRAPPED : CLD_STOPPED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001218 sched_annotate_sleep();
Al Viroe61a2502017-05-14 21:25:03 -04001219 if (wo->wo_rusage)
1220 getrusage(p, RUSAGE_BOTH, wo->wo_rusage);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221 put_task_struct(p);
1222
Al Virobb380ec2017-05-14 21:33:21 -04001223 if (likely(!(wo->wo_flags & WNOWAIT)))
1224 wo->wo_stat = (exit_code << 8) | 0x7f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001225
1226 infop = wo->wo_info;
Al Viro67d7ddd2017-05-14 20:53:13 -04001227 if (infop) {
1228 infop->cause = why;
1229 infop->status = exit_code;
1230 infop->pid = pid;
1231 infop->uid = uid;
1232 }
Al Viro67d7ddd2017-05-14 20:53:13 -04001233 return pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001234}
1235
1236/*
1237 * Handle do_wait work for one task in a live, non-stopped state.
1238 * read_lock(&tasklist_lock) on entry. If we return zero, we still hold
1239 * the lock and this task is uninteresting. If we return nonzero, we have
1240 * released the lock and the system call should return.
1241 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001242static int wait_task_continued(struct wait_opts *wo, struct task_struct *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001243{
Al Virobb380ec2017-05-14 21:33:21 -04001244 struct waitid_info *infop;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001245 pid_t pid;
1246 uid_t uid;
1247
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001248 if (!unlikely(wo->wo_flags & WCONTINUED))
Roland McGrath98abed02008-03-19 19:24:59 -07001249 return 0;
1250
Linus Torvalds1da177e2005-04-16 15:20:36 -07001251 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED))
1252 return 0;
1253
1254 spin_lock_irq(&p->sighand->siglock);
1255 /* Re-check with the lock held. */
1256 if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) {
1257 spin_unlock_irq(&p->sighand->siglock);
1258 return 0;
1259 }
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001260 if (!unlikely(wo->wo_flags & WNOWAIT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001261 p->signal->flags &= ~SIGNAL_STOP_CONTINUED;
Sasha Levin8ca937a2012-05-17 23:31:39 +02001262 uid = from_kuid_munged(current_user_ns(), task_uid(p));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263 spin_unlock_irq(&p->sighand->siglock);
1264
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -08001265 pid = task_pid_vnr(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266 get_task_struct(p);
1267 read_unlock(&tasklist_lock);
Peter Zijlstra1029a2b2014-09-24 10:18:49 +02001268 sched_annotate_sleep();
Al Viroe61a2502017-05-14 21:25:03 -04001269 if (wo->wo_rusage)
1270 getrusage(p, RUSAGE_BOTH, wo->wo_rusage);
Al Virobb380ec2017-05-14 21:33:21 -04001271 put_task_struct(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001272
Al Virobb380ec2017-05-14 21:33:21 -04001273 infop = wo->wo_info;
1274 if (!infop) {
Al Viro359566f2017-05-14 20:39:39 -04001275 wo->wo_stat = 0xffff;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001276 } else {
Al Virobb380ec2017-05-14 21:33:21 -04001277 infop->cause = CLD_CONTINUED;
1278 infop->pid = pid;
1279 infop->uid = uid;
1280 infop->status = SIGCONT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281 }
Al Virobb380ec2017-05-14 21:33:21 -04001282 return pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001283}
1284
Roland McGrath98abed02008-03-19 19:24:59 -07001285/*
1286 * Consider @p for a wait by @parent.
1287 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001288 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001289 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1290 * Returns zero if the search for a child should continue;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001291 * then ->notask_error is 0 if @p is an eligible child,
Stephen Smalley3a2f5a52017-01-10 12:28:32 -05001292 * or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001293 */
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001294static int wait_consider_task(struct wait_opts *wo, int ptrace,
1295 struct task_struct *p)
Roland McGrath98abed02008-03-19 19:24:59 -07001296{
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001297 /*
1298 * We can race with wait_task_zombie() from another thread.
1299 * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition
1300 * can't confuse the checks below.
1301 */
Mark Rutland6aa7de02017-10-23 14:07:29 -07001302 int exit_state = READ_ONCE(p->exit_state);
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001303 int ret;
1304
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001305 if (unlikely(exit_state == EXIT_DEAD))
Oleg Nesterovb3ab0312014-04-07 15:38:45 -07001306 return 0;
1307
Oleg Nesterovbf959932016-05-23 16:23:50 -07001308 ret = eligible_child(wo, ptrace, p);
Roland McGrath14dd0b82008-03-30 18:41:25 -07001309 if (!ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001310 return ret;
1311
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001312 if (unlikely(exit_state == EXIT_TRACE)) {
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001313 /*
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001314 * ptrace == 0 means we are the natural parent. In this case
1315 * we should clear notask_error, debugger will notify us.
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001316 */
Oleg Nesterovabd50b32014-04-07 15:38:42 -07001317 if (likely(!ptrace))
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001318 wo->notask_error = 0;
Roland McGrath98abed02008-03-19 19:24:59 -07001319 return 0;
Oleg Nesterov50b8d252012-01-04 17:29:02 +01001320 }
Roland McGrath98abed02008-03-19 19:24:59 -07001321
Oleg Nesterov377d75d2014-04-07 15:38:47 -07001322 if (likely(!ptrace) && unlikely(p->ptrace)) {
1323 /*
1324 * If it is traced by its real parent's group, just pretend
1325 * the caller is ptrace_do_wait() and reap this child if it
1326 * is zombie.
1327 *
1328 * This also hides group stop state from real parent; otherwise
1329 * a single stop can be reported twice as group and ptrace stop.
1330 * If a ptracer wants to distinguish these two events for its
1331 * own children it should create a separate process which takes
1332 * the role of real parent.
1333 */
1334 if (!ptrace_reparented(p))
1335 ptrace = 1;
1336 }
1337
Tejun Heo9b84cca2011-03-23 10:37:01 +01001338 /* slay zombie? */
Oleg Nesterov3245d6a2015-01-08 14:32:12 -08001339 if (exit_state == EXIT_ZOMBIE) {
Tejun Heo9b84cca2011-03-23 10:37:01 +01001340 /* we don't reap group leaders with subthreads */
Oleg Nesterov7c733eb2014-04-07 15:38:49 -07001341 if (!delay_group_leader(p)) {
1342 /*
1343 * A zombie ptracee is only visible to its ptracer.
1344 * Notification and reaping will be cascaded to the
1345 * real parent when the ptracer detaches.
1346 */
1347 if (unlikely(ptrace) || likely(!p->ptrace))
1348 return wait_task_zombie(wo, p);
1349 }
Roland McGrath98abed02008-03-19 19:24:59 -07001350
Tejun Heo9b84cca2011-03-23 10:37:01 +01001351 /*
1352 * Allow access to stopped/continued state via zombie by
1353 * falling through. Clearing of notask_error is complex.
1354 *
1355 * When !@ptrace:
1356 *
1357 * If WEXITED is set, notask_error should naturally be
1358 * cleared. If not, subset of WSTOPPED|WCONTINUED is set,
1359 * so, if there are live subthreads, there are events to
1360 * wait for. If all subthreads are dead, it's still safe
1361 * to clear - this function will be called again in finite
1362 * amount time once all the subthreads are released and
1363 * will then return without clearing.
1364 *
1365 * When @ptrace:
1366 *
1367 * Stopped state is per-task and thus can't change once the
1368 * target task dies. Only continued and exited can happen.
1369 * Clear notask_error if WCONTINUED | WEXITED.
1370 */
1371 if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED)))
1372 wo->notask_error = 0;
1373 } else {
1374 /*
1375 * @p is alive and it's gonna stop, continue or exit, so
1376 * there always is something to wait for.
1377 */
1378 wo->notask_error = 0;
1379 }
Roland McGrath98abed02008-03-19 19:24:59 -07001380
1381 /*
Tejun Heo45cb24a2011-03-23 10:37:01 +01001382 * Wait for stopped. Depending on @ptrace, different stopped state
1383 * is used and the two don't interact with each other.
Roland McGrath98abed02008-03-19 19:24:59 -07001384 */
Tejun Heo19e27462011-05-12 10:47:23 +02001385 ret = wait_task_stopped(wo, ptrace, p);
1386 if (ret)
1387 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001388
Tejun Heo45cb24a2011-03-23 10:37:01 +01001389 /*
1390 * Wait for continued. There's only one continued state and the
1391 * ptracer can consume it which can confuse the real parent. Don't
1392 * use WCONTINUED from ptracer. You don't need or want it.
1393 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001394 return wait_task_continued(wo, p);
Roland McGrath98abed02008-03-19 19:24:59 -07001395}
1396
1397/*
1398 * Do the work of do_wait() for one thread in the group, @tsk.
1399 *
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001400 * -ECHILD should be in ->notask_error before the first call.
Roland McGrath98abed02008-03-19 19:24:59 -07001401 * Returns nonzero for a final return, when we have unlocked tasklist_lock.
1402 * Returns zero if the search for a child should continue; then
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001403 * ->notask_error is 0 if there were any eligible children,
Stephen Smalley3a2f5a52017-01-10 12:28:32 -05001404 * or still -ECHILD.
Roland McGrath98abed02008-03-19 19:24:59 -07001405 */
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001406static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001407{
1408 struct task_struct *p;
1409
1410 list_for_each_entry(p, &tsk->children, sibling) {
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001411 int ret = wait_consider_task(wo, 0, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001412
Oleg Nesterov9cd80bb2009-12-17 15:27:15 -08001413 if (ret)
1414 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001415 }
1416
1417 return 0;
1418}
1419
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001420static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk)
Roland McGrath98abed02008-03-19 19:24:59 -07001421{
1422 struct task_struct *p;
1423
Roland McGrathf4700212008-03-24 18:36:23 -07001424 list_for_each_entry(p, &tsk->ptraced, ptrace_entry) {
Oleg Nesterovb6e763f2009-09-23 15:56:50 -07001425 int ret = wait_consider_task(wo, 1, p);
Ionut Alexaa0be55d2014-08-08 14:21:18 -07001426
Roland McGrathf4700212008-03-24 18:36:23 -07001427 if (ret)
Roland McGrath98abed02008-03-19 19:24:59 -07001428 return ret;
Roland McGrath98abed02008-03-19 19:24:59 -07001429 }
1430
1431 return 0;
1432}
1433
Ingo Molnarac6424b2017-06-20 12:06:13 +02001434static int child_wait_callback(wait_queue_entry_t *wait, unsigned mode,
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001435 int sync, void *key)
1436{
1437 struct wait_opts *wo = container_of(wait, struct wait_opts,
1438 child_wait);
1439 struct task_struct *p = key;
1440
Oleg Nesterov5c01ba42009-09-23 15:56:48 -07001441 if (!eligible_pid(wo, p))
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001442 return 0;
1443
Oleg Nesterovb4fe51822009-09-23 15:56:47 -07001444 if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent)
1445 return 0;
1446
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001447 return default_wake_function(wait, mode, sync, key);
1448}
1449
Oleg Nesterova7f07652009-09-23 15:56:44 -07001450void __wake_up_parent(struct task_struct *p, struct task_struct *parent)
1451{
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001452 __wake_up_sync_key(&parent->signal->wait_chldexit,
David Howellsce4dd442019-10-16 15:13:41 +01001453 TASK_INTERRUPTIBLE, p);
Oleg Nesterova7f07652009-09-23 15:56:44 -07001454}
1455
Jim Newsome54491622021-05-06 18:04:22 -07001456static bool is_effectively_child(struct wait_opts *wo, bool ptrace,
1457 struct task_struct *target)
1458{
1459 struct task_struct *parent =
1460 !ptrace ? target->real_parent : target->parent;
1461
1462 return current == parent || (!(wo->wo_flags & __WNOTHREAD) &&
1463 same_thread_group(current, parent));
1464}
1465
1466/*
1467 * Optimization for waiting on PIDTYPE_PID. No need to iterate through child
1468 * and tracee lists to find the target task.
1469 */
1470static int do_wait_pid(struct wait_opts *wo)
1471{
1472 bool ptrace;
1473 struct task_struct *target;
1474 int retval;
1475
1476 ptrace = false;
1477 target = pid_task(wo->wo_pid, PIDTYPE_TGID);
1478 if (target && is_effectively_child(wo, ptrace, target)) {
1479 retval = wait_consider_task(wo, ptrace, target);
1480 if (retval)
1481 return retval;
1482 }
1483
1484 ptrace = true;
1485 target = pid_task(wo->wo_pid, PIDTYPE_PID);
1486 if (target && target->ptrace &&
1487 is_effectively_child(wo, ptrace, target)) {
1488 retval = wait_consider_task(wo, ptrace, target);
1489 if (retval)
1490 return retval;
1491 }
1492
1493 return 0;
1494}
1495
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001496static long do_wait(struct wait_opts *wo)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001497{
Roland McGrath98abed02008-03-19 19:24:59 -07001498 int retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001499
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001500 trace_sched_process_wait(wo->wo_pid);
Mathieu Desnoyers0a16b602008-07-18 12:16:17 -04001501
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001502 init_waitqueue_func_entry(&wo->child_wait, child_wait_callback);
1503 wo->child_wait.private = current;
1504 add_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001505repeat:
Roland McGrath98abed02008-03-19 19:24:59 -07001506 /*
Frans Klaver3da56d12015-05-21 22:35:57 +02001507 * If there is nothing that can match our criteria, just get out.
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001508 * We will clear ->notask_error to zero if we see any child that
1509 * might later match our criteria, even if we are not able to reap
1510 * it yet.
Roland McGrath98abed02008-03-19 19:24:59 -07001511 */
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001512 wo->notask_error = -ECHILD;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001513 if ((wo->wo_type < PIDTYPE_MAX) &&
Christian Brauner1722c142019-10-17 12:18:31 +02001514 (!wo->wo_pid || !pid_has_task(wo->wo_pid, wo->wo_type)))
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001515 goto notask;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001516
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001517 set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001518 read_lock(&tasklist_lock);
Jim Newsome54491622021-05-06 18:04:22 -07001519
1520 if (wo->wo_type == PIDTYPE_PID) {
1521 retval = do_wait_pid(wo);
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001522 if (retval)
Roland McGrath98abed02008-03-19 19:24:59 -07001523 goto end;
Jim Newsome54491622021-05-06 18:04:22 -07001524 } else {
1525 struct task_struct *tsk = current;
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001526
Jim Newsome54491622021-05-06 18:04:22 -07001527 do {
1528 retval = do_wait_thread(wo, tsk);
1529 if (retval)
1530 goto end;
Roland McGrath98abed02008-03-19 19:24:59 -07001531
Jim Newsome54491622021-05-06 18:04:22 -07001532 retval = ptrace_do_wait(wo, tsk);
1533 if (retval)
1534 goto end;
1535
1536 if (wo->wo_flags & __WNOTHREAD)
1537 break;
1538 } while_each_thread(current, tsk);
1539 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001540 read_unlock(&tasklist_lock);
Oleg Nesterovf2cc3eb2008-02-08 04:19:06 -08001541
Oleg Nesterov64a16ca2009-06-17 16:27:40 -07001542notask:
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001543 retval = wo->notask_error;
1544 if (!retval && !(wo->wo_flags & WNOHANG)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001545 retval = -ERESTARTSYS;
Roland McGrath98abed02008-03-19 19:24:59 -07001546 if (!signal_pending(current)) {
1547 schedule();
1548 goto repeat;
1549 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001550 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001551end:
Oleg Nesterovf95d39d2009-06-17 16:27:42 -07001552 __set_current_state(TASK_RUNNING);
Oleg Nesterov0b7570e2009-09-23 15:56:46 -07001553 remove_wait_queue(&current->signal->wait_chldexit, &wo->child_wait);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001554 return retval;
1555}
1556
Al Viro67d7ddd2017-05-14 20:53:13 -04001557static long kernel_waitid(int which, pid_t upid, struct waitid_info *infop,
Al Viroce72a162017-05-14 20:25:02 -04001558 int options, struct rusage *ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001559{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001560 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001561 struct pid *pid = NULL;
1562 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001563 long ret;
Christian Braunerba7d25f2020-09-02 12:21:28 +02001564 unsigned int f_flags = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001565
Oleg Nesterov91c4e8e2016-05-23 16:23:53 -07001566 if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED|
1567 __WNOTHREAD|__WCLONE|__WALL))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001568 return -EINVAL;
1569 if (!(options & (WEXITED|WSTOPPED|WCONTINUED)))
1570 return -EINVAL;
1571
1572 switch (which) {
1573 case P_ALL:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001574 type = PIDTYPE_MAX;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001575 break;
1576 case P_PID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001577 type = PIDTYPE_PID;
1578 if (upid <= 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001579 return -EINVAL;
Christian Brauner3695eae2019-07-28 00:22:29 +02001580
1581 pid = find_get_pid(upid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001582 break;
1583 case P_PGID:
Eric W. Biederman161550d2008-02-08 04:19:14 -08001584 type = PIDTYPE_PGID;
Eric W. Biederman821cc7b2019-07-23 07:44:46 -05001585 if (upid < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001586 return -EINVAL;
Christian Brauner3695eae2019-07-28 00:22:29 +02001587
Eric W. Biederman821cc7b2019-07-23 07:44:46 -05001588 if (upid)
1589 pid = find_get_pid(upid);
1590 else
1591 pid = get_task_pid(current, PIDTYPE_PGID);
Christian Brauner3695eae2019-07-28 00:22:29 +02001592 break;
1593 case P_PIDFD:
1594 type = PIDTYPE_PID;
1595 if (upid < 0)
1596 return -EINVAL;
1597
Christian Braunerba7d25f2020-09-02 12:21:28 +02001598 pid = pidfd_get_pid(upid, &f_flags);
Christian Brauner3695eae2019-07-28 00:22:29 +02001599 if (IS_ERR(pid))
1600 return PTR_ERR(pid);
Christian Braunerba7d25f2020-09-02 12:21:28 +02001601
Linus Torvalds1da177e2005-04-16 15:20:36 -07001602 break;
1603 default:
1604 return -EINVAL;
1605 }
1606
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001607 wo.wo_type = type;
1608 wo.wo_pid = pid;
1609 wo.wo_flags = options;
1610 wo.wo_info = infop;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001611 wo.wo_rusage = ru;
Christian Braunerba7d25f2020-09-02 12:21:28 +02001612 if (f_flags & O_NONBLOCK)
1613 wo.wo_flags |= WNOHANG;
1614
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001615 ret = do_wait(&wo);
Christian Braunerba7d25f2020-09-02 12:21:28 +02001616 if (!ret && !(options & WNOHANG) && (f_flags & O_NONBLOCK))
1617 ret = -EAGAIN;
Vitaly Mayatskikhdfe16df2009-09-23 15:56:51 -07001618
Eric W. Biederman161550d2008-02-08 04:19:14 -08001619 put_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001620 return ret;
1621}
1622
Al Viroce72a162017-05-14 20:25:02 -04001623SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *,
1624 infop, int, options, struct rusage __user *, ru)
1625{
1626 struct rusage r;
Al Viro67d7ddd2017-05-14 20:53:13 -04001627 struct waitid_info info = {.status = 0};
1628 long err = kernel_waitid(which, upid, &info, options, ru ? &r : NULL);
Al Viro634a8162017-07-08 11:26:39 -04001629 int signo = 0;
Al Viro6c855012017-09-29 13:43:15 -04001630
Al Viro634a8162017-07-08 11:26:39 -04001631 if (err > 0) {
1632 signo = SIGCHLD;
1633 err = 0;
Al Viroce72a162017-05-14 20:25:02 -04001634 if (ru && copy_to_user(ru, &r, sizeof(struct rusage)))
1635 return -EFAULT;
1636 }
Al Viro67d7ddd2017-05-14 20:53:13 -04001637 if (!infop)
1638 return err;
1639
Christophe Leroy41cd7802020-04-03 07:20:51 +00001640 if (!user_write_access_begin(infop, sizeof(*infop)))
Kees Cook1c9fec42017-10-20 07:36:05 -07001641 return -EFAULT;
Kees Cook96ca5792017-10-09 11:36:52 -07001642
Al Viro634a8162017-07-08 11:26:39 -04001643 unsafe_put_user(signo, &infop->si_signo, Efault);
Al Viro4c48abe2017-05-14 19:27:32 -04001644 unsafe_put_user(0, &infop->si_errno, Efault);
Eric W. Biedermancc731522017-07-16 22:36:59 -05001645 unsafe_put_user(info.cause, &infop->si_code, Efault);
Al Viro4c48abe2017-05-14 19:27:32 -04001646 unsafe_put_user(info.pid, &infop->si_pid, Efault);
1647 unsafe_put_user(info.uid, &infop->si_uid, Efault);
1648 unsafe_put_user(info.status, &infop->si_status, Efault);
Christophe Leroy41cd7802020-04-03 07:20:51 +00001649 user_write_access_end();
Al Viroce72a162017-05-14 20:25:02 -04001650 return err;
Al Viro4c48abe2017-05-14 19:27:32 -04001651Efault:
Christophe Leroy41cd7802020-04-03 07:20:51 +00001652 user_write_access_end();
Al Viro4c48abe2017-05-14 19:27:32 -04001653 return -EFAULT;
Al Viroce72a162017-05-14 20:25:02 -04001654}
1655
Al Viro92ebce52017-05-14 23:54:33 -04001656long kernel_wait4(pid_t upid, int __user *stat_addr, int options,
1657 struct rusage *ru)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001658{
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001659 struct wait_opts wo;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001660 struct pid *pid = NULL;
1661 enum pid_type type;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001662 long ret;
1663
1664 if (options & ~(WNOHANG|WUNTRACED|WCONTINUED|
1665 __WNOTHREAD|__WCLONE|__WALL))
1666 return -EINVAL;
Eric W. Biederman161550d2008-02-08 04:19:14 -08001667
zhongjiangdd83c162017-07-10 15:53:01 -07001668 /* -INT_MIN is not defined */
1669 if (upid == INT_MIN)
1670 return -ESRCH;
1671
Eric W. Biederman161550d2008-02-08 04:19:14 -08001672 if (upid == -1)
1673 type = PIDTYPE_MAX;
1674 else if (upid < 0) {
1675 type = PIDTYPE_PGID;
1676 pid = find_get_pid(-upid);
1677 } else if (upid == 0) {
1678 type = PIDTYPE_PGID;
Oleg Nesterov2ae448e2009-04-02 16:58:36 -07001679 pid = get_task_pid(current, PIDTYPE_PGID);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001680 } else /* upid > 0 */ {
1681 type = PIDTYPE_PID;
1682 pid = find_get_pid(upid);
1683 }
1684
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001685 wo.wo_type = type;
1686 wo.wo_pid = pid;
1687 wo.wo_flags = options | WEXITED;
1688 wo.wo_info = NULL;
Al Viro359566f2017-05-14 20:39:39 -04001689 wo.wo_stat = 0;
Oleg Nesterov9e8ae012009-06-17 16:27:39 -07001690 wo.wo_rusage = ru;
1691 ret = do_wait(&wo);
Eric W. Biederman161550d2008-02-08 04:19:14 -08001692 put_pid(pid);
Al Viro359566f2017-05-14 20:39:39 -04001693 if (ret > 0 && stat_addr && put_user(wo.wo_stat, stat_addr))
1694 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001695
Linus Torvalds1da177e2005-04-16 15:20:36 -07001696 return ret;
1697}
1698
Christoph Hellwig8043fc12020-08-11 18:34:10 -07001699int kernel_wait(pid_t pid, int *stat)
1700{
1701 struct wait_opts wo = {
1702 .wo_type = PIDTYPE_PID,
1703 .wo_pid = find_get_pid(pid),
1704 .wo_flags = WEXITED,
1705 };
1706 int ret;
1707
1708 ret = do_wait(&wo);
1709 if (ret > 0 && wo.wo_stat)
1710 *stat = wo.wo_stat;
1711 put_pid(wo.wo_pid);
1712 return ret;
1713}
1714
Al Viroce72a162017-05-14 20:25:02 -04001715SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr,
1716 int, options, struct rusage __user *, ru)
1717{
1718 struct rusage r;
1719 long err = kernel_wait4(upid, stat_addr, options, ru ? &r : NULL);
1720
1721 if (err > 0) {
1722 if (ru && copy_to_user(ru, &r, sizeof(struct rusage)))
1723 return -EFAULT;
1724 }
1725 return err;
1726}
1727
Linus Torvalds1da177e2005-04-16 15:20:36 -07001728#ifdef __ARCH_WANT_SYS_WAITPID
1729
1730/*
1731 * sys_waitpid() remains for compatibility. waitpid() should be
1732 * implemented by calling sys_wait4() from libc.a.
1733 */
Heiko Carstens17da2bd2009-01-14 14:14:10 +01001734SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001735{
Dominik Brodowskid300b612018-03-11 11:34:26 +01001736 return kernel_wait4(pid, stat_addr, options, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001737}
1738
1739#endif
Al Viro7e95a222017-05-14 19:52:01 -04001740
1741#ifdef CONFIG_COMPAT
1742COMPAT_SYSCALL_DEFINE4(wait4,
1743 compat_pid_t, pid,
1744 compat_uint_t __user *, stat_addr,
1745 int, options,
1746 struct compat_rusage __user *, ru)
1747{
Al Viroce72a162017-05-14 20:25:02 -04001748 struct rusage r;
1749 long err = kernel_wait4(pid, stat_addr, options, ru ? &r : NULL);
1750 if (err > 0) {
1751 if (ru && put_compat_rusage(&r, ru))
1752 return -EFAULT;
Al Viro7e95a222017-05-14 19:52:01 -04001753 }
Al Viroce72a162017-05-14 20:25:02 -04001754 return err;
Al Viro7e95a222017-05-14 19:52:01 -04001755}
1756
1757COMPAT_SYSCALL_DEFINE5(waitid,
1758 int, which, compat_pid_t, pid,
1759 struct compat_siginfo __user *, infop, int, options,
1760 struct compat_rusage __user *, uru)
1761{
Al Viro7e95a222017-05-14 19:52:01 -04001762 struct rusage ru;
Al Viro67d7ddd2017-05-14 20:53:13 -04001763 struct waitid_info info = {.status = 0};
1764 long err = kernel_waitid(which, pid, &info, options, uru ? &ru : NULL);
Al Viro634a8162017-07-08 11:26:39 -04001765 int signo = 0;
1766 if (err > 0) {
1767 signo = SIGCHLD;
1768 err = 0;
Al Viro6c855012017-09-29 13:43:15 -04001769 if (uru) {
1770 /* kernel_waitid() overwrites everything in ru */
1771 if (COMPAT_USE_64BIT_TIME)
1772 err = copy_to_user(uru, &ru, sizeof(ru));
1773 else
1774 err = put_compat_rusage(&ru, uru);
1775 if (err)
1776 return -EFAULT;
1777 }
Al Viro7e95a222017-05-14 19:52:01 -04001778 }
1779
Al Viro4c48abe2017-05-14 19:27:32 -04001780 if (!infop)
1781 return err;
1782
Christophe Leroy41cd7802020-04-03 07:20:51 +00001783 if (!user_write_access_begin(infop, sizeof(*infop)))
Kees Cook1c9fec42017-10-20 07:36:05 -07001784 return -EFAULT;
Kees Cook96ca5792017-10-09 11:36:52 -07001785
Al Viro634a8162017-07-08 11:26:39 -04001786 unsafe_put_user(signo, &infop->si_signo, Efault);
Al Viro4c48abe2017-05-14 19:27:32 -04001787 unsafe_put_user(0, &infop->si_errno, Efault);
Eric W. Biedermancc731522017-07-16 22:36:59 -05001788 unsafe_put_user(info.cause, &infop->si_code, Efault);
Al Viro4c48abe2017-05-14 19:27:32 -04001789 unsafe_put_user(info.pid, &infop->si_pid, Efault);
1790 unsafe_put_user(info.uid, &infop->si_uid, Efault);
1791 unsafe_put_user(info.status, &infop->si_status, Efault);
Christophe Leroy41cd7802020-04-03 07:20:51 +00001792 user_write_access_end();
Al Viro67d7ddd2017-05-14 20:53:13 -04001793 return err;
Al Viro4c48abe2017-05-14 19:27:32 -04001794Efault:
Christophe Leroy41cd7802020-04-03 07:20:51 +00001795 user_write_access_end();
Al Viro4c48abe2017-05-14 19:27:32 -04001796 return -EFAULT;
Al Viro7e95a222017-05-14 19:52:01 -04001797}
1798#endif
Sudip Mukherjee7c2c11b2017-12-14 15:33:19 -08001799
Eric W. Biederman38fd525a2020-07-01 07:30:06 -05001800/**
1801 * thread_group_exited - check that a thread group has exited
1802 * @pid: tgid of thread group to be checked.
1803 *
1804 * Test if the thread group represented by tgid has exited (all
1805 * threads are zombies, dead or completely gone).
1806 *
1807 * Return: true if the thread group has exited. false otherwise.
1808 */
1809bool thread_group_exited(struct pid *pid)
1810{
1811 struct task_struct *task;
1812 bool exited;
1813
1814 rcu_read_lock();
1815 task = pid_task(pid, PIDTYPE_PID);
1816 exited = !task ||
1817 (READ_ONCE(task->exit_state) && thread_group_empty(task));
1818 rcu_read_unlock();
1819
1820 return exited;
1821}
1822EXPORT_SYMBOL(thread_group_exited);
1823
Sudip Mukherjee7c2c11b2017-12-14 15:33:19 -08001824__weak void abort(void)
1825{
1826 BUG();
1827
1828 /* if that doesn't kill us, halt */
1829 panic("Oops failed to kill thread");
1830}
Andrew Mortondc8635b2018-01-04 16:17:56 -08001831EXPORT_SYMBOL(abort);