blob: 03cb4b6f842eaa9bee0dea42a50854e42025c5f4 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001/* SPDX-License-Identifier: GPL-2.0 */
Mikulas Patocka62ac6652012-09-26 07:46:43 +02002#ifndef _LINUX_PERCPU_RWSEM_H
3#define _LINUX_PERCPU_RWSEM_H
4
Oleg Nesterov9390ef02012-12-17 16:01:36 -08005#include <linux/atomic.h>
Oleg Nesterova1fd3e22012-12-17 16:01:32 -08006#include <linux/rwsem.h>
Mikulas Patocka62ac6652012-09-26 07:46:43 +02007#include <linux/percpu.h>
Davidlohr Bueso52b94122017-01-11 07:22:26 -08008#include <linux/rcuwait.h>
Oleg Nesterov001dac62015-08-21 19:42:57 +02009#include <linux/rcu_sync.h>
Oleg Nesterov8ebe3472012-12-17 16:01:38 -080010#include <linux/lockdep.h>
Mikulas Patocka62ac6652012-09-26 07:46:43 +020011
12struct percpu_rw_semaphore {
Oleg Nesterov001dac62015-08-21 19:42:57 +020013 struct rcu_sync rss;
Peter Zijlstra80127a32016-07-14 20:08:46 +020014 unsigned int __percpu *read_count;
Davidlohr Bueso52b94122017-01-11 07:22:26 -080015 struct rw_semaphore rw_sem; /* slowpath */
16 struct rcuwait writer; /* blocked writer */
Peter Zijlstra80127a32016-07-14 20:08:46 +020017 int readers_block;
Mikulas Patocka62ac6652012-09-26 07:46:43 +020018};
19
Peter Zijlstra11d96842015-06-22 14:16:31 +020020#define DEFINE_STATIC_PERCPU_RWSEM(name) \
21static DEFINE_PER_CPU(unsigned int, __percpu_rwsem_rc_##name); \
22static 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 Bueso52b94122017-01-11 07:22:26 -080026 .writer = __RCUWAIT_INITIALIZER(name.writer), \
Peter Zijlstra11d96842015-06-22 14:16:31 +020027}
28
Peter Zijlstra80127a32016-07-14 20:08:46 +020029extern int __percpu_down_read(struct percpu_rw_semaphore *, int);
30extern void __percpu_up_read(struct percpu_rw_semaphore *);
31
Peter Zijlstra02e525b22019-02-21 15:38:40 +010032static inline void percpu_down_read(struct percpu_rw_semaphore *sem)
Peter Zijlstra80127a32016-07-14 20:08:46 +020033{
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()
Paul E. McKenneye3e74052018-11-07 13:53:34 -080044 * and that once the synchronize_rcu() is done, the writer will see
Peter Zijlstra80127a32016-07-14 20:08:46 +020045 * 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 Zijlstra80127a32016-07-14 20:08:46 +020050 /*
Peter Zijlstra02e525b22019-02-21 15:38:40 +010051 * The preempt_enable() prevents the compiler from
Peter Zijlstra80127a32016-07-14 20:08:46 +020052 * bleeding the critical section out.
53 */
Peter Zijlstra259d69b2015-11-23 15:23:55 +010054 preempt_enable();
55}
56
Peter Zijlstra80127a32016-07-14 20:08:46 +020057static inline int percpu_down_read_trylock(struct percpu_rw_semaphore *sem)
58{
59 int ret = 1;
60
61 preempt_disable();
62 /*
63 * Same as in percpu_down_read().
64 */
65 __this_cpu_inc(*sem->read_count);
66 if (unlikely(!rcu_sync_is_idle(&sem->rss)))
67 ret = __percpu_down_read(sem, true); /* Unconditional memory barrier */
68 preempt_enable();
69 /*
70 * The barrier() from preempt_enable() prevents the compiler from
71 * bleeding the critical section out.
72 */
73
74 if (ret)
75 rwsem_acquire_read(&sem->rw_sem.dep_map, 0, 1, _RET_IP_);
76
77 return ret;
78}
79
Peter Zijlstra02e525b22019-02-21 15:38:40 +010080static inline void percpu_up_read(struct percpu_rw_semaphore *sem)
Peter Zijlstra80127a32016-07-14 20:08:46 +020081{
Peter Zijlstra02e525b22019-02-21 15:38:40 +010082 preempt_disable();
Peter Zijlstra80127a32016-07-14 20:08:46 +020083 /*
84 * Same as in percpu_down_read().
85 */
86 if (likely(rcu_sync_is_idle(&sem->rss)))
87 __this_cpu_dec(*sem->read_count);
88 else
89 __percpu_up_read(sem); /* Unconditional memory barrier */
90 preempt_enable();
91
92 rwsem_release(&sem->rw_sem.dep_map, 1, _RET_IP_);
93}
Mikulas Patocka5c1eabe2012-10-22 19:37:47 -040094
Oleg Nesterova1fd3e22012-12-17 16:01:32 -080095extern void percpu_down_write(struct percpu_rw_semaphore *);
96extern void percpu_up_write(struct percpu_rw_semaphore *);
Mikulas Patocka62ac6652012-09-26 07:46:43 +020097
Oleg Nesterov8ebe3472012-12-17 16:01:38 -080098extern int __percpu_init_rwsem(struct percpu_rw_semaphore *,
99 const char *, struct lock_class_key *);
Peter Zijlstra80127a32016-07-14 20:08:46 +0200100
Oleg Nesterova1fd3e22012-12-17 16:01:32 -0800101extern void percpu_free_rwsem(struct percpu_rw_semaphore *);
Mikulas Patocka62ac6652012-09-26 07:46:43 +0200102
Peter Zijlstra80127a32016-07-14 20:08:46 +0200103#define percpu_init_rwsem(sem) \
Oleg Nesterov8ebe3472012-12-17 16:01:38 -0800104({ \
105 static struct lock_class_key rwsem_key; \
Peter Zijlstra80127a32016-07-14 20:08:46 +0200106 __percpu_init_rwsem(sem, #sem, &rwsem_key); \
Oleg Nesterov8ebe3472012-12-17 16:01:38 -0800107})
108
Oleg Nesterov55cc156502015-07-21 20:26:44 +0200109#define percpu_rwsem_is_held(sem) lockdep_is_held(&(sem)->rw_sem)
110
Peter Zijlstra11d96842015-06-22 14:16:31 +0200111#define percpu_rwsem_assert_held(sem) \
112 lockdep_assert_held(&(sem)->rw_sem)
113
Oleg Nesterov55cc156502015-07-21 20:26:44 +0200114static inline void percpu_rwsem_release(struct percpu_rw_semaphore *sem,
115 bool read, unsigned long ip)
116{
117 lock_release(&sem->rw_sem.dep_map, 1, ip);
118#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
119 if (!read)
Waiman Long5a817642018-05-15 17:49:51 -0400120 sem->rw_sem.owner = RWSEM_OWNER_UNKNOWN;
Oleg Nesterov55cc156502015-07-21 20:26:44 +0200121#endif
122}
123
124static inline void percpu_rwsem_acquire(struct percpu_rw_semaphore *sem,
125 bool read, unsigned long ip)
126{
127 lock_acquire(&sem->rw_sem.dep_map, 0, 1, read, 1, NULL, ip);
Waiman Long5a817642018-05-15 17:49:51 -0400128#ifdef CONFIG_RWSEM_SPIN_ON_OWNER
129 if (!read)
130 sem->rw_sem.owner = current;
131#endif
Oleg Nesterov55cc156502015-07-21 20:26:44 +0200132}
133
Mikulas Patocka62ac6652012-09-26 07:46:43 +0200134#endif