blob: 83f830acbb5fa1ec4baa8ea54f1069adb59d8695 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Ingo Molnar34f192c2006-03-27 01:16:24 -08002/*
3 * linux/kernel/futex_compat.c
4 *
5 * Futex compatibililty routines.
6 *
7 * Copyright 2006, Red Hat, Inc., Ingo Molnar
8 */
9
10#include <linux/linkage.h>
11#include <linux/compat.h>
Pavel Emelyanovb4888932007-10-18 23:40:14 -070012#include <linux/nsproxy.h>
Ingo Molnar34f192c2006-03-27 01:16:24 -080013#include <linux/futex.h>
Kees Cookbdbb7762012-03-19 16:12:53 -070014#include <linux/ptrace.h>
Al Viro90caf582012-12-25 23:16:10 -050015#include <linux/syscalls.h>
Ingo Molnar34f192c2006-03-27 01:16:24 -080016
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080017#include <linux/uaccess.h>
Ingo Molnar34f192c2006-03-27 01:16:24 -080018
Ingo Molnare3f2dde2006-07-29 05:17:57 +020019
20/*
21 * Fetch a robust-list pointer. Bit 0 signals PI futexes:
22 */
23static inline int
24fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
Namhyung Kim1dcc41b2010-09-14 21:43:46 +090025 compat_uptr_t __user *head, unsigned int *pi)
Ingo Molnare3f2dde2006-07-29 05:17:57 +020026{
27 if (get_user(*uentry, head))
28 return -EFAULT;
29
30 *entry = compat_ptr((*uentry) & ~1);
31 *pi = (unsigned int)(*uentry) & 1;
32
33 return 0;
34}
35
Al Viro84816642008-03-29 03:07:58 +000036static void __user *futex_uaddr(struct robust_list __user *entry,
David Miller3c5fd9c72007-11-06 21:13:56 -080037 compat_long_t futex_offset)
38{
39 compat_uptr_t base = ptr_to_compat(entry);
40 void __user *uaddr = compat_ptr(base + futex_offset);
41
42 return uaddr;
43}
44
Ingo Molnar34f192c2006-03-27 01:16:24 -080045/*
46 * Walk curr->robust_list (very carefully, it's a userspace list!)
47 * and mark any locks found there dead, and notify any waiters.
48 *
49 * We silently return on any sign of list-walking problem.
50 */
51void compat_exit_robust_list(struct task_struct *curr)
52{
53 struct compat_robust_list_head __user *head = curr->compat_robust_list;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -070054 struct robust_list __user *entry, *next_entry, *pending;
Darren Hart4c115e92010-11-04 15:00:00 -040055 unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
56 unsigned int uninitialized_var(next_pi);
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -070057 compat_uptr_t uentry, next_uentry, upending;
Ingo Molnar34f192c2006-03-27 01:16:24 -080058 compat_long_t futex_offset;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -070059 int rc;
Ingo Molnar34f192c2006-03-27 01:16:24 -080060
Thomas Gleixnera0c1e902008-02-23 15:23:57 -080061 if (!futex_cmpxchg_enabled)
62 return;
63
Ingo Molnar34f192c2006-03-27 01:16:24 -080064 /*
65 * Fetch the list head (which was registered earlier, via
66 * sys_set_robust_list()):
67 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +020068 if (fetch_robust_entry(&uentry, &entry, &head->list.next, &pi))
Ingo Molnar34f192c2006-03-27 01:16:24 -080069 return;
Ingo Molnar34f192c2006-03-27 01:16:24 -080070 /*
71 * Fetch the relative futex offset:
72 */
73 if (get_user(futex_offset, &head->futex_offset))
74 return;
75 /*
76 * Fetch any possibly pending lock-add first, and handle it
77 * if it exists:
78 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +020079 if (fetch_robust_entry(&upending, &pending,
Thomas Gleixnerce2c6b52006-08-05 12:15:15 -070080 &head->list_op_pending, &pip))
Ingo Molnar34f192c2006-03-27 01:16:24 -080081 return;
Ingo Molnar34f192c2006-03-27 01:16:24 -080082
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -070083 next_entry = NULL; /* avoid warning with gcc */
Arnd Bergmann179c85e2007-09-11 15:23:49 -070084 while (entry != (struct robust_list __user *) &head->list) {
Ingo Molnar34f192c2006-03-27 01:16:24 -080085 /*
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -070086 * Fetch the next entry in the list before calling
87 * handle_futex_death:
88 */
89 rc = fetch_robust_entry(&next_uentry, &next_entry,
90 (compat_uptr_t __user *)&entry->next, &next_pi);
91 /*
Ingo Molnar34f192c2006-03-27 01:16:24 -080092 * A pending lock might already be on the list, so
93 * dont process it twice:
94 */
David Miller3c5fd9c72007-11-06 21:13:56 -080095 if (entry != pending) {
96 void __user *uaddr = futex_uaddr(entry, futex_offset);
Ingo Molnar34f192c2006-03-27 01:16:24 -080097
David Miller3c5fd9c72007-11-06 21:13:56 -080098 if (handle_futex_death(uaddr, curr, pi))
99 return;
100 }
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700101 if (rc)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800102 return;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700103 uentry = next_uentry;
104 entry = next_entry;
105 pi = next_pi;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800106 /*
107 * Avoid excessively long or circular lists:
108 */
109 if (!--limit)
110 break;
111
112 cond_resched();
113 }
David Miller3c5fd9c72007-11-06 21:13:56 -0800114 if (pending) {
115 void __user *uaddr = futex_uaddr(pending, futex_offset);
116
117 handle_futex_death(uaddr, curr, pip);
118 }
Ingo Molnar34f192c2006-03-27 01:16:24 -0800119}
120
Al Viro90caf582012-12-25 23:16:10 -0500121COMPAT_SYSCALL_DEFINE2(set_robust_list,
122 struct compat_robust_list_head __user *, head,
123 compat_size_t, len)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800124{
Thomas Gleixnera0c1e902008-02-23 15:23:57 -0800125 if (!futex_cmpxchg_enabled)
126 return -ENOSYS;
127
Ingo Molnar34f192c2006-03-27 01:16:24 -0800128 if (unlikely(len != sizeof(*head)))
129 return -EINVAL;
130
131 current->compat_robust_list = head;
132
133 return 0;
134}
135
Al Viro90caf582012-12-25 23:16:10 -0500136COMPAT_SYSCALL_DEFINE3(get_robust_list, int, pid,
137 compat_uptr_t __user *, head_ptr,
138 compat_size_t __user *, len_ptr)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800139{
Al Viroba46df92006-10-10 22:46:07 +0100140 struct compat_robust_list_head __user *head;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800141 unsigned long ret;
Kees Cookbdbb7762012-03-19 16:12:53 -0700142 struct task_struct *p;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800143
Thomas Gleixnera0c1e902008-02-23 15:23:57 -0800144 if (!futex_cmpxchg_enabled)
145 return -ENOSYS;
146
Kees Cookbdbb7762012-03-19 16:12:53 -0700147 rcu_read_lock();
Ingo Molnar34f192c2006-03-27 01:16:24 -0800148
Kees Cookbdbb7762012-03-19 16:12:53 -0700149 ret = -ESRCH;
150 if (!pid)
151 p = current;
152 else {
Pavel Emelyanov228ebcb2007-10-18 23:40:16 -0700153 p = find_task_by_vpid(pid);
Ingo Molnar34f192c2006-03-27 01:16:24 -0800154 if (!p)
155 goto err_unlock;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800156 }
157
Kees Cookbdbb7762012-03-19 16:12:53 -0700158 ret = -EPERM;
Jann Horncaaee622016-01-20 15:00:04 -0800159 if (!ptrace_may_access(p, PTRACE_MODE_READ_REALCREDS))
Kees Cookbdbb7762012-03-19 16:12:53 -0700160 goto err_unlock;
161
162 head = p->compat_robust_list;
163 rcu_read_unlock();
164
Ingo Molnar34f192c2006-03-27 01:16:24 -0800165 if (put_user(sizeof(*head), len_ptr))
166 return -EFAULT;
167 return put_user(ptr_to_compat(head), head_ptr);
168
169err_unlock:
Thomas Gleixnerf409adf2009-12-01 14:02:00 +0100170 rcu_read_unlock();
Ingo Molnar34f192c2006-03-27 01:16:24 -0800171
172 return ret;
173}
174
Al Viro90caf582012-12-25 23:16:10 -0500175COMPAT_SYSCALL_DEFINE6(futex, u32 __user *, uaddr, int, op, u32, val,
176 struct compat_timespec __user *, utime, u32 __user *, uaddr2,
177 u32, val3)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800178{
Pierre Peifferc19384b2007-05-09 02:35:02 -0700179 struct timespec ts;
180 ktime_t t, *tp = NULL;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800181 int val2 = 0;
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700182 int cmd = op & FUTEX_CMD_MASK;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800183
Thomas Gleixnercd689982008-02-01 17:45:14 +0100184 if (utime && (cmd == FUTEX_WAIT || cmd == FUTEX_LOCK_PI ||
Dinakar Guniguntala4dc88022009-08-10 18:31:42 +0530185 cmd == FUTEX_WAIT_BITSET ||
186 cmd == FUTEX_WAIT_REQUEUE_PI)) {
H. Peter Anvin81993e82014-02-01 18:54:11 -0800187 if (compat_get_timespec(&ts, utime))
Ingo Molnar34f192c2006-03-27 01:16:24 -0800188 return -EFAULT;
Pierre Peifferc19384b2007-05-09 02:35:02 -0700189 if (!timespec_valid(&ts))
Thomas Gleixner9741ef962006-03-31 02:31:32 -0800190 return -EINVAL;
Pierre Peifferc19384b2007-05-09 02:35:02 -0700191
192 t = timespec_to_ktime(ts);
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700193 if (cmd == FUTEX_WAIT)
Thomas Gleixner5a7780e2008-02-13 09:20:43 +0100194 t = ktime_add_safe(ktime_get(), t);
Pierre Peifferc19384b2007-05-09 02:35:02 -0700195 tp = &t;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800196 }
Dinakar Guniguntala4dc88022009-08-10 18:31:42 +0530197 if (cmd == FUTEX_REQUEUE || cmd == FUTEX_CMP_REQUEUE ||
198 cmd == FUTEX_CMP_REQUEUE_PI || cmd == FUTEX_WAKE_OP)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800199 val2 = (int) (unsigned long) utime;
200
Pierre Peifferc19384b2007-05-09 02:35:02 -0700201 return do_futex(uaddr, op, val, tp, uaddr2, val2, val3);
Ingo Molnar34f192c2006-03-27 01:16:24 -0800202}