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