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 | |
Oleg Nesterov | 3f2947b | 2019-04-23 18:32:41 +0200 | [diff] [blame] | 20 | #define __DEFINE_PERCPU_RWSEM(name, is_static) \ |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 21 | static DEFINE_PER_CPU(unsigned int, __percpu_rwsem_rc_##name); \ |
Oleg Nesterov | 3f2947b | 2019-04-23 18:32:41 +0200 | [diff] [blame] | 22 | is_static struct percpu_rw_semaphore name = { \ |
Oleg Nesterov | 95bf33b | 2019-04-23 14:07:24 +0200 | [diff] [blame] | 23 | .rss = __RCU_SYNC_INITIALIZER(name.rss), \ |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 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 | } |
Oleg Nesterov | 3f2947b | 2019-04-23 18:32:41 +0200 | [diff] [blame] | 28 | #define DEFINE_PERCPU_RWSEM(name) \ |
| 29 | __DEFINE_PERCPU_RWSEM(name, /* not static */) |
| 30 | #define DEFINE_STATIC_PERCPU_RWSEM(name) \ |
| 31 | __DEFINE_PERCPU_RWSEM(name, static) |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 32 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 33 | extern int __percpu_down_read(struct percpu_rw_semaphore *, int); |
| 34 | extern void __percpu_up_read(struct percpu_rw_semaphore *); |
| 35 | |
Peter Zijlstra | 02e525b2 | 2019-02-21 15:38:40 +0100 | [diff] [blame] | 36 | static inline void percpu_down_read(struct percpu_rw_semaphore *sem) |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 37 | { |
| 38 | might_sleep(); |
| 39 | |
| 40 | rwsem_acquire_read(&sem->rw_sem.dep_map, 0, 0, _RET_IP_); |
| 41 | |
| 42 | preempt_disable(); |
| 43 | /* |
| 44 | * We are in an RCU-sched read-side critical section, so the writer |
| 45 | * cannot both change sem->state from readers_fast and start checking |
| 46 | * counters while we are here. So if we see !sem->state, we know that |
| 47 | * the writer won't be checking until we're past the preempt_enable() |
Paul E. McKenney | e3e7405 | 2018-11-07 13:53:34 -0800 | [diff] [blame] | 48 | * and that once the synchronize_rcu() is done, the writer will see |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 49 | * anything we did within this RCU-sched read-size critical section. |
| 50 | */ |
| 51 | __this_cpu_inc(*sem->read_count); |
| 52 | if (unlikely(!rcu_sync_is_idle(&sem->rss))) |
| 53 | __percpu_down_read(sem, false); /* Unconditional memory barrier */ |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 54 | /* |
Peter Zijlstra | 02e525b2 | 2019-02-21 15:38:40 +0100 | [diff] [blame] | 55 | * The preempt_enable() prevents the compiler from |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 56 | * bleeding the critical section out. |
| 57 | */ |
Peter Zijlstra | 259d69b | 2015-11-23 15:23:55 +0100 | [diff] [blame] | 58 | preempt_enable(); |
| 59 | } |
| 60 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 61 | static inline int percpu_down_read_trylock(struct percpu_rw_semaphore *sem) |
| 62 | { |
| 63 | int ret = 1; |
| 64 | |
| 65 | preempt_disable(); |
| 66 | /* |
| 67 | * Same as in percpu_down_read(). |
| 68 | */ |
| 69 | __this_cpu_inc(*sem->read_count); |
| 70 | if (unlikely(!rcu_sync_is_idle(&sem->rss))) |
| 71 | ret = __percpu_down_read(sem, true); /* Unconditional memory barrier */ |
| 72 | preempt_enable(); |
| 73 | /* |
| 74 | * The barrier() from preempt_enable() prevents the compiler from |
| 75 | * bleeding the critical section out. |
| 76 | */ |
| 77 | |
| 78 | if (ret) |
| 79 | rwsem_acquire_read(&sem->rw_sem.dep_map, 0, 1, _RET_IP_); |
| 80 | |
| 81 | return ret; |
| 82 | } |
| 83 | |
Peter Zijlstra | 02e525b2 | 2019-02-21 15:38:40 +0100 | [diff] [blame] | 84 | static inline void percpu_up_read(struct percpu_rw_semaphore *sem) |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 85 | { |
Peter Zijlstra | 02e525b2 | 2019-02-21 15:38:40 +0100 | [diff] [blame] | 86 | preempt_disable(); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 87 | /* |
| 88 | * Same as in percpu_down_read(). |
| 89 | */ |
| 90 | if (likely(rcu_sync_is_idle(&sem->rss))) |
| 91 | __this_cpu_dec(*sem->read_count); |
| 92 | else |
| 93 | __percpu_up_read(sem); /* Unconditional memory barrier */ |
| 94 | preempt_enable(); |
| 95 | |
Qian Cai | 5facae4 | 2019-09-19 12:09:40 -0400 | [diff] [blame] | 96 | rwsem_release(&sem->rw_sem.dep_map, _RET_IP_); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 97 | } |
Mikulas Patocka | 5c1eabe | 2012-10-22 19:37:47 -0400 | [diff] [blame] | 98 | |
Oleg Nesterov | a1fd3e2 | 2012-12-17 16:01:32 -0800 | [diff] [blame] | 99 | extern void percpu_down_write(struct percpu_rw_semaphore *); |
| 100 | extern void percpu_up_write(struct percpu_rw_semaphore *); |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 101 | |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 102 | extern int __percpu_init_rwsem(struct percpu_rw_semaphore *, |
| 103 | const char *, struct lock_class_key *); |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 104 | |
Oleg Nesterov | a1fd3e2 | 2012-12-17 16:01:32 -0800 | [diff] [blame] | 105 | extern void percpu_free_rwsem(struct percpu_rw_semaphore *); |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 106 | |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 107 | #define percpu_init_rwsem(sem) \ |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 108 | ({ \ |
| 109 | static struct lock_class_key rwsem_key; \ |
Peter Zijlstra | 80127a3 | 2016-07-14 20:08:46 +0200 | [diff] [blame] | 110 | __percpu_init_rwsem(sem, #sem, &rwsem_key); \ |
Oleg Nesterov | 8ebe347 | 2012-12-17 16:01:38 -0800 | [diff] [blame] | 111 | }) |
| 112 | |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 113 | #define percpu_rwsem_is_held(sem) lockdep_is_held(&(sem)->rw_sem) |
| 114 | |
Peter Zijlstra | 11d9684 | 2015-06-22 14:16:31 +0200 | [diff] [blame] | 115 | #define percpu_rwsem_assert_held(sem) \ |
| 116 | lockdep_assert_held(&(sem)->rw_sem) |
| 117 | |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 118 | static inline void percpu_rwsem_release(struct percpu_rw_semaphore *sem, |
| 119 | bool read, unsigned long ip) |
| 120 | { |
Qian Cai | 5facae4 | 2019-09-19 12:09:40 -0400 | [diff] [blame] | 121 | lock_release(&sem->rw_sem.dep_map, ip); |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 122 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
| 123 | if (!read) |
Waiman Long | 94a9717 | 2019-05-20 16:59:12 -0400 | [diff] [blame] | 124 | atomic_long_set(&sem->rw_sem.owner, RWSEM_OWNER_UNKNOWN); |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 125 | #endif |
| 126 | } |
| 127 | |
| 128 | static inline void percpu_rwsem_acquire(struct percpu_rw_semaphore *sem, |
| 129 | bool read, unsigned long ip) |
| 130 | { |
| 131 | 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] | 132 | #ifdef CONFIG_RWSEM_SPIN_ON_OWNER |
| 133 | if (!read) |
Waiman Long | 94a9717 | 2019-05-20 16:59:12 -0400 | [diff] [blame] | 134 | atomic_long_set(&sem->rw_sem.owner, (long)current); |
Waiman Long | 5a81764 | 2018-05-15 17:49:51 -0400 | [diff] [blame] | 135 | #endif |
Oleg Nesterov | 55cc15650 | 2015-07-21 20:26:44 +0200 | [diff] [blame] | 136 | } |
| 137 | |
Mikulas Patocka | 62ac665 | 2012-09-26 07:46:43 +0200 | [diff] [blame] | 138 | #endif |