Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * linux/kernel/exit.c |
| 3 | * |
| 4 | * Copyright (C) 1991, 1992 Linus Torvalds |
| 5 | */ |
| 6 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 7 | #include <linux/mm.h> |
| 8 | #include <linux/slab.h> |
Ingo Molnar | 4eb5aaa | 2017-02-08 18:51:29 +0100 | [diff] [blame] | 9 | #include <linux/sched/autogroup.h> |
Ingo Molnar | 6e84f31 | 2017-02-08 18:51:29 +0100 | [diff] [blame] | 10 | #include <linux/sched/mm.h> |
Ingo Molnar | 03441a3 | 2017-02-08 18:51:35 +0100 | [diff] [blame] | 11 | #include <linux/sched/stat.h> |
Ingo Molnar | 2993002 | 2017-02-08 18:51:36 +0100 | [diff] [blame] | 12 | #include <linux/sched/task.h> |
Ingo Molnar | 68db0cf | 2017-02-08 18:51:37 +0100 | [diff] [blame] | 13 | #include <linux/sched/task_stack.h> |
Ingo Molnar | 32ef551 | 2017-02-05 11:48:36 +0100 | [diff] [blame] | 14 | #include <linux/sched/cputime.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #include <linux/interrupt.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | #include <linux/module.h> |
Randy.Dunlap | c59ede7 | 2006-01-11 12:17:46 -0800 | [diff] [blame] | 17 | #include <linux/capability.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | #include <linux/completion.h> |
| 19 | #include <linux/personality.h> |
| 20 | #include <linux/tty.h> |
Jens Axboe | da9cbc8 | 2008-06-30 20:42:08 +0200 | [diff] [blame] | 21 | #include <linux/iocontext.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 22 | #include <linux/key.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 23 | #include <linux/cpu.h> |
| 24 | #include <linux/acct.h> |
Jay Lan | 8f0ab51 | 2006-09-30 23:28:59 -0700 | [diff] [blame] | 25 | #include <linux/tsacct_kern.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 26 | #include <linux/file.h> |
Al Viro | 9f3acc3 | 2008-04-24 07:44:08 -0400 | [diff] [blame] | 27 | #include <linux/fdtable.h> |
Mandeep Singh Baines | 80d26af | 2013-02-27 17:03:20 -0800 | [diff] [blame] | 28 | #include <linux/freezer.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 29 | #include <linux/binfmts.h> |
Serge E. Hallyn | ab51601 | 2006-10-02 02:18:06 -0700 | [diff] [blame] | 30 | #include <linux/nsproxy.h> |
Sukadev Bhattiprolu | 84d7378 | 2006-12-08 02:38:01 -0800 | [diff] [blame] | 31 | #include <linux/pid_namespace.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 32 | #include <linux/ptrace.h> |
| 33 | #include <linux/profile.h> |
| 34 | #include <linux/mount.h> |
| 35 | #include <linux/proc_fs.h> |
Eric W. Biederman | 49d769d | 2007-05-09 02:34:33 -0700 | [diff] [blame] | 36 | #include <linux/kthread.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | #include <linux/mempolicy.h> |
Shailabh Nagar | c757249 | 2006-07-14 00:24:40 -0700 | [diff] [blame] | 38 | #include <linux/taskstats_kern.h> |
Shailabh Nagar | ca74e92 | 2006-07-14 00:24:36 -0700 | [diff] [blame] | 39 | #include <linux/delayacct.h> |
Paul Menage | b4f48b6 | 2007-10-18 23:39:33 -0700 | [diff] [blame] | 40 | #include <linux/cgroup.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 41 | #include <linux/syscalls.h> |
Jesper Juhl | 7ed20e1 | 2005-05-01 08:59:14 -0700 | [diff] [blame] | 42 | #include <linux/signal.h> |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 43 | #include <linux/posix-timers.h> |
Matt Helsley | 9f46080 | 2005-11-07 00:59:16 -0800 | [diff] [blame] | 44 | #include <linux/cn_proc.h> |
Ingo Molnar | de5097c | 2006-01-09 15:59:21 -0800 | [diff] [blame] | 45 | #include <linux/mutex.h> |
Ingo Molnar | 0771dfe | 2006-03-27 01:16:22 -0800 | [diff] [blame] | 46 | #include <linux/futex.h> |
Jens Axboe | b92ce55 | 2006-04-11 13:52:07 +0200 | [diff] [blame] | 47 | #include <linux/pipe_fs_i.h> |
Al Viro | fa84cb9 | 2006-03-29 20:30:19 -0500 | [diff] [blame] | 48 | #include <linux/audit.h> /* for audit_free() */ |
Adrian Bunk | 83cc5ed | 2006-06-25 05:47:41 -0700 | [diff] [blame] | 49 | #include <linux/resource.h> |
David Howells | 0d67a46 | 2006-08-29 19:05:56 +0100 | [diff] [blame] | 50 | #include <linux/blkdev.h> |
Eric Dumazet | 6eaeeab | 2007-05-10 22:22:37 -0700 | [diff] [blame] | 51 | #include <linux/task_io_accounting_ops.h> |
Roland McGrath | 30199f5 | 2008-07-25 19:45:46 -0700 | [diff] [blame] | 52 | #include <linux/tracehook.h> |
Al Viro | 5ad4e53 | 2009-03-29 19:50:06 -0400 | [diff] [blame] | 53 | #include <linux/fs_struct.h> |
David Howells | d84f4f9 | 2008-11-14 10:39:23 +1100 | [diff] [blame] | 54 | #include <linux/init_task.h> |
Ingo Molnar | cdd6c48 | 2009-09-21 12:02:48 +0200 | [diff] [blame] | 55 | #include <linux/perf_event.h> |
Steven Rostedt | ad8d75f | 2009-04-14 19:39:12 -0400 | [diff] [blame] | 56 | #include <trace/events/sched.h> |
Frederic Weisbecker | 24f1e32c | 2009-09-09 19:22:48 +0200 | [diff] [blame] | 57 | #include <linux/hw_breakpoint.h> |
Ying Han | 3d5992d | 2010-10-26 14:21:23 -0700 | [diff] [blame] | 58 | #include <linux/oom.h> |
Wu Fengguang | 54848d7 | 2011-04-05 13:21:19 -0600 | [diff] [blame] | 59 | #include <linux/writeback.h> |
Al Viro | 4040153 | 2012-02-13 03:58:52 +0000 | [diff] [blame] | 60 | #include <linux/shm.h> |
Dmitry Vyukov | 5c9a875 | 2016-03-22 14:27:30 -0700 | [diff] [blame] | 61 | #include <linux/kcov.h> |
Nicolas Pitre | 53d3eaa | 2016-11-11 00:10:09 -0500 | [diff] [blame] | 62 | #include <linux/random.h> |
Davidlohr Bueso | 8f95c90 | 2017-01-11 07:22:25 -0800 | [diff] [blame] | 63 | #include <linux/rcuwait.h> |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 64 | #include <linux/compat.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 65 | |
Linus Torvalds | 7c0f6ba | 2016-12-24 11:46:01 -0800 | [diff] [blame] | 66 | #include <linux/uaccess.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 67 | #include <asm/unistd.h> |
| 68 | #include <asm/pgtable.h> |
| 69 | #include <asm/mmu_context.h> |
| 70 | |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 71 | static void __unhash_process(struct task_struct *p, bool group_dead) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 72 | { |
| 73 | nr_threads--; |
Oleg Nesterov | 50d75f8 | 2012-06-20 12:53:04 -0700 | [diff] [blame] | 74 | detach_pid(p, PIDTYPE_PID); |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 75 | if (group_dead) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 76 | detach_pid(p, PIDTYPE_PGID); |
| 77 | detach_pid(p, PIDTYPE_SID); |
Oleg Nesterov | c97d989 | 2006-03-28 16:11:06 -0800 | [diff] [blame] | 78 | |
Eric W. Biederman | 5e85d4a | 2006-04-18 22:20:16 -0700 | [diff] [blame] | 79 | list_del_rcu(&p->tasks); |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 80 | list_del_init(&p->sibling); |
Christoph Lameter | 909ea96 | 2010-12-08 16:22:55 +0100 | [diff] [blame] | 81 | __this_cpu_dec(process_counts); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 82 | } |
Oleg Nesterov | 47e6532 | 2006-03-28 16:11:25 -0800 | [diff] [blame] | 83 | list_del_rcu(&p->thread_group); |
Oleg Nesterov | 0c740d0 | 2014-01-21 15:49:56 -0800 | [diff] [blame] | 84 | list_del_rcu(&p->thread_node); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 85 | } |
| 86 | |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 87 | /* |
| 88 | * This function expects the tasklist_lock write-locked. |
| 89 | */ |
| 90 | static void __exit_signal(struct task_struct *tsk) |
| 91 | { |
| 92 | struct signal_struct *sig = tsk->signal; |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 93 | bool group_dead = thread_group_leader(tsk); |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 94 | struct sighand_struct *sighand; |
Oleg Nesterov | 4ada856 | 2010-05-26 14:43:17 -0700 | [diff] [blame] | 95 | struct tty_struct *uninitialized_var(tty); |
Frederic Weisbecker | 5613fda | 2017-01-31 04:09:23 +0100 | [diff] [blame] | 96 | u64 utime, stime; |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 97 | |
Paul E. McKenney | d11c563 | 2010-02-22 17:04:50 -0800 | [diff] [blame] | 98 | sighand = rcu_dereference_check(tsk->sighand, |
Paul E. McKenney | db1466b | 2010-03-03 07:46:56 -0800 | [diff] [blame] | 99 | lockdep_tasklist_lock_is_held()); |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 100 | spin_lock(&sighand->siglock); |
| 101 | |
Nicolas Pitre | baa73d9 | 2016-11-11 00:10:10 -0500 | [diff] [blame] | 102 | #ifdef CONFIG_POSIX_TIMERS |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 103 | posix_cpu_timers_exit(tsk); |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 104 | if (group_dead) { |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 105 | posix_cpu_timers_exit_group(tsk); |
Oleg Nesterov | 4a59994 | 2010-05-26 14:43:12 -0700 | [diff] [blame] | 106 | } else { |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 107 | /* |
Oleg Nesterov | e0a7021 | 2010-11-05 16:53:42 +0100 | [diff] [blame] | 108 | * This can only happen if the caller is de_thread(). |
| 109 | * FIXME: this is the temporary hack, we should teach |
| 110 | * posix-cpu-timers to handle this case correctly. |
| 111 | */ |
| 112 | if (unlikely(has_group_leader_pid(tsk))) |
| 113 | posix_cpu_timers_exit_group(tsk); |
Nicolas Pitre | baa73d9 | 2016-11-11 00:10:10 -0500 | [diff] [blame] | 114 | } |
| 115 | #endif |
Oleg Nesterov | e0a7021 | 2010-11-05 16:53:42 +0100 | [diff] [blame] | 116 | |
Nicolas Pitre | baa73d9 | 2016-11-11 00:10:10 -0500 | [diff] [blame] | 117 | if (group_dead) { |
| 118 | tty = sig->tty; |
| 119 | sig->tty = NULL; |
| 120 | } else { |
Oleg Nesterov | e0a7021 | 2010-11-05 16:53:42 +0100 | [diff] [blame] | 121 | /* |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 122 | * If there is any task waiting for the group exit |
| 123 | * then notify it: |
| 124 | */ |
Oleg Nesterov | d344193 | 2010-05-26 14:43:11 -0700 | [diff] [blame] | 125 | if (sig->notify_count > 0 && !--sig->notify_count) |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 126 | wake_up_process(sig->group_exit_task); |
Oleg Nesterov | 6db840f | 2007-10-16 23:27:23 -0700 | [diff] [blame] | 127 | |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 128 | if (tsk == sig->curr_target) |
| 129 | sig->curr_target = next_thread(tsk); |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 130 | } |
| 131 | |
Nicolas Pitre | 53d3eaa | 2016-11-11 00:10:09 -0500 | [diff] [blame] | 132 | add_device_randomness((const void*) &tsk->se.sum_exec_runtime, |
| 133 | sizeof(unsigned long long)); |
| 134 | |
Rik van Riel | 90ed9cb | 2014-08-15 16:05:36 -0400 | [diff] [blame] | 135 | /* |
Oleg Nesterov | 26e75b5 | 2014-12-10 15:54:54 -0800 | [diff] [blame] | 136 | * Accumulate here the counters for all threads as they die. We could |
| 137 | * skip the group leader because it is the last user of signal_struct, |
| 138 | * but we want to avoid the race with thread_group_cputime() which can |
| 139 | * see the empty ->thread_head list. |
Rik van Riel | 90ed9cb | 2014-08-15 16:05:36 -0400 | [diff] [blame] | 140 | */ |
| 141 | task_cputime(tsk, &utime, &stime); |
Rik van Riel | e78c349 | 2014-08-16 13:40:10 -0400 | [diff] [blame] | 142 | write_seqlock(&sig->stats_lock); |
Rik van Riel | 90ed9cb | 2014-08-15 16:05:36 -0400 | [diff] [blame] | 143 | sig->utime += utime; |
| 144 | sig->stime += stime; |
| 145 | sig->gtime += task_gtime(tsk); |
| 146 | sig->min_flt += tsk->min_flt; |
| 147 | sig->maj_flt += tsk->maj_flt; |
| 148 | sig->nvcsw += tsk->nvcsw; |
| 149 | sig->nivcsw += tsk->nivcsw; |
| 150 | sig->inblock += task_io_get_inblock(tsk); |
| 151 | sig->oublock += task_io_get_oublock(tsk); |
| 152 | task_io_accounting_add(&sig->ioac, &tsk->ioac); |
| 153 | sig->sum_sched_runtime += tsk->se.sum_exec_runtime; |
Oleg Nesterov | b3ac022 | 2010-05-26 14:43:24 -0700 | [diff] [blame] | 154 | sig->nr_threads--; |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 155 | __unhash_process(tsk, group_dead); |
Rik van Riel | e78c349 | 2014-08-16 13:40:10 -0400 | [diff] [blame] | 156 | write_sequnlock(&sig->stats_lock); |
Oleg Nesterov | 5876700 | 2006-03-28 16:11:20 -0800 | [diff] [blame] | 157 | |
Oleg Nesterov | da7978b | 2008-05-23 13:04:41 -0700 | [diff] [blame] | 158 | /* |
| 159 | * Do this under ->siglock, we can race with another thread |
| 160 | * doing sigqueue_free() if we have SIGQUEUE_PREALLOC signals. |
| 161 | */ |
| 162 | flush_sigqueue(&tsk->pending); |
Oleg Nesterov | a7e5328 | 2006-03-28 16:11:27 -0800 | [diff] [blame] | 163 | tsk->sighand = NULL; |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 164 | spin_unlock(&sighand->siglock); |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 165 | |
Oleg Nesterov | a7e5328 | 2006-03-28 16:11:27 -0800 | [diff] [blame] | 166 | __cleanup_sighand(sighand); |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 167 | clear_tsk_thread_flag(tsk, TIF_SIGPENDING); |
Oleg Nesterov | d40e48e | 2010-05-26 14:43:19 -0700 | [diff] [blame] | 168 | if (group_dead) { |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 169 | flush_sigqueue(&sig->shared_pending); |
Oleg Nesterov | 4ada856 | 2010-05-26 14:43:17 -0700 | [diff] [blame] | 170 | tty_kref_put(tty); |
Oleg Nesterov | 6a14c5c | 2006-03-28 16:11:18 -0800 | [diff] [blame] | 171 | } |
| 172 | } |
| 173 | |
Eric W. Biederman | 8c7904a | 2006-03-31 02:31:37 -0800 | [diff] [blame] | 174 | static void delayed_put_task_struct(struct rcu_head *rhp) |
| 175 | { |
Mathieu Desnoyers | 0a16b60 | 2008-07-18 12:16:17 -0400 | [diff] [blame] | 176 | struct task_struct *tsk = container_of(rhp, struct task_struct, rcu); |
| 177 | |
Peter Zijlstra | 4e231c7 | 2010-09-09 21:01:59 +0200 | [diff] [blame] | 178 | perf_event_delayed_put(tsk); |
Mathieu Desnoyers | 0a16b60 | 2008-07-18 12:16:17 -0400 | [diff] [blame] | 179 | trace_sched_process_free(tsk); |
| 180 | put_task_struct(tsk); |
Eric W. Biederman | 8c7904a | 2006-03-31 02:31:37 -0800 | [diff] [blame] | 181 | } |
| 182 | |
Roland McGrath | f470021 | 2008-03-24 18:36:23 -0700 | [diff] [blame] | 183 | |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 184 | void release_task(struct task_struct *p) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 185 | { |
Ingo Molnar | 36c8b58 | 2006-07-03 00:25:41 -0700 | [diff] [blame] | 186 | struct task_struct *leader; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 187 | int zap_leader; |
Oleg Nesterov | 1f09f97 | 2006-03-28 16:11:11 -0800 | [diff] [blame] | 188 | repeat: |
David Howells | c69e8d9 | 2008-11-14 10:39:19 +1100 | [diff] [blame] | 189 | /* don't need to get the RCU readlock here - the process is dead and |
Paul E. McKenney | d11c563 | 2010-02-22 17:04:50 -0800 | [diff] [blame] | 190 | * can't be modifying its own credentials. But shut RCU-lockdep up */ |
| 191 | rcu_read_lock(); |
David Howells | c69e8d9 | 2008-11-14 10:39:19 +1100 | [diff] [blame] | 192 | atomic_dec(&__task_cred(p)->user->processes); |
Paul E. McKenney | d11c563 | 2010-02-22 17:04:50 -0800 | [diff] [blame] | 193 | rcu_read_unlock(); |
David Howells | c69e8d9 | 2008-11-14 10:39:19 +1100 | [diff] [blame] | 194 | |
Pavel Emelyanov | 60347f6 | 2007-10-18 23:40:03 -0700 | [diff] [blame] | 195 | proc_flush_task(p); |
Ingo Molnar | 0203026 | 2009-05-17 11:24:08 +0200 | [diff] [blame] | 196 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 197 | write_lock_irq(&tasklist_lock); |
Tejun Heo | a288eec | 2011-06-17 16:50:37 +0200 | [diff] [blame] | 198 | ptrace_release_task(p); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 199 | __exit_signal(p); |
Oleg Nesterov | 35f5cad | 2006-03-28 16:11:19 -0800 | [diff] [blame] | 200 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 201 | /* |
| 202 | * If we are the last non-leader member of the thread |
| 203 | * group, and the leader is zombie, then notify the |
| 204 | * group leader's parent process. (if it wants notification.) |
| 205 | */ |
| 206 | zap_leader = 0; |
| 207 | leader = p->group_leader; |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 208 | if (leader != p && thread_group_empty(leader) |
| 209 | && leader->exit_state == EXIT_ZOMBIE) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 210 | /* |
| 211 | * If we were the last child thread and the leader has |
| 212 | * exited already, and the leader's parent ignores SIGCHLD, |
| 213 | * then we are the one who should release the leader. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 214 | */ |
Oleg Nesterov | 8677347 | 2011-06-22 23:09:09 +0200 | [diff] [blame] | 215 | zap_leader = do_notify_parent(leader, leader->exit_signal); |
Roland McGrath | dae3357 | 2008-07-25 19:45:48 -0700 | [diff] [blame] | 216 | if (zap_leader) |
| 217 | leader->exit_state = EXIT_DEAD; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 218 | } |
| 219 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | write_unlock_irq(&tasklist_lock); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 221 | release_thread(p); |
Eric W. Biederman | 8c7904a | 2006-03-31 02:31:37 -0800 | [diff] [blame] | 222 | call_rcu(&p->rcu, delayed_put_task_struct); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 223 | |
| 224 | p = leader; |
| 225 | if (unlikely(zap_leader)) |
| 226 | goto repeat; |
| 227 | } |
| 228 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 229 | /* |
Oleg Nesterov | 150593b | 2016-05-18 19:02:18 +0200 | [diff] [blame] | 230 | * Note that if this function returns a valid task_struct pointer (!NULL) |
| 231 | * task->usage must remain >0 for the duration of the RCU critical section. |
| 232 | */ |
| 233 | struct task_struct *task_rcu_dereference(struct task_struct **ptask) |
| 234 | { |
| 235 | struct sighand_struct *sighand; |
| 236 | struct task_struct *task; |
| 237 | |
| 238 | /* |
| 239 | * We need to verify that release_task() was not called and thus |
| 240 | * delayed_put_task_struct() can't run and drop the last reference |
| 241 | * before rcu_read_unlock(). We check task->sighand != NULL, |
| 242 | * but we can read the already freed and reused memory. |
| 243 | */ |
| 244 | retry: |
| 245 | task = rcu_dereference(*ptask); |
| 246 | if (!task) |
| 247 | return NULL; |
| 248 | |
| 249 | probe_kernel_address(&task->sighand, sighand); |
| 250 | |
| 251 | /* |
| 252 | * Pairs with atomic_dec_and_test() in put_task_struct(). If this task |
| 253 | * was already freed we can not miss the preceding update of this |
| 254 | * pointer. |
| 255 | */ |
| 256 | smp_rmb(); |
| 257 | if (unlikely(task != READ_ONCE(*ptask))) |
| 258 | goto retry; |
| 259 | |
| 260 | /* |
| 261 | * We've re-checked that "task == *ptask", now we have two different |
| 262 | * cases: |
| 263 | * |
| 264 | * 1. This is actually the same task/task_struct. In this case |
| 265 | * sighand != NULL tells us it is still alive. |
| 266 | * |
| 267 | * 2. This is another task which got the same memory for task_struct. |
| 268 | * We can't know this of course, and we can not trust |
| 269 | * sighand != NULL. |
| 270 | * |
| 271 | * In this case we actually return a random value, but this is |
| 272 | * correct. |
| 273 | * |
| 274 | * If we return NULL - we can pretend that we actually noticed that |
| 275 | * *ptask was updated when the previous task has exited. Or pretend |
| 276 | * that probe_slab_address(&sighand) reads NULL. |
| 277 | * |
| 278 | * If we return the new task (because sighand is not NULL for any |
| 279 | * reason) - this is fine too. This (new) task can't go away before |
| 280 | * another gp pass. |
| 281 | * |
| 282 | * And note: We could even eliminate the false positive if re-read |
| 283 | * task->sighand once again to avoid the falsely NULL. But this case |
| 284 | * is very unlikely so we don't care. |
| 285 | */ |
| 286 | if (!sighand) |
| 287 | return NULL; |
| 288 | |
| 289 | return task; |
| 290 | } |
| 291 | |
Davidlohr Bueso | 8f95c90 | 2017-01-11 07:22:25 -0800 | [diff] [blame] | 292 | void rcuwait_wake_up(struct rcuwait *w) |
| 293 | { |
| 294 | struct task_struct *task; |
| 295 | |
| 296 | rcu_read_lock(); |
| 297 | |
| 298 | /* |
| 299 | * Order condition vs @task, such that everything prior to the load |
| 300 | * of @task is visible. This is the condition as to why the user called |
| 301 | * rcuwait_trywake() in the first place. Pairs with set_current_state() |
| 302 | * barrier (A) in rcuwait_wait_event(). |
| 303 | * |
| 304 | * WAIT WAKE |
| 305 | * [S] tsk = current [S] cond = true |
| 306 | * MB (A) MB (B) |
| 307 | * [L] cond [L] tsk |
| 308 | */ |
| 309 | smp_rmb(); /* (B) */ |
| 310 | |
| 311 | /* |
| 312 | * Avoid using task_rcu_dereference() magic as long as we are careful, |
| 313 | * see comment in rcuwait_wait_event() regarding ->exit_state. |
| 314 | */ |
| 315 | task = rcu_dereference(w->task); |
| 316 | if (task) |
| 317 | wake_up_process(task); |
| 318 | rcu_read_unlock(); |
| 319 | } |
| 320 | |
Oleg Nesterov | 150593b | 2016-05-18 19:02:18 +0200 | [diff] [blame] | 321 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 322 | * Determine if a process group is "orphaned", according to the POSIX |
| 323 | * definition in 2.2.2.52. Orphaned process groups are not to be affected |
| 324 | * by terminal-generated stop signals. Newly orphaned process groups are |
| 325 | * to receive a SIGHUP and a SIGCONT. |
| 326 | * |
| 327 | * "I ask you, have you ever known what it is to be an orphan?" |
| 328 | */ |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 329 | static int will_become_orphaned_pgrp(struct pid *pgrp, |
| 330 | struct task_struct *ignored_task) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 331 | { |
| 332 | struct task_struct *p; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 333 | |
Eric W. Biederman | 0475ac0 | 2007-02-12 00:52:57 -0800 | [diff] [blame] | 334 | do_each_pid_task(pgrp, PIDTYPE_PGID, p) { |
Oleg Nesterov | 05e83df | 2008-03-02 21:44:42 +0300 | [diff] [blame] | 335 | if ((p == ignored_task) || |
| 336 | (p->exit_state && thread_group_empty(p)) || |
| 337 | is_global_init(p->real_parent)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 338 | continue; |
Oleg Nesterov | 05e83df | 2008-03-02 21:44:42 +0300 | [diff] [blame] | 339 | |
Eric W. Biederman | 0475ac0 | 2007-02-12 00:52:57 -0800 | [diff] [blame] | 340 | if (task_pgrp(p->real_parent) != pgrp && |
Oleg Nesterov | 05e83df | 2008-03-02 21:44:42 +0300 | [diff] [blame] | 341 | task_session(p->real_parent) == task_session(p)) |
| 342 | return 0; |
Eric W. Biederman | 0475ac0 | 2007-02-12 00:52:57 -0800 | [diff] [blame] | 343 | } while_each_pid_task(pgrp, PIDTYPE_PGID, p); |
Oleg Nesterov | 05e83df | 2008-03-02 21:44:42 +0300 | [diff] [blame] | 344 | |
| 345 | return 1; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 346 | } |
| 347 | |
Eric W. Biederman | 3e7cd6c | 2007-02-12 00:52:58 -0800 | [diff] [blame] | 348 | int is_current_pgrp_orphaned(void) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 349 | { |
| 350 | int retval; |
| 351 | |
| 352 | read_lock(&tasklist_lock); |
Eric W. Biederman | 3e7cd6c | 2007-02-12 00:52:58 -0800 | [diff] [blame] | 353 | retval = will_become_orphaned_pgrp(task_pgrp(current), NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 354 | read_unlock(&tasklist_lock); |
| 355 | |
| 356 | return retval; |
| 357 | } |
| 358 | |
Oleg Nesterov | 961c467 | 2011-07-07 21:33:54 +0200 | [diff] [blame] | 359 | static bool has_stopped_jobs(struct pid *pgrp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 360 | { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 361 | struct task_struct *p; |
| 362 | |
Eric W. Biederman | 0475ac0 | 2007-02-12 00:52:57 -0800 | [diff] [blame] | 363 | do_each_pid_task(pgrp, PIDTYPE_PGID, p) { |
Oleg Nesterov | 961c467 | 2011-07-07 21:33:54 +0200 | [diff] [blame] | 364 | if (p->signal->flags & SIGNAL_STOP_STOPPED) |
| 365 | return true; |
Eric W. Biederman | 0475ac0 | 2007-02-12 00:52:57 -0800 | [diff] [blame] | 366 | } while_each_pid_task(pgrp, PIDTYPE_PGID, p); |
Oleg Nesterov | 961c467 | 2011-07-07 21:33:54 +0200 | [diff] [blame] | 367 | |
| 368 | return false; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 369 | } |
| 370 | |
Oleg Nesterov | f49ee50 | 2008-03-02 21:44:40 +0300 | [diff] [blame] | 371 | /* |
| 372 | * Check to see if any process groups have become orphaned as |
| 373 | * a result of our exiting, and if they have any stopped jobs, |
| 374 | * send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2) |
| 375 | */ |
| 376 | static void |
| 377 | kill_orphaned_pgrp(struct task_struct *tsk, struct task_struct *parent) |
| 378 | { |
| 379 | struct pid *pgrp = task_pgrp(tsk); |
| 380 | struct task_struct *ignored_task = tsk; |
| 381 | |
| 382 | if (!parent) |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 383 | /* exit: our father is in a different pgrp than |
| 384 | * we are and we were the only connection outside. |
| 385 | */ |
Oleg Nesterov | f49ee50 | 2008-03-02 21:44:40 +0300 | [diff] [blame] | 386 | parent = tsk->real_parent; |
| 387 | else |
| 388 | /* reparent: our child is in a different pgrp than |
| 389 | * we are, and it was the only connection outside. |
| 390 | */ |
| 391 | ignored_task = NULL; |
| 392 | |
| 393 | if (task_pgrp(parent) != pgrp && |
| 394 | task_session(parent) == task_session(tsk) && |
| 395 | will_become_orphaned_pgrp(pgrp, ignored_task) && |
| 396 | has_stopped_jobs(pgrp)) { |
| 397 | __kill_pgrp_info(SIGHUP, SEND_SIG_PRIV, pgrp); |
| 398 | __kill_pgrp_info(SIGCONT, SEND_SIG_PRIV, pgrp); |
| 399 | } |
| 400 | } |
| 401 | |
Oleg Nesterov | f98bafa | 2014-06-04 16:07:34 -0700 | [diff] [blame] | 402 | #ifdef CONFIG_MEMCG |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 403 | /* |
KAMEZAWA Hiroyuki | 733eda7 | 2011-06-15 15:08:43 -0700 | [diff] [blame] | 404 | * A task is exiting. If it owned this mm, find a new owner for the mm. |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 405 | */ |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 406 | void mm_update_next_owner(struct mm_struct *mm) |
| 407 | { |
| 408 | struct task_struct *c, *g, *p = current; |
| 409 | |
| 410 | retry: |
KAMEZAWA Hiroyuki | 733eda7 | 2011-06-15 15:08:43 -0700 | [diff] [blame] | 411 | /* |
| 412 | * If the exiting or execing task is not the owner, it's |
| 413 | * someone else's problem. |
| 414 | */ |
| 415 | if (mm->owner != p) |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 416 | return; |
KAMEZAWA Hiroyuki | 733eda7 | 2011-06-15 15:08:43 -0700 | [diff] [blame] | 417 | /* |
| 418 | * The current owner is exiting/execing and there are no other |
| 419 | * candidates. Do not leave the mm pointing to a possibly |
| 420 | * freed task structure. |
| 421 | */ |
| 422 | if (atomic_read(&mm->mm_users) <= 1) { |
| 423 | mm->owner = NULL; |
| 424 | return; |
| 425 | } |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 426 | |
| 427 | read_lock(&tasklist_lock); |
| 428 | /* |
| 429 | * Search in the children |
| 430 | */ |
| 431 | list_for_each_entry(c, &p->children, sibling) { |
| 432 | if (c->mm == mm) |
| 433 | goto assign_new_owner; |
| 434 | } |
| 435 | |
| 436 | /* |
| 437 | * Search in the siblings |
| 438 | */ |
Oleg Nesterov | dea33cf | 2009-06-17 16:27:29 -0700 | [diff] [blame] | 439 | list_for_each_entry(c, &p->real_parent->children, sibling) { |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 440 | if (c->mm == mm) |
| 441 | goto assign_new_owner; |
| 442 | } |
| 443 | |
| 444 | /* |
Oleg Nesterov | f87fb59 | 2014-06-04 16:07:52 -0700 | [diff] [blame] | 445 | * Search through everything else, we should not get here often. |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 446 | */ |
Oleg Nesterov | 39af176 | 2014-06-04 16:07:54 -0700 | [diff] [blame] | 447 | for_each_process(g) { |
| 448 | if (g->flags & PF_KTHREAD) |
| 449 | continue; |
| 450 | for_each_thread(g, c) { |
| 451 | if (c->mm == mm) |
| 452 | goto assign_new_owner; |
| 453 | if (c->mm) |
| 454 | break; |
| 455 | } |
Oleg Nesterov | f87fb59 | 2014-06-04 16:07:52 -0700 | [diff] [blame] | 456 | } |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 457 | read_unlock(&tasklist_lock); |
Balbir Singh | 31a78f2 | 2008-09-28 23:09:31 +0100 | [diff] [blame] | 458 | /* |
| 459 | * We found no owner yet mm_users > 1: this implies that we are |
| 460 | * most likely racing with swapoff (try_to_unuse()) or /proc or |
Hugh Dickins | e599137 | 2009-01-06 14:39:22 -0800 | [diff] [blame] | 461 | * ptrace or page migration (get_task_mm()). Mark owner as NULL. |
Balbir Singh | 31a78f2 | 2008-09-28 23:09:31 +0100 | [diff] [blame] | 462 | */ |
Balbir Singh | 31a78f2 | 2008-09-28 23:09:31 +0100 | [diff] [blame] | 463 | mm->owner = NULL; |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 464 | return; |
| 465 | |
| 466 | assign_new_owner: |
| 467 | BUG_ON(c == p); |
| 468 | get_task_struct(c); |
| 469 | /* |
| 470 | * The task_lock protects c->mm from changing. |
| 471 | * We always want mm->owner->mm == mm |
| 472 | */ |
| 473 | task_lock(c); |
Hugh Dickins | e599137 | 2009-01-06 14:39:22 -0800 | [diff] [blame] | 474 | /* |
| 475 | * Delay read_unlock() till we have the task_lock() |
| 476 | * to ensure that c does not slip away underneath us |
| 477 | */ |
| 478 | read_unlock(&tasklist_lock); |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 479 | if (c->mm != mm) { |
| 480 | task_unlock(c); |
| 481 | put_task_struct(c); |
| 482 | goto retry; |
| 483 | } |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 484 | mm->owner = c; |
| 485 | task_unlock(c); |
| 486 | put_task_struct(c); |
| 487 | } |
Oleg Nesterov | f98bafa | 2014-06-04 16:07:34 -0700 | [diff] [blame] | 488 | #endif /* CONFIG_MEMCG */ |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 489 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 490 | /* |
| 491 | * Turn us into a lazy TLB process if we |
| 492 | * aren't already.. |
| 493 | */ |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 494 | static void exit_mm(void) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 495 | { |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 496 | struct mm_struct *mm = current->mm; |
Oleg Nesterov | b564daf | 2008-07-25 01:47:44 -0700 | [diff] [blame] | 497 | struct core_state *core_state; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 498 | |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 499 | mm_release(current, mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 500 | if (!mm) |
| 501 | return; |
Konstantin Khlebnikov | 4fe7efd | 2012-06-20 12:53:01 -0700 | [diff] [blame] | 502 | sync_mm_rss(mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 503 | /* |
| 504 | * Serialize with any possible pending coredump. |
Oleg Nesterov | 999d9fc | 2008-07-25 01:47:41 -0700 | [diff] [blame] | 505 | * We must hold mmap_sem around checking core_state |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 506 | * and clearing tsk->mm. The core-inducing thread |
Oleg Nesterov | 999d9fc | 2008-07-25 01:47:41 -0700 | [diff] [blame] | 507 | * will increment ->nr_threads for each thread in the |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 508 | * group with ->mm != NULL. |
| 509 | */ |
| 510 | down_read(&mm->mmap_sem); |
Oleg Nesterov | b564daf | 2008-07-25 01:47:44 -0700 | [diff] [blame] | 511 | core_state = mm->core_state; |
| 512 | if (core_state) { |
| 513 | struct core_thread self; |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 514 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 515 | up_read(&mm->mmap_sem); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 516 | |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 517 | self.task = current; |
Oleg Nesterov | b564daf | 2008-07-25 01:47:44 -0700 | [diff] [blame] | 518 | self.next = xchg(&core_state->dumper.next, &self); |
| 519 | /* |
| 520 | * Implies mb(), the result of xchg() must be visible |
| 521 | * to core_state->dumper. |
| 522 | */ |
| 523 | if (atomic_dec_and_test(&core_state->nr_threads)) |
| 524 | complete(&core_state->startup); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 525 | |
Oleg Nesterov | a94e2d4 | 2008-07-25 01:47:46 -0700 | [diff] [blame] | 526 | for (;;) { |
Davidlohr Bueso | 642fa44 | 2017-01-03 13:43:14 -0800 | [diff] [blame] | 527 | set_current_state(TASK_UNINTERRUPTIBLE); |
Oleg Nesterov | a94e2d4 | 2008-07-25 01:47:46 -0700 | [diff] [blame] | 528 | if (!self.task) /* see coredump_finish() */ |
| 529 | break; |
Mandeep Singh Baines | 80d26af | 2013-02-27 17:03:20 -0800 | [diff] [blame] | 530 | freezable_schedule(); |
Oleg Nesterov | a94e2d4 | 2008-07-25 01:47:46 -0700 | [diff] [blame] | 531 | } |
Davidlohr Bueso | 642fa44 | 2017-01-03 13:43:14 -0800 | [diff] [blame] | 532 | __set_current_state(TASK_RUNNING); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 533 | down_read(&mm->mmap_sem); |
| 534 | } |
Vegard Nossum | f1f1007 | 2017-02-27 14:30:07 -0800 | [diff] [blame] | 535 | mmgrab(mm); |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 536 | BUG_ON(mm != current->active_mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 537 | /* more a memory barrier than a real lock */ |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 538 | task_lock(current); |
| 539 | current->mm = NULL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 540 | up_read(&mm->mmap_sem); |
| 541 | enter_lazy_tlb(mm, current); |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 542 | task_unlock(current); |
Balbir Singh | cf475ad | 2008-04-29 01:00:16 -0700 | [diff] [blame] | 543 | mm_update_next_owner(mm); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 544 | mmput(mm); |
Michal Hocko | c32b3cb | 2015-02-11 15:26:24 -0800 | [diff] [blame] | 545 | if (test_thread_flag(TIF_MEMDIE)) |
Tetsuo Handa | 3853120 | 2016-10-07 16:59:03 -0700 | [diff] [blame] | 546 | exit_oom_victim(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 547 | } |
| 548 | |
Oleg Nesterov | c9dc05b | 2014-12-10 15:55:14 -0800 | [diff] [blame] | 549 | static struct task_struct *find_alive_thread(struct task_struct *p) |
| 550 | { |
| 551 | struct task_struct *t; |
| 552 | |
| 553 | for_each_thread(p, t) { |
| 554 | if (!(t->flags & PF_EXITING)) |
| 555 | return t; |
| 556 | } |
| 557 | return NULL; |
| 558 | } |
| 559 | |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 560 | static struct task_struct *find_child_reaper(struct task_struct *father) |
| 561 | __releases(&tasklist_lock) |
| 562 | __acquires(&tasklist_lock) |
| 563 | { |
| 564 | struct pid_namespace *pid_ns = task_active_pid_ns(father); |
| 565 | struct task_struct *reaper = pid_ns->child_reaper; |
| 566 | |
| 567 | if (likely(reaper != father)) |
| 568 | return reaper; |
| 569 | |
Oleg Nesterov | c9dc05b | 2014-12-10 15:55:14 -0800 | [diff] [blame] | 570 | reaper = find_alive_thread(father); |
| 571 | if (reaper) { |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 572 | pid_ns->child_reaper = reaper; |
| 573 | return reaper; |
| 574 | } |
| 575 | |
| 576 | write_unlock_irq(&tasklist_lock); |
| 577 | if (unlikely(pid_ns == &init_pid_ns)) { |
| 578 | panic("Attempted to kill init! exitcode=0x%08x\n", |
| 579 | father->signal->group_exit_code ?: father->exit_code); |
| 580 | } |
| 581 | zap_pid_ns_processes(pid_ns); |
| 582 | write_lock_irq(&tasklist_lock); |
| 583 | |
| 584 | return father; |
| 585 | } |
| 586 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 587 | /* |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 588 | * When we die, we re-parent all our children, and try to: |
| 589 | * 1. give them to another thread in our thread group, if such a member exists |
| 590 | * 2. give it to the first ancestor process which prctl'd itself as a |
| 591 | * child_subreaper for its children (like a service manager) |
| 592 | * 3. give it to the init process (PID 1) in our pid namespace |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 593 | */ |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 594 | static struct task_struct *find_new_reaper(struct task_struct *father, |
| 595 | struct task_struct *child_reaper) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 596 | { |
Oleg Nesterov | c9dc05b | 2014-12-10 15:55:14 -0800 | [diff] [blame] | 597 | struct task_struct *thread, *reaper; |
Oleg Nesterov | 762a24b | 2007-10-18 23:40:00 -0700 | [diff] [blame] | 598 | |
Oleg Nesterov | c9dc05b | 2014-12-10 15:55:14 -0800 | [diff] [blame] | 599 | thread = find_alive_thread(father); |
| 600 | if (thread) |
Oleg Nesterov | 950bbab | 2008-09-02 14:35:49 -0700 | [diff] [blame] | 601 | return thread; |
Oleg Nesterov | 762a24b | 2007-10-18 23:40:00 -0700 | [diff] [blame] | 602 | |
Oleg Nesterov | 7d24e2d | 2014-12-10 15:55:02 -0800 | [diff] [blame] | 603 | if (father->signal->has_child_subreaper) { |
Oleg Nesterov | c6c70f4 | 2017-01-30 19:17:35 +0100 | [diff] [blame] | 604 | unsigned int ns_level = task_pid(father)->level; |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 605 | /* |
Oleg Nesterov | 175aed3 | 2014-12-10 15:55:08 -0800 | [diff] [blame] | 606 | * Find the first ->is_child_subreaper ancestor in our pid_ns. |
Oleg Nesterov | c6c70f4 | 2017-01-30 19:17:35 +0100 | [diff] [blame] | 607 | * We can't check reaper != child_reaper to ensure we do not |
| 608 | * cross the namespaces, the exiting parent could be injected |
| 609 | * by setns() + fork(). |
| 610 | * We check pid->level, this is slightly more efficient than |
| 611 | * task_active_pid_ns(reaper) != task_active_pid_ns(father). |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 612 | */ |
Oleg Nesterov | c6c70f4 | 2017-01-30 19:17:35 +0100 | [diff] [blame] | 613 | for (reaper = father->real_parent; |
| 614 | task_pid(reaper)->level == ns_level; |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 615 | reaper = reaper->real_parent) { |
Oleg Nesterov | 175aed3 | 2014-12-10 15:55:08 -0800 | [diff] [blame] | 616 | if (reaper == &init_task) |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 617 | break; |
| 618 | if (!reaper->signal->is_child_subreaper) |
| 619 | continue; |
Oleg Nesterov | c9dc05b | 2014-12-10 15:55:14 -0800 | [diff] [blame] | 620 | thread = find_alive_thread(reaper); |
| 621 | if (thread) |
| 622 | return thread; |
Lennart Poettering | ebec18a | 2012-03-23 15:01:54 -0700 | [diff] [blame] | 623 | } |
Oleg Nesterov | 950bbab | 2008-09-02 14:35:49 -0700 | [diff] [blame] | 624 | } |
| 625 | |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 626 | return child_reaper; |
Oleg Nesterov | 950bbab | 2008-09-02 14:35:49 -0700 | [diff] [blame] | 627 | } |
| 628 | |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 629 | /* |
| 630 | * Any that need to be release_task'd are put on the @dead list. |
| 631 | */ |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 632 | static void reparent_leader(struct task_struct *father, struct task_struct *p, |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 633 | struct list_head *dead) |
| 634 | { |
Oleg Nesterov | 2831096 | 2014-12-10 15:45:30 -0800 | [diff] [blame] | 635 | if (unlikely(p->exit_state == EXIT_DEAD)) |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 636 | return; |
| 637 | |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 638 | /* We don't want people slaying init. */ |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 639 | p->exit_signal = SIGCHLD; |
| 640 | |
| 641 | /* If it has exited notify the new parent about this child's death. */ |
Tejun Heo | d21142e | 2011-06-17 16:50:34 +0200 | [diff] [blame] | 642 | if (!p->ptrace && |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 643 | p->exit_state == EXIT_ZOMBIE && thread_group_empty(p)) { |
Oleg Nesterov | 8677347 | 2011-06-22 23:09:09 +0200 | [diff] [blame] | 644 | if (do_notify_parent(p, p->exit_signal)) { |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 645 | p->exit_state = EXIT_DEAD; |
Oleg Nesterov | dc2fd4b | 2014-12-10 15:45:24 -0800 | [diff] [blame] | 646 | list_add(&p->ptrace_entry, dead); |
Oleg Nesterov | 5dfc80b | 2009-04-02 16:58:19 -0700 | [diff] [blame] | 647 | } |
| 648 | } |
| 649 | |
| 650 | kill_orphaned_pgrp(p, father); |
| 651 | } |
| 652 | |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 653 | /* |
| 654 | * This does two things: |
| 655 | * |
| 656 | * A. Make init inherit all the child processes |
| 657 | * B. Check to see if any process groups have become orphaned |
| 658 | * as a result of our exiting, and if they have any stopped |
| 659 | * jobs, send them a SIGHUP and then a SIGCONT. (POSIX 3.2.2.2) |
| 660 | */ |
| 661 | static void forget_original_parent(struct task_struct *father, |
| 662 | struct list_head *dead) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 663 | { |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 664 | struct task_struct *p, *t, *reaper; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 665 | |
Oleg Nesterov | 7c8bd23 | 2014-12-10 15:45:33 -0800 | [diff] [blame] | 666 | if (unlikely(!list_empty(&father->ptraced))) |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 667 | exit_ptrace(father, dead); |
Roland McGrath | f470021 | 2008-03-24 18:36:23 -0700 | [diff] [blame] | 668 | |
Oleg Nesterov | 7c8bd23 | 2014-12-10 15:45:33 -0800 | [diff] [blame] | 669 | /* Can drop and reacquire tasklist_lock */ |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 670 | reaper = find_child_reaper(father); |
Oleg Nesterov | ad9e206 | 2014-12-10 15:55:17 -0800 | [diff] [blame] | 671 | if (list_empty(&father->children)) |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 672 | return; |
Oleg Nesterov | 1109909 | 2014-12-10 15:55:11 -0800 | [diff] [blame] | 673 | |
| 674 | reaper = find_new_reaper(father, reaper); |
Oleg Nesterov | 2831096 | 2014-12-10 15:45:30 -0800 | [diff] [blame] | 675 | list_for_each_entry(p, &father->children, sibling) { |
Oleg Nesterov | 57a0591 | 2014-12-10 15:45:27 -0800 | [diff] [blame] | 676 | for_each_thread(p, t) { |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 677 | t->real_parent = reaper; |
Oleg Nesterov | 57a0591 | 2014-12-10 15:45:27 -0800 | [diff] [blame] | 678 | BUG_ON((!t->ptrace) != (t->parent == father)); |
| 679 | if (likely(!t->ptrace)) |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 680 | t->parent = t->real_parent; |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 681 | if (t->pdeath_signal) |
| 682 | group_send_sig_info(t->pdeath_signal, |
| 683 | SEND_SIG_NOINFO, t); |
Oleg Nesterov | 57a0591 | 2014-12-10 15:45:27 -0800 | [diff] [blame] | 684 | } |
Oleg Nesterov | 2831096 | 2014-12-10 15:45:30 -0800 | [diff] [blame] | 685 | /* |
| 686 | * If this is a threaded reparent there is no need to |
| 687 | * notify anyone anything has happened. |
| 688 | */ |
| 689 | if (!same_thread_group(reaper, father)) |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 690 | reparent_leader(father, p, dead); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 691 | } |
Oleg Nesterov | 2831096 | 2014-12-10 15:45:30 -0800 | [diff] [blame] | 692 | list_splice_tail_init(&father->children, &reaper->children); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 693 | } |
| 694 | |
| 695 | /* |
| 696 | * Send signals to all our closest relatives so that they know |
| 697 | * to properly mourn us.. |
| 698 | */ |
Oleg Nesterov | 821c7de | 2008-03-02 21:44:44 +0300 | [diff] [blame] | 699 | static void exit_notify(struct task_struct *tsk, int group_dead) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 700 | { |
Oleg Nesterov | 53c8f9f | 2011-06-22 23:08:18 +0200 | [diff] [blame] | 701 | bool autoreap; |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 702 | struct task_struct *p, *n; |
| 703 | LIST_HEAD(dead); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 704 | |
Oleg Nesterov | 762a24b | 2007-10-18 23:40:00 -0700 | [diff] [blame] | 705 | write_lock_irq(&tasklist_lock); |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 706 | forget_original_parent(tsk, &dead); |
| 707 | |
Oleg Nesterov | 821c7de | 2008-03-02 21:44:44 +0300 | [diff] [blame] | 708 | if (group_dead) |
| 709 | kill_orphaned_pgrp(tsk->group_leader, NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 710 | |
Oleg Nesterov | 45cdf5c | 2011-06-23 19:06:50 +0200 | [diff] [blame] | 711 | if (unlikely(tsk->ptrace)) { |
| 712 | int sig = thread_group_leader(tsk) && |
| 713 | thread_group_empty(tsk) && |
| 714 | !ptrace_reparented(tsk) ? |
| 715 | tsk->exit_signal : SIGCHLD; |
| 716 | autoreap = do_notify_parent(tsk, sig); |
| 717 | } else if (thread_group_leader(tsk)) { |
| 718 | autoreap = thread_group_empty(tsk) && |
| 719 | do_notify_parent(tsk, tsk->exit_signal); |
| 720 | } else { |
| 721 | autoreap = true; |
| 722 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 723 | |
Oleg Nesterov | 53c8f9f | 2011-06-22 23:08:18 +0200 | [diff] [blame] | 724 | tsk->exit_state = autoreap ? EXIT_DEAD : EXIT_ZOMBIE; |
Oleg Nesterov | 6c66e7d | 2014-12-10 15:55:23 -0800 | [diff] [blame] | 725 | if (tsk->exit_state == EXIT_DEAD) |
| 726 | list_add(&tsk->ptrace_entry, &dead); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 727 | |
Oleg Nesterov | 9c339168 | 2010-05-26 14:43:10 -0700 | [diff] [blame] | 728 | /* mt-exec, de_thread() is waiting for group leader */ |
| 729 | if (unlikely(tsk->signal->notify_count < 0)) |
Oleg Nesterov | 6db840f | 2007-10-16 23:27:23 -0700 | [diff] [blame] | 730 | wake_up_process(tsk->signal->group_exit_task); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 731 | write_unlock_irq(&tasklist_lock); |
| 732 | |
Oleg Nesterov | 482a376 | 2014-12-10 15:55:20 -0800 | [diff] [blame] | 733 | list_for_each_entry_safe(p, n, &dead, ptrace_entry) { |
| 734 | list_del_init(&p->ptrace_entry); |
| 735 | release_task(p); |
| 736 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 737 | } |
| 738 | |
Jeff Dike | e18eecb | 2007-07-15 23:38:48 -0700 | [diff] [blame] | 739 | #ifdef CONFIG_DEBUG_STACK_USAGE |
| 740 | static void check_stack_usage(void) |
| 741 | { |
| 742 | static DEFINE_SPINLOCK(low_water_lock); |
| 743 | static int lowest_to_date = THREAD_SIZE; |
Jeff Dike | e18eecb | 2007-07-15 23:38:48 -0700 | [diff] [blame] | 744 | unsigned long free; |
| 745 | |
Eric Sandeen | 7c9f886 | 2008-04-22 16:38:23 -0500 | [diff] [blame] | 746 | free = stack_not_used(current); |
Jeff Dike | e18eecb | 2007-07-15 23:38:48 -0700 | [diff] [blame] | 747 | |
| 748 | if (free >= lowest_to_date) |
| 749 | return; |
| 750 | |
| 751 | spin_lock(&low_water_lock); |
| 752 | if (free < lowest_to_date) { |
Anton Blanchard | 627393d | 2016-08-02 14:05:40 -0700 | [diff] [blame] | 753 | pr_info("%s (%d) used greatest stack depth: %lu bytes left\n", |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 754 | current->comm, task_pid_nr(current), free); |
Jeff Dike | e18eecb | 2007-07-15 23:38:48 -0700 | [diff] [blame] | 755 | lowest_to_date = free; |
| 756 | } |
| 757 | spin_unlock(&low_water_lock); |
| 758 | } |
| 759 | #else |
| 760 | static inline void check_stack_usage(void) {} |
| 761 | #endif |
| 762 | |
Peter Zijlstra | 9af6528 | 2016-09-13 18:37:29 +0200 | [diff] [blame] | 763 | void __noreturn do_exit(long code) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 764 | { |
| 765 | struct task_struct *tsk = current; |
| 766 | int group_dead; |
| 767 | |
| 768 | profile_task_exit(tsk); |
Dmitry Vyukov | 5c9a875 | 2016-03-22 14:27:30 -0700 | [diff] [blame] | 769 | kcov_task_exit(tsk); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 770 | |
Jens Axboe | 73c1010 | 2011-03-08 13:19:51 +0100 | [diff] [blame] | 771 | WARN_ON(blk_needs_flush_plug(tsk)); |
Jens Axboe | 22e2c50 | 2005-06-27 10:55:12 +0200 | [diff] [blame] | 772 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 773 | if (unlikely(in_interrupt())) |
| 774 | panic("Aiee, killing interrupt handler!"); |
| 775 | if (unlikely(!tsk->pid)) |
| 776 | panic("Attempted to kill the idle task!"); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 777 | |
Nelson Elhage | 33dd94a | 2010-12-02 14:31:21 -0800 | [diff] [blame] | 778 | /* |
| 779 | * If do_exit is called because this processes oopsed, it's possible |
| 780 | * that get_fs() was left as KERNEL_DS, so reset it to USER_DS before |
| 781 | * continuing. Amongst other possible reasons, this is to prevent |
| 782 | * mm_release()->clear_child_tid() from writing to a user-controlled |
| 783 | * kernel address. |
| 784 | */ |
| 785 | set_fs(USER_DS); |
| 786 | |
Tejun Heo | a288eec | 2011-06-17 16:50:37 +0200 | [diff] [blame] | 787 | ptrace_event(PTRACE_EVENT_EXIT, code); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 788 | |
David Howells | e0e8173 | 2009-09-02 09:13:40 +0100 | [diff] [blame] | 789 | validate_creds_for_do_exit(tsk); |
| 790 | |
Alexander Nyberg | df164db | 2005-06-23 00:09:13 -0700 | [diff] [blame] | 791 | /* |
| 792 | * We're taking recursive faults here in do_exit. Safest is to just |
| 793 | * leave this task alone and wait for reboot. |
| 794 | */ |
| 795 | if (unlikely(tsk->flags & PF_EXITING)) { |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 796 | pr_alert("Fixing recursive fault but reboot is needed!\n"); |
Alexey Kuznetsov | 778e9a9 | 2007-06-08 13:47:00 -0700 | [diff] [blame] | 797 | /* |
| 798 | * We can do this unlocked here. The futex code uses |
| 799 | * this flag just to verify whether the pi state |
| 800 | * cleanup has been done or not. In the worst case it |
| 801 | * loops once more. We pretend that the cleanup was |
| 802 | * done as there is no way to return. Either the |
| 803 | * OWNER_DIED bit is set by now or we push the blocked |
| 804 | * task into the wait for ever nirwana as well. |
| 805 | */ |
| 806 | tsk->flags |= PF_EXITPIDONE; |
Alexander Nyberg | df164db | 2005-06-23 00:09:13 -0700 | [diff] [blame] | 807 | set_current_state(TASK_UNINTERRUPTIBLE); |
| 808 | schedule(); |
| 809 | } |
| 810 | |
Oleg Nesterov | d12619b | 2008-02-08 04:19:12 -0800 | [diff] [blame] | 811 | exit_signals(tsk); /* sets PF_EXITING */ |
Alexey Kuznetsov | 778e9a9 | 2007-06-08 13:47:00 -0700 | [diff] [blame] | 812 | /* |
Peter Zijlstra | be3e784 | 2016-05-24 14:45:21 +0200 | [diff] [blame] | 813 | * Ensure that all new tsk->pi_lock acquisitions must observe |
| 814 | * PF_EXITING. Serializes against futex.c:attach_to_pi_owner(). |
Alexey Kuznetsov | 778e9a9 | 2007-06-08 13:47:00 -0700 | [diff] [blame] | 815 | */ |
Oleg Nesterov | d2ee719 | 2007-10-16 23:26:47 -0700 | [diff] [blame] | 816 | smp_mb(); |
Peter Zijlstra | be3e784 | 2016-05-24 14:45:21 +0200 | [diff] [blame] | 817 | /* |
| 818 | * Ensure that we must observe the pi_state in exit_mm() -> |
| 819 | * mm_release() -> exit_pi_state_list(). |
| 820 | */ |
Paul E. McKenney | 8083f29 | 2017-06-29 12:55:21 -0700 | [diff] [blame] | 821 | raw_spin_lock_irq(&tsk->pi_lock); |
| 822 | raw_spin_unlock_irq(&tsk->pi_lock); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 823 | |
Peter Zijlstra | 1dc0fff | 2015-09-28 17:57:39 +0200 | [diff] [blame] | 824 | if (unlikely(in_atomic())) { |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 825 | pr_info("note: %s[%d] exited with preempt_count %d\n", |
| 826 | current->comm, task_pid_nr(current), |
| 827 | preempt_count()); |
Peter Zijlstra | 1dc0fff | 2015-09-28 17:57:39 +0200 | [diff] [blame] | 828 | preempt_count_set(PREEMPT_ENABLED); |
| 829 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 830 | |
Linus Torvalds | 48d212a | 2012-06-07 17:54:07 -0700 | [diff] [blame] | 831 | /* sync mm's RSS info before statistics gathering */ |
| 832 | if (tsk->mm) |
| 833 | sync_mm_rss(tsk->mm); |
Rik van Riel | 51229b4 | 2015-06-25 15:03:56 -0700 | [diff] [blame] | 834 | acct_update_integrals(tsk); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 835 | group_dead = atomic_dec_and_test(&tsk->signal->live); |
Andrew Morton | c306895 | 2005-08-04 16:49:32 -0700 | [diff] [blame] | 836 | if (group_dead) { |
Nicolas Pitre | baa73d9 | 2016-11-11 00:10:10 -0500 | [diff] [blame] | 837 | #ifdef CONFIG_POSIX_TIMERS |
Alexey Kuznetsov | 778e9a9 | 2007-06-08 13:47:00 -0700 | [diff] [blame] | 838 | hrtimer_cancel(&tsk->signal->real_timer); |
Roland McGrath | 25f407f | 2005-10-21 15:03:29 -0700 | [diff] [blame] | 839 | exit_itimers(tsk->signal); |
Nicolas Pitre | baa73d9 | 2016-11-11 00:10:10 -0500 | [diff] [blame] | 840 | #endif |
Jiri Pirko | 1f10206 | 2009-09-22 16:44:10 -0700 | [diff] [blame] | 841 | if (tsk->mm) |
| 842 | setmax_mm_hiwater_rss(&tsk->signal->maxrss, tsk->mm); |
Andrew Morton | c306895 | 2005-08-04 16:49:32 -0700 | [diff] [blame] | 843 | } |
KaiGai Kohei | f6ec29a | 2006-06-25 05:49:25 -0700 | [diff] [blame] | 844 | acct_collect(code, group_dead); |
Miloslav Trmac | 522ed77 | 2007-07-15 23:40:56 -0700 | [diff] [blame] | 845 | if (group_dead) |
| 846 | tty_audit_exit(); |
Eric Paris | a4ff8db | 2012-01-03 14:23:07 -0500 | [diff] [blame] | 847 | audit_free(tsk); |
Oleg Nesterov | 115085e | 2006-12-06 20:36:51 -0800 | [diff] [blame] | 848 | |
Linus Torvalds | 48d212a | 2012-06-07 17:54:07 -0700 | [diff] [blame] | 849 | tsk->exit_code = code; |
Oleg Nesterov | 115085e | 2006-12-06 20:36:51 -0800 | [diff] [blame] | 850 | taskstats_exit(tsk, group_dead); |
Shailabh Nagar | c757249 | 2006-07-14 00:24:40 -0700 | [diff] [blame] | 851 | |
Davidlohr Bueso | 0039962 | 2017-01-03 13:43:11 -0800 | [diff] [blame] | 852 | exit_mm(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 853 | |
KaiGai Kohei | 0e46481 | 2006-06-25 05:49:24 -0700 | [diff] [blame] | 854 | if (group_dead) |
KaiGai Kohei | f6ec29a | 2006-06-25 05:49:25 -0700 | [diff] [blame] | 855 | acct_process(); |
Mathieu Desnoyers | 0a16b60 | 2008-07-18 12:16:17 -0400 | [diff] [blame] | 856 | trace_sched_process_exit(tsk); |
| 857 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 858 | exit_sem(tsk); |
Vasiliy Kulikov | b34a6b1 | 2011-07-26 16:08:48 -0700 | [diff] [blame] | 859 | exit_shm(tsk); |
Al Viro | 1ec7f1d | 2008-04-22 05:35:42 -0400 | [diff] [blame] | 860 | exit_files(tsk); |
| 861 | exit_fs(tsk); |
Oleg Nesterov | c39df5f | 2014-04-07 15:38:29 -0700 | [diff] [blame] | 862 | if (group_dead) |
| 863 | disassociate_ctty(1); |
Oleg Nesterov | 8aac627 | 2013-06-14 21:09:49 +0200 | [diff] [blame] | 864 | exit_task_namespaces(tsk); |
Al Viro | ed3e694 | 2012-06-27 11:31:24 +0400 | [diff] [blame] | 865 | exit_task_work(tsk); |
Jiri Slaby | e646469 | 2016-05-20 17:00:20 -0700 | [diff] [blame] | 866 | exit_thread(tsk); |
Stephane Eranian | 0b3fcf1 | 2011-01-03 18:20:01 +0200 | [diff] [blame] | 867 | |
| 868 | /* |
| 869 | * Flush inherited counters to the parent - before the parent |
| 870 | * gets woken up by child-exit notifications. |
| 871 | * |
| 872 | * because of cgroup mode, must be called before cgroup_exit() |
| 873 | */ |
| 874 | perf_event_exit_task(tsk); |
| 875 | |
Oleg Nesterov | 8e5bfa8 | 2016-11-14 19:46:12 +0100 | [diff] [blame] | 876 | sched_autogroup_exit_task(tsk); |
Li Zefan | 1ec4183 | 2014-03-28 15:22:19 +0800 | [diff] [blame] | 877 | cgroup_exit(tsk); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 878 | |
Ingo Molnar | 33b2fb3 | 2009-05-17 11:08:41 +0200 | [diff] [blame] | 879 | /* |
Frederic Weisbecker | 24f1e32c | 2009-09-09 19:22:48 +0200 | [diff] [blame] | 880 | * FIXME: do that only when needed, using sched_exit tracepoint |
| 881 | */ |
Oleg Nesterov | 7c8df28 | 2013-07-08 16:00:54 -0700 | [diff] [blame] | 882 | flush_ptrace_hw_breakpoint(tsk); |
Ingo Molnar | 33b2fb3 | 2009-05-17 11:08:41 +0200 | [diff] [blame] | 883 | |
Paul E. McKenney | ccdd29f | 2017-05-25 08:51:48 -0700 | [diff] [blame] | 884 | exit_tasks_rcu_start(); |
Oleg Nesterov | 821c7de | 2008-03-02 21:44:44 +0300 | [diff] [blame] | 885 | exit_notify(tsk, group_dead); |
Guillaume Morin | ef98239 | 2014-04-07 15:38:31 -0700 | [diff] [blame] | 886 | proc_exit_connector(tsk); |
David Rientjes | c11600e | 2016-09-01 16:15:07 -0700 | [diff] [blame] | 887 | mpol_put_task_policy(tsk); |
Alexey Dobriyan | 42b2dd0 | 2007-10-16 23:27:30 -0700 | [diff] [blame] | 888 | #ifdef CONFIG_FUTEX |
Ingo Molnar | c87e283 | 2006-06-27 02:54:58 -0700 | [diff] [blame] | 889 | if (unlikely(current->pi_state_cache)) |
| 890 | kfree(current->pi_state_cache); |
Alexey Dobriyan | 42b2dd0 | 2007-10-16 23:27:30 -0700 | [diff] [blame] | 891 | #endif |
Ingo Molnar | c87e283 | 2006-06-27 02:54:58 -0700 | [diff] [blame] | 892 | /* |
Ingo Molnar | 9a11b49a | 2006-07-03 00:24:33 -0700 | [diff] [blame] | 893 | * Make sure we are holding no locks: |
Ingo Molnar | de5097c | 2006-01-09 15:59:21 -0800 | [diff] [blame] | 894 | */ |
Colin Cross | 1b1d2fb | 2013-05-06 23:50:08 +0000 | [diff] [blame] | 895 | debug_check_no_locks_held(); |
Alexey Kuznetsov | 778e9a9 | 2007-06-08 13:47:00 -0700 | [diff] [blame] | 896 | /* |
| 897 | * We can do this unlocked here. The futex code uses this flag |
| 898 | * just to verify whether the pi state cleanup has been done |
| 899 | * or not. In the worst case it loops once more. |
| 900 | */ |
| 901 | tsk->flags |= PF_EXITPIDONE; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 902 | |
Al Viro | afc847b | 2006-02-28 12:51:55 -0500 | [diff] [blame] | 903 | if (tsk->io_context) |
Louis Rilling | b69f229 | 2009-12-04 14:52:42 +0100 | [diff] [blame] | 904 | exit_io_context(tsk); |
Al Viro | afc847b | 2006-02-28 12:51:55 -0500 | [diff] [blame] | 905 | |
Jens Axboe | b92ce55 | 2006-04-11 13:52:07 +0200 | [diff] [blame] | 906 | if (tsk->splice_pipe) |
Al Viro | 4b8a8f1 | 2013-03-21 11:06:46 -0400 | [diff] [blame] | 907 | free_pipe_info(tsk->splice_pipe); |
Jens Axboe | b92ce55 | 2006-04-11 13:52:07 +0200 | [diff] [blame] | 908 | |
Eric Dumazet | 5640f76 | 2012-09-23 23:04:42 +0000 | [diff] [blame] | 909 | if (tsk->task_frag.page) |
| 910 | put_page(tsk->task_frag.page); |
| 911 | |
David Howells | e0e8173 | 2009-09-02 09:13:40 +0100 | [diff] [blame] | 912 | validate_creds_for_do_exit(tsk); |
| 913 | |
Oleg Nesterov | 4bcb823 | 2014-04-07 15:38:30 -0700 | [diff] [blame] | 914 | check_stack_usage(); |
Coywolf Qi Hunt | 7407251 | 2005-10-30 15:02:47 -0800 | [diff] [blame] | 915 | preempt_disable(); |
Wu Fengguang | 54848d7 | 2011-04-05 13:21:19 -0600 | [diff] [blame] | 916 | if (tsk->nr_dirtied) |
| 917 | __this_cpu_add(dirty_throttle_leaks, tsk->nr_dirtied); |
Paul E. McKenney | f41d911 | 2009-08-22 13:56:52 -0700 | [diff] [blame] | 918 | exit_rcu(); |
Paul E. McKenney | ccdd29f | 2017-05-25 08:51:48 -0700 | [diff] [blame] | 919 | exit_tasks_rcu_finish(); |
Yasunori Goto | b5740f4 | 2012-01-17 17:40:31 +0900 | [diff] [blame] | 920 | |
Byungchul Park | b09be67 | 2017-08-07 16:12:52 +0900 | [diff] [blame] | 921 | lockdep_free_task(tsk); |
Peter Zijlstra | 9af6528 | 2016-09-13 18:37:29 +0200 | [diff] [blame] | 922 | do_task_dead(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 923 | } |
Russ Anderson | 012914d | 2005-04-23 00:08:00 -0700 | [diff] [blame] | 924 | EXPORT_SYMBOL_GPL(do_exit); |
| 925 | |
Joe Perches | 9402c95 | 2012-01-12 17:17:17 -0800 | [diff] [blame] | 926 | void complete_and_exit(struct completion *comp, long code) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 927 | { |
| 928 | if (comp) |
| 929 | complete(comp); |
Oleg Nesterov | 55a101f | 2006-09-29 02:01:10 -0700 | [diff] [blame] | 930 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 931 | do_exit(code); |
| 932 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 933 | EXPORT_SYMBOL(complete_and_exit); |
| 934 | |
Heiko Carstens | 754fe8d | 2009-01-14 14:14:09 +0100 | [diff] [blame] | 935 | SYSCALL_DEFINE1(exit, int, error_code) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 936 | { |
| 937 | do_exit((error_code&0xff)<<8); |
| 938 | } |
| 939 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 940 | /* |
| 941 | * Take down every thread in the group. This is called by fatal signals |
| 942 | * as well as by sys_exit_group (below). |
| 943 | */ |
Joe Perches | 9402c95 | 2012-01-12 17:17:17 -0800 | [diff] [blame] | 944 | void |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 945 | do_group_exit(int exit_code) |
| 946 | { |
Oleg Nesterov | bfc4b08 | 2008-04-30 00:52:36 -0700 | [diff] [blame] | 947 | struct signal_struct *sig = current->signal; |
| 948 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 949 | BUG_ON(exit_code & 0x80); /* core dumps don't get here */ |
| 950 | |
Oleg Nesterov | bfc4b08 | 2008-04-30 00:52:36 -0700 | [diff] [blame] | 951 | if (signal_group_exit(sig)) |
| 952 | exit_code = sig->group_exit_code; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 953 | else if (!thread_group_empty(current)) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 954 | struct sighand_struct *const sighand = current->sighand; |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 955 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 956 | spin_lock_irq(&sighand->siglock); |
Oleg Nesterov | ed5d2ca | 2008-02-04 22:27:24 -0800 | [diff] [blame] | 957 | if (signal_group_exit(sig)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 958 | /* Another thread got here before we took the lock. */ |
| 959 | exit_code = sig->group_exit_code; |
| 960 | else { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 961 | sig->group_exit_code = exit_code; |
Oleg Nesterov | ed5d2ca | 2008-02-04 22:27:24 -0800 | [diff] [blame] | 962 | sig->flags = SIGNAL_GROUP_EXIT; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 963 | zap_other_threads(current); |
| 964 | } |
| 965 | spin_unlock_irq(&sighand->siglock); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 966 | } |
| 967 | |
| 968 | do_exit(exit_code); |
| 969 | /* NOTREACHED */ |
| 970 | } |
| 971 | |
| 972 | /* |
| 973 | * this kills every thread in the thread group. Note that any externally |
| 974 | * wait4()-ing process will get the correct exit code - even if this |
| 975 | * thread is not the thread group leader. |
| 976 | */ |
Heiko Carstens | 754fe8d | 2009-01-14 14:14:09 +0100 | [diff] [blame] | 977 | SYSCALL_DEFINE1(exit_group, int, error_code) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 978 | { |
| 979 | do_group_exit((error_code & 0xff) << 8); |
Heiko Carstens | 2ed7c03 | 2009-01-14 14:13:54 +0100 | [diff] [blame] | 980 | /* NOTREACHED */ |
| 981 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 982 | } |
| 983 | |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 984 | struct waitid_info { |
| 985 | pid_t pid; |
| 986 | uid_t uid; |
| 987 | int status; |
| 988 | int cause; |
| 989 | }; |
| 990 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 991 | struct wait_opts { |
| 992 | enum pid_type wo_type; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 993 | int wo_flags; |
Richard Kennedy | e1eb1eb | 2009-06-17 16:27:42 -0700 | [diff] [blame] | 994 | struct pid *wo_pid; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 995 | |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 996 | struct waitid_info *wo_info; |
Al Viro | 359566f | 2017-05-14 20:39:39 -0400 | [diff] [blame] | 997 | int wo_stat; |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 998 | struct rusage *wo_rusage; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 999 | |
Ingo Molnar | ac6424b | 2017-06-20 12:06:13 +0200 | [diff] [blame] | 1000 | wait_queue_entry_t child_wait; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1001 | int notask_error; |
| 1002 | }; |
| 1003 | |
Oleg Nesterov | 989264f | 2009-09-23 15:56:49 -0700 | [diff] [blame] | 1004 | static inline |
| 1005 | struct pid *task_pid_type(struct task_struct *task, enum pid_type type) |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1006 | { |
Oleg Nesterov | 989264f | 2009-09-23 15:56:49 -0700 | [diff] [blame] | 1007 | if (type != PIDTYPE_PID) |
| 1008 | task = task->group_leader; |
| 1009 | return task->pids[type].pid; |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1010 | } |
| 1011 | |
Oleg Nesterov | 989264f | 2009-09-23 15:56:49 -0700 | [diff] [blame] | 1012 | static int eligible_pid(struct wait_opts *wo, struct task_struct *p) |
Oleg Nesterov | 5c01ba4 | 2009-09-23 15:56:48 -0700 | [diff] [blame] | 1013 | { |
| 1014 | return wo->wo_type == PIDTYPE_MAX || |
| 1015 | task_pid_type(p, wo->wo_type) == wo->wo_pid; |
| 1016 | } |
| 1017 | |
Oleg Nesterov | bf95993 | 2016-05-23 16:23:50 -0700 | [diff] [blame] | 1018 | static int |
| 1019 | eligible_child(struct wait_opts *wo, bool ptrace, struct task_struct *p) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1020 | { |
Oleg Nesterov | 5c01ba4 | 2009-09-23 15:56:48 -0700 | [diff] [blame] | 1021 | if (!eligible_pid(wo, p)) |
| 1022 | return 0; |
Oleg Nesterov | bf95993 | 2016-05-23 16:23:50 -0700 | [diff] [blame] | 1023 | |
| 1024 | /* |
| 1025 | * Wait for all children (clone and not) if __WALL is set or |
| 1026 | * if it is traced by us. |
| 1027 | */ |
| 1028 | if (ptrace || (wo->wo_flags & __WALL)) |
| 1029 | return 1; |
| 1030 | |
| 1031 | /* |
| 1032 | * Otherwise, wait for clone children *only* if __WCLONE is set; |
| 1033 | * otherwise, wait for non-clone children *only*. |
| 1034 | * |
| 1035 | * Note: a "clone" child here is one that reports to its parent |
| 1036 | * using a signal other than SIGCHLD, or a non-leader thread which |
| 1037 | * we can only see if it is traced by us. |
| 1038 | */ |
| 1039 | if ((p->exit_signal != SIGCHLD) ^ !!(wo->wo_flags & __WCLONE)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1040 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1041 | |
Roland McGrath | 14dd0b8 | 2008-03-30 18:41:25 -0700 | [diff] [blame] | 1042 | return 1; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1043 | } |
| 1044 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1045 | /* |
| 1046 | * Handle sys_wait4 work for one task in state EXIT_ZOMBIE. We hold |
| 1047 | * read_lock(&tasklist_lock) on entry. If we return zero, we still hold |
| 1048 | * the lock and this task is uninteresting. If we return nonzero, we have |
| 1049 | * released the lock and the system call should return. |
| 1050 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1051 | static int wait_task_zombie(struct wait_opts *wo, struct task_struct *p) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1052 | { |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1053 | int state, status; |
Pavel Emelyanov | 6c5f3e7 | 2008-02-08 04:19:20 -0800 | [diff] [blame] | 1054 | pid_t pid = task_pid_vnr(p); |
Oleg Nesterov | 43e13cc | 2012-05-31 16:26:16 -0700 | [diff] [blame] | 1055 | uid_t uid = from_kuid_munged(current_user_ns(), task_uid(p)); |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1056 | struct waitid_info *infop; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1057 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1058 | if (!likely(wo->wo_flags & WEXITED)) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1059 | return 0; |
| 1060 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1061 | if (unlikely(wo->wo_flags & WNOWAIT)) { |
Al Viro | 76d9871 | 2017-05-14 21:38:26 -0400 | [diff] [blame] | 1062 | status = p->exit_code; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1063 | get_task_struct(p); |
| 1064 | read_unlock(&tasklist_lock); |
Peter Zijlstra | 1029a2b | 2014-09-24 10:18:49 +0200 | [diff] [blame] | 1065 | sched_annotate_sleep(); |
Al Viro | e61a250 | 2017-05-14 21:25:03 -0400 | [diff] [blame] | 1066 | if (wo->wo_rusage) |
| 1067 | getrusage(p, RUSAGE_BOTH, wo->wo_rusage); |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1068 | put_task_struct(p); |
Al Viro | 76d9871 | 2017-05-14 21:38:26 -0400 | [diff] [blame] | 1069 | goto out_info; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1070 | } |
Oleg Nesterov | befca96 | 2009-06-18 16:49:11 -0700 | [diff] [blame] | 1071 | /* |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1072 | * Move the task's state to DEAD/TRACE, only one thread can do this. |
| 1073 | */ |
Oleg Nesterov | f6507f8 | 2014-12-10 15:54:45 -0800 | [diff] [blame] | 1074 | state = (ptrace_reparented(p) && thread_group_leader(p)) ? |
| 1075 | EXIT_TRACE : EXIT_DEAD; |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1076 | if (cmpxchg(&p->exit_state, EXIT_ZOMBIE, state) != EXIT_ZOMBIE) |
| 1077 | return 0; |
Oleg Nesterov | 986094d | 2014-12-10 15:54:51 -0800 | [diff] [blame] | 1078 | /* |
| 1079 | * We own this thread, nobody else can reap it. |
| 1080 | */ |
| 1081 | read_unlock(&tasklist_lock); |
| 1082 | sched_annotate_sleep(); |
Oleg Nesterov | f6507f8 | 2014-12-10 15:54:45 -0800 | [diff] [blame] | 1083 | |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1084 | /* |
Oleg Nesterov | f6507f8 | 2014-12-10 15:54:45 -0800 | [diff] [blame] | 1085 | * Check thread_group_leader() to exclude the traced sub-threads. |
Oleg Nesterov | befca96 | 2009-06-18 16:49:11 -0700 | [diff] [blame] | 1086 | */ |
Oleg Nesterov | f6507f8 | 2014-12-10 15:54:45 -0800 | [diff] [blame] | 1087 | if (state == EXIT_DEAD && thread_group_leader(p)) { |
Oleg Nesterov | f953ccd | 2014-12-10 15:54:48 -0800 | [diff] [blame] | 1088 | struct signal_struct *sig = p->signal; |
| 1089 | struct signal_struct *psig = current->signal; |
Jiri Pirko | 1f10206 | 2009-09-22 16:44:10 -0700 | [diff] [blame] | 1090 | unsigned long maxrss; |
Frederic Weisbecker | 5613fda | 2017-01-31 04:09:23 +0100 | [diff] [blame] | 1091 | u64 tgutime, tgstime; |
Jesper Juhl | 3795e16 | 2006-01-09 20:54:39 -0800 | [diff] [blame] | 1092 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1093 | /* |
| 1094 | * The resource counters for the group leader are in its |
| 1095 | * own task_struct. Those for dead threads in the group |
| 1096 | * are in its signal_struct, as are those for the child |
| 1097 | * processes it has previously reaped. All these |
| 1098 | * accumulate in the parent's signal_struct c* fields. |
| 1099 | * |
| 1100 | * We don't bother to take a lock here to protect these |
Oleg Nesterov | f953ccd | 2014-12-10 15:54:48 -0800 | [diff] [blame] | 1101 | * p->signal fields because the whole thread group is dead |
| 1102 | * and nobody can change them. |
| 1103 | * |
| 1104 | * psig->stats_lock also protects us from our sub-theads |
| 1105 | * which can reap other children at the same time. Until |
| 1106 | * we change k_getrusage()-like users to rely on this lock |
| 1107 | * we have to take ->siglock as well. |
Hidetoshi Seto | 0cf55e1 | 2009-12-02 17:28:07 +0900 | [diff] [blame] | 1108 | * |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 1109 | * We use thread_group_cputime_adjusted() to get times for |
| 1110 | * the thread group, which consolidates times for all threads |
| 1111 | * in the group including the group leader. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1112 | */ |
Frederic Weisbecker | e80d0a1a | 2012-11-21 16:26:44 +0100 | [diff] [blame] | 1113 | thread_group_cputime_adjusted(p, &tgutime, &tgstime); |
Oleg Nesterov | f953ccd | 2014-12-10 15:54:48 -0800 | [diff] [blame] | 1114 | spin_lock_irq(¤t->sighand->siglock); |
Rik van Riel | e78c349 | 2014-08-16 13:40:10 -0400 | [diff] [blame] | 1115 | write_seqlock(&psig->stats_lock); |
Martin Schwidefsky | 6486163 | 2011-12-15 14:56:09 +0100 | [diff] [blame] | 1116 | psig->cutime += tgutime + sig->cutime; |
| 1117 | psig->cstime += tgstime + sig->cstime; |
Frederic Weisbecker | 6fac482 | 2012-11-13 14:20:55 +0100 | [diff] [blame] | 1118 | psig->cgtime += task_gtime(p) + sig->gtime + sig->cgtime; |
Jesper Juhl | 3795e16 | 2006-01-09 20:54:39 -0800 | [diff] [blame] | 1119 | psig->cmin_flt += |
| 1120 | p->min_flt + sig->min_flt + sig->cmin_flt; |
| 1121 | psig->cmaj_flt += |
| 1122 | p->maj_flt + sig->maj_flt + sig->cmaj_flt; |
| 1123 | psig->cnvcsw += |
| 1124 | p->nvcsw + sig->nvcsw + sig->cnvcsw; |
| 1125 | psig->cnivcsw += |
| 1126 | p->nivcsw + sig->nivcsw + sig->cnivcsw; |
Eric Dumazet | 6eaeeab | 2007-05-10 22:22:37 -0700 | [diff] [blame] | 1127 | psig->cinblock += |
| 1128 | task_io_get_inblock(p) + |
| 1129 | sig->inblock + sig->cinblock; |
| 1130 | psig->coublock += |
| 1131 | task_io_get_oublock(p) + |
| 1132 | sig->oublock + sig->coublock; |
Jiri Pirko | 1f10206 | 2009-09-22 16:44:10 -0700 | [diff] [blame] | 1133 | maxrss = max(sig->maxrss, sig->cmaxrss); |
| 1134 | if (psig->cmaxrss < maxrss) |
| 1135 | psig->cmaxrss = maxrss; |
Andrea Righi | 5995477 | 2008-07-27 17:29:15 +0200 | [diff] [blame] | 1136 | task_io_accounting_add(&psig->ioac, &p->ioac); |
| 1137 | task_io_accounting_add(&psig->ioac, &sig->ioac); |
Rik van Riel | e78c349 | 2014-08-16 13:40:10 -0400 | [diff] [blame] | 1138 | write_sequnlock(&psig->stats_lock); |
Oleg Nesterov | f953ccd | 2014-12-10 15:54:48 -0800 | [diff] [blame] | 1139 | spin_unlock_irq(¤t->sighand->siglock); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1140 | } |
| 1141 | |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1142 | if (wo->wo_rusage) |
| 1143 | getrusage(p, RUSAGE_BOTH, wo->wo_rusage); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1144 | status = (p->signal->flags & SIGNAL_GROUP_EXIT) |
| 1145 | ? p->signal->group_exit_code : p->exit_code; |
Al Viro | 359566f | 2017-05-14 20:39:39 -0400 | [diff] [blame] | 1146 | wo->wo_stat = status; |
Oleg Nesterov | 2f4e6e2 | 2007-10-16 23:26:58 -0700 | [diff] [blame] | 1147 | |
Oleg Nesterov | b436069 | 2014-04-07 15:38:43 -0700 | [diff] [blame] | 1148 | if (state == EXIT_TRACE) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1149 | write_lock_irq(&tasklist_lock); |
Oleg Nesterov | 2f4e6e2 | 2007-10-16 23:26:58 -0700 | [diff] [blame] | 1150 | /* We dropped tasklist, ptracer could die and untrace */ |
| 1151 | ptrace_unlink(p); |
Oleg Nesterov | b436069 | 2014-04-07 15:38:43 -0700 | [diff] [blame] | 1152 | |
| 1153 | /* If parent wants a zombie, don't release it now */ |
| 1154 | state = EXIT_ZOMBIE; |
| 1155 | if (do_notify_parent(p, p->exit_signal)) |
| 1156 | state = EXIT_DEAD; |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1157 | p->exit_state = state; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1158 | write_unlock_irq(&tasklist_lock); |
| 1159 | } |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1160 | if (state == EXIT_DEAD) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1161 | release_task(p); |
Oleg Nesterov | 2f4e6e2 | 2007-10-16 23:26:58 -0700 | [diff] [blame] | 1162 | |
Al Viro | 76d9871 | 2017-05-14 21:38:26 -0400 | [diff] [blame] | 1163 | out_info: |
| 1164 | infop = wo->wo_info; |
| 1165 | if (infop) { |
| 1166 | if ((status & 0x7f) == 0) { |
| 1167 | infop->cause = CLD_EXITED; |
| 1168 | infop->status = status >> 8; |
| 1169 | } else { |
| 1170 | infop->cause = (status & 0x80) ? CLD_DUMPED : CLD_KILLED; |
| 1171 | infop->status = status & 0x7f; |
| 1172 | } |
| 1173 | infop->pid = pid; |
| 1174 | infop->uid = uid; |
| 1175 | } |
| 1176 | |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1177 | return pid; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1178 | } |
| 1179 | |
Oleg Nesterov | 90bc8d8 | 2009-04-02 16:57:58 -0700 | [diff] [blame] | 1180 | static int *task_stopped_code(struct task_struct *p, bool ptrace) |
| 1181 | { |
| 1182 | if (ptrace) { |
Oleg Nesterov | 570ac93 | 2016-01-20 14:59:58 -0800 | [diff] [blame] | 1183 | if (task_is_traced(p) && !(p->jobctl & JOBCTL_LISTENING)) |
Oleg Nesterov | 90bc8d8 | 2009-04-02 16:57:58 -0700 | [diff] [blame] | 1184 | return &p->exit_code; |
| 1185 | } else { |
| 1186 | if (p->signal->flags & SIGNAL_STOP_STOPPED) |
| 1187 | return &p->signal->group_exit_code; |
| 1188 | } |
| 1189 | return NULL; |
| 1190 | } |
| 1191 | |
Tejun Heo | 19e2746 | 2011-05-12 10:47:23 +0200 | [diff] [blame] | 1192 | /** |
| 1193 | * wait_task_stopped - Wait for %TASK_STOPPED or %TASK_TRACED |
| 1194 | * @wo: wait options |
| 1195 | * @ptrace: is the wait for ptrace |
| 1196 | * @p: task to wait for |
| 1197 | * |
| 1198 | * Handle sys_wait4() work for %p in state %TASK_STOPPED or %TASK_TRACED. |
| 1199 | * |
| 1200 | * CONTEXT: |
| 1201 | * read_lock(&tasklist_lock), which is released if return value is |
| 1202 | * non-zero. Also, grabs and releases @p->sighand->siglock. |
| 1203 | * |
| 1204 | * RETURNS: |
| 1205 | * 0 if wait condition didn't exist and search for other wait conditions |
| 1206 | * should continue. Non-zero return, -errno on failure and @p's pid on |
| 1207 | * success, implies that tasklist_lock is released and wait condition |
| 1208 | * search should terminate. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1209 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1210 | static int wait_task_stopped(struct wait_opts *wo, |
| 1211 | int ptrace, struct task_struct *p) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1212 | { |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1213 | struct waitid_info *infop; |
| 1214 | int exit_code, *p_code, why; |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1215 | uid_t uid = 0; /* unneeded, required by compiler */ |
Oleg Nesterov | c895078 | 2007-11-28 16:21:24 -0800 | [diff] [blame] | 1216 | pid_t pid; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1217 | |
Oleg Nesterov | 4791802 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1218 | /* |
| 1219 | * Traditionally we see ptrace'd stopped tasks regardless of options. |
| 1220 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1221 | if (!ptrace && !(wo->wo_flags & WUNTRACED)) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1222 | return 0; |
| 1223 | |
Tejun Heo | 19e2746 | 2011-05-12 10:47:23 +0200 | [diff] [blame] | 1224 | if (!task_stopped_code(p, ptrace)) |
| 1225 | return 0; |
| 1226 | |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1227 | exit_code = 0; |
| 1228 | spin_lock_irq(&p->sighand->siglock); |
| 1229 | |
Oleg Nesterov | 90bc8d8 | 2009-04-02 16:57:58 -0700 | [diff] [blame] | 1230 | p_code = task_stopped_code(p, ptrace); |
| 1231 | if (unlikely(!p_code)) |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1232 | goto unlock_sig; |
| 1233 | |
Oleg Nesterov | 90bc8d8 | 2009-04-02 16:57:58 -0700 | [diff] [blame] | 1234 | exit_code = *p_code; |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1235 | if (!exit_code) |
| 1236 | goto unlock_sig; |
| 1237 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1238 | if (!unlikely(wo->wo_flags & WNOWAIT)) |
Oleg Nesterov | 90bc8d8 | 2009-04-02 16:57:58 -0700 | [diff] [blame] | 1239 | *p_code = 0; |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1240 | |
Sasha Levin | 8ca937a | 2012-05-17 23:31:39 +0200 | [diff] [blame] | 1241 | uid = from_kuid_munged(current_user_ns(), task_uid(p)); |
Oleg Nesterov | ee7c82d | 2008-02-08 04:19:01 -0800 | [diff] [blame] | 1242 | unlock_sig: |
| 1243 | spin_unlock_irq(&p->sighand->siglock); |
| 1244 | if (!exit_code) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1245 | return 0; |
| 1246 | |
| 1247 | /* |
| 1248 | * Now we are pretty sure this task is interesting. |
| 1249 | * Make sure it doesn't get reaped out from under us while we |
| 1250 | * give up the lock and then examine it below. We don't want to |
| 1251 | * keep holding onto the tasklist_lock while we call getrusage and |
| 1252 | * possibly take page faults for user memory. |
| 1253 | */ |
| 1254 | get_task_struct(p); |
Pavel Emelyanov | 6c5f3e7 | 2008-02-08 04:19:20 -0800 | [diff] [blame] | 1255 | pid = task_pid_vnr(p); |
Roland McGrath | f470021 | 2008-03-24 18:36:23 -0700 | [diff] [blame] | 1256 | why = ptrace ? CLD_TRAPPED : CLD_STOPPED; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1257 | read_unlock(&tasklist_lock); |
Peter Zijlstra | 1029a2b | 2014-09-24 10:18:49 +0200 | [diff] [blame] | 1258 | sched_annotate_sleep(); |
Al Viro | e61a250 | 2017-05-14 21:25:03 -0400 | [diff] [blame] | 1259 | if (wo->wo_rusage) |
| 1260 | getrusage(p, RUSAGE_BOTH, wo->wo_rusage); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1261 | put_task_struct(p); |
| 1262 | |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1263 | if (likely(!(wo->wo_flags & WNOWAIT))) |
| 1264 | wo->wo_stat = (exit_code << 8) | 0x7f; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1265 | |
| 1266 | infop = wo->wo_info; |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1267 | if (infop) { |
| 1268 | infop->cause = why; |
| 1269 | infop->status = exit_code; |
| 1270 | infop->pid = pid; |
| 1271 | infop->uid = uid; |
| 1272 | } |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1273 | return pid; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1274 | } |
| 1275 | |
| 1276 | /* |
| 1277 | * Handle do_wait work for one task in a live, non-stopped state. |
| 1278 | * read_lock(&tasklist_lock) on entry. If we return zero, we still hold |
| 1279 | * the lock and this task is uninteresting. If we return nonzero, we have |
| 1280 | * released the lock and the system call should return. |
| 1281 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1282 | static int wait_task_continued(struct wait_opts *wo, struct task_struct *p) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1283 | { |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1284 | struct waitid_info *infop; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1285 | pid_t pid; |
| 1286 | uid_t uid; |
| 1287 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1288 | if (!unlikely(wo->wo_flags & WCONTINUED)) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1289 | return 0; |
| 1290 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1291 | if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) |
| 1292 | return 0; |
| 1293 | |
| 1294 | spin_lock_irq(&p->sighand->siglock); |
| 1295 | /* Re-check with the lock held. */ |
| 1296 | if (!(p->signal->flags & SIGNAL_STOP_CONTINUED)) { |
| 1297 | spin_unlock_irq(&p->sighand->siglock); |
| 1298 | return 0; |
| 1299 | } |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1300 | if (!unlikely(wo->wo_flags & WNOWAIT)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1301 | p->signal->flags &= ~SIGNAL_STOP_CONTINUED; |
Sasha Levin | 8ca937a | 2012-05-17 23:31:39 +0200 | [diff] [blame] | 1302 | uid = from_kuid_munged(current_user_ns(), task_uid(p)); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1303 | spin_unlock_irq(&p->sighand->siglock); |
| 1304 | |
Pavel Emelyanov | 6c5f3e7 | 2008-02-08 04:19:20 -0800 | [diff] [blame] | 1305 | pid = task_pid_vnr(p); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1306 | get_task_struct(p); |
| 1307 | read_unlock(&tasklist_lock); |
Peter Zijlstra | 1029a2b | 2014-09-24 10:18:49 +0200 | [diff] [blame] | 1308 | sched_annotate_sleep(); |
Al Viro | e61a250 | 2017-05-14 21:25:03 -0400 | [diff] [blame] | 1309 | if (wo->wo_rusage) |
| 1310 | getrusage(p, RUSAGE_BOTH, wo->wo_rusage); |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1311 | put_task_struct(p); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1312 | |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1313 | infop = wo->wo_info; |
| 1314 | if (!infop) { |
Al Viro | 359566f | 2017-05-14 20:39:39 -0400 | [diff] [blame] | 1315 | wo->wo_stat = 0xffff; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1316 | } else { |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1317 | infop->cause = CLD_CONTINUED; |
| 1318 | infop->pid = pid; |
| 1319 | infop->uid = uid; |
| 1320 | infop->status = SIGCONT; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1321 | } |
Al Viro | bb380ec | 2017-05-14 21:33:21 -0400 | [diff] [blame] | 1322 | return pid; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1323 | } |
| 1324 | |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1325 | /* |
| 1326 | * Consider @p for a wait by @parent. |
| 1327 | * |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1328 | * -ECHILD should be in ->notask_error before the first call. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1329 | * Returns nonzero for a final return, when we have unlocked tasklist_lock. |
| 1330 | * Returns zero if the search for a child should continue; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1331 | * then ->notask_error is 0 if @p is an eligible child, |
Stephen Smalley | 3a2f5a5 | 2017-01-10 12:28:32 -0500 | [diff] [blame] | 1332 | * or still -ECHILD. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1333 | */ |
Oleg Nesterov | b6e763f | 2009-09-23 15:56:50 -0700 | [diff] [blame] | 1334 | static int wait_consider_task(struct wait_opts *wo, int ptrace, |
| 1335 | struct task_struct *p) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1336 | { |
Oleg Nesterov | 3245d6a | 2015-01-08 14:32:12 -0800 | [diff] [blame] | 1337 | /* |
| 1338 | * We can race with wait_task_zombie() from another thread. |
| 1339 | * Ensure that EXIT_ZOMBIE -> EXIT_DEAD/EXIT_TRACE transition |
| 1340 | * can't confuse the checks below. |
| 1341 | */ |
Mark Rutland | 6aa7de0 | 2017-10-23 14:07:29 -0700 | [diff] [blame] | 1342 | int exit_state = READ_ONCE(p->exit_state); |
Oleg Nesterov | b3ab031 | 2014-04-07 15:38:45 -0700 | [diff] [blame] | 1343 | int ret; |
| 1344 | |
Oleg Nesterov | 3245d6a | 2015-01-08 14:32:12 -0800 | [diff] [blame] | 1345 | if (unlikely(exit_state == EXIT_DEAD)) |
Oleg Nesterov | b3ab031 | 2014-04-07 15:38:45 -0700 | [diff] [blame] | 1346 | return 0; |
| 1347 | |
Oleg Nesterov | bf95993 | 2016-05-23 16:23:50 -0700 | [diff] [blame] | 1348 | ret = eligible_child(wo, ptrace, p); |
Roland McGrath | 14dd0b8 | 2008-03-30 18:41:25 -0700 | [diff] [blame] | 1349 | if (!ret) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1350 | return ret; |
| 1351 | |
Oleg Nesterov | 3245d6a | 2015-01-08 14:32:12 -0800 | [diff] [blame] | 1352 | if (unlikely(exit_state == EXIT_TRACE)) { |
Oleg Nesterov | 50b8d25 | 2012-01-04 17:29:02 +0100 | [diff] [blame] | 1353 | /* |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1354 | * ptrace == 0 means we are the natural parent. In this case |
| 1355 | * we should clear notask_error, debugger will notify us. |
Oleg Nesterov | 50b8d25 | 2012-01-04 17:29:02 +0100 | [diff] [blame] | 1356 | */ |
Oleg Nesterov | abd50b3 | 2014-04-07 15:38:42 -0700 | [diff] [blame] | 1357 | if (likely(!ptrace)) |
Oleg Nesterov | 50b8d25 | 2012-01-04 17:29:02 +0100 | [diff] [blame] | 1358 | wo->notask_error = 0; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1359 | return 0; |
Oleg Nesterov | 50b8d25 | 2012-01-04 17:29:02 +0100 | [diff] [blame] | 1360 | } |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1361 | |
Oleg Nesterov | 377d75d | 2014-04-07 15:38:47 -0700 | [diff] [blame] | 1362 | if (likely(!ptrace) && unlikely(p->ptrace)) { |
| 1363 | /* |
| 1364 | * If it is traced by its real parent's group, just pretend |
| 1365 | * the caller is ptrace_do_wait() and reap this child if it |
| 1366 | * is zombie. |
| 1367 | * |
| 1368 | * This also hides group stop state from real parent; otherwise |
| 1369 | * a single stop can be reported twice as group and ptrace stop. |
| 1370 | * If a ptracer wants to distinguish these two events for its |
| 1371 | * own children it should create a separate process which takes |
| 1372 | * the role of real parent. |
| 1373 | */ |
| 1374 | if (!ptrace_reparented(p)) |
| 1375 | ptrace = 1; |
| 1376 | } |
| 1377 | |
Tejun Heo | 9b84cca | 2011-03-23 10:37:01 +0100 | [diff] [blame] | 1378 | /* slay zombie? */ |
Oleg Nesterov | 3245d6a | 2015-01-08 14:32:12 -0800 | [diff] [blame] | 1379 | if (exit_state == EXIT_ZOMBIE) { |
Tejun Heo | 9b84cca | 2011-03-23 10:37:01 +0100 | [diff] [blame] | 1380 | /* we don't reap group leaders with subthreads */ |
Oleg Nesterov | 7c733eb | 2014-04-07 15:38:49 -0700 | [diff] [blame] | 1381 | if (!delay_group_leader(p)) { |
| 1382 | /* |
| 1383 | * A zombie ptracee is only visible to its ptracer. |
| 1384 | * Notification and reaping will be cascaded to the |
| 1385 | * real parent when the ptracer detaches. |
| 1386 | */ |
| 1387 | if (unlikely(ptrace) || likely(!p->ptrace)) |
| 1388 | return wait_task_zombie(wo, p); |
| 1389 | } |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1390 | |
Tejun Heo | 9b84cca | 2011-03-23 10:37:01 +0100 | [diff] [blame] | 1391 | /* |
| 1392 | * Allow access to stopped/continued state via zombie by |
| 1393 | * falling through. Clearing of notask_error is complex. |
| 1394 | * |
| 1395 | * When !@ptrace: |
| 1396 | * |
| 1397 | * If WEXITED is set, notask_error should naturally be |
| 1398 | * cleared. If not, subset of WSTOPPED|WCONTINUED is set, |
| 1399 | * so, if there are live subthreads, there are events to |
| 1400 | * wait for. If all subthreads are dead, it's still safe |
| 1401 | * to clear - this function will be called again in finite |
| 1402 | * amount time once all the subthreads are released and |
| 1403 | * will then return without clearing. |
| 1404 | * |
| 1405 | * When @ptrace: |
| 1406 | * |
| 1407 | * Stopped state is per-task and thus can't change once the |
| 1408 | * target task dies. Only continued and exited can happen. |
| 1409 | * Clear notask_error if WCONTINUED | WEXITED. |
| 1410 | */ |
| 1411 | if (likely(!ptrace) || (wo->wo_flags & (WCONTINUED | WEXITED))) |
| 1412 | wo->notask_error = 0; |
| 1413 | } else { |
| 1414 | /* |
| 1415 | * @p is alive and it's gonna stop, continue or exit, so |
| 1416 | * there always is something to wait for. |
| 1417 | */ |
| 1418 | wo->notask_error = 0; |
| 1419 | } |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1420 | |
| 1421 | /* |
Tejun Heo | 45cb24a | 2011-03-23 10:37:01 +0100 | [diff] [blame] | 1422 | * Wait for stopped. Depending on @ptrace, different stopped state |
| 1423 | * is used and the two don't interact with each other. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1424 | */ |
Tejun Heo | 19e2746 | 2011-05-12 10:47:23 +0200 | [diff] [blame] | 1425 | ret = wait_task_stopped(wo, ptrace, p); |
| 1426 | if (ret) |
| 1427 | return ret; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1428 | |
Tejun Heo | 45cb24a | 2011-03-23 10:37:01 +0100 | [diff] [blame] | 1429 | /* |
| 1430 | * Wait for continued. There's only one continued state and the |
| 1431 | * ptracer can consume it which can confuse the real parent. Don't |
| 1432 | * use WCONTINUED from ptracer. You don't need or want it. |
| 1433 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1434 | return wait_task_continued(wo, p); |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1435 | } |
| 1436 | |
| 1437 | /* |
| 1438 | * Do the work of do_wait() for one thread in the group, @tsk. |
| 1439 | * |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1440 | * -ECHILD should be in ->notask_error before the first call. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1441 | * Returns nonzero for a final return, when we have unlocked tasklist_lock. |
| 1442 | * Returns zero if the search for a child should continue; then |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1443 | * ->notask_error is 0 if there were any eligible children, |
Stephen Smalley | 3a2f5a5 | 2017-01-10 12:28:32 -0500 | [diff] [blame] | 1444 | * or still -ECHILD. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1445 | */ |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1446 | static int do_wait_thread(struct wait_opts *wo, struct task_struct *tsk) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1447 | { |
| 1448 | struct task_struct *p; |
| 1449 | |
| 1450 | list_for_each_entry(p, &tsk->children, sibling) { |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 1451 | int ret = wait_consider_task(wo, 0, p); |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 1452 | |
Oleg Nesterov | 9cd80bb | 2009-12-17 15:27:15 -0800 | [diff] [blame] | 1453 | if (ret) |
| 1454 | return ret; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1455 | } |
| 1456 | |
| 1457 | return 0; |
| 1458 | } |
| 1459 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1460 | static int ptrace_do_wait(struct wait_opts *wo, struct task_struct *tsk) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1461 | { |
| 1462 | struct task_struct *p; |
| 1463 | |
Roland McGrath | f470021 | 2008-03-24 18:36:23 -0700 | [diff] [blame] | 1464 | list_for_each_entry(p, &tsk->ptraced, ptrace_entry) { |
Oleg Nesterov | b6e763f | 2009-09-23 15:56:50 -0700 | [diff] [blame] | 1465 | int ret = wait_consider_task(wo, 1, p); |
Ionut Alexa | a0be55d | 2014-08-08 14:21:18 -0700 | [diff] [blame] | 1466 | |
Roland McGrath | f470021 | 2008-03-24 18:36:23 -0700 | [diff] [blame] | 1467 | if (ret) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1468 | return ret; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1469 | } |
| 1470 | |
| 1471 | return 0; |
| 1472 | } |
| 1473 | |
Ingo Molnar | ac6424b | 2017-06-20 12:06:13 +0200 | [diff] [blame] | 1474 | static int child_wait_callback(wait_queue_entry_t *wait, unsigned mode, |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1475 | int sync, void *key) |
| 1476 | { |
| 1477 | struct wait_opts *wo = container_of(wait, struct wait_opts, |
| 1478 | child_wait); |
| 1479 | struct task_struct *p = key; |
| 1480 | |
Oleg Nesterov | 5c01ba4 | 2009-09-23 15:56:48 -0700 | [diff] [blame] | 1481 | if (!eligible_pid(wo, p)) |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1482 | return 0; |
| 1483 | |
Oleg Nesterov | b4fe5182 | 2009-09-23 15:56:47 -0700 | [diff] [blame] | 1484 | if ((wo->wo_flags & __WNOTHREAD) && wait->private != p->parent) |
| 1485 | return 0; |
| 1486 | |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1487 | return default_wake_function(wait, mode, sync, key); |
| 1488 | } |
| 1489 | |
Oleg Nesterov | a7f0765 | 2009-09-23 15:56:44 -0700 | [diff] [blame] | 1490 | void __wake_up_parent(struct task_struct *p, struct task_struct *parent) |
| 1491 | { |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1492 | __wake_up_sync_key(&parent->signal->wait_chldexit, |
| 1493 | TASK_INTERRUPTIBLE, 1, p); |
Oleg Nesterov | a7f0765 | 2009-09-23 15:56:44 -0700 | [diff] [blame] | 1494 | } |
| 1495 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1496 | static long do_wait(struct wait_opts *wo) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1497 | { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1498 | struct task_struct *tsk; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1499 | int retval; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1500 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1501 | trace_sched_process_wait(wo->wo_pid); |
Mathieu Desnoyers | 0a16b60 | 2008-07-18 12:16:17 -0400 | [diff] [blame] | 1502 | |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1503 | init_waitqueue_func_entry(&wo->child_wait, child_wait_callback); |
| 1504 | wo->child_wait.private = current; |
| 1505 | add_wait_queue(¤t->signal->wait_chldexit, &wo->child_wait); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1506 | repeat: |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1507 | /* |
Frans Klaver | 3da56d1 | 2015-05-21 22:35:57 +0200 | [diff] [blame] | 1508 | * If there is nothing that can match our criteria, just get out. |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1509 | * We will clear ->notask_error to zero if we see any child that |
| 1510 | * might later match our criteria, even if we are not able to reap |
| 1511 | * it yet. |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1512 | */ |
Oleg Nesterov | 64a16ca | 2009-06-17 16:27:40 -0700 | [diff] [blame] | 1513 | wo->notask_error = -ECHILD; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1514 | if ((wo->wo_type < PIDTYPE_MAX) && |
| 1515 | (!wo->wo_pid || hlist_empty(&wo->wo_pid->tasks[wo->wo_type]))) |
Oleg Nesterov | 64a16ca | 2009-06-17 16:27:40 -0700 | [diff] [blame] | 1516 | goto notask; |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1517 | |
Oleg Nesterov | f95d39d | 2009-06-17 16:27:42 -0700 | [diff] [blame] | 1518 | set_current_state(TASK_INTERRUPTIBLE); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1519 | read_lock(&tasklist_lock); |
| 1520 | tsk = current; |
| 1521 | do { |
Oleg Nesterov | 64a16ca | 2009-06-17 16:27:40 -0700 | [diff] [blame] | 1522 | retval = do_wait_thread(wo, tsk); |
| 1523 | if (retval) |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1524 | goto end; |
Oleg Nesterov | 64a16ca | 2009-06-17 16:27:40 -0700 | [diff] [blame] | 1525 | |
| 1526 | retval = ptrace_do_wait(wo, tsk); |
| 1527 | if (retval) |
| 1528 | goto end; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1529 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1530 | if (wo->wo_flags & __WNOTHREAD) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1531 | break; |
Oleg Nesterov | a3f6dfb | 2009-06-17 16:27:41 -0700 | [diff] [blame] | 1532 | } while_each_thread(current, tsk); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1533 | read_unlock(&tasklist_lock); |
Oleg Nesterov | f2cc3eb | 2008-02-08 04:19:06 -0800 | [diff] [blame] | 1534 | |
Oleg Nesterov | 64a16ca | 2009-06-17 16:27:40 -0700 | [diff] [blame] | 1535 | notask: |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1536 | retval = wo->notask_error; |
| 1537 | if (!retval && !(wo->wo_flags & WNOHANG)) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1538 | retval = -ERESTARTSYS; |
Roland McGrath | 98abed0 | 2008-03-19 19:24:59 -0700 | [diff] [blame] | 1539 | if (!signal_pending(current)) { |
| 1540 | schedule(); |
| 1541 | goto repeat; |
| 1542 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1543 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1544 | end: |
Oleg Nesterov | f95d39d | 2009-06-17 16:27:42 -0700 | [diff] [blame] | 1545 | __set_current_state(TASK_RUNNING); |
Oleg Nesterov | 0b7570e | 2009-09-23 15:56:46 -0700 | [diff] [blame] | 1546 | remove_wait_queue(¤t->signal->wait_chldexit, &wo->child_wait); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1547 | return retval; |
| 1548 | } |
| 1549 | |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1550 | static long kernel_waitid(int which, pid_t upid, struct waitid_info *infop, |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1551 | int options, struct rusage *ru) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1552 | { |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1553 | struct wait_opts wo; |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1554 | struct pid *pid = NULL; |
| 1555 | enum pid_type type; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1556 | long ret; |
| 1557 | |
Oleg Nesterov | 91c4e8e | 2016-05-23 16:23:53 -0700 | [diff] [blame] | 1558 | if (options & ~(WNOHANG|WNOWAIT|WEXITED|WSTOPPED|WCONTINUED| |
| 1559 | __WNOTHREAD|__WCLONE|__WALL)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1560 | return -EINVAL; |
| 1561 | if (!(options & (WEXITED|WSTOPPED|WCONTINUED))) |
| 1562 | return -EINVAL; |
| 1563 | |
| 1564 | switch (which) { |
| 1565 | case P_ALL: |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1566 | type = PIDTYPE_MAX; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1567 | break; |
| 1568 | case P_PID: |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1569 | type = PIDTYPE_PID; |
| 1570 | if (upid <= 0) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1571 | return -EINVAL; |
| 1572 | break; |
| 1573 | case P_PGID: |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1574 | type = PIDTYPE_PGID; |
| 1575 | if (upid <= 0) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1576 | return -EINVAL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1577 | break; |
| 1578 | default: |
| 1579 | return -EINVAL; |
| 1580 | } |
| 1581 | |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1582 | if (type < PIDTYPE_MAX) |
| 1583 | pid = find_get_pid(upid); |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1584 | |
| 1585 | wo.wo_type = type; |
| 1586 | wo.wo_pid = pid; |
| 1587 | wo.wo_flags = options; |
| 1588 | wo.wo_info = infop; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1589 | wo.wo_rusage = ru; |
| 1590 | ret = do_wait(&wo); |
Vitaly Mayatskikh | dfe16df | 2009-09-23 15:56:51 -0700 | [diff] [blame] | 1591 | |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1592 | put_pid(pid); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1593 | return ret; |
| 1594 | } |
| 1595 | |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1596 | SYSCALL_DEFINE5(waitid, int, which, pid_t, upid, struct siginfo __user *, |
| 1597 | infop, int, options, struct rusage __user *, ru) |
| 1598 | { |
| 1599 | struct rusage r; |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1600 | struct waitid_info info = {.status = 0}; |
| 1601 | long err = kernel_waitid(which, upid, &info, options, ru ? &r : NULL); |
Al Viro | 634a816 | 2017-07-08 11:26:39 -0400 | [diff] [blame] | 1602 | int signo = 0; |
Al Viro | 6c85501 | 2017-09-29 13:43:15 -0400 | [diff] [blame] | 1603 | |
Al Viro | 634a816 | 2017-07-08 11:26:39 -0400 | [diff] [blame] | 1604 | if (err > 0) { |
| 1605 | signo = SIGCHLD; |
| 1606 | err = 0; |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1607 | if (ru && copy_to_user(ru, &r, sizeof(struct rusage))) |
| 1608 | return -EFAULT; |
| 1609 | } |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1610 | if (!infop) |
| 1611 | return err; |
| 1612 | |
Kees Cook | 96ca579 | 2017-10-09 11:36:52 -0700 | [diff] [blame] | 1613 | if (!access_ok(VERIFY_WRITE, infop, sizeof(*infop))) |
Kees Cook | 1c9fec4 | 2017-10-20 07:36:05 -0700 | [diff] [blame] | 1614 | return -EFAULT; |
Kees Cook | 96ca579 | 2017-10-09 11:36:52 -0700 | [diff] [blame] | 1615 | |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1616 | user_access_begin(); |
Al Viro | 634a816 | 2017-07-08 11:26:39 -0400 | [diff] [blame] | 1617 | unsafe_put_user(signo, &infop->si_signo, Efault); |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1618 | unsafe_put_user(0, &infop->si_errno, Efault); |
Eric W. Biederman | cc73152 | 2017-07-16 22:36:59 -0500 | [diff] [blame] | 1619 | unsafe_put_user(info.cause, &infop->si_code, Efault); |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1620 | unsafe_put_user(info.pid, &infop->si_pid, Efault); |
| 1621 | unsafe_put_user(info.uid, &infop->si_uid, Efault); |
| 1622 | unsafe_put_user(info.status, &infop->si_status, Efault); |
| 1623 | user_access_end(); |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1624 | return err; |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1625 | Efault: |
| 1626 | user_access_end(); |
| 1627 | return -EFAULT; |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1628 | } |
| 1629 | |
Al Viro | 92ebce5 | 2017-05-14 23:54:33 -0400 | [diff] [blame] | 1630 | long kernel_wait4(pid_t upid, int __user *stat_addr, int options, |
| 1631 | struct rusage *ru) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1632 | { |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1633 | struct wait_opts wo; |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1634 | struct pid *pid = NULL; |
| 1635 | enum pid_type type; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1636 | long ret; |
| 1637 | |
| 1638 | if (options & ~(WNOHANG|WUNTRACED|WCONTINUED| |
| 1639 | __WNOTHREAD|__WCLONE|__WALL)) |
| 1640 | return -EINVAL; |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1641 | |
zhongjiang | dd83c16 | 2017-07-10 15:53:01 -0700 | [diff] [blame] | 1642 | /* -INT_MIN is not defined */ |
| 1643 | if (upid == INT_MIN) |
| 1644 | return -ESRCH; |
| 1645 | |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1646 | if (upid == -1) |
| 1647 | type = PIDTYPE_MAX; |
| 1648 | else if (upid < 0) { |
| 1649 | type = PIDTYPE_PGID; |
| 1650 | pid = find_get_pid(-upid); |
| 1651 | } else if (upid == 0) { |
| 1652 | type = PIDTYPE_PGID; |
Oleg Nesterov | 2ae448e | 2009-04-02 16:58:36 -0700 | [diff] [blame] | 1653 | pid = get_task_pid(current, PIDTYPE_PGID); |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1654 | } else /* upid > 0 */ { |
| 1655 | type = PIDTYPE_PID; |
| 1656 | pid = find_get_pid(upid); |
| 1657 | } |
| 1658 | |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1659 | wo.wo_type = type; |
| 1660 | wo.wo_pid = pid; |
| 1661 | wo.wo_flags = options | WEXITED; |
| 1662 | wo.wo_info = NULL; |
Al Viro | 359566f | 2017-05-14 20:39:39 -0400 | [diff] [blame] | 1663 | wo.wo_stat = 0; |
Oleg Nesterov | 9e8ae01 | 2009-06-17 16:27:39 -0700 | [diff] [blame] | 1664 | wo.wo_rusage = ru; |
| 1665 | ret = do_wait(&wo); |
Eric W. Biederman | 161550d | 2008-02-08 04:19:14 -0800 | [diff] [blame] | 1666 | put_pid(pid); |
Al Viro | 359566f | 2017-05-14 20:39:39 -0400 | [diff] [blame] | 1667 | if (ret > 0 && stat_addr && put_user(wo.wo_stat, stat_addr)) |
| 1668 | ret = -EFAULT; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1669 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1670 | return ret; |
| 1671 | } |
| 1672 | |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1673 | SYSCALL_DEFINE4(wait4, pid_t, upid, int __user *, stat_addr, |
| 1674 | int, options, struct rusage __user *, ru) |
| 1675 | { |
| 1676 | struct rusage r; |
| 1677 | long err = kernel_wait4(upid, stat_addr, options, ru ? &r : NULL); |
| 1678 | |
| 1679 | if (err > 0) { |
| 1680 | if (ru && copy_to_user(ru, &r, sizeof(struct rusage))) |
| 1681 | return -EFAULT; |
| 1682 | } |
| 1683 | return err; |
| 1684 | } |
| 1685 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1686 | #ifdef __ARCH_WANT_SYS_WAITPID |
| 1687 | |
| 1688 | /* |
| 1689 | * sys_waitpid() remains for compatibility. waitpid() should be |
| 1690 | * implemented by calling sys_wait4() from libc.a. |
| 1691 | */ |
Heiko Carstens | 17da2bd | 2009-01-14 14:14:10 +0100 | [diff] [blame] | 1692 | SYSCALL_DEFINE3(waitpid, pid_t, pid, int __user *, stat_addr, int, options) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1693 | { |
| 1694 | return sys_wait4(pid, stat_addr, options, NULL); |
| 1695 | } |
| 1696 | |
| 1697 | #endif |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1698 | |
| 1699 | #ifdef CONFIG_COMPAT |
| 1700 | COMPAT_SYSCALL_DEFINE4(wait4, |
| 1701 | compat_pid_t, pid, |
| 1702 | compat_uint_t __user *, stat_addr, |
| 1703 | int, options, |
| 1704 | struct compat_rusage __user *, ru) |
| 1705 | { |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1706 | struct rusage r; |
| 1707 | long err = kernel_wait4(pid, stat_addr, options, ru ? &r : NULL); |
| 1708 | if (err > 0) { |
| 1709 | if (ru && put_compat_rusage(&r, ru)) |
| 1710 | return -EFAULT; |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1711 | } |
Al Viro | ce72a16 | 2017-05-14 20:25:02 -0400 | [diff] [blame] | 1712 | return err; |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1713 | } |
| 1714 | |
| 1715 | COMPAT_SYSCALL_DEFINE5(waitid, |
| 1716 | int, which, compat_pid_t, pid, |
| 1717 | struct compat_siginfo __user *, infop, int, options, |
| 1718 | struct compat_rusage __user *, uru) |
| 1719 | { |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1720 | struct rusage ru; |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1721 | struct waitid_info info = {.status = 0}; |
| 1722 | long err = kernel_waitid(which, pid, &info, options, uru ? &ru : NULL); |
Al Viro | 634a816 | 2017-07-08 11:26:39 -0400 | [diff] [blame] | 1723 | int signo = 0; |
| 1724 | if (err > 0) { |
| 1725 | signo = SIGCHLD; |
| 1726 | err = 0; |
Al Viro | 6c85501 | 2017-09-29 13:43:15 -0400 | [diff] [blame] | 1727 | if (uru) { |
| 1728 | /* kernel_waitid() overwrites everything in ru */ |
| 1729 | if (COMPAT_USE_64BIT_TIME) |
| 1730 | err = copy_to_user(uru, &ru, sizeof(ru)); |
| 1731 | else |
| 1732 | err = put_compat_rusage(&ru, uru); |
| 1733 | if (err) |
| 1734 | return -EFAULT; |
| 1735 | } |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1736 | } |
| 1737 | |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1738 | if (!infop) |
| 1739 | return err; |
| 1740 | |
Kees Cook | 96ca579 | 2017-10-09 11:36:52 -0700 | [diff] [blame] | 1741 | if (!access_ok(VERIFY_WRITE, infop, sizeof(*infop))) |
Kees Cook | 1c9fec4 | 2017-10-20 07:36:05 -0700 | [diff] [blame] | 1742 | return -EFAULT; |
Kees Cook | 96ca579 | 2017-10-09 11:36:52 -0700 | [diff] [blame] | 1743 | |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1744 | user_access_begin(); |
Al Viro | 634a816 | 2017-07-08 11:26:39 -0400 | [diff] [blame] | 1745 | unsafe_put_user(signo, &infop->si_signo, Efault); |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1746 | unsafe_put_user(0, &infop->si_errno, Efault); |
Eric W. Biederman | cc73152 | 2017-07-16 22:36:59 -0500 | [diff] [blame] | 1747 | unsafe_put_user(info.cause, &infop->si_code, Efault); |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1748 | unsafe_put_user(info.pid, &infop->si_pid, Efault); |
| 1749 | unsafe_put_user(info.uid, &infop->si_uid, Efault); |
| 1750 | unsafe_put_user(info.status, &infop->si_status, Efault); |
| 1751 | user_access_end(); |
Al Viro | 67d7ddd | 2017-05-14 20:53:13 -0400 | [diff] [blame] | 1752 | return err; |
Al Viro | 4c48abe | 2017-05-14 19:27:32 -0400 | [diff] [blame] | 1753 | Efault: |
| 1754 | user_access_end(); |
| 1755 | return -EFAULT; |
Al Viro | 7e95a22 | 2017-05-14 19:52:01 -0400 | [diff] [blame] | 1756 | } |
| 1757 | #endif |
Sudip Mukherjee | 7c2c11b | 2017-12-14 15:33:19 -0800 | [diff] [blame] | 1758 | |
| 1759 | __weak void abort(void) |
| 1760 | { |
| 1761 | BUG(); |
| 1762 | |
| 1763 | /* if that doesn't kill us, halt */ |
| 1764 | panic("Oops failed to kill thread"); |
| 1765 | } |
Andrew Morton | dc8635b | 2018-01-04 16:17:56 -0800 | [diff] [blame] | 1766 | EXPORT_SYMBOL(abort); |