xref: /linux-6.15/kernel/futex/core.c (revision e3924279)
177e52ae3SPeter Zijlstra // SPDX-License-Identifier: GPL-2.0-or-later
277e52ae3SPeter Zijlstra /*
377e52ae3SPeter Zijlstra  *  Fast Userspace Mutexes (which I call "Futexes!").
477e52ae3SPeter Zijlstra  *  (C) Rusty Russell, IBM 2002
577e52ae3SPeter Zijlstra  *
677e52ae3SPeter Zijlstra  *  Generalized futexes, futex requeueing, misc fixes by Ingo Molnar
777e52ae3SPeter Zijlstra  *  (C) Copyright 2003 Red Hat Inc, All Rights Reserved
877e52ae3SPeter Zijlstra  *
977e52ae3SPeter Zijlstra  *  Removed page pinning, fix privately mapped COW pages and other cleanups
1077e52ae3SPeter Zijlstra  *  (C) Copyright 2003, 2004 Jamie Lokier
1177e52ae3SPeter Zijlstra  *
1277e52ae3SPeter Zijlstra  *  Robust futex support started by Ingo Molnar
1377e52ae3SPeter Zijlstra  *  (C) Copyright 2006 Red Hat Inc, All Rights Reserved
1477e52ae3SPeter Zijlstra  *  Thanks to Thomas Gleixner for suggestions, analysis and fixes.
1577e52ae3SPeter Zijlstra  *
1677e52ae3SPeter Zijlstra  *  PI-futex support started by Ingo Molnar and Thomas Gleixner
1777e52ae3SPeter Zijlstra  *  Copyright (C) 2006 Red Hat, Inc., Ingo Molnar <[email protected]>
1877e52ae3SPeter Zijlstra  *  Copyright (C) 2006 Timesys Corp., Thomas Gleixner <[email protected]>
1977e52ae3SPeter Zijlstra  *
2077e52ae3SPeter Zijlstra  *  PRIVATE futexes by Eric Dumazet
2177e52ae3SPeter Zijlstra  *  Copyright (C) 2007 Eric Dumazet <[email protected]>
2277e52ae3SPeter Zijlstra  *
2377e52ae3SPeter Zijlstra  *  Requeue-PI support by Darren Hart <[email protected]>
2477e52ae3SPeter Zijlstra  *  Copyright (C) IBM Corporation, 2009
2577e52ae3SPeter Zijlstra  *  Thanks to Thomas Gleixner for conceptual design and careful reviews.
2677e52ae3SPeter Zijlstra  *
2777e52ae3SPeter Zijlstra  *  Thanks to Ben LaHaise for yelling "hashed waitqueues" loudly
2877e52ae3SPeter Zijlstra  *  enough at me, Linus for the original (flawed) idea, Matthew
2977e52ae3SPeter Zijlstra  *  Kirkwood for proof-of-concept implementation.
3077e52ae3SPeter Zijlstra  *
3177e52ae3SPeter Zijlstra  *  "The futexes are also cursed."
3277e52ae3SPeter Zijlstra  *  "But they come in a choice of three flavours!"
3377e52ae3SPeter Zijlstra  */
3477e52ae3SPeter Zijlstra #include <linux/compat.h>
3577e52ae3SPeter Zijlstra #include <linux/jhash.h>
3677e52ae3SPeter Zijlstra #include <linux/pagemap.h>
376ce2082fSJani Nikula #include <linux/debugfs.h>
388b7787a5SKent Overstreet #include <linux/plist.h>
3977e52ae3SPeter Zijlstra #include <linux/memblock.h>
4077e52ae3SPeter Zijlstra #include <linux/fault-inject.h>
41af8cc960SPeter Zijlstra #include <linux/slab.h>
4277e52ae3SPeter Zijlstra 
43af8cc960SPeter Zijlstra #include "futex.h"
4477e52ae3SPeter Zijlstra #include "../locking/rtmutex_common.h"
4577e52ae3SPeter Zijlstra 
4677e52ae3SPeter Zijlstra /*
4777e52ae3SPeter Zijlstra  * The base of the bucket array and its size are always used together
48eee5a7bcSPeter Zijlstra  * (after initialization only in futex_hash()), so ensure that they
4977e52ae3SPeter Zijlstra  * reside in the same cacheline.
5077e52ae3SPeter Zijlstra  */
5177e52ae3SPeter Zijlstra static struct {
5277e52ae3SPeter Zijlstra 	struct futex_hash_bucket *queues;
53*e3924279SSebastian Andrzej Siewior 	unsigned long            hashmask;
5477e52ae3SPeter Zijlstra } __futex_data __read_mostly __aligned(2*sizeof(long));
5577e52ae3SPeter Zijlstra #define futex_queues   (__futex_data.queues)
56*e3924279SSebastian Andrzej Siewior #define futex_hashmask (__futex_data.hashmask)
5777e52ae3SPeter Zijlstra 
5877e52ae3SPeter Zijlstra 
5977e52ae3SPeter Zijlstra /*
6077e52ae3SPeter Zijlstra  * Fault injections for futexes.
6177e52ae3SPeter Zijlstra  */
6277e52ae3SPeter Zijlstra #ifdef CONFIG_FAIL_FUTEX
6377e52ae3SPeter Zijlstra 
6477e52ae3SPeter Zijlstra static struct {
6577e52ae3SPeter Zijlstra 	struct fault_attr attr;
6677e52ae3SPeter Zijlstra 
6777e52ae3SPeter Zijlstra 	bool ignore_private;
6877e52ae3SPeter Zijlstra } fail_futex = {
6977e52ae3SPeter Zijlstra 	.attr = FAULT_ATTR_INITIALIZER,
7077e52ae3SPeter Zijlstra 	.ignore_private = false,
7177e52ae3SPeter Zijlstra };
7277e52ae3SPeter Zijlstra 
setup_fail_futex(char * str)7377e52ae3SPeter Zijlstra static int __init setup_fail_futex(char *str)
7477e52ae3SPeter Zijlstra {
7577e52ae3SPeter Zijlstra 	return setup_fault_attr(&fail_futex.attr, str);
7677e52ae3SPeter Zijlstra }
7777e52ae3SPeter Zijlstra __setup("fail_futex=", setup_fail_futex);
7877e52ae3SPeter Zijlstra 
should_fail_futex(bool fshared)79af8cc960SPeter Zijlstra bool should_fail_futex(bool fshared)
8077e52ae3SPeter Zijlstra {
8177e52ae3SPeter Zijlstra 	if (fail_futex.ignore_private && !fshared)
8277e52ae3SPeter Zijlstra 		return false;
8377e52ae3SPeter Zijlstra 
8477e52ae3SPeter Zijlstra 	return should_fail(&fail_futex.attr, 1);
8577e52ae3SPeter Zijlstra }
8677e52ae3SPeter Zijlstra 
8777e52ae3SPeter Zijlstra #ifdef CONFIG_FAULT_INJECTION_DEBUG_FS
8877e52ae3SPeter Zijlstra 
fail_futex_debugfs(void)8977e52ae3SPeter Zijlstra static int __init fail_futex_debugfs(void)
9077e52ae3SPeter Zijlstra {
9177e52ae3SPeter Zijlstra 	umode_t mode = S_IFREG | S_IRUSR | S_IWUSR;
9277e52ae3SPeter Zijlstra 	struct dentry *dir;
9377e52ae3SPeter Zijlstra 
9477e52ae3SPeter Zijlstra 	dir = fault_create_debugfs_attr("fail_futex", NULL,
9577e52ae3SPeter Zijlstra 					&fail_futex.attr);
9677e52ae3SPeter Zijlstra 	if (IS_ERR(dir))
9777e52ae3SPeter Zijlstra 		return PTR_ERR(dir);
9877e52ae3SPeter Zijlstra 
9977e52ae3SPeter Zijlstra 	debugfs_create_bool("ignore-private", mode, dir,
10077e52ae3SPeter Zijlstra 			    &fail_futex.ignore_private);
10177e52ae3SPeter Zijlstra 	return 0;
10277e52ae3SPeter Zijlstra }
10377e52ae3SPeter Zijlstra 
10477e52ae3SPeter Zijlstra late_initcall(fail_futex_debugfs);
10577e52ae3SPeter Zijlstra 
10677e52ae3SPeter Zijlstra #endif /* CONFIG_FAULT_INJECTION_DEBUG_FS */
10777e52ae3SPeter Zijlstra 
10877e52ae3SPeter Zijlstra #endif /* CONFIG_FAIL_FUTEX */
10977e52ae3SPeter Zijlstra 
11077e52ae3SPeter Zijlstra /**
111eee5a7bcSPeter Zijlstra  * futex_hash - Return the hash bucket in the global hash
11277e52ae3SPeter Zijlstra  * @key:	Pointer to the futex key for which the hash is calculated
11377e52ae3SPeter Zijlstra  *
11477e52ae3SPeter Zijlstra  * We hash on the keys returned from get_futex_key (see below) and return the
11577e52ae3SPeter Zijlstra  * corresponding hash bucket in the global hash.
11677e52ae3SPeter Zijlstra  */
futex_hash(union futex_key * key)11785dc28faSPeter Zijlstra struct futex_hash_bucket *futex_hash(union futex_key *key)
11877e52ae3SPeter Zijlstra {
11977e52ae3SPeter Zijlstra 	u32 hash = jhash2((u32 *)key, offsetof(typeof(*key), both.offset) / 4,
12077e52ae3SPeter Zijlstra 			  key->both.offset);
12177e52ae3SPeter Zijlstra 
122*e3924279SSebastian Andrzej Siewior 	return &futex_queues[hash & futex_hashmask];
12377e52ae3SPeter Zijlstra }
12477e52ae3SPeter Zijlstra 
12577e52ae3SPeter Zijlstra 
12677e52ae3SPeter Zijlstra /**
12777e52ae3SPeter Zijlstra  * futex_setup_timer - set up the sleeping hrtimer.
12877e52ae3SPeter Zijlstra  * @time:	ptr to the given timeout value
12977e52ae3SPeter Zijlstra  * @timeout:	the hrtimer_sleeper structure to be set up
13077e52ae3SPeter Zijlstra  * @flags:	futex flags
13177e52ae3SPeter Zijlstra  * @range_ns:	optional range in ns
13277e52ae3SPeter Zijlstra  *
13377e52ae3SPeter Zijlstra  * Return: Initialized hrtimer_sleeper structure or NULL if no timeout
13477e52ae3SPeter Zijlstra  *	   value given
13577e52ae3SPeter Zijlstra  */
13685dc28faSPeter Zijlstra struct hrtimer_sleeper *
futex_setup_timer(ktime_t * time,struct hrtimer_sleeper * timeout,int flags,u64 range_ns)13777e52ae3SPeter Zijlstra futex_setup_timer(ktime_t *time, struct hrtimer_sleeper *timeout,
13877e52ae3SPeter Zijlstra 		  int flags, u64 range_ns)
13977e52ae3SPeter Zijlstra {
14077e52ae3SPeter Zijlstra 	if (!time)
14177e52ae3SPeter Zijlstra 		return NULL;
14277e52ae3SPeter Zijlstra 
1439788c1f0SNam Cao 	hrtimer_setup_sleeper_on_stack(timeout,
1449788c1f0SNam Cao 				       (flags & FLAGS_CLOCKRT) ? CLOCK_REALTIME : CLOCK_MONOTONIC,
14577e52ae3SPeter Zijlstra 				       HRTIMER_MODE_ABS);
14677e52ae3SPeter Zijlstra 	/*
14777e52ae3SPeter Zijlstra 	 * If range_ns is 0, calling hrtimer_set_expires_range_ns() is
14877e52ae3SPeter Zijlstra 	 * effectively the same as calling hrtimer_set_expires().
14977e52ae3SPeter Zijlstra 	 */
15077e52ae3SPeter Zijlstra 	hrtimer_set_expires_range_ns(&timeout->timer, *time, range_ns);
15177e52ae3SPeter Zijlstra 
15277e52ae3SPeter Zijlstra 	return timeout;
15377e52ae3SPeter Zijlstra }
15477e52ae3SPeter Zijlstra 
15577e52ae3SPeter Zijlstra /*
15677e52ae3SPeter Zijlstra  * Generate a machine wide unique identifier for this inode.
15777e52ae3SPeter Zijlstra  *
15877e52ae3SPeter Zijlstra  * This relies on u64 not wrapping in the life-time of the machine; which with
15977e52ae3SPeter Zijlstra  * 1ns resolution means almost 585 years.
16077e52ae3SPeter Zijlstra  *
16177e52ae3SPeter Zijlstra  * This further relies on the fact that a well formed program will not unmap
16277e52ae3SPeter Zijlstra  * the file while it has a (shared) futex waiting on it. This mapping will have
16377e52ae3SPeter Zijlstra  * a file reference which pins the mount and inode.
16477e52ae3SPeter Zijlstra  *
16577e52ae3SPeter Zijlstra  * If for some reason an inode gets evicted and read back in again, it will get
16677e52ae3SPeter Zijlstra  * a new sequence number and will _NOT_ match, even though it is the exact same
16777e52ae3SPeter Zijlstra  * file.
16877e52ae3SPeter Zijlstra  *
169f56a76fdSPeter Zijlstra  * It is important that futex_match() will never have a false-positive, esp.
17077e52ae3SPeter Zijlstra  * for PI futexes that can mess up the state. The above argues that false-negatives
17177e52ae3SPeter Zijlstra  * are only possible for malformed programs.
17277e52ae3SPeter Zijlstra  */
get_inode_sequence_number(struct inode * inode)17377e52ae3SPeter Zijlstra static u64 get_inode_sequence_number(struct inode *inode)
17477e52ae3SPeter Zijlstra {
17577e52ae3SPeter Zijlstra 	static atomic64_t i_seq;
17677e52ae3SPeter Zijlstra 	u64 old;
17777e52ae3SPeter Zijlstra 
17877e52ae3SPeter Zijlstra 	/* Does the inode already have a sequence number? */
17977e52ae3SPeter Zijlstra 	old = atomic64_read(&inode->i_sequence);
18077e52ae3SPeter Zijlstra 	if (likely(old))
18177e52ae3SPeter Zijlstra 		return old;
18277e52ae3SPeter Zijlstra 
18377e52ae3SPeter Zijlstra 	for (;;) {
18419298f48SUros Bizjak 		u64 new = atomic64_inc_return(&i_seq);
18577e52ae3SPeter Zijlstra 		if (WARN_ON_ONCE(!new))
18677e52ae3SPeter Zijlstra 			continue;
18777e52ae3SPeter Zijlstra 
18887347f14SUros Bizjak 		old = 0;
18987347f14SUros Bizjak 		if (!atomic64_try_cmpxchg_relaxed(&inode->i_sequence, &old, new))
19077e52ae3SPeter Zijlstra 			return old;
19177e52ae3SPeter Zijlstra 		return new;
19277e52ae3SPeter Zijlstra 	}
19377e52ae3SPeter Zijlstra }
19477e52ae3SPeter Zijlstra 
19577e52ae3SPeter Zijlstra /**
19677e52ae3SPeter Zijlstra  * get_futex_key() - Get parameters which are the keys for a futex
19777e52ae3SPeter Zijlstra  * @uaddr:	virtual address of the futex
1983b63a55fS[email protected]  * @flags:	FLAGS_*
19977e52ae3SPeter Zijlstra  * @key:	address where result is stored.
20077e52ae3SPeter Zijlstra  * @rw:		mapping needs to be read/write (values: FUTEX_READ,
20177e52ae3SPeter Zijlstra  *              FUTEX_WRITE)
20277e52ae3SPeter Zijlstra  *
20377e52ae3SPeter Zijlstra  * Return: a negative error code or 0
20477e52ae3SPeter Zijlstra  *
20577e52ae3SPeter Zijlstra  * The key words are stored in @key on success.
20677e52ae3SPeter Zijlstra  *
20777e52ae3SPeter Zijlstra  * For shared mappings (when @fshared), the key is:
20877e52ae3SPeter Zijlstra  *
20977e52ae3SPeter Zijlstra  *   ( inode->i_sequence, page->index, offset_within_page )
21077e52ae3SPeter Zijlstra  *
21177e52ae3SPeter Zijlstra  * [ also see get_inode_sequence_number() ]
21277e52ae3SPeter Zijlstra  *
21377e52ae3SPeter Zijlstra  * For private mappings (or when !@fshared), the key is:
21477e52ae3SPeter Zijlstra  *
21577e52ae3SPeter Zijlstra  *   ( current->mm, address, 0 )
21677e52ae3SPeter Zijlstra  *
21777e52ae3SPeter Zijlstra  * This allows (cross process, where applicable) identification of the futex
21877e52ae3SPeter Zijlstra  * without keeping the page pinned for the duration of the FUTEX_WAIT.
21977e52ae3SPeter Zijlstra  *
22077e52ae3SPeter Zijlstra  * lock_page() might sleep, the caller should not hold a spinlock.
22177e52ae3SPeter Zijlstra  */
get_futex_key(u32 __user * uaddr,unsigned int flags,union futex_key * key,enum futex_access rw)2223b63a55fS[email protected] int get_futex_key(u32 __user *uaddr, unsigned int flags, union futex_key *key,
22377e52ae3SPeter Zijlstra 		  enum futex_access rw)
22477e52ae3SPeter Zijlstra {
22577e52ae3SPeter Zijlstra 	unsigned long address = (unsigned long)uaddr;
22677e52ae3SPeter Zijlstra 	struct mm_struct *mm = current->mm;
227e35a6cf1SMatthew Wilcox (Oracle) 	struct page *page;
228e35a6cf1SMatthew Wilcox (Oracle) 	struct folio *folio;
22977e52ae3SPeter Zijlstra 	struct address_space *mapping;
23077e52ae3SPeter Zijlstra 	int err, ro = 0;
2313b63a55fS[email protected] 	bool fshared;
2323b63a55fS[email protected] 
2333b63a55fS[email protected] 	fshared = flags & FLAGS_SHARED;
23477e52ae3SPeter Zijlstra 
23577e52ae3SPeter Zijlstra 	/*
23677e52ae3SPeter Zijlstra 	 * The futex address must be "naturally" aligned.
23777e52ae3SPeter Zijlstra 	 */
23877e52ae3SPeter Zijlstra 	key->both.offset = address % PAGE_SIZE;
23977e52ae3SPeter Zijlstra 	if (unlikely((address % sizeof(u32)) != 0))
24077e52ae3SPeter Zijlstra 		return -EINVAL;
24177e52ae3SPeter Zijlstra 	address -= key->both.offset;
24277e52ae3SPeter Zijlstra 
24377e52ae3SPeter Zijlstra 	if (unlikely(!access_ok(uaddr, sizeof(u32))))
24477e52ae3SPeter Zijlstra 		return -EFAULT;
24577e52ae3SPeter Zijlstra 
24677e52ae3SPeter Zijlstra 	if (unlikely(should_fail_futex(fshared)))
24777e52ae3SPeter Zijlstra 		return -EFAULT;
24877e52ae3SPeter Zijlstra 
24977e52ae3SPeter Zijlstra 	/*
25077e52ae3SPeter Zijlstra 	 * PROCESS_PRIVATE futexes are fast.
25177e52ae3SPeter Zijlstra 	 * As the mm cannot disappear under us and the 'key' only needs
25277e52ae3SPeter Zijlstra 	 * virtual address, we dont even have to find the underlying vma.
25377e52ae3SPeter Zijlstra 	 * Note : We do have to check 'uaddr' is a valid user address,
25477e52ae3SPeter Zijlstra 	 *        but access_ok() should be faster than find_vma()
25577e52ae3SPeter Zijlstra 	 */
25677e52ae3SPeter Zijlstra 	if (!fshared) {
257c73801aeSBen Wolsieffer 		/*
258c73801aeSBen Wolsieffer 		 * On no-MMU, shared futexes are treated as private, therefore
259c73801aeSBen Wolsieffer 		 * we must not include the current process in the key. Since
260c73801aeSBen Wolsieffer 		 * there is only one address space, the address is a unique key
261c73801aeSBen Wolsieffer 		 * on its own.
262c73801aeSBen Wolsieffer 		 */
263c73801aeSBen Wolsieffer 		if (IS_ENABLED(CONFIG_MMU))
26477e52ae3SPeter Zijlstra 			key->private.mm = mm;
265c73801aeSBen Wolsieffer 		else
266c73801aeSBen Wolsieffer 			key->private.mm = NULL;
267c73801aeSBen Wolsieffer 
26877e52ae3SPeter Zijlstra 		key->private.address = address;
26977e52ae3SPeter Zijlstra 		return 0;
27077e52ae3SPeter Zijlstra 	}
27177e52ae3SPeter Zijlstra 
27277e52ae3SPeter Zijlstra again:
27377e52ae3SPeter Zijlstra 	/* Ignore any VERIFY_READ mapping (futex common case) */
27477e52ae3SPeter Zijlstra 	if (unlikely(should_fail_futex(true)))
27577e52ae3SPeter Zijlstra 		return -EFAULT;
27677e52ae3SPeter Zijlstra 
27777e52ae3SPeter Zijlstra 	err = get_user_pages_fast(address, 1, FOLL_WRITE, &page);
27877e52ae3SPeter Zijlstra 	/*
27977e52ae3SPeter Zijlstra 	 * If write access is not required (eg. FUTEX_WAIT), try
28077e52ae3SPeter Zijlstra 	 * and get read-only access.
28177e52ae3SPeter Zijlstra 	 */
28277e52ae3SPeter Zijlstra 	if (err == -EFAULT && rw == FUTEX_READ) {
28377e52ae3SPeter Zijlstra 		err = get_user_pages_fast(address, 1, 0, &page);
28477e52ae3SPeter Zijlstra 		ro = 1;
28577e52ae3SPeter Zijlstra 	}
28677e52ae3SPeter Zijlstra 	if (err < 0)
28777e52ae3SPeter Zijlstra 		return err;
28877e52ae3SPeter Zijlstra 	else
28977e52ae3SPeter Zijlstra 		err = 0;
29077e52ae3SPeter Zijlstra 
29177e52ae3SPeter Zijlstra 	/*
292e35a6cf1SMatthew Wilcox (Oracle) 	 * The treatment of mapping from this point on is critical. The folio
293e35a6cf1SMatthew Wilcox (Oracle) 	 * lock protects many things but in this context the folio lock
29477e52ae3SPeter Zijlstra 	 * stabilizes mapping, prevents inode freeing in the shared
29577e52ae3SPeter Zijlstra 	 * file-backed region case and guards against movement to swap cache.
29677e52ae3SPeter Zijlstra 	 *
297e35a6cf1SMatthew Wilcox (Oracle) 	 * Strictly speaking the folio lock is not needed in all cases being
298e35a6cf1SMatthew Wilcox (Oracle) 	 * considered here and folio lock forces unnecessarily serialization.
29977e52ae3SPeter Zijlstra 	 * From this point on, mapping will be re-verified if necessary and
300e35a6cf1SMatthew Wilcox (Oracle) 	 * folio lock will be acquired only if it is unavoidable
30177e52ae3SPeter Zijlstra 	 *
302e35a6cf1SMatthew Wilcox (Oracle) 	 * Mapping checks require the folio so it is looked up now. For
303e35a6cf1SMatthew Wilcox (Oracle) 	 * anonymous pages, it does not matter if the folio is split
304e35a6cf1SMatthew Wilcox (Oracle) 	 * in the future as the key is based on the address. For
305e35a6cf1SMatthew Wilcox (Oracle) 	 * filesystem-backed pages, the precise page is required as the
306e35a6cf1SMatthew Wilcox (Oracle) 	 * index of the page determines the key.
30777e52ae3SPeter Zijlstra 	 */
308e35a6cf1SMatthew Wilcox (Oracle) 	folio = page_folio(page);
309e35a6cf1SMatthew Wilcox (Oracle) 	mapping = READ_ONCE(folio->mapping);
31077e52ae3SPeter Zijlstra 
31177e52ae3SPeter Zijlstra 	/*
312e35a6cf1SMatthew Wilcox (Oracle) 	 * If folio->mapping is NULL, then it cannot be an anonymous
31377e52ae3SPeter Zijlstra 	 * page; but it might be the ZERO_PAGE or in the gate area or
31477e52ae3SPeter Zijlstra 	 * in a special mapping (all cases which we are happy to fail);
31577e52ae3SPeter Zijlstra 	 * or it may have been a good file page when get_user_pages_fast
31677e52ae3SPeter Zijlstra 	 * found it, but truncated or holepunched or subjected to
317e35a6cf1SMatthew Wilcox (Oracle) 	 * invalidate_complete_page2 before we got the folio lock (also
31877e52ae3SPeter Zijlstra 	 * cases which we are happy to fail).  And we hold a reference,
3191b8ddbeeSMatthew Wilcox (Oracle) 	 * so refcount care in invalidate_inode_page's remove_mapping
32077e52ae3SPeter Zijlstra 	 * prevents drop_caches from setting mapping to NULL beneath us.
32177e52ae3SPeter Zijlstra 	 *
32277e52ae3SPeter Zijlstra 	 * The case we do have to guard against is when memory pressure made
32377e52ae3SPeter Zijlstra 	 * shmem_writepage move it from filecache to swapcache beneath us:
324e35a6cf1SMatthew Wilcox (Oracle) 	 * an unlikely race, but we do need to retry for folio->mapping.
32577e52ae3SPeter Zijlstra 	 */
32677e52ae3SPeter Zijlstra 	if (unlikely(!mapping)) {
32777e52ae3SPeter Zijlstra 		int shmem_swizzled;
32877e52ae3SPeter Zijlstra 
32977e52ae3SPeter Zijlstra 		/*
330e35a6cf1SMatthew Wilcox (Oracle) 		 * Folio lock is required to identify which special case above
331e35a6cf1SMatthew Wilcox (Oracle) 		 * applies. If this is really a shmem page then the folio lock
33277e52ae3SPeter Zijlstra 		 * will prevent unexpected transitions.
33377e52ae3SPeter Zijlstra 		 */
334e35a6cf1SMatthew Wilcox (Oracle) 		folio_lock(folio);
335e35a6cf1SMatthew Wilcox (Oracle) 		shmem_swizzled = folio_test_swapcache(folio) || folio->mapping;
336e35a6cf1SMatthew Wilcox (Oracle) 		folio_unlock(folio);
337e35a6cf1SMatthew Wilcox (Oracle) 		folio_put(folio);
33877e52ae3SPeter Zijlstra 
33977e52ae3SPeter Zijlstra 		if (shmem_swizzled)
34077e52ae3SPeter Zijlstra 			goto again;
34177e52ae3SPeter Zijlstra 
34277e52ae3SPeter Zijlstra 		return -EFAULT;
34377e52ae3SPeter Zijlstra 	}
34477e52ae3SPeter Zijlstra 
34577e52ae3SPeter Zijlstra 	/*
34677e52ae3SPeter Zijlstra 	 * Private mappings are handled in a simple way.
34777e52ae3SPeter Zijlstra 	 *
348e35a6cf1SMatthew Wilcox (Oracle) 	 * If the futex key is stored in anonymous memory, then the associated
34977e52ae3SPeter Zijlstra 	 * object is the mm which is implicitly pinned by the calling process.
35077e52ae3SPeter Zijlstra 	 *
35177e52ae3SPeter Zijlstra 	 * NOTE: When userspace waits on a MAP_SHARED mapping, even if
35277e52ae3SPeter Zijlstra 	 * it's a read-only handle, it's expected that futexes attach to
35377e52ae3SPeter Zijlstra 	 * the object not the particular process.
35477e52ae3SPeter Zijlstra 	 */
355e35a6cf1SMatthew Wilcox (Oracle) 	if (folio_test_anon(folio)) {
35677e52ae3SPeter Zijlstra 		/*
35777e52ae3SPeter Zijlstra 		 * A RO anonymous page will never change and thus doesn't make
35877e52ae3SPeter Zijlstra 		 * sense for futex operations.
35977e52ae3SPeter Zijlstra 		 */
36077e52ae3SPeter Zijlstra 		if (unlikely(should_fail_futex(true)) || ro) {
36177e52ae3SPeter Zijlstra 			err = -EFAULT;
36277e52ae3SPeter Zijlstra 			goto out;
36377e52ae3SPeter Zijlstra 		}
36477e52ae3SPeter Zijlstra 
36577e52ae3SPeter Zijlstra 		key->both.offset |= FUT_OFF_MMSHARED; /* ref taken on mm */
36677e52ae3SPeter Zijlstra 		key->private.mm = mm;
36777e52ae3SPeter Zijlstra 		key->private.address = address;
36877e52ae3SPeter Zijlstra 
36977e52ae3SPeter Zijlstra 	} else {
37077e52ae3SPeter Zijlstra 		struct inode *inode;
37177e52ae3SPeter Zijlstra 
37277e52ae3SPeter Zijlstra 		/*
37377e52ae3SPeter Zijlstra 		 * The associated futex object in this case is the inode and
374e35a6cf1SMatthew Wilcox (Oracle) 		 * the folio->mapping must be traversed. Ordinarily this should
375e35a6cf1SMatthew Wilcox (Oracle) 		 * be stabilised under folio lock but it's not strictly
37677e52ae3SPeter Zijlstra 		 * necessary in this case as we just want to pin the inode, not
377e35a6cf1SMatthew Wilcox (Oracle) 		 * update i_pages or anything like that.
37877e52ae3SPeter Zijlstra 		 *
37977e52ae3SPeter Zijlstra 		 * The RCU read lock is taken as the inode is finally freed
38077e52ae3SPeter Zijlstra 		 * under RCU. If the mapping still matches expectations then the
38177e52ae3SPeter Zijlstra 		 * mapping->host can be safely accessed as being a valid inode.
38277e52ae3SPeter Zijlstra 		 */
38377e52ae3SPeter Zijlstra 		rcu_read_lock();
38477e52ae3SPeter Zijlstra 
385e35a6cf1SMatthew Wilcox (Oracle) 		if (READ_ONCE(folio->mapping) != mapping) {
38677e52ae3SPeter Zijlstra 			rcu_read_unlock();
387e35a6cf1SMatthew Wilcox (Oracle) 			folio_put(folio);
38877e52ae3SPeter Zijlstra 
38977e52ae3SPeter Zijlstra 			goto again;
39077e52ae3SPeter Zijlstra 		}
39177e52ae3SPeter Zijlstra 
39277e52ae3SPeter Zijlstra 		inode = READ_ONCE(mapping->host);
39377e52ae3SPeter Zijlstra 		if (!inode) {
39477e52ae3SPeter Zijlstra 			rcu_read_unlock();
395e35a6cf1SMatthew Wilcox (Oracle) 			folio_put(folio);
39677e52ae3SPeter Zijlstra 
39777e52ae3SPeter Zijlstra 			goto again;
39877e52ae3SPeter Zijlstra 		}
39977e52ae3SPeter Zijlstra 
40077e52ae3SPeter Zijlstra 		key->both.offset |= FUT_OFF_INODE; /* inode-based key */
40177e52ae3SPeter Zijlstra 		key->shared.i_seq = get_inode_sequence_number(inode);
4027d3e93ecSMatthew Wilcox (Oracle) 		key->shared.pgoff = page_pgoff(folio, page);
40377e52ae3SPeter Zijlstra 		rcu_read_unlock();
40477e52ae3SPeter Zijlstra 	}
40577e52ae3SPeter Zijlstra 
40677e52ae3SPeter Zijlstra out:
407e35a6cf1SMatthew Wilcox (Oracle) 	folio_put(folio);
40877e52ae3SPeter Zijlstra 	return err;
40977e52ae3SPeter Zijlstra }
41077e52ae3SPeter Zijlstra 
41177e52ae3SPeter Zijlstra /**
41277e52ae3SPeter Zijlstra  * fault_in_user_writeable() - Fault in user address and verify RW access
41377e52ae3SPeter Zijlstra  * @uaddr:	pointer to faulting user space address
41477e52ae3SPeter Zijlstra  *
41577e52ae3SPeter Zijlstra  * Slow path to fixup the fault we just took in the atomic write
41677e52ae3SPeter Zijlstra  * access to @uaddr.
41777e52ae3SPeter Zijlstra  *
41877e52ae3SPeter Zijlstra  * We have no generic implementation of a non-destructive write to the
41977e52ae3SPeter Zijlstra  * user address. We know that we faulted in the atomic pagefault
42077e52ae3SPeter Zijlstra  * disabled section so we can as well avoid the #PF overhead by
42177e52ae3SPeter Zijlstra  * calling get_user_pages() right away.
42277e52ae3SPeter Zijlstra  */
fault_in_user_writeable(u32 __user * uaddr)42385dc28faSPeter Zijlstra int fault_in_user_writeable(u32 __user *uaddr)
42477e52ae3SPeter Zijlstra {
42577e52ae3SPeter Zijlstra 	struct mm_struct *mm = current->mm;
42677e52ae3SPeter Zijlstra 	int ret;
42777e52ae3SPeter Zijlstra 
42877e52ae3SPeter Zijlstra 	mmap_read_lock(mm);
42977e52ae3SPeter Zijlstra 	ret = fixup_user_fault(mm, (unsigned long)uaddr,
43077e52ae3SPeter Zijlstra 			       FAULT_FLAG_WRITE, NULL);
43177e52ae3SPeter Zijlstra 	mmap_read_unlock(mm);
43277e52ae3SPeter Zijlstra 
43377e52ae3SPeter Zijlstra 	return ret < 0 ? ret : 0;
43477e52ae3SPeter Zijlstra }
43577e52ae3SPeter Zijlstra 
43677e52ae3SPeter Zijlstra /**
43777e52ae3SPeter Zijlstra  * futex_top_waiter() - Return the highest priority waiter on a futex
43877e52ae3SPeter Zijlstra  * @hb:		the hash bucket the futex_q's reside in
43977e52ae3SPeter Zijlstra  * @key:	the futex key (to distinguish it from other futex futex_q's)
44077e52ae3SPeter Zijlstra  *
44177e52ae3SPeter Zijlstra  * Must be called with the hb lock held.
44277e52ae3SPeter Zijlstra  */
futex_top_waiter(struct futex_hash_bucket * hb,union futex_key * key)44385dc28faSPeter Zijlstra struct futex_q *futex_top_waiter(struct futex_hash_bucket *hb, union futex_key *key)
44477e52ae3SPeter Zijlstra {
44577e52ae3SPeter Zijlstra 	struct futex_q *this;
44677e52ae3SPeter Zijlstra 
44777e52ae3SPeter Zijlstra 	plist_for_each_entry(this, &hb->chain, list) {
448f56a76fdSPeter Zijlstra 		if (futex_match(&this->key, key))
44977e52ae3SPeter Zijlstra 			return this;
45077e52ae3SPeter Zijlstra 	}
45177e52ae3SPeter Zijlstra 	return NULL;
45277e52ae3SPeter Zijlstra }
45377e52ae3SPeter Zijlstra 
45477e52ae3SPeter Zijlstra /**
45577e52ae3SPeter Zijlstra  * wait_for_owner_exiting - Block until the owner has exited
45677e52ae3SPeter Zijlstra  * @ret: owner's current futex lock status
45777e52ae3SPeter Zijlstra  * @exiting:	Pointer to the exiting task
45877e52ae3SPeter Zijlstra  *
45977e52ae3SPeter Zijlstra  * Caller must hold a refcount on @exiting.
46077e52ae3SPeter Zijlstra  */
wait_for_owner_exiting(int ret,struct task_struct * exiting)46185dc28faSPeter Zijlstra void wait_for_owner_exiting(int ret, struct task_struct *exiting)
46277e52ae3SPeter Zijlstra {
46377e52ae3SPeter Zijlstra 	if (ret != -EBUSY) {
46477e52ae3SPeter Zijlstra 		WARN_ON_ONCE(exiting);
46577e52ae3SPeter Zijlstra 		return;
46677e52ae3SPeter Zijlstra 	}
46777e52ae3SPeter Zijlstra 
46877e52ae3SPeter Zijlstra 	if (WARN_ON_ONCE(ret == -EBUSY && !exiting))
46977e52ae3SPeter Zijlstra 		return;
47077e52ae3SPeter Zijlstra 
47177e52ae3SPeter Zijlstra 	mutex_lock(&exiting->futex_exit_mutex);
47277e52ae3SPeter Zijlstra 	/*
47377e52ae3SPeter Zijlstra 	 * No point in doing state checking here. If the waiter got here
47477e52ae3SPeter Zijlstra 	 * while the task was in exec()->exec_futex_release() then it can
47577e52ae3SPeter Zijlstra 	 * have any FUTEX_STATE_* value when the waiter has acquired the
47677e52ae3SPeter Zijlstra 	 * mutex. OK, if running, EXITING or DEAD if it reached exit()
47777e52ae3SPeter Zijlstra 	 * already. Highly unlikely and not a problem. Just one more round
47877e52ae3SPeter Zijlstra 	 * through the futex maze.
47977e52ae3SPeter Zijlstra 	 */
48077e52ae3SPeter Zijlstra 	mutex_unlock(&exiting->futex_exit_mutex);
48177e52ae3SPeter Zijlstra 
48277e52ae3SPeter Zijlstra 	put_task_struct(exiting);
48377e52ae3SPeter Zijlstra }
48477e52ae3SPeter Zijlstra 
48577e52ae3SPeter Zijlstra /**
486af92dceaSPeter Zijlstra  * __futex_unqueue() - Remove the futex_q from its futex_hash_bucket
48777e52ae3SPeter Zijlstra  * @q:	The futex_q to unqueue
48877e52ae3SPeter Zijlstra  *
48977e52ae3SPeter Zijlstra  * The q->lock_ptr must not be NULL and must be held by the caller.
49077e52ae3SPeter Zijlstra  */
__futex_unqueue(struct futex_q * q)491e5c68284SPeter Zijlstra void __futex_unqueue(struct futex_q *q)
49277e52ae3SPeter Zijlstra {
49377e52ae3SPeter Zijlstra 	struct futex_hash_bucket *hb;
49477e52ae3SPeter Zijlstra 
49577e52ae3SPeter Zijlstra 	if (WARN_ON_SMP(!q->lock_ptr) || WARN_ON(plist_node_empty(&q->list)))
49677e52ae3SPeter Zijlstra 		return;
49777e52ae3SPeter Zijlstra 	lockdep_assert_held(q->lock_ptr);
49877e52ae3SPeter Zijlstra 
49977e52ae3SPeter Zijlstra 	hb = container_of(q->lock_ptr, struct futex_hash_bucket, lock);
50077e52ae3SPeter Zijlstra 	plist_del(&q->list, &hb->chain);
501832c0542SPeter Zijlstra 	futex_hb_waiters_dec(hb);
50277e52ae3SPeter Zijlstra }
50377e52ae3SPeter Zijlstra 
50477e52ae3SPeter Zijlstra /* The key must be already stored in q->key. */
futex_q_lock(struct futex_q * q)50585dc28faSPeter Zijlstra struct futex_hash_bucket *futex_q_lock(struct futex_q *q)
50677e52ae3SPeter Zijlstra 	__acquires(&hb->lock)
50777e52ae3SPeter Zijlstra {
50877e52ae3SPeter Zijlstra 	struct futex_hash_bucket *hb;
50977e52ae3SPeter Zijlstra 
510eee5a7bcSPeter Zijlstra 	hb = futex_hash(&q->key);
51177e52ae3SPeter Zijlstra 
51277e52ae3SPeter Zijlstra 	/*
51377e52ae3SPeter Zijlstra 	 * Increment the counter before taking the lock so that
51477e52ae3SPeter Zijlstra 	 * a potential waker won't miss a to-be-slept task that is
515e7ba9c8fSPeter Zijlstra 	 * waiting for the spinlock. This is safe as all futex_q_lock()
516bce760d3SPeter Zijlstra 	 * users end up calling futex_queue(). Similarly, for housekeeping,
517e7ba9c8fSPeter Zijlstra 	 * decrement the counter at futex_q_unlock() when some error has
51877e52ae3SPeter Zijlstra 	 * occurred and we don't end up adding the task to the list.
51977e52ae3SPeter Zijlstra 	 */
520832c0542SPeter Zijlstra 	futex_hb_waiters_inc(hb); /* implies smp_mb(); (A) */
52177e52ae3SPeter Zijlstra 
52277e52ae3SPeter Zijlstra 	q->lock_ptr = &hb->lock;
52377e52ae3SPeter Zijlstra 
52477e52ae3SPeter Zijlstra 	spin_lock(&hb->lock);
52577e52ae3SPeter Zijlstra 	return hb;
52677e52ae3SPeter Zijlstra }
52777e52ae3SPeter Zijlstra 
futex_q_unlock(struct futex_hash_bucket * hb)52885dc28faSPeter Zijlstra void futex_q_unlock(struct futex_hash_bucket *hb)
52977e52ae3SPeter Zijlstra 	__releases(&hb->lock)
53077e52ae3SPeter Zijlstra {
53177e52ae3SPeter Zijlstra 	spin_unlock(&hb->lock);
532832c0542SPeter Zijlstra 	futex_hb_waiters_dec(hb);
53377e52ae3SPeter Zijlstra }
53477e52ae3SPeter Zijlstra 
__futex_queue(struct futex_q * q,struct futex_hash_bucket * hb,struct task_struct * task)5355e0e02f0SJens Axboe void __futex_queue(struct futex_q *q, struct futex_hash_bucket *hb,
5365e0e02f0SJens Axboe 		   struct task_struct *task)
53777e52ae3SPeter Zijlstra {
53877e52ae3SPeter Zijlstra 	int prio;
53977e52ae3SPeter Zijlstra 
54077e52ae3SPeter Zijlstra 	/*
54177e52ae3SPeter Zijlstra 	 * The priority used to register this element is
54277e52ae3SPeter Zijlstra 	 * - either the real thread-priority for the real-time threads
54377e52ae3SPeter Zijlstra 	 * (i.e. threads with a priority lower than MAX_RT_PRIO)
54477e52ae3SPeter Zijlstra 	 * - or MAX_RT_PRIO for non-RT threads.
54577e52ae3SPeter Zijlstra 	 * Thus, all RT-threads are woken first in priority order, and
54677e52ae3SPeter Zijlstra 	 * the others are woken last, in FIFO order.
54777e52ae3SPeter Zijlstra 	 */
54877e52ae3SPeter Zijlstra 	prio = min(current->normal_prio, MAX_RT_PRIO);
54977e52ae3SPeter Zijlstra 
55077e52ae3SPeter Zijlstra 	plist_node_init(&q->list, prio);
55177e52ae3SPeter Zijlstra 	plist_add(&q->list, &hb->chain);
5525e0e02f0SJens Axboe 	q->task = task;
55377e52ae3SPeter Zijlstra }
55477e52ae3SPeter Zijlstra 
55577e52ae3SPeter Zijlstra /**
556bce760d3SPeter Zijlstra  * futex_unqueue() - Remove the futex_q from its futex_hash_bucket
55777e52ae3SPeter Zijlstra  * @q:	The futex_q to unqueue
55877e52ae3SPeter Zijlstra  *
559bce760d3SPeter Zijlstra  * The q->lock_ptr must not be held by the caller. A call to futex_unqueue() must
560bce760d3SPeter Zijlstra  * be paired with exactly one earlier call to futex_queue().
56177e52ae3SPeter Zijlstra  *
56277e52ae3SPeter Zijlstra  * Return:
56377e52ae3SPeter Zijlstra  *  - 1 - if the futex_q was still queued (and we removed unqueued it);
56477e52ae3SPeter Zijlstra  *  - 0 - if the futex_q was already removed by the waking thread
56577e52ae3SPeter Zijlstra  */
futex_unqueue(struct futex_q * q)566a046f1a0SPeter Zijlstra int futex_unqueue(struct futex_q *q)
56777e52ae3SPeter Zijlstra {
56877e52ae3SPeter Zijlstra 	spinlock_t *lock_ptr;
56977e52ae3SPeter Zijlstra 	int ret = 0;
57077e52ae3SPeter Zijlstra 
57177e52ae3SPeter Zijlstra 	/* In the common case we don't take the spinlock, which is nice. */
57277e52ae3SPeter Zijlstra retry:
57377e52ae3SPeter Zijlstra 	/*
57477e52ae3SPeter Zijlstra 	 * q->lock_ptr can change between this read and the following spin_lock.
57577e52ae3SPeter Zijlstra 	 * Use READ_ONCE to forbid the compiler from reloading q->lock_ptr and
57677e52ae3SPeter Zijlstra 	 * optimizing lock_ptr out of the logic below.
57777e52ae3SPeter Zijlstra 	 */
57877e52ae3SPeter Zijlstra 	lock_ptr = READ_ONCE(q->lock_ptr);
57977e52ae3SPeter Zijlstra 	if (lock_ptr != NULL) {
58077e52ae3SPeter Zijlstra 		spin_lock(lock_ptr);
58177e52ae3SPeter Zijlstra 		/*
58277e52ae3SPeter Zijlstra 		 * q->lock_ptr can change between reading it and
58377e52ae3SPeter Zijlstra 		 * spin_lock(), causing us to take the wrong lock.  This
58477e52ae3SPeter Zijlstra 		 * corrects the race condition.
58577e52ae3SPeter Zijlstra 		 *
58677e52ae3SPeter Zijlstra 		 * Reasoning goes like this: if we have the wrong lock,
58777e52ae3SPeter Zijlstra 		 * q->lock_ptr must have changed (maybe several times)
58877e52ae3SPeter Zijlstra 		 * between reading it and the spin_lock().  It can
58977e52ae3SPeter Zijlstra 		 * change again after the spin_lock() but only if it was
59077e52ae3SPeter Zijlstra 		 * already changed before the spin_lock().  It cannot,
59177e52ae3SPeter Zijlstra 		 * however, change back to the original value.  Therefore
59277e52ae3SPeter Zijlstra 		 * we can detect whether we acquired the correct lock.
59377e52ae3SPeter Zijlstra 		 */
59477e52ae3SPeter Zijlstra 		if (unlikely(lock_ptr != q->lock_ptr)) {
59577e52ae3SPeter Zijlstra 			spin_unlock(lock_ptr);
59677e52ae3SPeter Zijlstra 			goto retry;
59777e52ae3SPeter Zijlstra 		}
598af92dceaSPeter Zijlstra 		__futex_unqueue(q);
59977e52ae3SPeter Zijlstra 
60077e52ae3SPeter Zijlstra 		BUG_ON(q->pi_state);
60177e52ae3SPeter Zijlstra 
60277e52ae3SPeter Zijlstra 		spin_unlock(lock_ptr);
60377e52ae3SPeter Zijlstra 		ret = 1;
60477e52ae3SPeter Zijlstra 	}
60577e52ae3SPeter Zijlstra 
60677e52ae3SPeter Zijlstra 	return ret;
60777e52ae3SPeter Zijlstra }
60877e52ae3SPeter Zijlstra 
60977e52ae3SPeter Zijlstra /*
610e626cb02SSebastian Andrzej Siewior  * PI futexes can not be requeued and must remove themselves from the hash
611e626cb02SSebastian Andrzej Siewior  * bucket. The hash bucket lock (i.e. lock_ptr) is held.
61277e52ae3SPeter Zijlstra  */
futex_unqueue_pi(struct futex_q * q)61385dc28faSPeter Zijlstra void futex_unqueue_pi(struct futex_q *q)
61477e52ae3SPeter Zijlstra {
615e626cb02SSebastian Andrzej Siewior 	/*
616e626cb02SSebastian Andrzej Siewior 	 * If the lock was not acquired (due to timeout or signal) then the
617e626cb02SSebastian Andrzej Siewior 	 * rt_waiter is removed before futex_q is. If this is observed by
618e626cb02SSebastian Andrzej Siewior 	 * an unlocker after dropping the rtmutex wait lock and before
619e626cb02SSebastian Andrzej Siewior 	 * acquiring the hash bucket lock, then the unlocker dequeues the
620e626cb02SSebastian Andrzej Siewior 	 * futex_q from the hash bucket list to guarantee consistent state
621e626cb02SSebastian Andrzej Siewior 	 * vs. userspace. Therefore the dequeue here must be conditional.
622e626cb02SSebastian Andrzej Siewior 	 */
623e626cb02SSebastian Andrzej Siewior 	if (!plist_node_empty(&q->list))
624af92dceaSPeter Zijlstra 		__futex_unqueue(q);
62577e52ae3SPeter Zijlstra 
62677e52ae3SPeter Zijlstra 	BUG_ON(!q->pi_state);
62777e52ae3SPeter Zijlstra 	put_pi_state(q->pi_state);
62877e52ae3SPeter Zijlstra 	q->pi_state = NULL;
62977e52ae3SPeter Zijlstra }
63077e52ae3SPeter Zijlstra 
63177e52ae3SPeter Zijlstra /* Constants for the pending_op argument of handle_futex_death */
63277e52ae3SPeter Zijlstra #define HANDLE_DEATH_PENDING	true
63377e52ae3SPeter Zijlstra #define HANDLE_DEATH_LIST	false
63477e52ae3SPeter Zijlstra 
63577e52ae3SPeter Zijlstra /*
63677e52ae3SPeter Zijlstra  * Process a futex-list entry, check whether it's owned by the
63777e52ae3SPeter Zijlstra  * dying task, and do notification if so:
63877e52ae3SPeter Zijlstra  */
handle_futex_death(u32 __user * uaddr,struct task_struct * curr,bool pi,bool pending_op)63977e52ae3SPeter Zijlstra static int handle_futex_death(u32 __user *uaddr, struct task_struct *curr,
64077e52ae3SPeter Zijlstra 			      bool pi, bool pending_op)
64177e52ae3SPeter Zijlstra {
64277e52ae3SPeter Zijlstra 	u32 uval, nval, mval;
64390d75889SAlexey Izbyshev 	pid_t owner;
64477e52ae3SPeter Zijlstra 	int err;
64577e52ae3SPeter Zijlstra 
64677e52ae3SPeter Zijlstra 	/* Futex address must be 32bit aligned */
64777e52ae3SPeter Zijlstra 	if ((((unsigned long)uaddr) % sizeof(*uaddr)) != 0)
64877e52ae3SPeter Zijlstra 		return -1;
64977e52ae3SPeter Zijlstra 
65077e52ae3SPeter Zijlstra retry:
65177e52ae3SPeter Zijlstra 	if (get_user(uval, uaddr))
65277e52ae3SPeter Zijlstra 		return -1;
65377e52ae3SPeter Zijlstra 
65477e52ae3SPeter Zijlstra 	/*
65577e52ae3SPeter Zijlstra 	 * Special case for regular (non PI) futexes. The unlock path in
65677e52ae3SPeter Zijlstra 	 * user space has two race scenarios:
65777e52ae3SPeter Zijlstra 	 *
65877e52ae3SPeter Zijlstra 	 * 1. The unlock path releases the user space futex value and
65977e52ae3SPeter Zijlstra 	 *    before it can execute the futex() syscall to wake up
66077e52ae3SPeter Zijlstra 	 *    waiters it is killed.
66177e52ae3SPeter Zijlstra 	 *
66277e52ae3SPeter Zijlstra 	 * 2. A woken up waiter is killed before it can acquire the
66377e52ae3SPeter Zijlstra 	 *    futex in user space.
66477e52ae3SPeter Zijlstra 	 *
66590d75889SAlexey Izbyshev 	 * In the second case, the wake up notification could be generated
66690d75889SAlexey Izbyshev 	 * by the unlock path in user space after setting the futex value
66790d75889SAlexey Izbyshev 	 * to zero or by the kernel after setting the OWNER_DIED bit below.
66890d75889SAlexey Izbyshev 	 *
66977e52ae3SPeter Zijlstra 	 * In both cases the TID validation below prevents a wakeup of
67077e52ae3SPeter Zijlstra 	 * potential waiters which can cause these waiters to block
67177e52ae3SPeter Zijlstra 	 * forever.
67277e52ae3SPeter Zijlstra 	 *
67377e52ae3SPeter Zijlstra 	 * In both cases the following conditions are met:
67477e52ae3SPeter Zijlstra 	 *
67577e52ae3SPeter Zijlstra 	 *	1) task->robust_list->list_op_pending != NULL
67677e52ae3SPeter Zijlstra 	 *	   @pending_op == true
67790d75889SAlexey Izbyshev 	 *	2) The owner part of user space futex value == 0
67877e52ae3SPeter Zijlstra 	 *	3) Regular futex: @pi == false
67977e52ae3SPeter Zijlstra 	 *
68077e52ae3SPeter Zijlstra 	 * If these conditions are met, it is safe to attempt waking up a
68177e52ae3SPeter Zijlstra 	 * potential waiter without touching the user space futex value and
68290d75889SAlexey Izbyshev 	 * trying to set the OWNER_DIED bit. If the futex value is zero,
68390d75889SAlexey Izbyshev 	 * the rest of the user space mutex state is consistent, so a woken
68490d75889SAlexey Izbyshev 	 * waiter will just take over the uncontended futex. Setting the
68590d75889SAlexey Izbyshev 	 * OWNER_DIED bit would create inconsistent state and malfunction
68690d75889SAlexey Izbyshev 	 * of the user space owner died handling. Otherwise, the OWNER_DIED
68790d75889SAlexey Izbyshev 	 * bit is already set, and the woken waiter is expected to deal with
68890d75889SAlexey Izbyshev 	 * this.
68977e52ae3SPeter Zijlstra 	 */
69090d75889SAlexey Izbyshev 	owner = uval & FUTEX_TID_MASK;
69190d75889SAlexey Izbyshev 
69290d75889SAlexey Izbyshev 	if (pending_op && !pi && !owner) {
693c9bd1568SPeter Zijlstra 		futex_wake(uaddr, FLAGS_SIZE_32 | FLAGS_SHARED, 1,
694c9bd1568SPeter Zijlstra 			   FUTEX_BITSET_MATCH_ANY);
69577e52ae3SPeter Zijlstra 		return 0;
69677e52ae3SPeter Zijlstra 	}
69777e52ae3SPeter Zijlstra 
69890d75889SAlexey Izbyshev 	if (owner != task_pid_vnr(curr))
69977e52ae3SPeter Zijlstra 		return 0;
70077e52ae3SPeter Zijlstra 
70177e52ae3SPeter Zijlstra 	/*
70277e52ae3SPeter Zijlstra 	 * Ok, this dying thread is truly holding a futex
70377e52ae3SPeter Zijlstra 	 * of interest. Set the OWNER_DIED bit atomically
70477e52ae3SPeter Zijlstra 	 * via cmpxchg, and if the value had FUTEX_WAITERS
70577e52ae3SPeter Zijlstra 	 * set, wake up a waiter (if any). (We have to do a
70677e52ae3SPeter Zijlstra 	 * futex_wake() even if OWNER_DIED is already set -
70777e52ae3SPeter Zijlstra 	 * to handle the rare but possible case of recursive
70877e52ae3SPeter Zijlstra 	 * thread-death.) The rest of the cleanup is done in
70977e52ae3SPeter Zijlstra 	 * userspace.
71077e52ae3SPeter Zijlstra 	 */
71177e52ae3SPeter Zijlstra 	mval = (uval & FUTEX_WAITERS) | FUTEX_OWNER_DIED;
71277e52ae3SPeter Zijlstra 
71377e52ae3SPeter Zijlstra 	/*
71477e52ae3SPeter Zijlstra 	 * We are not holding a lock here, but we want to have
71577e52ae3SPeter Zijlstra 	 * the pagefault_disable/enable() protection because
71677e52ae3SPeter Zijlstra 	 * we want to handle the fault gracefully. If the
71777e52ae3SPeter Zijlstra 	 * access fails we try to fault in the futex with R/W
71877e52ae3SPeter Zijlstra 	 * verification via get_user_pages. get_user() above
71977e52ae3SPeter Zijlstra 	 * does not guarantee R/W access. If that fails we
72077e52ae3SPeter Zijlstra 	 * give up and leave the futex locked.
72177e52ae3SPeter Zijlstra 	 */
722966cb75fSPeter Zijlstra 	if ((err = futex_cmpxchg_value_locked(&nval, uaddr, uval, mval))) {
72377e52ae3SPeter Zijlstra 		switch (err) {
72477e52ae3SPeter Zijlstra 		case -EFAULT:
72577e52ae3SPeter Zijlstra 			if (fault_in_user_writeable(uaddr))
72677e52ae3SPeter Zijlstra 				return -1;
72777e52ae3SPeter Zijlstra 			goto retry;
72877e52ae3SPeter Zijlstra 
72977e52ae3SPeter Zijlstra 		case -EAGAIN:
73077e52ae3SPeter Zijlstra 			cond_resched();
73177e52ae3SPeter Zijlstra 			goto retry;
73277e52ae3SPeter Zijlstra 
73377e52ae3SPeter Zijlstra 		default:
73477e52ae3SPeter Zijlstra 			WARN_ON_ONCE(1);
73577e52ae3SPeter Zijlstra 			return err;
73677e52ae3SPeter Zijlstra 		}
73777e52ae3SPeter Zijlstra 	}
73877e52ae3SPeter Zijlstra 
73977e52ae3SPeter Zijlstra 	if (nval != uval)
74077e52ae3SPeter Zijlstra 		goto retry;
74177e52ae3SPeter Zijlstra 
74277e52ae3SPeter Zijlstra 	/*
74377e52ae3SPeter Zijlstra 	 * Wake robust non-PI futexes here. The wakeup of
74477e52ae3SPeter Zijlstra 	 * PI futexes happens in exit_pi_state():
74577e52ae3SPeter Zijlstra 	 */
746c9bd1568SPeter Zijlstra 	if (!pi && (uval & FUTEX_WAITERS)) {
747c9bd1568SPeter Zijlstra 		futex_wake(uaddr, FLAGS_SIZE_32 | FLAGS_SHARED, 1,
748c9bd1568SPeter Zijlstra 			   FUTEX_BITSET_MATCH_ANY);
749c9bd1568SPeter Zijlstra 	}
75077e52ae3SPeter Zijlstra 
75177e52ae3SPeter Zijlstra 	return 0;
75277e52ae3SPeter Zijlstra }
75377e52ae3SPeter Zijlstra 
75477e52ae3SPeter Zijlstra /*
75577e52ae3SPeter Zijlstra  * Fetch a robust-list pointer. Bit 0 signals PI futexes:
75677e52ae3SPeter Zijlstra  */
fetch_robust_entry(struct robust_list __user ** entry,struct robust_list __user * __user * head,unsigned int * pi)75777e52ae3SPeter Zijlstra static inline int fetch_robust_entry(struct robust_list __user **entry,
75877e52ae3SPeter Zijlstra 				     struct robust_list __user * __user *head,
75977e52ae3SPeter Zijlstra 				     unsigned int *pi)
76077e52ae3SPeter Zijlstra {
76177e52ae3SPeter Zijlstra 	unsigned long uentry;
76277e52ae3SPeter Zijlstra 
76377e52ae3SPeter Zijlstra 	if (get_user(uentry, (unsigned long __user *)head))
76477e52ae3SPeter Zijlstra 		return -EFAULT;
76577e52ae3SPeter Zijlstra 
76677e52ae3SPeter Zijlstra 	*entry = (void __user *)(uentry & ~1UL);
76777e52ae3SPeter Zijlstra 	*pi = uentry & 1;
76877e52ae3SPeter Zijlstra 
76977e52ae3SPeter Zijlstra 	return 0;
77077e52ae3SPeter Zijlstra }
77177e52ae3SPeter Zijlstra 
77277e52ae3SPeter Zijlstra /*
77377e52ae3SPeter Zijlstra  * Walk curr->robust_list (very carefully, it's a userspace list!)
77477e52ae3SPeter Zijlstra  * and mark any locks found there dead, and notify any waiters.
77577e52ae3SPeter Zijlstra  *
77677e52ae3SPeter Zijlstra  * We silently return on any sign of list-walking problem.
77777e52ae3SPeter Zijlstra  */
exit_robust_list(struct task_struct * curr)77877e52ae3SPeter Zijlstra static void exit_robust_list(struct task_struct *curr)
77977e52ae3SPeter Zijlstra {
78077e52ae3SPeter Zijlstra 	struct robust_list_head __user *head = curr->robust_list;
78177e52ae3SPeter Zijlstra 	struct robust_list __user *entry, *next_entry, *pending;
78277e52ae3SPeter Zijlstra 	unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
78377e52ae3SPeter Zijlstra 	unsigned int next_pi;
78477e52ae3SPeter Zijlstra 	unsigned long futex_offset;
78577e52ae3SPeter Zijlstra 	int rc;
78677e52ae3SPeter Zijlstra 
78777e52ae3SPeter Zijlstra 	/*
78877e52ae3SPeter Zijlstra 	 * Fetch the list head (which was registered earlier, via
78977e52ae3SPeter Zijlstra 	 * sys_set_robust_list()):
79077e52ae3SPeter Zijlstra 	 */
79177e52ae3SPeter Zijlstra 	if (fetch_robust_entry(&entry, &head->list.next, &pi))
79277e52ae3SPeter Zijlstra 		return;
79377e52ae3SPeter Zijlstra 	/*
79477e52ae3SPeter Zijlstra 	 * Fetch the relative futex offset:
79577e52ae3SPeter Zijlstra 	 */
79677e52ae3SPeter Zijlstra 	if (get_user(futex_offset, &head->futex_offset))
79777e52ae3SPeter Zijlstra 		return;
79877e52ae3SPeter Zijlstra 	/*
79977e52ae3SPeter Zijlstra 	 * Fetch any possibly pending lock-add first, and handle it
80077e52ae3SPeter Zijlstra 	 * if it exists:
80177e52ae3SPeter Zijlstra 	 */
80277e52ae3SPeter Zijlstra 	if (fetch_robust_entry(&pending, &head->list_op_pending, &pip))
80377e52ae3SPeter Zijlstra 		return;
80477e52ae3SPeter Zijlstra 
80577e52ae3SPeter Zijlstra 	next_entry = NULL;	/* avoid warning with gcc */
80677e52ae3SPeter Zijlstra 	while (entry != &head->list) {
80777e52ae3SPeter Zijlstra 		/*
80877e52ae3SPeter Zijlstra 		 * Fetch the next entry in the list before calling
80977e52ae3SPeter Zijlstra 		 * handle_futex_death:
81077e52ae3SPeter Zijlstra 		 */
81177e52ae3SPeter Zijlstra 		rc = fetch_robust_entry(&next_entry, &entry->next, &next_pi);
81277e52ae3SPeter Zijlstra 		/*
81377e52ae3SPeter Zijlstra 		 * A pending lock might already be on the list, so
81477e52ae3SPeter Zijlstra 		 * don't process it twice:
81577e52ae3SPeter Zijlstra 		 */
81677e52ae3SPeter Zijlstra 		if (entry != pending) {
81777e52ae3SPeter Zijlstra 			if (handle_futex_death((void __user *)entry + futex_offset,
81877e52ae3SPeter Zijlstra 						curr, pi, HANDLE_DEATH_LIST))
81977e52ae3SPeter Zijlstra 				return;
82077e52ae3SPeter Zijlstra 		}
82177e52ae3SPeter Zijlstra 		if (rc)
82277e52ae3SPeter Zijlstra 			return;
82377e52ae3SPeter Zijlstra 		entry = next_entry;
82477e52ae3SPeter Zijlstra 		pi = next_pi;
82577e52ae3SPeter Zijlstra 		/*
82677e52ae3SPeter Zijlstra 		 * Avoid excessively long or circular lists:
82777e52ae3SPeter Zijlstra 		 */
82877e52ae3SPeter Zijlstra 		if (!--limit)
82977e52ae3SPeter Zijlstra 			break;
83077e52ae3SPeter Zijlstra 
83177e52ae3SPeter Zijlstra 		cond_resched();
83277e52ae3SPeter Zijlstra 	}
83377e52ae3SPeter Zijlstra 
83477e52ae3SPeter Zijlstra 	if (pending) {
83577e52ae3SPeter Zijlstra 		handle_futex_death((void __user *)pending + futex_offset,
83677e52ae3SPeter Zijlstra 				   curr, pip, HANDLE_DEATH_PENDING);
83777e52ae3SPeter Zijlstra 	}
83877e52ae3SPeter Zijlstra }
83977e52ae3SPeter Zijlstra 
840af8cc960SPeter Zijlstra #ifdef CONFIG_COMPAT
futex_uaddr(struct robust_list __user * entry,compat_long_t futex_offset)841af8cc960SPeter Zijlstra static void __user *futex_uaddr(struct robust_list __user *entry,
842af8cc960SPeter Zijlstra 				compat_long_t futex_offset)
843af8cc960SPeter Zijlstra {
844af8cc960SPeter Zijlstra 	compat_uptr_t base = ptr_to_compat(entry);
845af8cc960SPeter Zijlstra 	void __user *uaddr = compat_ptr(base + futex_offset);
846af8cc960SPeter Zijlstra 
847af8cc960SPeter Zijlstra 	return uaddr;
848af8cc960SPeter Zijlstra }
849af8cc960SPeter Zijlstra 
850af8cc960SPeter Zijlstra /*
851af8cc960SPeter Zijlstra  * Fetch a robust-list pointer. Bit 0 signals PI futexes:
852af8cc960SPeter Zijlstra  */
853af8cc960SPeter Zijlstra static inline int
compat_fetch_robust_entry(compat_uptr_t * uentry,struct robust_list __user ** entry,compat_uptr_t __user * head,unsigned int * pi)854af8cc960SPeter Zijlstra compat_fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
855af8cc960SPeter Zijlstra 		   compat_uptr_t __user *head, unsigned int *pi)
856af8cc960SPeter Zijlstra {
857af8cc960SPeter Zijlstra 	if (get_user(*uentry, head))
858af8cc960SPeter Zijlstra 		return -EFAULT;
859af8cc960SPeter Zijlstra 
860af8cc960SPeter Zijlstra 	*entry = compat_ptr((*uentry) & ~1);
861af8cc960SPeter Zijlstra 	*pi = (unsigned int)(*uentry) & 1;
862af8cc960SPeter Zijlstra 
863af8cc960SPeter Zijlstra 	return 0;
864af8cc960SPeter Zijlstra }
865af8cc960SPeter Zijlstra 
866af8cc960SPeter Zijlstra /*
867af8cc960SPeter Zijlstra  * Walk curr->robust_list (very carefully, it's a userspace list!)
868af8cc960SPeter Zijlstra  * and mark any locks found there dead, and notify any waiters.
869af8cc960SPeter Zijlstra  *
870af8cc960SPeter Zijlstra  * We silently return on any sign of list-walking problem.
871af8cc960SPeter Zijlstra  */
compat_exit_robust_list(struct task_struct * curr)872af8cc960SPeter Zijlstra static void compat_exit_robust_list(struct task_struct *curr)
873af8cc960SPeter Zijlstra {
874af8cc960SPeter Zijlstra 	struct compat_robust_list_head __user *head = curr->compat_robust_list;
875af8cc960SPeter Zijlstra 	struct robust_list __user *entry, *next_entry, *pending;
876af8cc960SPeter Zijlstra 	unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
877af8cc960SPeter Zijlstra 	unsigned int next_pi;
878af8cc960SPeter Zijlstra 	compat_uptr_t uentry, next_uentry, upending;
879af8cc960SPeter Zijlstra 	compat_long_t futex_offset;
880af8cc960SPeter Zijlstra 	int rc;
881af8cc960SPeter Zijlstra 
882af8cc960SPeter Zijlstra 	/*
883af8cc960SPeter Zijlstra 	 * Fetch the list head (which was registered earlier, via
884af8cc960SPeter Zijlstra 	 * sys_set_robust_list()):
885af8cc960SPeter Zijlstra 	 */
886af8cc960SPeter Zijlstra 	if (compat_fetch_robust_entry(&uentry, &entry, &head->list.next, &pi))
887af8cc960SPeter Zijlstra 		return;
888af8cc960SPeter Zijlstra 	/*
889af8cc960SPeter Zijlstra 	 * Fetch the relative futex offset:
890af8cc960SPeter Zijlstra 	 */
891af8cc960SPeter Zijlstra 	if (get_user(futex_offset, &head->futex_offset))
892af8cc960SPeter Zijlstra 		return;
893af8cc960SPeter Zijlstra 	/*
894af8cc960SPeter Zijlstra 	 * Fetch any possibly pending lock-add first, and handle it
895af8cc960SPeter Zijlstra 	 * if it exists:
896af8cc960SPeter Zijlstra 	 */
897af8cc960SPeter Zijlstra 	if (compat_fetch_robust_entry(&upending, &pending,
898af8cc960SPeter Zijlstra 			       &head->list_op_pending, &pip))
899af8cc960SPeter Zijlstra 		return;
900af8cc960SPeter Zijlstra 
901af8cc960SPeter Zijlstra 	next_entry = NULL;	/* avoid warning with gcc */
902af8cc960SPeter Zijlstra 	while (entry != (struct robust_list __user *) &head->list) {
903af8cc960SPeter Zijlstra 		/*
904af8cc960SPeter Zijlstra 		 * Fetch the next entry in the list before calling
905af8cc960SPeter Zijlstra 		 * handle_futex_death:
906af8cc960SPeter Zijlstra 		 */
907af8cc960SPeter Zijlstra 		rc = compat_fetch_robust_entry(&next_uentry, &next_entry,
908af8cc960SPeter Zijlstra 			(compat_uptr_t __user *)&entry->next, &next_pi);
909af8cc960SPeter Zijlstra 		/*
910af8cc960SPeter Zijlstra 		 * A pending lock might already be on the list, so
911af8cc960SPeter Zijlstra 		 * dont process it twice:
912af8cc960SPeter Zijlstra 		 */
913af8cc960SPeter Zijlstra 		if (entry != pending) {
914af8cc960SPeter Zijlstra 			void __user *uaddr = futex_uaddr(entry, futex_offset);
915af8cc960SPeter Zijlstra 
916af8cc960SPeter Zijlstra 			if (handle_futex_death(uaddr, curr, pi,
917af8cc960SPeter Zijlstra 					       HANDLE_DEATH_LIST))
918af8cc960SPeter Zijlstra 				return;
919af8cc960SPeter Zijlstra 		}
920af8cc960SPeter Zijlstra 		if (rc)
921af8cc960SPeter Zijlstra 			return;
922af8cc960SPeter Zijlstra 		uentry = next_uentry;
923af8cc960SPeter Zijlstra 		entry = next_entry;
924af8cc960SPeter Zijlstra 		pi = next_pi;
925af8cc960SPeter Zijlstra 		/*
926af8cc960SPeter Zijlstra 		 * Avoid excessively long or circular lists:
927af8cc960SPeter Zijlstra 		 */
928af8cc960SPeter Zijlstra 		if (!--limit)
929af8cc960SPeter Zijlstra 			break;
930af8cc960SPeter Zijlstra 
931af8cc960SPeter Zijlstra 		cond_resched();
932af8cc960SPeter Zijlstra 	}
933af8cc960SPeter Zijlstra 	if (pending) {
934af8cc960SPeter Zijlstra 		void __user *uaddr = futex_uaddr(pending, futex_offset);
935af8cc960SPeter Zijlstra 
936af8cc960SPeter Zijlstra 		handle_futex_death(uaddr, curr, pip, HANDLE_DEATH_PENDING);
937af8cc960SPeter Zijlstra 	}
938af8cc960SPeter Zijlstra }
939af8cc960SPeter Zijlstra #endif
940af8cc960SPeter Zijlstra 
94185dc28faSPeter Zijlstra #ifdef CONFIG_FUTEX_PI
94285dc28faSPeter Zijlstra 
94385dc28faSPeter Zijlstra /*
94485dc28faSPeter Zijlstra  * This task is holding PI mutexes at exit time => bad.
94585dc28faSPeter Zijlstra  * Kernel cleans up PI-state, but userspace is likely hosed.
94685dc28faSPeter Zijlstra  * (Robust-futex cleanup is separate and might save the day for userspace.)
94785dc28faSPeter Zijlstra  */
exit_pi_state_list(struct task_struct * curr)94885dc28faSPeter Zijlstra static void exit_pi_state_list(struct task_struct *curr)
94985dc28faSPeter Zijlstra {
95085dc28faSPeter Zijlstra 	struct list_head *next, *head = &curr->pi_state_list;
95185dc28faSPeter Zijlstra 	struct futex_pi_state *pi_state;
95285dc28faSPeter Zijlstra 	struct futex_hash_bucket *hb;
95385dc28faSPeter Zijlstra 	union futex_key key = FUTEX_KEY_INIT;
95485dc28faSPeter Zijlstra 
95585dc28faSPeter Zijlstra 	/*
95685dc28faSPeter Zijlstra 	 * We are a ZOMBIE and nobody can enqueue itself on
95785dc28faSPeter Zijlstra 	 * pi_state_list anymore, but we have to be careful
95885dc28faSPeter Zijlstra 	 * versus waiters unqueueing themselves:
95985dc28faSPeter Zijlstra 	 */
96085dc28faSPeter Zijlstra 	raw_spin_lock_irq(&curr->pi_lock);
96185dc28faSPeter Zijlstra 	while (!list_empty(head)) {
96285dc28faSPeter Zijlstra 		next = head->next;
96385dc28faSPeter Zijlstra 		pi_state = list_entry(next, struct futex_pi_state, list);
96485dc28faSPeter Zijlstra 		key = pi_state->key;
96585dc28faSPeter Zijlstra 		hb = futex_hash(&key);
96685dc28faSPeter Zijlstra 
96785dc28faSPeter Zijlstra 		/*
96885dc28faSPeter Zijlstra 		 * We can race against put_pi_state() removing itself from the
96985dc28faSPeter Zijlstra 		 * list (a waiter going away). put_pi_state() will first
97085dc28faSPeter Zijlstra 		 * decrement the reference count and then modify the list, so
97185dc28faSPeter Zijlstra 		 * its possible to see the list entry but fail this reference
97285dc28faSPeter Zijlstra 		 * acquire.
97385dc28faSPeter Zijlstra 		 *
97485dc28faSPeter Zijlstra 		 * In that case; drop the locks to let put_pi_state() make
97585dc28faSPeter Zijlstra 		 * progress and retry the loop.
97685dc28faSPeter Zijlstra 		 */
97785dc28faSPeter Zijlstra 		if (!refcount_inc_not_zero(&pi_state->refcount)) {
97885dc28faSPeter Zijlstra 			raw_spin_unlock_irq(&curr->pi_lock);
97985dc28faSPeter Zijlstra 			cpu_relax();
98085dc28faSPeter Zijlstra 			raw_spin_lock_irq(&curr->pi_lock);
98185dc28faSPeter Zijlstra 			continue;
98285dc28faSPeter Zijlstra 		}
98385dc28faSPeter Zijlstra 		raw_spin_unlock_irq(&curr->pi_lock);
98485dc28faSPeter Zijlstra 
98585dc28faSPeter Zijlstra 		spin_lock(&hb->lock);
98685dc28faSPeter Zijlstra 		raw_spin_lock_irq(&pi_state->pi_mutex.wait_lock);
98785dc28faSPeter Zijlstra 		raw_spin_lock(&curr->pi_lock);
98885dc28faSPeter Zijlstra 		/*
98985dc28faSPeter Zijlstra 		 * We dropped the pi-lock, so re-check whether this
99085dc28faSPeter Zijlstra 		 * task still owns the PI-state:
99185dc28faSPeter Zijlstra 		 */
99285dc28faSPeter Zijlstra 		if (head->next != next) {
99385dc28faSPeter Zijlstra 			/* retain curr->pi_lock for the loop invariant */
99485dc28faSPeter Zijlstra 			raw_spin_unlock(&pi_state->pi_mutex.wait_lock);
99585dc28faSPeter Zijlstra 			spin_unlock(&hb->lock);
99685dc28faSPeter Zijlstra 			put_pi_state(pi_state);
99785dc28faSPeter Zijlstra 			continue;
99885dc28faSPeter Zijlstra 		}
99985dc28faSPeter Zijlstra 
100085dc28faSPeter Zijlstra 		WARN_ON(pi_state->owner != curr);
100185dc28faSPeter Zijlstra 		WARN_ON(list_empty(&pi_state->list));
100285dc28faSPeter Zijlstra 		list_del_init(&pi_state->list);
100385dc28faSPeter Zijlstra 		pi_state->owner = NULL;
100485dc28faSPeter Zijlstra 
100585dc28faSPeter Zijlstra 		raw_spin_unlock(&curr->pi_lock);
100685dc28faSPeter Zijlstra 		raw_spin_unlock_irq(&pi_state->pi_mutex.wait_lock);
100785dc28faSPeter Zijlstra 		spin_unlock(&hb->lock);
100885dc28faSPeter Zijlstra 
100985dc28faSPeter Zijlstra 		rt_mutex_futex_unlock(&pi_state->pi_mutex);
101085dc28faSPeter Zijlstra 		put_pi_state(pi_state);
101185dc28faSPeter Zijlstra 
101285dc28faSPeter Zijlstra 		raw_spin_lock_irq(&curr->pi_lock);
101385dc28faSPeter Zijlstra 	}
101485dc28faSPeter Zijlstra 	raw_spin_unlock_irq(&curr->pi_lock);
101585dc28faSPeter Zijlstra }
101685dc28faSPeter Zijlstra #else
exit_pi_state_list(struct task_struct * curr)101785dc28faSPeter Zijlstra static inline void exit_pi_state_list(struct task_struct *curr) { }
101885dc28faSPeter Zijlstra #endif
101985dc28faSPeter Zijlstra 
futex_cleanup(struct task_struct * tsk)102077e52ae3SPeter Zijlstra static void futex_cleanup(struct task_struct *tsk)
102177e52ae3SPeter Zijlstra {
102277e52ae3SPeter Zijlstra 	if (unlikely(tsk->robust_list)) {
102377e52ae3SPeter Zijlstra 		exit_robust_list(tsk);
102477e52ae3SPeter Zijlstra 		tsk->robust_list = NULL;
102577e52ae3SPeter Zijlstra 	}
102677e52ae3SPeter Zijlstra 
102777e52ae3SPeter Zijlstra #ifdef CONFIG_COMPAT
102877e52ae3SPeter Zijlstra 	if (unlikely(tsk->compat_robust_list)) {
102977e52ae3SPeter Zijlstra 		compat_exit_robust_list(tsk);
103077e52ae3SPeter Zijlstra 		tsk->compat_robust_list = NULL;
103177e52ae3SPeter Zijlstra 	}
103277e52ae3SPeter Zijlstra #endif
103377e52ae3SPeter Zijlstra 
103477e52ae3SPeter Zijlstra 	if (unlikely(!list_empty(&tsk->pi_state_list)))
103577e52ae3SPeter Zijlstra 		exit_pi_state_list(tsk);
103677e52ae3SPeter Zijlstra }
103777e52ae3SPeter Zijlstra 
103877e52ae3SPeter Zijlstra /**
103977e52ae3SPeter Zijlstra  * futex_exit_recursive - Set the tasks futex state to FUTEX_STATE_DEAD
104077e52ae3SPeter Zijlstra  * @tsk:	task to set the state on
104177e52ae3SPeter Zijlstra  *
104277e52ae3SPeter Zijlstra  * Set the futex exit state of the task lockless. The futex waiter code
104377e52ae3SPeter Zijlstra  * observes that state when a task is exiting and loops until the task has
104477e52ae3SPeter Zijlstra  * actually finished the futex cleanup. The worst case for this is that the
104577e52ae3SPeter Zijlstra  * waiter runs through the wait loop until the state becomes visible.
104677e52ae3SPeter Zijlstra  *
104705ea0424SEric W. Biederman  * This is called from the recursive fault handling path in make_task_dead().
104877e52ae3SPeter Zijlstra  *
104977e52ae3SPeter Zijlstra  * This is best effort. Either the futex exit code has run already or
105077e52ae3SPeter Zijlstra  * not. If the OWNER_DIED bit has been set on the futex then the waiter can
105177e52ae3SPeter Zijlstra  * take it over. If not, the problem is pushed back to user space. If the
105277e52ae3SPeter Zijlstra  * futex exit code did not run yet, then an already queued waiter might
105377e52ae3SPeter Zijlstra  * block forever, but there is nothing which can be done about that.
105477e52ae3SPeter Zijlstra  */
futex_exit_recursive(struct task_struct * tsk)105577e52ae3SPeter Zijlstra void futex_exit_recursive(struct task_struct *tsk)
105677e52ae3SPeter Zijlstra {
105777e52ae3SPeter Zijlstra 	/* If the state is FUTEX_STATE_EXITING then futex_exit_mutex is held */
105877e52ae3SPeter Zijlstra 	if (tsk->futex_state == FUTEX_STATE_EXITING)
105977e52ae3SPeter Zijlstra 		mutex_unlock(&tsk->futex_exit_mutex);
106077e52ae3SPeter Zijlstra 	tsk->futex_state = FUTEX_STATE_DEAD;
106177e52ae3SPeter Zijlstra }
106277e52ae3SPeter Zijlstra 
futex_cleanup_begin(struct task_struct * tsk)106377e52ae3SPeter Zijlstra static void futex_cleanup_begin(struct task_struct *tsk)
106477e52ae3SPeter Zijlstra {
106577e52ae3SPeter Zijlstra 	/*
106677e52ae3SPeter Zijlstra 	 * Prevent various race issues against a concurrent incoming waiter
106777e52ae3SPeter Zijlstra 	 * including live locks by forcing the waiter to block on
106877e52ae3SPeter Zijlstra 	 * tsk->futex_exit_mutex when it observes FUTEX_STATE_EXITING in
106977e52ae3SPeter Zijlstra 	 * attach_to_pi_owner().
107077e52ae3SPeter Zijlstra 	 */
107177e52ae3SPeter Zijlstra 	mutex_lock(&tsk->futex_exit_mutex);
107277e52ae3SPeter Zijlstra 
107377e52ae3SPeter Zijlstra 	/*
107477e52ae3SPeter Zijlstra 	 * Switch the state to FUTEX_STATE_EXITING under tsk->pi_lock.
107577e52ae3SPeter Zijlstra 	 *
107677e52ae3SPeter Zijlstra 	 * This ensures that all subsequent checks of tsk->futex_state in
107777e52ae3SPeter Zijlstra 	 * attach_to_pi_owner() must observe FUTEX_STATE_EXITING with
107877e52ae3SPeter Zijlstra 	 * tsk->pi_lock held.
107977e52ae3SPeter Zijlstra 	 *
108077e52ae3SPeter Zijlstra 	 * It guarantees also that a pi_state which was queued right before
108177e52ae3SPeter Zijlstra 	 * the state change under tsk->pi_lock by a concurrent waiter must
108277e52ae3SPeter Zijlstra 	 * be observed in exit_pi_state_list().
108377e52ae3SPeter Zijlstra 	 */
108477e52ae3SPeter Zijlstra 	raw_spin_lock_irq(&tsk->pi_lock);
108577e52ae3SPeter Zijlstra 	tsk->futex_state = FUTEX_STATE_EXITING;
108677e52ae3SPeter Zijlstra 	raw_spin_unlock_irq(&tsk->pi_lock);
108777e52ae3SPeter Zijlstra }
108877e52ae3SPeter Zijlstra 
futex_cleanup_end(struct task_struct * tsk,int state)108977e52ae3SPeter Zijlstra static void futex_cleanup_end(struct task_struct *tsk, int state)
109077e52ae3SPeter Zijlstra {
109177e52ae3SPeter Zijlstra 	/*
109277e52ae3SPeter Zijlstra 	 * Lockless store. The only side effect is that an observer might
109377e52ae3SPeter Zijlstra 	 * take another loop until it becomes visible.
109477e52ae3SPeter Zijlstra 	 */
109577e52ae3SPeter Zijlstra 	tsk->futex_state = state;
109677e52ae3SPeter Zijlstra 	/*
109777e52ae3SPeter Zijlstra 	 * Drop the exit protection. This unblocks waiters which observed
109877e52ae3SPeter Zijlstra 	 * FUTEX_STATE_EXITING to reevaluate the state.
109977e52ae3SPeter Zijlstra 	 */
110077e52ae3SPeter Zijlstra 	mutex_unlock(&tsk->futex_exit_mutex);
110177e52ae3SPeter Zijlstra }
110277e52ae3SPeter Zijlstra 
futex_exec_release(struct task_struct * tsk)110377e52ae3SPeter Zijlstra void futex_exec_release(struct task_struct *tsk)
110477e52ae3SPeter Zijlstra {
110577e52ae3SPeter Zijlstra 	/*
110677e52ae3SPeter Zijlstra 	 * The state handling is done for consistency, but in the case of
110777e52ae3SPeter Zijlstra 	 * exec() there is no way to prevent further damage as the PID stays
110877e52ae3SPeter Zijlstra 	 * the same. But for the unlikely and arguably buggy case that a
110977e52ae3SPeter Zijlstra 	 * futex is held on exec(), this provides at least as much state
111077e52ae3SPeter Zijlstra 	 * consistency protection which is possible.
111177e52ae3SPeter Zijlstra 	 */
111277e52ae3SPeter Zijlstra 	futex_cleanup_begin(tsk);
111377e52ae3SPeter Zijlstra 	futex_cleanup(tsk);
111477e52ae3SPeter Zijlstra 	/*
111577e52ae3SPeter Zijlstra 	 * Reset the state to FUTEX_STATE_OK. The task is alive and about
111677e52ae3SPeter Zijlstra 	 * exec a new binary.
111777e52ae3SPeter Zijlstra 	 */
111877e52ae3SPeter Zijlstra 	futex_cleanup_end(tsk, FUTEX_STATE_OK);
111977e52ae3SPeter Zijlstra }
112077e52ae3SPeter Zijlstra 
futex_exit_release(struct task_struct * tsk)112177e52ae3SPeter Zijlstra void futex_exit_release(struct task_struct *tsk)
112277e52ae3SPeter Zijlstra {
112377e52ae3SPeter Zijlstra 	futex_cleanup_begin(tsk);
112477e52ae3SPeter Zijlstra 	futex_cleanup(tsk);
112577e52ae3SPeter Zijlstra 	futex_cleanup_end(tsk, FUTEX_STATE_DEAD);
112677e52ae3SPeter Zijlstra }
112777e52ae3SPeter Zijlstra 
futex_init(void)112877e52ae3SPeter Zijlstra static int __init futex_init(void)
112977e52ae3SPeter Zijlstra {
1130*e3924279SSebastian Andrzej Siewior 	unsigned long hashsize, i;
113177e52ae3SPeter Zijlstra 	unsigned int futex_shift;
113277e52ae3SPeter Zijlstra 
1133b3e90f37SYoann Congal #ifdef CONFIG_BASE_SMALL
1134*e3924279SSebastian Andrzej Siewior 	hashsize = 16;
113577e52ae3SPeter Zijlstra #else
1136*e3924279SSebastian Andrzej Siewior 	hashsize = roundup_pow_of_two(256 * num_possible_cpus());
113777e52ae3SPeter Zijlstra #endif
113877e52ae3SPeter Zijlstra 
113977e52ae3SPeter Zijlstra 	futex_queues = alloc_large_system_hash("futex", sizeof(*futex_queues),
1140*e3924279SSebastian Andrzej Siewior 					       hashsize, 0, 0,
114177e52ae3SPeter Zijlstra 					       &futex_shift, NULL,
1142*e3924279SSebastian Andrzej Siewior 					       hashsize, hashsize);
1143*e3924279SSebastian Andrzej Siewior 	hashsize = 1UL << futex_shift;
114477e52ae3SPeter Zijlstra 
1145*e3924279SSebastian Andrzej Siewior 	for (i = 0; i < hashsize; i++) {
114677e52ae3SPeter Zijlstra 		atomic_set(&futex_queues[i].waiters, 0);
114777e52ae3SPeter Zijlstra 		plist_head_init(&futex_queues[i].chain);
114877e52ae3SPeter Zijlstra 		spin_lock_init(&futex_queues[i].lock);
114977e52ae3SPeter Zijlstra 	}
115077e52ae3SPeter Zijlstra 
1151*e3924279SSebastian Andrzej Siewior 	futex_hashmask = hashsize - 1;
115277e52ae3SPeter Zijlstra 	return 0;
115377e52ae3SPeter Zijlstra }
115477e52ae3SPeter Zijlstra core_initcall(futex_init);
1155