Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 2 | /* |
| 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 Emelyanov | b488893 | 2007-10-18 23:40:14 -0700 | [diff] [blame] | 12 | #include <linux/nsproxy.h> |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 13 | #include <linux/futex.h> |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 14 | #include <linux/ptrace.h> |
Al Viro | 90caf58 | 2012-12-25 23:16:10 -0500 | [diff] [blame] | 15 | #include <linux/syscalls.h> |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 16 | |
Linus Torvalds | 7c0f6ba | 2016-12-24 11:46:01 -0800 | [diff] [blame] | 17 | #include <linux/uaccess.h> |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 18 | |
Ingo Molnar | e3f2dde | 2006-07-29 05:17:57 +0200 | [diff] [blame] | 19 | |
| 20 | /* |
| 21 | * Fetch a robust-list pointer. Bit 0 signals PI futexes: |
| 22 | */ |
| 23 | static inline int |
| 24 | fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry, |
Namhyung Kim | 1dcc41b | 2010-09-14 21:43:46 +0900 | [diff] [blame] | 25 | compat_uptr_t __user *head, unsigned int *pi) |
Ingo Molnar | e3f2dde | 2006-07-29 05:17:57 +0200 | [diff] [blame] | 26 | { |
| 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 Viro | 8481664 | 2008-03-29 03:07:58 +0000 | [diff] [blame] | 36 | static void __user *futex_uaddr(struct robust_list __user *entry, |
David Miller | 3c5fd9c7 | 2007-11-06 21:13:56 -0800 | [diff] [blame] | 37 | 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 Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 45 | /* |
| 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 | */ |
| 51 | void compat_exit_robust_list(struct task_struct *curr) |
| 52 | { |
| 53 | struct compat_robust_list_head __user *head = curr->compat_robust_list; |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 54 | struct robust_list __user *entry, *next_entry, *pending; |
Darren Hart | 4c115e9 | 2010-11-04 15:00:00 -0400 | [diff] [blame] | 55 | unsigned int limit = ROBUST_LIST_LIMIT, pi, pip; |
| 56 | unsigned int uninitialized_var(next_pi); |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 57 | compat_uptr_t uentry, next_uentry, upending; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 58 | compat_long_t futex_offset; |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 59 | int rc; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 60 | |
Thomas Gleixner | a0c1e90 | 2008-02-23 15:23:57 -0800 | [diff] [blame] | 61 | if (!futex_cmpxchg_enabled) |
| 62 | return; |
| 63 | |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 64 | /* |
| 65 | * Fetch the list head (which was registered earlier, via |
| 66 | * sys_set_robust_list()): |
| 67 | */ |
Ingo Molnar | e3f2dde | 2006-07-29 05:17:57 +0200 | [diff] [blame] | 68 | if (fetch_robust_entry(&uentry, &entry, &head->list.next, &pi)) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 69 | return; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 70 | /* |
| 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 Molnar | e3f2dde | 2006-07-29 05:17:57 +0200 | [diff] [blame] | 79 | if (fetch_robust_entry(&upending, &pending, |
Thomas Gleixner | ce2c6b5 | 2006-08-05 12:15:15 -0700 | [diff] [blame] | 80 | &head->list_op_pending, &pip)) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 81 | return; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 82 | |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 83 | next_entry = NULL; /* avoid warning with gcc */ |
Arnd Bergmann | 179c85e | 2007-09-11 15:23:49 -0700 | [diff] [blame] | 84 | while (entry != (struct robust_list __user *) &head->list) { |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 85 | /* |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 86 | * 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 Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 92 | * A pending lock might already be on the list, so |
| 93 | * dont process it twice: |
| 94 | */ |
David Miller | 3c5fd9c7 | 2007-11-06 21:13:56 -0800 | [diff] [blame] | 95 | if (entry != pending) { |
| 96 | void __user *uaddr = futex_uaddr(entry, futex_offset); |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 97 | |
David Miller | 3c5fd9c7 | 2007-11-06 21:13:56 -0800 | [diff] [blame] | 98 | if (handle_futex_death(uaddr, curr, pi)) |
| 99 | return; |
| 100 | } |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 101 | if (rc) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 102 | return; |
Martin Schwidefsky | 9f96cb1 | 2007-10-01 01:20:13 -0700 | [diff] [blame] | 103 | uentry = next_uentry; |
| 104 | entry = next_entry; |
| 105 | pi = next_pi; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 106 | /* |
| 107 | * Avoid excessively long or circular lists: |
| 108 | */ |
| 109 | if (!--limit) |
| 110 | break; |
| 111 | |
| 112 | cond_resched(); |
| 113 | } |
David Miller | 3c5fd9c7 | 2007-11-06 21:13:56 -0800 | [diff] [blame] | 114 | if (pending) { |
| 115 | void __user *uaddr = futex_uaddr(pending, futex_offset); |
| 116 | |
| 117 | handle_futex_death(uaddr, curr, pip); |
| 118 | } |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 119 | } |
| 120 | |
Al Viro | 90caf58 | 2012-12-25 23:16:10 -0500 | [diff] [blame] | 121 | COMPAT_SYSCALL_DEFINE2(set_robust_list, |
| 122 | struct compat_robust_list_head __user *, head, |
| 123 | compat_size_t, len) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 124 | { |
Thomas Gleixner | a0c1e90 | 2008-02-23 15:23:57 -0800 | [diff] [blame] | 125 | if (!futex_cmpxchg_enabled) |
| 126 | return -ENOSYS; |
| 127 | |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 128 | if (unlikely(len != sizeof(*head))) |
| 129 | return -EINVAL; |
| 130 | |
| 131 | current->compat_robust_list = head; |
| 132 | |
| 133 | return 0; |
| 134 | } |
| 135 | |
Al Viro | 90caf58 | 2012-12-25 23:16:10 -0500 | [diff] [blame] | 136 | COMPAT_SYSCALL_DEFINE3(get_robust_list, int, pid, |
| 137 | compat_uptr_t __user *, head_ptr, |
| 138 | compat_size_t __user *, len_ptr) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 139 | { |
Al Viro | ba46df9 | 2006-10-10 22:46:07 +0100 | [diff] [blame] | 140 | struct compat_robust_list_head __user *head; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 141 | unsigned long ret; |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 142 | struct task_struct *p; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 143 | |
Thomas Gleixner | a0c1e90 | 2008-02-23 15:23:57 -0800 | [diff] [blame] | 144 | if (!futex_cmpxchg_enabled) |
| 145 | return -ENOSYS; |
| 146 | |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 147 | rcu_read_lock(); |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 148 | |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 149 | ret = -ESRCH; |
| 150 | if (!pid) |
| 151 | p = current; |
| 152 | else { |
Pavel Emelyanov | 228ebcb | 2007-10-18 23:40:16 -0700 | [diff] [blame] | 153 | p = find_task_by_vpid(pid); |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 154 | if (!p) |
| 155 | goto err_unlock; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 156 | } |
| 157 | |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 158 | ret = -EPERM; |
Jann Horn | caaee62 | 2016-01-20 15:00:04 -0800 | [diff] [blame] | 159 | if (!ptrace_may_access(p, PTRACE_MODE_READ_REALCREDS)) |
Kees Cook | bdbb776 | 2012-03-19 16:12:53 -0700 | [diff] [blame] | 160 | goto err_unlock; |
| 161 | |
| 162 | head = p->compat_robust_list; |
| 163 | rcu_read_unlock(); |
| 164 | |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 165 | if (put_user(sizeof(*head), len_ptr)) |
| 166 | return -EFAULT; |
| 167 | return put_user(ptr_to_compat(head), head_ptr); |
| 168 | |
| 169 | err_unlock: |
Thomas Gleixner | f409adf | 2009-12-01 14:02:00 +0100 | [diff] [blame] | 170 | rcu_read_unlock(); |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 171 | |
| 172 | return ret; |
| 173 | } |
| 174 | |
Al Viro | 90caf58 | 2012-12-25 23:16:10 -0500 | [diff] [blame] | 175 | COMPAT_SYSCALL_DEFINE6(futex, u32 __user *, uaddr, int, op, u32, val, |
| 176 | struct compat_timespec __user *, utime, u32 __user *, uaddr2, |
| 177 | u32, val3) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 178 | { |
Pierre Peiffer | c19384b | 2007-05-09 02:35:02 -0700 | [diff] [blame] | 179 | struct timespec ts; |
| 180 | ktime_t t, *tp = NULL; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 181 | int val2 = 0; |
Ulrich Drepper | f0ede66 | 2007-06-01 00:46:41 -0700 | [diff] [blame] | 182 | int cmd = op & FUTEX_CMD_MASK; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 183 | |
Thomas Gleixner | cd68998 | 2008-02-01 17:45:14 +0100 | [diff] [blame] | 184 | if (utime && (cmd == FUTEX_WAIT || cmd == FUTEX_LOCK_PI || |
Dinakar Guniguntala | 4dc8802 | 2009-08-10 18:31:42 +0530 | [diff] [blame] | 185 | cmd == FUTEX_WAIT_BITSET || |
| 186 | cmd == FUTEX_WAIT_REQUEUE_PI)) { |
H. Peter Anvin | 81993e8 | 2014-02-01 18:54:11 -0800 | [diff] [blame] | 187 | if (compat_get_timespec(&ts, utime)) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 188 | return -EFAULT; |
Pierre Peiffer | c19384b | 2007-05-09 02:35:02 -0700 | [diff] [blame] | 189 | if (!timespec_valid(&ts)) |
Thomas Gleixner | 9741ef96 | 2006-03-31 02:31:32 -0800 | [diff] [blame] | 190 | return -EINVAL; |
Pierre Peiffer | c19384b | 2007-05-09 02:35:02 -0700 | [diff] [blame] | 191 | |
| 192 | t = timespec_to_ktime(ts); |
Ulrich Drepper | f0ede66 | 2007-06-01 00:46:41 -0700 | [diff] [blame] | 193 | if (cmd == FUTEX_WAIT) |
Thomas Gleixner | 5a7780e | 2008-02-13 09:20:43 +0100 | [diff] [blame] | 194 | t = ktime_add_safe(ktime_get(), t); |
Pierre Peiffer | c19384b | 2007-05-09 02:35:02 -0700 | [diff] [blame] | 195 | tp = &t; |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 196 | } |
Dinakar Guniguntala | 4dc8802 | 2009-08-10 18:31:42 +0530 | [diff] [blame] | 197 | if (cmd == FUTEX_REQUEUE || cmd == FUTEX_CMP_REQUEUE || |
| 198 | cmd == FUTEX_CMP_REQUEUE_PI || cmd == FUTEX_WAKE_OP) |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 199 | val2 = (int) (unsigned long) utime; |
| 200 | |
Pierre Peiffer | c19384b | 2007-05-09 02:35:02 -0700 | [diff] [blame] | 201 | return do_futex(uaddr, op, val, tp, uaddr2, val2, val3); |
Ingo Molnar | 34f192c | 2006-03-27 01:16:24 -0800 | [diff] [blame] | 202 | } |