blob: 51dd822a80601d786e6c5d7f29ea71a0764793a9 [file] [log] [blame]
Thomas Gleixner1a59d1b82019-05-27 08:55:05 +02001// SPDX-License-Identifier: GPL-2.0-or-later
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * Fast Userspace Mutexes (which I call "Futexes!").
4 * (C) Rusty Russell, IBM 2002
5 *
6 * Generalized futexes, futex requeueing, misc fixes by Ingo Molnar
7 * (C) Copyright 2003 Red Hat Inc, All Rights Reserved
8 *
9 * Removed page pinning, fix privately mapped COW pages and other cleanups
10 * (C) Copyright 2003, 2004 Jamie Lokier
11 *
Ingo Molnar0771dfe2006-03-27 01:16:22 -080012 * Robust futex support started by Ingo Molnar
13 * (C) Copyright 2006 Red Hat Inc, All Rights Reserved
14 * Thanks to Thomas Gleixner for suggestions, analysis and fixes.
15 *
Ingo Molnarc87e2832006-06-27 02:54:58 -070016 * PI-futex support started by Ingo Molnar and Thomas Gleixner
17 * Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <mingo@redhat.com>
18 * Copyright (C) 2006 Timesys Corp., Thomas Gleixner <tglx@timesys.com>
19 *
Eric Dumazet34f01cc2007-05-09 02:35:04 -070020 * PRIVATE futexes by Eric Dumazet
21 * Copyright (C) 2007 Eric Dumazet <dada1@cosmosbay.com>
22 *
Darren Hart52400ba2009-04-03 13:40:49 -070023 * Requeue-PI support by Darren Hart <dvhltc@us.ibm.com>
24 * Copyright (C) IBM Corporation, 2009
25 * Thanks to Thomas Gleixner for conceptual design and careful reviews.
26 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070027 * Thanks to Ben LaHaise for yelling "hashed waitqueues" loudly
28 * enough at me, Linus for the original (flawed) idea, Matthew
29 * Kirkwood for proof-of-concept implementation.
30 *
31 * "The futexes are also cursed."
32 * "But they come in a choice of three flavours!"
Linus Torvalds1da177e2005-04-16 15:20:36 -070033 */
Arnd Bergmann04e77122018-04-17 16:31:07 +020034#include <linux/compat.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070035#include <linux/jhash.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070036#include <linux/pagemap.h>
Mike Rapoport57c8a662018-10-30 15:09:49 -070037#include <linux/memblock.h>
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070038#include <linux/fault-inject.h>
Peter Zijlstraaf8cc962021-09-23 14:10:51 -030039#include <linux/slab.h>
Pavel Emelyanovb4888932007-10-18 23:40:14 -070040
Peter Zijlstraaf8cc962021-09-23 14:10:51 -030041#include "futex.h"
Peter Zijlstra77e52ae2021-09-23 14:10:50 -030042#include "../locking/rtmutex_common.h"
Ingo Molnarc87e2832006-06-27 02:54:58 -070043
Darren Hartb41277d2010-11-08 13:10:09 -080044/*
Rasmus Villemoesac742d32015-09-09 23:36:40 +020045 * The base of the bucket array and its size are always used together
Peter Zijlstraeee5a7b2021-09-23 14:10:56 -030046 * (after initialization only in futex_hash()), so ensure that they
Rasmus Villemoesac742d32015-09-09 23:36:40 +020047 * reside in the same cacheline.
48 */
49static struct {
50 struct futex_hash_bucket *queues;
51 unsigned long hashsize;
52} __futex_data __read_mostly __aligned(2*sizeof(long));
53#define futex_queues (__futex_data.queues)
54#define futex_hashsize (__futex_data.hashsize)
Davidlohr Buesoa52b89e2014-01-12 15:31:23 -080055
Linus Torvalds1da177e2005-04-16 15:20:36 -070056
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070057/*
58 * Fault injections for futexes.
59 */
60#ifdef CONFIG_FAIL_FUTEX
61
62static struct {
63 struct fault_attr attr;
64
Viresh Kumar621a5f72015-09-26 15:04:07 -070065 bool ignore_private;
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070066} fail_futex = {
67 .attr = FAULT_ATTR_INITIALIZER,
Viresh Kumar621a5f72015-09-26 15:04:07 -070068 .ignore_private = false,
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070069};
70
71static int __init setup_fail_futex(char *str)
72{
73 return setup_fault_attr(&fail_futex.attr, str);
74}
75__setup("fail_futex=", setup_fail_futex);
76
Peter Zijlstraaf8cc962021-09-23 14:10:51 -030077bool should_fail_futex(bool fshared)
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070078{
79 if (fail_futex.ignore_private && !fshared)
80 return false;
81
82 return should_fail(&fail_futex.attr, 1);
83}
84
85#ifdef CONFIG_FAULT_INJECTION_DEBUG_FS
86
87static int __init fail_futex_debugfs(void)
88{
89 umode_t mode = S_IFREG | S_IRUSR | S_IWUSR;
90 struct dentry *dir;
91
92 dir = fault_create_debugfs_attr("fail_futex", NULL,
93 &fail_futex.attr);
94 if (IS_ERR(dir))
95 return PTR_ERR(dir);
96
Greg Kroah-Hartman0365aeb2019-01-22 16:21:39 +010097 debugfs_create_bool("ignore-private", mode, dir,
98 &fail_futex.ignore_private);
Davidlohr Buesoab51fba2015-06-29 23:26:02 -070099 return 0;
100}
101
102late_initcall(fail_futex_debugfs);
103
104#endif /* CONFIG_FAULT_INJECTION_DEBUG_FS */
105
Davidlohr Buesoab51fba2015-06-29 23:26:02 -0700106#endif /* CONFIG_FAIL_FUTEX */
107
Thomas Gleixnere8b61b32016-06-01 10:43:29 +0200108/**
Peter Zijlstraeee5a7b2021-09-23 14:10:56 -0300109 * futex_hash - Return the hash bucket in the global hash
Thomas Gleixnere8b61b32016-06-01 10:43:29 +0200110 * @key: Pointer to the futex key for which the hash is calculated
111 *
112 * We hash on the keys returned from get_futex_key (see below) and return the
113 * corresponding hash bucket in the global hash.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300115struct futex_hash_bucket *futex_hash(union futex_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116{
Thomas Gleixner8d677432020-03-08 19:07:17 +0100117 u32 hash = jhash2((u32 *)key, offsetof(typeof(*key), both.offset) / 4,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118 key->both.offset);
Thomas Gleixner8d677432020-03-08 19:07:17 +0100119
Davidlohr Buesoa52b89e2014-01-12 15:31:23 -0800120 return &futex_queues[hash & (futex_hashsize - 1)];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121}
122
Thomas Gleixnere8b61b32016-06-01 10:43:29 +0200123
124/**
Waiman Long5ca584d2019-05-28 12:03:45 -0400125 * futex_setup_timer - set up the sleeping hrtimer.
126 * @time: ptr to the given timeout value
127 * @timeout: the hrtimer_sleeper structure to be set up
128 * @flags: futex flags
129 * @range_ns: optional range in ns
130 *
131 * Return: Initialized hrtimer_sleeper structure or NULL if no timeout
132 * value given
133 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300134struct hrtimer_sleeper *
Waiman Long5ca584d2019-05-28 12:03:45 -0400135futex_setup_timer(ktime_t *time, struct hrtimer_sleeper *timeout,
136 int flags, u64 range_ns)
137{
138 if (!time)
139 return NULL;
140
Sebastian Andrzej Siewiordbc16252019-07-26 20:30:50 +0200141 hrtimer_init_sleeper_on_stack(timeout, (flags & FLAGS_CLOCKRT) ?
142 CLOCK_REALTIME : CLOCK_MONOTONIC,
143 HRTIMER_MODE_ABS);
Waiman Long5ca584d2019-05-28 12:03:45 -0400144 /*
145 * If range_ns is 0, calling hrtimer_set_expires_range_ns() is
146 * effectively the same as calling hrtimer_set_expires().
147 */
148 hrtimer_set_expires_range_ns(&timeout->timer, *time, range_ns);
149
150 return timeout;
151}
152
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100153/*
154 * Generate a machine wide unique identifier for this inode.
155 *
156 * This relies on u64 not wrapping in the life-time of the machine; which with
157 * 1ns resolution means almost 585 years.
158 *
159 * This further relies on the fact that a well formed program will not unmap
160 * the file while it has a (shared) futex waiting on it. This mapping will have
161 * a file reference which pins the mount and inode.
162 *
163 * If for some reason an inode gets evicted and read back in again, it will get
164 * a new sequence number and will _NOT_ match, even though it is the exact same
165 * file.
166 *
Peter Zijlstraf56a76f2021-09-23 14:11:00 -0300167 * It is important that futex_match() will never have a false-positive, esp.
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100168 * for PI futexes that can mess up the state. The above argues that false-negatives
169 * are only possible for malformed programs.
170 */
171static u64 get_inode_sequence_number(struct inode *inode)
172{
173 static atomic64_t i_seq;
174 u64 old;
175
176 /* Does the inode already have a sequence number? */
177 old = atomic64_read(&inode->i_sequence);
178 if (likely(old))
179 return old;
180
181 for (;;) {
182 u64 new = atomic64_add_return(1, &i_seq);
183 if (WARN_ON_ONCE(!new))
184 continue;
185
186 old = atomic64_cmpxchg_relaxed(&inode->i_sequence, 0, new);
187 if (old)
188 return old;
189 return new;
190 }
191}
192
Waiman Long5ca584d2019-05-28 12:03:45 -0400193/**
Darren Hartd96ee562009-09-21 22:30:22 -0700194 * get_futex_key() - Get parameters which are the keys for a futex
195 * @uaddr: virtual address of the futex
André Almeida92613082020-07-02 17:28:43 -0300196 * @fshared: false for a PROCESS_PRIVATE futex, true for PROCESS_SHARED
Darren Hartd96ee562009-09-21 22:30:22 -0700197 * @key: address where result is stored.
Linus Torvalds96d4f262019-01-03 18:57:57 -0800198 * @rw: mapping needs to be read/write (values: FUTEX_READ,
199 * FUTEX_WRITE)
Eric Dumazet34f01cc2007-05-09 02:35:04 -0700200 *
Randy Dunlap6c23cbb2013-03-05 10:00:24 -0800201 * Return: a negative error code or 0
202 *
Mauro Carvalho Chehab7b4ff1a2017-05-11 10:17:45 -0300203 * The key words are stored in @key on success.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700204 *
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100205 * For shared mappings (when @fshared), the key is:
Mauro Carvalho Chehab03c109d2020-04-14 18:48:58 +0200206 *
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100207 * ( inode->i_sequence, page->index, offset_within_page )
Mauro Carvalho Chehab03c109d2020-04-14 18:48:58 +0200208 *
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100209 * [ also see get_inode_sequence_number() ]
210 *
211 * For private mappings (or when !@fshared), the key is:
Mauro Carvalho Chehab03c109d2020-04-14 18:48:58 +0200212 *
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100213 * ( current->mm, address, 0 )
214 *
215 * This allows (cross process, where applicable) identification of the futex
216 * without keeping the page pinned for the duration of the FUTEX_WAIT.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700217 *
Darren Hartb2d09942009-03-12 00:55:37 -0700218 * lock_page() might sleep, the caller should not hold a spinlock.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300220int get_futex_key(u32 __user *uaddr, bool fshared, union futex_key *key,
221 enum futex_access rw)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222{
Ingo Molnare2970f22006-06-27 02:54:47 -0700223 unsigned long address = (unsigned long)uaddr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700224 struct mm_struct *mm = current->mm;
Mel Gorman077fa7a2016-06-08 14:25:22 +0100225 struct page *page, *tail;
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800226 struct address_space *mapping;
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500227 int err, ro = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228
229 /*
230 * The futex address must be "naturally" aligned.
231 */
Ingo Molnare2970f22006-06-27 02:54:47 -0700232 key->both.offset = address % PAGE_SIZE;
Eric Dumazet34f01cc2007-05-09 02:35:04 -0700233 if (unlikely((address % sizeof(u32)) != 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700234 return -EINVAL;
Ingo Molnare2970f22006-06-27 02:54:47 -0700235 address -= key->both.offset;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700236
Linus Torvalds96d4f262019-01-03 18:57:57 -0800237 if (unlikely(!access_ok(uaddr, sizeof(u32))))
Linus Torvalds5cdec2d2013-12-12 09:53:51 -0800238 return -EFAULT;
239
Davidlohr Buesoab51fba2015-06-29 23:26:02 -0700240 if (unlikely(should_fail_futex(fshared)))
241 return -EFAULT;
242
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243 /*
Eric Dumazet34f01cc2007-05-09 02:35:04 -0700244 * PROCESS_PRIVATE futexes are fast.
245 * As the mm cannot disappear under us and the 'key' only needs
246 * virtual address, we dont even have to find the underlying vma.
247 * Note : We do have to check 'uaddr' is a valid user address,
248 * but access_ok() should be faster than find_vma()
249 */
250 if (!fshared) {
Eric Dumazet34f01cc2007-05-09 02:35:04 -0700251 key->private.mm = mm;
252 key->private.address = address;
253 return 0;
254 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700255
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200256again:
Davidlohr Buesoab51fba2015-06-29 23:26:02 -0700257 /* Ignore any VERIFY_READ mapping (futex common case) */
André Almeida92613082020-07-02 17:28:43 -0300258 if (unlikely(should_fail_futex(true)))
Davidlohr Buesoab51fba2015-06-29 23:26:02 -0700259 return -EFAULT;
260
Ira Weiny73b01402019-05-13 17:17:11 -0700261 err = get_user_pages_fast(address, 1, FOLL_WRITE, &page);
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500262 /*
263 * If write access is not required (eg. FUTEX_WAIT), try
264 * and get read-only access.
265 */
Linus Torvalds96d4f262019-01-03 18:57:57 -0800266 if (err == -EFAULT && rw == FUTEX_READ) {
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500267 err = get_user_pages_fast(address, 1, 0, &page);
268 ro = 1;
269 }
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200270 if (err < 0)
271 return err;
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500272 else
273 err = 0;
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200274
Mel Gorman65d8fc72016-02-09 11:15:14 -0800275 /*
276 * The treatment of mapping from this point on is critical. The page
277 * lock protects many things but in this context the page lock
278 * stabilizes mapping, prevents inode freeing in the shared
279 * file-backed region case and guards against movement to swap cache.
280 *
281 * Strictly speaking the page lock is not needed in all cases being
282 * considered here and page lock forces unnecessarily serialization
283 * From this point on, mapping will be re-verified if necessary and
284 * page lock will be acquired only if it is unavoidable
Mel Gorman077fa7a2016-06-08 14:25:22 +0100285 *
286 * Mapping checks require the head page for any compound page so the
287 * head page and mapping is looked up now. For anonymous pages, it
288 * does not matter if the page splits in the future as the key is
289 * based on the address. For filesystem-backed pages, the tail is
290 * required as the index of the page determines the key. For
291 * base pages, there is no tail page and tail == page.
Mel Gorman65d8fc72016-02-09 11:15:14 -0800292 */
Mel Gorman077fa7a2016-06-08 14:25:22 +0100293 tail = page;
Mel Gorman65d8fc72016-02-09 11:15:14 -0800294 page = compound_head(page);
295 mapping = READ_ONCE(page->mapping);
296
Hugh Dickinse6780f72011-12-31 11:44:01 -0800297 /*
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800298 * If page->mapping is NULL, then it cannot be a PageAnon
Hugh Dickinse6780f72011-12-31 11:44:01 -0800299 * page; but it might be the ZERO_PAGE or in the gate area or
300 * in a special mapping (all cases which we are happy to fail);
301 * or it may have been a good file page when get_user_pages_fast
302 * found it, but truncated or holepunched or subjected to
303 * invalidate_complete_page2 before we got the page lock (also
304 * cases which we are happy to fail). And we hold a reference,
305 * so refcount care in invalidate_complete_page's remove_mapping
306 * prevents drop_caches from setting mapping to NULL beneath us.
307 *
308 * The case we do have to guard against is when memory pressure made
309 * shmem_writepage move it from filecache to swapcache beneath us:
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800310 * an unlikely race, but we do need to retry for page->mapping.
Hugh Dickinse6780f72011-12-31 11:44:01 -0800311 */
Mel Gorman65d8fc72016-02-09 11:15:14 -0800312 if (unlikely(!mapping)) {
313 int shmem_swizzled;
314
315 /*
316 * Page lock is required to identify which special case above
317 * applies. If this is really a shmem page then the page lock
318 * will prevent unexpected transitions.
319 */
320 lock_page(page);
321 shmem_swizzled = PageSwapCache(page) || page->mapping;
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800322 unlock_page(page);
323 put_page(page);
Mel Gorman65d8fc72016-02-09 11:15:14 -0800324
Hugh Dickinse6780f72011-12-31 11:44:01 -0800325 if (shmem_swizzled)
326 goto again;
Mel Gorman65d8fc72016-02-09 11:15:14 -0800327
Hugh Dickinse6780f72011-12-31 11:44:01 -0800328 return -EFAULT;
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200329 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330
331 /*
332 * Private mappings are handled in a simple way.
333 *
Mel Gorman65d8fc72016-02-09 11:15:14 -0800334 * If the futex key is stored on an anonymous page, then the associated
335 * object is the mm which is implicitly pinned by the calling process.
336 *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700337 * NOTE: When userspace waits on a MAP_SHARED mapping, even if
338 * it's a read-only handle, it's expected that futexes attach to
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200339 * the object not the particular process.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340 */
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800341 if (PageAnon(page)) {
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500342 /*
343 * A RO anonymous page will never change and thus doesn't make
344 * sense for futex operations.
345 */
André Almeida92613082020-07-02 17:28:43 -0300346 if (unlikely(should_fail_futex(true)) || ro) {
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500347 err = -EFAULT;
348 goto out;
349 }
350
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200351 key->both.offset |= FUT_OFF_MMSHARED; /* ref taken on mm */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352 key->private.mm = mm;
Ingo Molnare2970f22006-06-27 02:54:47 -0700353 key->private.address = address;
Mel Gorman65d8fc72016-02-09 11:15:14 -0800354
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200355 } else {
Mel Gorman65d8fc72016-02-09 11:15:14 -0800356 struct inode *inode;
357
358 /*
359 * The associated futex object in this case is the inode and
360 * the page->mapping must be traversed. Ordinarily this should
361 * be stabilised under page lock but it's not strictly
362 * necessary in this case as we just want to pin the inode, not
363 * update the radix tree or anything like that.
364 *
365 * The RCU read lock is taken as the inode is finally freed
366 * under RCU. If the mapping still matches expectations then the
367 * mapping->host can be safely accessed as being a valid inode.
368 */
369 rcu_read_lock();
370
371 if (READ_ONCE(page->mapping) != mapping) {
372 rcu_read_unlock();
373 put_page(page);
374
375 goto again;
376 }
377
378 inode = READ_ONCE(mapping->host);
379 if (!inode) {
380 rcu_read_unlock();
381 put_page(page);
382
383 goto again;
384 }
385
Peter Zijlstra38d47c12008-09-26 19:32:20 +0200386 key->both.offset |= FUT_OFF_INODE; /* inode-based key */
Peter Zijlstra8019ad12020-03-04 11:28:31 +0100387 key->shared.i_seq = get_inode_sequence_number(inode);
Hugh Dickinsfe19bd32021-06-24 18:39:52 -0700388 key->shared.pgoff = page_to_pgoff(tail);
Mel Gorman65d8fc72016-02-09 11:15:14 -0800389 rcu_read_unlock();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390 }
391
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500392out:
Kirill A. Shutemov14d27ab2016-01-15 16:53:00 -0800393 put_page(page);
Shawn Bohrer9ea71502011-06-30 11:21:32 -0500394 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395}
396
Darren Hartd96ee562009-09-21 22:30:22 -0700397/**
398 * fault_in_user_writeable() - Fault in user address and verify RW access
Thomas Gleixnerd0725992009-06-11 23:15:43 +0200399 * @uaddr: pointer to faulting user space address
400 *
401 * Slow path to fixup the fault we just took in the atomic write
402 * access to @uaddr.
403 *
Randy Dunlapfb62db22010-10-13 11:02:34 -0700404 * We have no generic implementation of a non-destructive write to the
Thomas Gleixnerd0725992009-06-11 23:15:43 +0200405 * user address. We know that we faulted in the atomic pagefault
406 * disabled section so we can as well avoid the #PF overhead by
407 * calling get_user_pages() right away.
408 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300409int fault_in_user_writeable(u32 __user *uaddr)
Thomas Gleixnerd0725992009-06-11 23:15:43 +0200410{
Andi Kleen722d0172009-12-08 13:19:42 +0100411 struct mm_struct *mm = current->mm;
412 int ret;
413
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700414 mmap_read_lock(mm);
Peter Xu64019a22020-08-11 18:39:01 -0700415 ret = fixup_user_fault(mm, (unsigned long)uaddr,
Dominik Dingel4a9e1cd2016-01-15 16:57:04 -0800416 FAULT_FLAG_WRITE, NULL);
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700417 mmap_read_unlock(mm);
Andi Kleen722d0172009-12-08 13:19:42 +0100418
Thomas Gleixnerd0725992009-06-11 23:15:43 +0200419 return ret < 0 ? ret : 0;
420}
421
Darren Hart4b1c4862009-04-03 13:39:42 -0700422/**
423 * futex_top_waiter() - Return the highest priority waiter on a futex
Darren Hartd96ee562009-09-21 22:30:22 -0700424 * @hb: the hash bucket the futex_q's reside in
425 * @key: the futex key (to distinguish it from other futex futex_q's)
Darren Hart4b1c4862009-04-03 13:39:42 -0700426 *
427 * Must be called with the hb lock held.
428 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300429struct futex_q *futex_top_waiter(struct futex_hash_bucket *hb, union futex_key *key)
Darren Hart4b1c4862009-04-03 13:39:42 -0700430{
431 struct futex_q *this;
432
433 plist_for_each_entry(this, &hb->chain, list) {
Peter Zijlstraf56a76f2021-09-23 14:11:00 -0300434 if (futex_match(&this->key, key))
Darren Hart4b1c4862009-04-03 13:39:42 -0700435 return this;
436 }
437 return NULL;
438}
439
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300440int futex_cmpxchg_value_locked(u32 *curval, u32 __user *uaddr, u32 uval, u32 newval)
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700441{
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800442 int ret;
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700443
444 pagefault_disable();
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800445 ret = futex_atomic_cmpxchg_inatomic(curval, uaddr, uval, newval);
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700446 pagefault_enable();
447
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800448 return ret;
Thomas Gleixner36cf3b52007-07-15 23:41:20 -0700449}
450
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300451int futex_get_value_locked(u32 *dest, u32 __user *from)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452{
453 int ret;
454
Peter Zijlstraa8663742006-12-06 20:32:20 -0800455 pagefault_disable();
Linus Torvaldsbd28b142016-05-22 17:21:27 -0700456 ret = __get_user(*dest, from);
Peter Zijlstraa8663742006-12-06 20:32:20 -0800457 pagefault_enable();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458
459 return ret ? -EFAULT : 0;
460}
461
Thomas Gleixner3ef240e2019-11-06 22:55:46 +0100462/**
463 * wait_for_owner_exiting - Block until the owner has exited
Randy Dunlap51bfb1d2019-12-08 20:26:55 -0800464 * @ret: owner's current futex lock status
Thomas Gleixner3ef240e2019-11-06 22:55:46 +0100465 * @exiting: Pointer to the exiting task
466 *
467 * Caller must hold a refcount on @exiting.
468 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300469void wait_for_owner_exiting(int ret, struct task_struct *exiting)
Thomas Gleixner3ef240e2019-11-06 22:55:46 +0100470{
471 if (ret != -EBUSY) {
472 WARN_ON_ONCE(exiting);
473 return;
474 }
475
476 if (WARN_ON_ONCE(ret == -EBUSY && !exiting))
477 return;
478
479 mutex_lock(&exiting->futex_exit_mutex);
480 /*
481 * No point in doing state checking here. If the waiter got here
482 * while the task was in exec()->exec_futex_release() then it can
483 * have any FUTEX_STATE_* value when the waiter has acquired the
484 * mutex. OK, if running, EXITING or DEAD if it reached exit()
485 * already. Highly unlikely and not a problem. Just one more round
486 * through the futex maze.
487 */
488 mutex_unlock(&exiting->futex_exit_mutex);
489
490 put_task_struct(exiting);
491}
492
Lai Jiangshan2e129782010-12-22 14:18:50 +0800493/**
Peter Zijlstraaf92dce2021-09-23 14:10:55 -0300494 * __futex_unqueue() - Remove the futex_q from its futex_hash_bucket
Lai Jiangshan2e129782010-12-22 14:18:50 +0800495 * @q: The futex_q to unqueue
496 *
497 * The q->lock_ptr must not be NULL and must be held by the caller.
498 */
Peter Zijlstrae5c68282021-09-23 14:11:02 -0300499void __futex_unqueue(struct futex_q *q)
Lai Jiangshan2e129782010-12-22 14:18:50 +0800500{
501 struct futex_hash_bucket *hb;
502
Lance Roy4de1a292018-10-02 22:38:57 -0700503 if (WARN_ON_SMP(!q->lock_ptr) || WARN_ON(plist_node_empty(&q->list)))
Lai Jiangshan2e129782010-12-22 14:18:50 +0800504 return;
Lance Roy4de1a292018-10-02 22:38:57 -0700505 lockdep_assert_held(q->lock_ptr);
Lai Jiangshan2e129782010-12-22 14:18:50 +0800506
507 hb = container_of(q->lock_ptr, struct futex_hash_bucket, lock);
508 plist_del(&q->list, &hb->chain);
Peter Zijlstra832c0542021-09-23 14:10:59 -0300509 futex_hb_waiters_dec(hb);
Lai Jiangshan2e129782010-12-22 14:18:50 +0800510}
511
Linus Torvalds1da177e2005-04-16 15:20:36 -0700512/* The key must be already stored in q->key. */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300513struct futex_hash_bucket *futex_q_lock(struct futex_q *q)
Namhyung Kim15e408c2010-09-14 21:43:48 +0900514 __acquires(&hb->lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515{
Ingo Molnare2970f22006-06-27 02:54:47 -0700516 struct futex_hash_bucket *hb;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517
Peter Zijlstraeee5a7b2021-09-23 14:10:56 -0300518 hb = futex_hash(&q->key);
Linus Torvalds11d46162014-03-20 22:11:17 -0700519
520 /*
521 * Increment the counter before taking the lock so that
522 * a potential waker won't miss a to-be-slept task that is
Peter Zijlstrae7ba9c82021-09-23 14:10:54 -0300523 * waiting for the spinlock. This is safe as all futex_q_lock()
Peter Zijlstrabce760d2021-09-23 14:10:52 -0300524 * users end up calling futex_queue(). Similarly, for housekeeping,
Peter Zijlstrae7ba9c82021-09-23 14:10:54 -0300525 * decrement the counter at futex_q_unlock() when some error has
Linus Torvalds11d46162014-03-20 22:11:17 -0700526 * occurred and we don't end up adding the task to the list.
527 */
Peter Zijlstra832c0542021-09-23 14:10:59 -0300528 futex_hb_waiters_inc(hb); /* implies smp_mb(); (A) */
Linus Torvalds11d46162014-03-20 22:11:17 -0700529
Ingo Molnare2970f22006-06-27 02:54:47 -0700530 q->lock_ptr = &hb->lock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700531
Davidlohr Bueso6f568eb2019-02-06 10:56:02 -0800532 spin_lock(&hb->lock);
Ingo Molnare2970f22006-06-27 02:54:47 -0700533 return hb;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700534}
535
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300536void futex_q_unlock(struct futex_hash_bucket *hb)
Namhyung Kim15e408c2010-09-14 21:43:48 +0900537 __releases(&hb->lock)
Darren Hartd40d65c2009-09-21 22:30:15 -0700538{
539 spin_unlock(&hb->lock);
Peter Zijlstra832c0542021-09-23 14:10:59 -0300540 futex_hb_waiters_dec(hb);
Darren Hartd40d65c2009-09-21 22:30:15 -0700541}
542
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300543void __futex_queue(struct futex_q *q, struct futex_hash_bucket *hb)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544{
Pierre Peifferec92d082007-05-09 02:35:00 -0700545 int prio;
546
547 /*
548 * The priority used to register this element is
549 * - either the real thread-priority for the real-time threads
550 * (i.e. threads with a priority lower than MAX_RT_PRIO)
551 * - or MAX_RT_PRIO for non-RT threads.
552 * Thus, all RT-threads are woken first in priority order, and
553 * the others are woken last, in FIFO order.
554 */
555 prio = min(current->normal_prio, MAX_RT_PRIO);
556
557 plist_node_init(&q->list, prio);
Pierre Peifferec92d082007-05-09 02:35:00 -0700558 plist_add(&q->list, &hb->chain);
Ingo Molnarc87e2832006-06-27 02:54:58 -0700559 q->task = current;
Peter Zijlstracfafcd12017-03-22 11:35:58 +0100560}
561
562/**
Peter Zijlstrabce760d2021-09-23 14:10:52 -0300563 * futex_unqueue() - Remove the futex_q from its futex_hash_bucket
Darren Hartd40d65c2009-09-21 22:30:15 -0700564 * @q: The futex_q to unqueue
565 *
Peter Zijlstrabce760d2021-09-23 14:10:52 -0300566 * The q->lock_ptr must not be held by the caller. A call to futex_unqueue() must
567 * be paired with exactly one earlier call to futex_queue().
Darren Hartd40d65c2009-09-21 22:30:15 -0700568 *
Randy Dunlap6c23cbb2013-03-05 10:00:24 -0800569 * Return:
Mauro Carvalho Chehab7b4ff1a2017-05-11 10:17:45 -0300570 * - 1 - if the futex_q was still queued (and we removed unqueued it);
571 * - 0 - if the futex_q was already removed by the waking thread
Linus Torvalds1da177e2005-04-16 15:20:36 -0700572 */
Peter Zijlstraa046f1a2021-09-23 14:11:03 -0300573int futex_unqueue(struct futex_q *q)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700574{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700575 spinlock_t *lock_ptr;
Ingo Molnare2970f22006-06-27 02:54:47 -0700576 int ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577
578 /* In the common case we don't take the spinlock, which is nice. */
Darren Hart42d35d42008-12-29 15:49:53 -0800579retry:
Jianyu Zhan29b75eb2016-03-07 09:32:24 +0800580 /*
581 * q->lock_ptr can change between this read and the following spin_lock.
582 * Use READ_ONCE to forbid the compiler from reloading q->lock_ptr and
583 * optimizing lock_ptr out of the logic below.
584 */
585 lock_ptr = READ_ONCE(q->lock_ptr);
Stephen Hemmingerc80544d2007-10-18 03:07:05 -0700586 if (lock_ptr != NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587 spin_lock(lock_ptr);
588 /*
589 * q->lock_ptr can change between reading it and
590 * spin_lock(), causing us to take the wrong lock. This
591 * corrects the race condition.
592 *
593 * Reasoning goes like this: if we have the wrong lock,
594 * q->lock_ptr must have changed (maybe several times)
595 * between reading it and the spin_lock(). It can
596 * change again after the spin_lock() but only if it was
597 * already changed before the spin_lock(). It cannot,
598 * however, change back to the original value. Therefore
599 * we can detect whether we acquired the correct lock.
600 */
601 if (unlikely(lock_ptr != q->lock_ptr)) {
602 spin_unlock(lock_ptr);
603 goto retry;
604 }
Peter Zijlstraaf92dce2021-09-23 14:10:55 -0300605 __futex_unqueue(q);
Ingo Molnarc87e2832006-06-27 02:54:58 -0700606
607 BUG_ON(q->pi_state);
608
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 spin_unlock(lock_ptr);
610 ret = 1;
611 }
612
Linus Torvalds1da177e2005-04-16 15:20:36 -0700613 return ret;
614}
615
Ingo Molnarc87e2832006-06-27 02:54:58 -0700616/*
Ingo Molnar93d09552021-05-12 20:04:28 +0200617 * PI futexes can not be requeued and must remove themselves from the
Davidlohr Buesoa3f24282021-02-26 09:50:28 -0800618 * hash bucket. The hash bucket lock (i.e. lock_ptr) is held.
Ingo Molnarc87e2832006-06-27 02:54:58 -0700619 */
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300620void futex_unqueue_pi(struct futex_q *q)
Ingo Molnarc87e2832006-06-27 02:54:58 -0700621{
Peter Zijlstraaf92dce2021-09-23 14:10:55 -0300622 __futex_unqueue(q);
Ingo Molnarc87e2832006-06-27 02:54:58 -0700623
624 BUG_ON(!q->pi_state);
Thomas Gleixner29e9ee52015-12-19 20:07:39 +0000625 put_pi_state(q->pi_state);
Ingo Molnarc87e2832006-06-27 02:54:58 -0700626 q->pi_state = NULL;
Ingo Molnarc87e2832006-06-27 02:54:58 -0700627}
628
Yang Taoca16d5b2019-11-06 22:55:35 +0100629/* Constants for the pending_op argument of handle_futex_death */
630#define HANDLE_DEATH_PENDING true
631#define HANDLE_DEATH_LIST false
632
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800633/*
634 * Process a futex-list entry, check whether it's owned by the
635 * dying task, and do notification if so:
636 */
Yang Taoca16d5b2019-11-06 22:55:35 +0100637static int handle_futex_death(u32 __user *uaddr, struct task_struct *curr,
638 bool pi, bool pending_op)
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800639{
Kees Cook3f649ab2020-06-03 13:09:38 -0700640 u32 uval, nval, mval;
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000641 int err;
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800642
Chen Jie5a071682019-03-15 03:44:38 +0000643 /* Futex address must be 32bit aligned */
644 if ((((unsigned long)uaddr) % sizeof(*uaddr)) != 0)
645 return -1;
646
Ingo Molnar8f17d3a2006-03-27 01:16:27 -0800647retry:
648 if (get_user(uval, uaddr))
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800649 return -1;
650
Yang Taoca16d5b2019-11-06 22:55:35 +0100651 /*
652 * Special case for regular (non PI) futexes. The unlock path in
653 * user space has two race scenarios:
654 *
655 * 1. The unlock path releases the user space futex value and
656 * before it can execute the futex() syscall to wake up
657 * waiters it is killed.
658 *
659 * 2. A woken up waiter is killed before it can acquire the
660 * futex in user space.
661 *
662 * In both cases the TID validation below prevents a wakeup of
663 * potential waiters which can cause these waiters to block
664 * forever.
665 *
666 * In both cases the following conditions are met:
667 *
668 * 1) task->robust_list->list_op_pending != NULL
669 * @pending_op == true
670 * 2) User space futex value == 0
671 * 3) Regular futex: @pi == false
672 *
673 * If these conditions are met, it is safe to attempt waking up a
674 * potential waiter without touching the user space futex value and
675 * trying to set the OWNER_DIED bit. The user space futex value is
676 * uncontended and the rest of the user space mutex state is
677 * consistent, so a woken waiter will just take over the
678 * uncontended futex. Setting the OWNER_DIED bit would create
679 * inconsistent state and malfunction of the user space owner died
680 * handling.
681 */
682 if (pending_op && !pi && !uval) {
683 futex_wake(uaddr, 1, 1, FUTEX_BITSET_MATCH_ANY);
684 return 0;
685 }
686
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000687 if ((uval & FUTEX_TID_MASK) != task_pid_vnr(curr))
688 return 0;
689
690 /*
691 * Ok, this dying thread is truly holding a futex
692 * of interest. Set the OWNER_DIED bit atomically
693 * via cmpxchg, and if the value had FUTEX_WAITERS
694 * set, wake up a waiter (if any). (We have to do a
695 * futex_wake() even if OWNER_DIED is already set -
696 * to handle the rare but possible case of recursive
697 * thread-death.) The rest of the cleanup is done in
698 * userspace.
699 */
700 mval = (uval & FUTEX_WAITERS) | FUTEX_OWNER_DIED;
701
702 /*
703 * We are not holding a lock here, but we want to have
704 * the pagefault_disable/enable() protection because
705 * we want to handle the fault gracefully. If the
706 * access fails we try to fault in the futex with R/W
707 * verification via get_user_pages. get_user() above
708 * does not guarantee R/W access. If that fails we
709 * give up and leave the futex locked.
710 */
Peter Zijlstra966cb752021-09-23 14:10:57 -0300711 if ((err = futex_cmpxchg_value_locked(&nval, uaddr, uval, mval))) {
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000712 switch (err) {
713 case -EFAULT:
Thomas Gleixner6e0aa9f2011-03-14 10:34:35 +0100714 if (fault_in_user_writeable(uaddr))
715 return -1;
716 goto retry;
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000717
718 case -EAGAIN:
719 cond_resched();
Ingo Molnar8f17d3a2006-03-27 01:16:27 -0800720 goto retry;
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800721
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000722 default:
723 WARN_ON_ONCE(1);
724 return err;
725 }
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800726 }
Will Deacon6b4f4bc2019-02-28 11:58:08 +0000727
728 if (nval != uval)
729 goto retry;
730
731 /*
732 * Wake robust non-PI futexes here. The wakeup of
733 * PI futexes happens in exit_pi_state():
734 */
735 if (!pi && (uval & FUTEX_WAITERS))
736 futex_wake(uaddr, 1, 1, FUTEX_BITSET_MATCH_ANY);
737
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800738 return 0;
739}
740
741/*
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200742 * Fetch a robust-list pointer. Bit 0 signals PI futexes:
743 */
744static inline int fetch_robust_entry(struct robust_list __user **entry,
Al Viroba46df92006-10-10 22:46:07 +0100745 struct robust_list __user * __user *head,
Namhyung Kim1dcc41b2010-09-14 21:43:46 +0900746 unsigned int *pi)
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200747{
748 unsigned long uentry;
749
Al Viroba46df92006-10-10 22:46:07 +0100750 if (get_user(uentry, (unsigned long __user *)head))
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200751 return -EFAULT;
752
Al Viroba46df92006-10-10 22:46:07 +0100753 *entry = (void __user *)(uentry & ~1UL);
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200754 *pi = uentry & 1;
755
756 return 0;
757}
758
759/*
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800760 * Walk curr->robust_list (very carefully, it's a userspace list!)
761 * and mark any locks found there dead, and notify any waiters.
762 *
763 * We silently return on any sign of list-walking problem.
764 */
Thomas Gleixnerba31c1a42019-11-06 22:55:36 +0100765static void exit_robust_list(struct task_struct *curr)
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800766{
767 struct robust_list_head __user *head = curr->robust_list;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700768 struct robust_list __user *entry, *next_entry, *pending;
Darren Hart4c115e92010-11-04 15:00:00 -0400769 unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
Kees Cook3f649ab2020-06-03 13:09:38 -0700770 unsigned int next_pi;
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800771 unsigned long futex_offset;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700772 int rc;
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800773
774 /*
775 * Fetch the list head (which was registered earlier, via
776 * sys_set_robust_list()):
777 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200778 if (fetch_robust_entry(&entry, &head->list.next, &pi))
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800779 return;
780 /*
781 * Fetch the relative futex offset:
782 */
783 if (get_user(futex_offset, &head->futex_offset))
784 return;
785 /*
786 * Fetch any possibly pending lock-add first, and handle it
787 * if it exists:
788 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200789 if (fetch_robust_entry(&pending, &head->list_op_pending, &pip))
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800790 return;
Ingo Molnare3f2dde2006-07-29 05:17:57 +0200791
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700792 next_entry = NULL; /* avoid warning with gcc */
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800793 while (entry != &head->list) {
794 /*
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700795 * Fetch the next entry in the list before calling
796 * handle_futex_death:
797 */
798 rc = fetch_robust_entry(&next_entry, &entry->next, &next_pi);
799 /*
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800800 * A pending lock might already be on the list, so
Ingo Molnarc87e2832006-06-27 02:54:58 -0700801 * don't process it twice:
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800802 */
Yang Taoca16d5b2019-11-06 22:55:35 +0100803 if (entry != pending) {
Al Viroba46df92006-10-10 22:46:07 +0100804 if (handle_futex_death((void __user *)entry + futex_offset,
Yang Taoca16d5b2019-11-06 22:55:35 +0100805 curr, pi, HANDLE_DEATH_LIST))
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800806 return;
Yang Taoca16d5b2019-11-06 22:55:35 +0100807 }
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700808 if (rc)
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800809 return;
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700810 entry = next_entry;
811 pi = next_pi;
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800812 /*
813 * Avoid excessively long or circular lists:
814 */
815 if (!--limit)
816 break;
817
818 cond_resched();
819 }
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700820
Yang Taoca16d5b2019-11-06 22:55:35 +0100821 if (pending) {
Martin Schwidefsky9f96cb12007-10-01 01:20:13 -0700822 handle_futex_death((void __user *)pending + futex_offset,
Yang Taoca16d5b2019-11-06 22:55:35 +0100823 curr, pip, HANDLE_DEATH_PENDING);
824 }
Ingo Molnar0771dfe2006-03-27 01:16:22 -0800825}
826
Peter Zijlstraaf8cc962021-09-23 14:10:51 -0300827#ifdef CONFIG_COMPAT
828static void __user *futex_uaddr(struct robust_list __user *entry,
829 compat_long_t futex_offset)
830{
831 compat_uptr_t base = ptr_to_compat(entry);
832 void __user *uaddr = compat_ptr(base + futex_offset);
833
834 return uaddr;
835}
836
837/*
838 * Fetch a robust-list pointer. Bit 0 signals PI futexes:
839 */
840static inline int
841compat_fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
842 compat_uptr_t __user *head, unsigned int *pi)
843{
844 if (get_user(*uentry, head))
845 return -EFAULT;
846
847 *entry = compat_ptr((*uentry) & ~1);
848 *pi = (unsigned int)(*uentry) & 1;
849
850 return 0;
851}
852
853/*
854 * Walk curr->robust_list (very carefully, it's a userspace list!)
855 * and mark any locks found there dead, and notify any waiters.
856 *
857 * We silently return on any sign of list-walking problem.
858 */
859static void compat_exit_robust_list(struct task_struct *curr)
860{
861 struct compat_robust_list_head __user *head = curr->compat_robust_list;
862 struct robust_list __user *entry, *next_entry, *pending;
863 unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
864 unsigned int next_pi;
865 compat_uptr_t uentry, next_uentry, upending;
866 compat_long_t futex_offset;
867 int rc;
868
Peter Zijlstraaf8cc962021-09-23 14:10:51 -0300869 /*
870 * Fetch the list head (which was registered earlier, via
871 * sys_set_robust_list()):
872 */
873 if (compat_fetch_robust_entry(&uentry, &entry, &head->list.next, &pi))
874 return;
875 /*
876 * Fetch the relative futex offset:
877 */
878 if (get_user(futex_offset, &head->futex_offset))
879 return;
880 /*
881 * Fetch any possibly pending lock-add first, and handle it
882 * if it exists:
883 */
884 if (compat_fetch_robust_entry(&upending, &pending,
885 &head->list_op_pending, &pip))
886 return;
887
888 next_entry = NULL; /* avoid warning with gcc */
889 while (entry != (struct robust_list __user *) &head->list) {
890 /*
891 * Fetch the next entry in the list before calling
892 * handle_futex_death:
893 */
894 rc = compat_fetch_robust_entry(&next_uentry, &next_entry,
895 (compat_uptr_t __user *)&entry->next, &next_pi);
896 /*
897 * A pending lock might already be on the list, so
898 * dont process it twice:
899 */
900 if (entry != pending) {
901 void __user *uaddr = futex_uaddr(entry, futex_offset);
902
903 if (handle_futex_death(uaddr, curr, pi,
904 HANDLE_DEATH_LIST))
905 return;
906 }
907 if (rc)
908 return;
909 uentry = next_uentry;
910 entry = next_entry;
911 pi = next_pi;
912 /*
913 * Avoid excessively long or circular lists:
914 */
915 if (!--limit)
916 break;
917
918 cond_resched();
919 }
920 if (pending) {
921 void __user *uaddr = futex_uaddr(pending, futex_offset);
922
923 handle_futex_death(uaddr, curr, pip, HANDLE_DEATH_PENDING);
924 }
925}
926#endif
927
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300928#ifdef CONFIG_FUTEX_PI
929
930/*
931 * This task is holding PI mutexes at exit time => bad.
932 * Kernel cleans up PI-state, but userspace is likely hosed.
933 * (Robust-futex cleanup is separate and might save the day for userspace.)
934 */
935static void exit_pi_state_list(struct task_struct *curr)
936{
937 struct list_head *next, *head = &curr->pi_state_list;
938 struct futex_pi_state *pi_state;
939 struct futex_hash_bucket *hb;
940 union futex_key key = FUTEX_KEY_INIT;
941
Peter Zijlstra85dc28f2021-09-23 14:10:58 -0300942 /*
943 * We are a ZOMBIE and nobody can enqueue itself on
944 * pi_state_list anymore, but we have to be careful
945 * versus waiters unqueueing themselves:
946 */
947 raw_spin_lock_irq(&curr->pi_lock);
948 while (!list_empty(head)) {
949 next = head->next;
950 pi_state = list_entry(next, struct futex_pi_state, list);
951 key = pi_state->key;
952 hb = futex_hash(&key);
953
954 /*
955 * We can race against put_pi_state() removing itself from the
956 * list (a waiter going away). put_pi_state() will first
957 * decrement the reference count and then modify the list, so
958 * its possible to see the list entry but fail this reference
959 * acquire.
960 *
961 * In that case; drop the locks to let put_pi_state() make
962 * progress and retry the loop.
963 */
964 if (!refcount_inc_not_zero(&pi_state->refcount)) {
965 raw_spin_unlock_irq(&curr->pi_lock);
966 cpu_relax();
967 raw_spin_lock_irq(&curr->pi_lock);
968 continue;
969 }
970 raw_spin_unlock_irq(&curr->pi_lock);
971
972 spin_lock(&hb->lock);
973 raw_spin_lock_irq(&pi_state->pi_mutex.wait_lock);
974 raw_spin_lock(&curr->pi_lock);
975 /*
976 * We dropped the pi-lock, so re-check whether this
977 * task still owns the PI-state:
978 */
979 if (head->next != next) {
980 /* retain curr->pi_lock for the loop invariant */
981 raw_spin_unlock(&pi_state->pi_mutex.wait_lock);
982 spin_unlock(&hb->lock);
983 put_pi_state(pi_state);
984 continue;
985 }
986
987 WARN_ON(pi_state->owner != curr);
988 WARN_ON(list_empty(&pi_state->list));
989 list_del_init(&pi_state->list);
990 pi_state->owner = NULL;
991
992 raw_spin_unlock(&curr->pi_lock);
993 raw_spin_unlock_irq(&pi_state->pi_mutex.wait_lock);
994 spin_unlock(&hb->lock);
995
996 rt_mutex_futex_unlock(&pi_state->pi_mutex);
997 put_pi_state(pi_state);
998
999 raw_spin_lock_irq(&curr->pi_lock);
1000 }
1001 raw_spin_unlock_irq(&curr->pi_lock);
1002}
1003#else
1004static inline void exit_pi_state_list(struct task_struct *curr) { }
1005#endif
1006
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001007static void futex_cleanup(struct task_struct *tsk)
Thomas Gleixnerba31c1a42019-11-06 22:55:36 +01001008{
1009 if (unlikely(tsk->robust_list)) {
1010 exit_robust_list(tsk);
1011 tsk->robust_list = NULL;
1012 }
1013
1014#ifdef CONFIG_COMPAT
1015 if (unlikely(tsk->compat_robust_list)) {
1016 compat_exit_robust_list(tsk);
1017 tsk->compat_robust_list = NULL;
1018 }
1019#endif
1020
1021 if (unlikely(!list_empty(&tsk->pi_state_list)))
1022 exit_pi_state_list(tsk);
1023}
1024
Thomas Gleixner18f69432019-11-06 22:55:41 +01001025/**
1026 * futex_exit_recursive - Set the tasks futex state to FUTEX_STATE_DEAD
1027 * @tsk: task to set the state on
1028 *
1029 * Set the futex exit state of the task lockless. The futex waiter code
1030 * observes that state when a task is exiting and loops until the task has
1031 * actually finished the futex cleanup. The worst case for this is that the
1032 * waiter runs through the wait loop until the state becomes visible.
1033 *
Eric W. Biederman05ea0422021-11-22 09:33:00 -06001034 * This is called from the recursive fault handling path in make_task_dead().
Thomas Gleixner18f69432019-11-06 22:55:41 +01001035 *
1036 * This is best effort. Either the futex exit code has run already or
1037 * not. If the OWNER_DIED bit has been set on the futex then the waiter can
1038 * take it over. If not, the problem is pushed back to user space. If the
1039 * futex exit code did not run yet, then an already queued waiter might
1040 * block forever, but there is nothing which can be done about that.
1041 */
1042void futex_exit_recursive(struct task_struct *tsk)
1043{
Thomas Gleixner3f186d92019-11-06 22:55:44 +01001044 /* If the state is FUTEX_STATE_EXITING then futex_exit_mutex is held */
1045 if (tsk->futex_state == FUTEX_STATE_EXITING)
1046 mutex_unlock(&tsk->futex_exit_mutex);
Thomas Gleixner18f69432019-11-06 22:55:41 +01001047 tsk->futex_state = FUTEX_STATE_DEAD;
1048}
1049
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001050static void futex_cleanup_begin(struct task_struct *tsk)
Thomas Gleixner150d7152019-11-06 22:55:39 +01001051{
Thomas Gleixner18f69432019-11-06 22:55:41 +01001052 /*
Thomas Gleixner3f186d92019-11-06 22:55:44 +01001053 * Prevent various race issues against a concurrent incoming waiter
1054 * including live locks by forcing the waiter to block on
1055 * tsk->futex_exit_mutex when it observes FUTEX_STATE_EXITING in
1056 * attach_to_pi_owner().
1057 */
1058 mutex_lock(&tsk->futex_exit_mutex);
1059
1060 /*
Thomas Gleixner4a8e9912019-11-06 22:55:42 +01001061 * Switch the state to FUTEX_STATE_EXITING under tsk->pi_lock.
1062 *
1063 * This ensures that all subsequent checks of tsk->futex_state in
1064 * attach_to_pi_owner() must observe FUTEX_STATE_EXITING with
1065 * tsk->pi_lock held.
1066 *
1067 * It guarantees also that a pi_state which was queued right before
1068 * the state change under tsk->pi_lock by a concurrent waiter must
1069 * be observed in exit_pi_state_list().
Thomas Gleixner18f69432019-11-06 22:55:41 +01001070 */
1071 raw_spin_lock_irq(&tsk->pi_lock);
Thomas Gleixner4a8e9912019-11-06 22:55:42 +01001072 tsk->futex_state = FUTEX_STATE_EXITING;
Thomas Gleixner18f69432019-11-06 22:55:41 +01001073 raw_spin_unlock_irq(&tsk->pi_lock);
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001074}
Thomas Gleixner18f69432019-11-06 22:55:41 +01001075
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001076static void futex_cleanup_end(struct task_struct *tsk, int state)
1077{
1078 /*
1079 * Lockless store. The only side effect is that an observer might
1080 * take another loop until it becomes visible.
1081 */
1082 tsk->futex_state = state;
Thomas Gleixner3f186d92019-11-06 22:55:44 +01001083 /*
1084 * Drop the exit protection. This unblocks waiters which observed
1085 * FUTEX_STATE_EXITING to reevaluate the state.
1086 */
1087 mutex_unlock(&tsk->futex_exit_mutex);
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001088}
Thomas Gleixner18f69432019-11-06 22:55:41 +01001089
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001090void futex_exec_release(struct task_struct *tsk)
1091{
1092 /*
1093 * The state handling is done for consistency, but in the case of
Ingo Molnar93d09552021-05-12 20:04:28 +02001094 * exec() there is no way to prevent further damage as the PID stays
Thomas Gleixneraf8cbda2019-11-06 22:55:43 +01001095 * the same. But for the unlikely and arguably buggy case that a
1096 * futex is held on exec(), this provides at least as much state
1097 * consistency protection which is possible.
1098 */
1099 futex_cleanup_begin(tsk);
1100 futex_cleanup(tsk);
1101 /*
1102 * Reset the state to FUTEX_STATE_OK. The task is alive and about
1103 * exec a new binary.
1104 */
1105 futex_cleanup_end(tsk, FUTEX_STATE_OK);
1106}
1107
1108void futex_exit_release(struct task_struct *tsk)
1109{
1110 futex_cleanup_begin(tsk);
1111 futex_cleanup(tsk);
1112 futex_cleanup_end(tsk, FUTEX_STATE_DEAD);
Thomas Gleixner150d7152019-11-06 22:55:39 +01001113}
1114
Benjamin Herrenschmidtf6d107f2008-03-27 14:52:15 +11001115static int __init futex_init(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001116{
Heiko Carstens63b1a812014-01-16 14:54:50 +01001117 unsigned int futex_shift;
Davidlohr Buesoa52b89e2014-01-12 15:31:23 -08001118 unsigned long i;
1119
1120#if CONFIG_BASE_SMALL
1121 futex_hashsize = 16;
1122#else
1123 futex_hashsize = roundup_pow_of_two(256 * num_possible_cpus());
1124#endif
1125
1126 futex_queues = alloc_large_system_hash("futex", sizeof(*futex_queues),
1127 futex_hashsize, 0,
1128 futex_hashsize < 256 ? HASH_SMALL : 0,
Heiko Carstens63b1a812014-01-16 14:54:50 +01001129 &futex_shift, NULL,
1130 futex_hashsize, futex_hashsize);
1131 futex_hashsize = 1UL << futex_shift;
Heiko Carstens03b8c7b2014-03-02 13:09:47 +01001132
Davidlohr Buesoa52b89e2014-01-12 15:31:23 -08001133 for (i = 0; i < futex_hashsize; i++) {
Linus Torvalds11d46162014-03-20 22:11:17 -07001134 atomic_set(&futex_queues[i].waiters, 0);
Dima Zavin732375c2011-07-07 17:27:59 -07001135 plist_head_init(&futex_queues[i].chain);
Thomas Gleixner3e4ab742008-02-23 15:23:55 -08001136 spin_lock_init(&futex_queues[i].lock);
1137 }
1138
Linus Torvalds1da177e2005-04-16 15:20:36 -07001139 return 0;
1140}
Yang Yang25f71d12016-12-30 16:17:55 +08001141core_initcall(futex_init);