Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | #ifndef _LINUX_FUTEX_H |
| 3 | #define _LINUX_FUTEX_H |
| 4 | |
Thomas Gleixner | ba31c1a4 | 2019-11-06 22:55:36 +0100 | [diff] [blame] | 5 | #include <linux/sched.h> |
Thomas Gleixner | 2456e85 | 2016-12-25 11:38:40 +0100 | [diff] [blame] | 6 | #include <linux/ktime.h> |
Thomas Gleixner | ba31c1a4 | 2019-11-06 22:55:36 +0100 | [diff] [blame] | 7 | |
David Howells | 607ca46 | 2012-10-13 10:46:48 +0100 | [diff] [blame] | 8 | #include <uapi/linux/futex.h> |
Ingo Molnar | 0771dfe | 2006-03-27 01:16:22 -0800 | [diff] [blame] | 9 | |
Mike Frysinger | 9064a67 | 2009-09-23 15:57:23 -0700 | [diff] [blame] | 10 | struct inode; |
| 11 | struct mm_struct; |
| 12 | struct task_struct; |
Mike Frysinger | 9064a67 | 2009-09-23 15:57:23 -0700 | [diff] [blame] | 13 | |
Rusty Russell | 9adef58 | 2007-05-08 00:26:42 -0700 | [diff] [blame] | 14 | /* |
| 15 | * Futexes are matched on equal values of this key. |
| 16 | * The key type depends on whether it's a shared or private mapping. |
| 17 | * Don't rearrange members without looking at hash_futex(). |
| 18 | * |
| 19 | * offset is aligned to a multiple of sizeof(u32) (== 4) by definition. |
Eric Dumazet | 34f01cc | 2007-05-09 02:35:04 -0700 | [diff] [blame] | 20 | * We use the two low order bits of offset to tell what is the kind of key : |
| 21 | * 00 : Private process futex (PTHREAD_PROCESS_PRIVATE) |
| 22 | * (no reference on an inode or mm) |
| 23 | * 01 : Shared futex (PTHREAD_PROCESS_SHARED) |
| 24 | * mapped on a file (reference on the underlying inode) |
| 25 | * 10 : Shared futex (PTHREAD_PROCESS_SHARED) |
| 26 | * (but private mapping on an mm, and reference taken on it) |
| 27 | */ |
| 28 | |
| 29 | #define FUT_OFF_INODE 1 /* We set bit 0 if key has a reference on inode */ |
| 30 | #define FUT_OFF_MMSHARED 2 /* We set bit 1 if key has a reference on mm */ |
| 31 | |
Rusty Russell | 9adef58 | 2007-05-08 00:26:42 -0700 | [diff] [blame] | 32 | union futex_key { |
| 33 | struct { |
| 34 | unsigned long pgoff; |
| 35 | struct inode *inode; |
| 36 | int offset; |
| 37 | } shared; |
| 38 | struct { |
| 39 | unsigned long address; |
| 40 | struct mm_struct *mm; |
| 41 | int offset; |
| 42 | } private; |
| 43 | struct { |
| 44 | unsigned long word; |
| 45 | void *ptr; |
| 46 | int offset; |
| 47 | } both; |
| 48 | }; |
Rusty Russell | 9adef58 | 2007-05-08 00:26:42 -0700 | [diff] [blame] | 49 | |
Peter Zijlstra | 38d47c1 | 2008-09-26 19:32:20 +0200 | [diff] [blame] | 50 | #define FUTEX_KEY_INIT (union futex_key) { .both = { .ptr = NULL } } |
| 51 | |
Ingo Molnar | 0771dfe | 2006-03-27 01:16:22 -0800 | [diff] [blame] | 52 | #ifdef CONFIG_FUTEX |
Thomas Gleixner | 3d4775d | 2019-11-06 22:55:37 +0100 | [diff] [blame] | 53 | enum { |
| 54 | FUTEX_STATE_OK, |
Thomas Gleixner | 18f6943 | 2019-11-06 22:55:41 +0100 | [diff] [blame] | 55 | FUTEX_STATE_EXITING, |
Thomas Gleixner | 3d4775d | 2019-11-06 22:55:37 +0100 | [diff] [blame] | 56 | FUTEX_STATE_DEAD, |
| 57 | }; |
Thomas Gleixner | ba31c1a4 | 2019-11-06 22:55:36 +0100 | [diff] [blame] | 58 | |
| 59 | static inline void futex_init_task(struct task_struct *tsk) |
| 60 | { |
| 61 | tsk->robust_list = NULL; |
| 62 | #ifdef CONFIG_COMPAT |
| 63 | tsk->compat_robust_list = NULL; |
| 64 | #endif |
| 65 | INIT_LIST_HEAD(&tsk->pi_state_list); |
| 66 | tsk->pi_state_cache = NULL; |
Thomas Gleixner | 3d4775d | 2019-11-06 22:55:37 +0100 | [diff] [blame] | 67 | tsk->futex_state = FUTEX_STATE_OK; |
Thomas Gleixner | 3f186d9 | 2019-11-06 22:55:44 +0100 | [diff] [blame] | 68 | mutex_init(&tsk->futex_exit_mutex); |
Thomas Gleixner | 3d4775d | 2019-11-06 22:55:37 +0100 | [diff] [blame] | 69 | } |
| 70 | |
Thomas Gleixner | 18f6943 | 2019-11-06 22:55:41 +0100 | [diff] [blame] | 71 | void futex_exit_recursive(struct task_struct *tsk); |
Thomas Gleixner | 150d715 | 2019-11-06 22:55:39 +0100 | [diff] [blame] | 72 | void futex_exit_release(struct task_struct *tsk); |
| 73 | void futex_exec_release(struct task_struct *tsk); |
Dominik Brodowski | 2de0db9 | 2018-03-11 11:34:26 +0100 | [diff] [blame] | 74 | |
| 75 | long do_futex(u32 __user *uaddr, int op, u32 val, ktime_t *timeout, |
| 76 | u32 __user *uaddr2, u32 val2, u32 val3); |
Ingo Molnar | 0771dfe | 2006-03-27 01:16:22 -0800 | [diff] [blame] | 77 | #else |
Thomas Gleixner | ba31c1a4 | 2019-11-06 22:55:36 +0100 | [diff] [blame] | 78 | static inline void futex_init_task(struct task_struct *tsk) { } |
Thomas Gleixner | 18f6943 | 2019-11-06 22:55:41 +0100 | [diff] [blame] | 79 | static inline void futex_exit_recursive(struct task_struct *tsk) { } |
Thomas Gleixner | 150d715 | 2019-11-06 22:55:39 +0100 | [diff] [blame] | 80 | static inline void futex_exit_release(struct task_struct *tsk) { } |
| 81 | static inline void futex_exec_release(struct task_struct *tsk) { } |
Dominik Brodowski | 2de0db9 | 2018-03-11 11:34:26 +0100 | [diff] [blame] | 82 | static inline long do_futex(u32 __user *uaddr, int op, u32 val, |
| 83 | ktime_t *timeout, u32 __user *uaddr2, |
| 84 | u32 val2, u32 val3) |
| 85 | { |
| 86 | return -EINVAL; |
| 87 | } |
Nicolas Pitre | bc2eecd | 2017-08-01 00:31:32 -0400 | [diff] [blame] | 88 | #endif |
| 89 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 90 | #endif |