Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 2 | #ifndef _LINUX_PERCPU_RWSEM_H |
| 3 | #define _LINUX_PERCPU_RWSEM_H |
| 4 | |
Oleg Nesterov | 9390ef0 | 2012-12-17 16:01:36 -0800 | [diff] [blame] | 5 | #include <linux/atomic.h> |
Oleg Nesterov | a1fd3e2 | 2012-12-17 16:01:32 -0800 | [diff] [blame] | 6 | #include <linux/rwsem.h> |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 7 | #include <linux/percpu.h> |
Davidlohr Bueso | 52b9412 | 2017-01-11 07:22:26 -0800 | [diff] [blame] | 8 | #include <linux/rcuwait.h> |
Oleg Nesterov | 001dac6 | 2015-08-21 19:42:57 +0200 | [diff] [blame] | 9 | #include <linux/rcu_sync.h> |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 10 | #include <linux/lockdep.h> |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 11 | |
| 12 | struct percpu_rw_semaphore { |
Oleg Nesterov | 001dac6 | 2015-08-21 19:42:57 +0200 | [diff] [blame] | 13 | struct rcu_sync rss; |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 14 | unsigned int __percpu *read_count; |
Davidlohr Bueso | 52b9412 | 2017-01-11 07:22:26 -0800 | [diff] [blame] | 15 | struct rw_semaphore rw_sem; /* slowpath */ |
| 16 | struct rcuwait writer; /* blocked writer */ |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 17 | int readers_block; |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 18 | }; |
| 19 | |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 20 | #define DEFINE_STATIC_PERCPU_RWSEM(name) \ |
| 21 | static DEFINE_PER_CPU(unsigned int, __percpu_rwsem_rc_##name); \ |
| 22 | static struct percpu_rw_semaphore name = { \ |
| 23 | .rss = __RCU_SYNC_INITIALIZER(name.rss, RCU_SCHED_SYNC), \ |
| 24 | .read_count = &__percpu_rwsem_rc_##name, \ |
| 25 | .rw_sem = __RWSEM_INITIALIZER(name.rw_sem), \ |
Davidlohr Bueso | 52b9412 | 2017-01-11 07:22:26 -0800 | [diff] [blame] | 26 | .writer = __RCUWAIT_INITIALIZER(name.writer), \ |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 27 | } |
| 28 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 29 | extern int __percpu_down_read(struct percpu_rw_semaphore *, int); |
| 30 | extern void __percpu_up_read(struct percpu_rw_semaphore *); |
| 31 | |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 32 | static inline void percpu_down_read_preempt_disable(struct percpu_rw_semaphore *sem) |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 33 | { |
| 34 | might_sleep(); |
| 35 | |
| 36 | rwsem_acquire_read(&sem->rw_sem.dep_map, 0, 0, _RET_IP_); |
| 37 | |
| 38 | preempt_disable(); |
| 39 | /* |
| 40 | * We are in an RCU-sched read-side critical section, so the writer |
| 41 | * cannot both change sem->state from readers_fast and start checking |
| 42 | * counters while we are here. So if we see !sem->state, we know that |
| 43 | * the writer won't be checking until we're past the preempt_enable() |
| 44 | * and that one the synchronize_sched() is done, the writer will see |
| 45 | * anything we did within this RCU-sched read-size critical section. |
| 46 | */ |
| 47 | __this_cpu_inc(*sem->read_count); |
| 48 | if (unlikely(!rcu_sync_is_idle(&sem->rss))) |
| 49 | __percpu_down_read(sem, false); /* Unconditional memory barrier */ |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 50 | barrier(); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 51 | /* |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 52 | * The barrier() prevents the compiler from |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 53 | * bleeding the critical section out. |
| 54 | */ |
| 55 | } |
| 56 | |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 57 | static inline void percpu_down_read(struct percpu_rw_semaphore *sem) |
| 58 | { |
| 59 | percpu_down_read_preempt_disable(sem); |
| 60 | preempt_enable(); |
| 61 | } |
| 62 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 63 | static inline int percpu_down_read_trylock(struct percpu_rw_semaphore *sem) |
| 64 | { |
| 65 | int ret = 1; |
| 66 | |
| 67 | preempt_disable(); |
| 68 | /* |
| 69 | * Same as in percpu_down_read(). |
| 70 | */ |
| 71 | __this_cpu_inc(*sem->read_count); |
| 72 | if (unlikely(!rcu_sync_is_idle(&sem->rss))) |
| 73 | ret = __percpu_down_read(sem, true); /* Unconditional memory barrier */ |
| 74 | preempt_enable(); |
| 75 | /* |
| 76 | * The barrier() from preempt_enable() prevents the compiler from |
| 77 | * bleeding the critical section out. |
| 78 | */ |
| 79 | |
| 80 | if (ret) |
| 81 | rwsem_acquire_read(&sem->rw_sem.dep_map, 0, 1, _RET_IP_); |
| 82 | |
| 83 | return ret; |
| 84 | } |
| 85 | |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 86 | static inline void percpu_up_read_preempt_enable(struct percpu_rw_semaphore *sem) |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 87 | { |
| 88 | /* |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 89 | * The barrier() prevents the compiler from |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 90 | * bleeding the critical section out. |
| 91 | */ |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 92 | barrier(); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 93 | /* |
| 94 | * Same as in percpu_down_read(). |
| 95 | */ |
| 96 | if (likely(rcu_sync_is_idle(&sem->rss))) |
| 97 | __this_cpu_dec(*sem->read_count); |
| 98 | else |
| 99 | __percpu_up_read(sem); /* Unconditional memory barrier */ |
| 100 | preempt_enable(); |
| 101 | |
| 102 | rwsem_release(&sem->rw_sem.dep_map, 1, _RET_IP_); |
| 103 | } |
Mikulas Patocka | 5c1eabe | 2012-10-22 19:37:47 -0400 | [diff] [blame] | 104 | |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 105 | static inline void percpu_up_read(struct percpu_rw_semaphore *sem) |
| 106 | { |
| 107 | preempt_disable(); |
| 108 | percpu_up_read_preempt_enable(sem); |
| 109 | } |
| 110 | |
Oleg Nesterov | a1fd3e2 | 2012-12-17 16:01:32 -0800 | [diff] [blame] | 111 | extern void percpu_down_write(struct percpu_rw_semaphore *); |
| 112 | extern void percpu_up_write(struct percpu_rw_semaphore *); |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 113 | |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 114 | extern int __percpu_init_rwsem(struct percpu_rw_semaphore *, |
| 115 | const char *, struct lock_class_key *); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 116 | |
Oleg Nesterov | a1fd3e2 | 2012-12-17 16:01:32 -0800 | [diff] [blame] | 117 | extern void percpu_free_rwsem(struct percpu_rw_semaphore *); |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 118 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 119 | #define percpu_init_rwsem(sem) \ |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 120 | ({ \ |
| 121 | static struct lock_class_key rwsem_key; \ |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 122 | __percpu_init_rwsem(sem, #sem, &rwsem_key); \ |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 123 | }) |
| 124 | |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 125 | #define percpu_rwsem_is_held(sem) lockdep_is_held(&(sem)->rw_sem) |
| 126 | |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 127 | #define percpu_rwsem_assert_held(sem) \ |
| 128 | lockdep_assert_held(&(sem)->rw_sem) |
| 129 | |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 130 | static inline void percpu_rwsem_release(struct percpu_rw_semaphore *sem, |
| 131 | bool read, unsigned long ip) |
| 132 | { |
| 133 | lock_release(&sem->rw_sem.dep_map, 1, ip); |
| 134 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
| 135 | if (!read) |
Waiman Long | 5a81764 | 2018-05-15 17:49:51 -0400 | [diff] [blame] | 136 | sem->rw_sem.owner = RWSEM_OWNER_UNKNOWN; |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 137 | #endif |
| 138 | } |
| 139 | |
| 140 | static inline void percpu_rwsem_acquire(struct percpu_rw_semaphore *sem, |
| 141 | bool read, unsigned long ip) |
| 142 | { |
| 143 | lock_acquire(&sem->rw_sem.dep_map, 0, 1, read, 1, NULL, ip); |
Waiman Long | 5a81764 | 2018-05-15 17:49:51 -0400 | [diff] [blame] | 144 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
| 145 | if (!read) |
| 146 | sem->rw_sem.owner = current; |
| 147 | #endif |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 148 | } |
| 149 | |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 150 | #endif |