~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/kernel/rcu/sync.c

Version: ~ [ linux-6.11.5 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.58 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.114 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.169 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.228 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.284 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.322 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.9 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /kernel/rcu/sync.c (Version linux-6.11.5) and /kernel/rcu/sync.c (Version linux-4.12.14)


  1 // SPDX-License-Identifier: GPL-2.0+           << 
  2 /*                                                  1 /*
  3  * RCU-based infrastructure for lightweight re      2  * RCU-based infrastructure for lightweight reader-writer locking
  4  *                                                  3  *
                                                   >>   4  * This program is free software; you can redistribute it and/or modify
                                                   >>   5  * it under the terms of the GNU General Public License as published by
                                                   >>   6  * the Free Software Foundation; either version 2 of the License, or
                                                   >>   7  * (at your option) any later version.
                                                   >>   8  *
                                                   >>   9  * This program is distributed in the hope that it will be useful,
                                                   >>  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
                                                   >>  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
                                                   >>  12  * GNU General Public License for more details.
                                                   >>  13  *
                                                   >>  14  * You should have received a copy of the GNU General Public License
                                                   >>  15  * along with this program; if not, you can access it online at
                                                   >>  16  * http://www.gnu.org/licenses/gpl-2.0.html.
                                                   >>  17  *
  5  * Copyright (c) 2015, Red Hat, Inc.               18  * Copyright (c) 2015, Red Hat, Inc.
  6  *                                                 19  *
  7  * Author: Oleg Nesterov <oleg@redhat.com>         20  * Author: Oleg Nesterov <oleg@redhat.com>
  8  */                                                21  */
  9                                                    22 
 10 #include <linux/rcu_sync.h>                        23 #include <linux/rcu_sync.h>
 11 #include <linux/sched.h>                           24 #include <linux/sched.h>
 12                                                    25 
 13 enum { GP_IDLE = 0, GP_ENTER, GP_PASSED, GP_EX !!  26 #ifdef CONFIG_PROVE_RCU
                                                   >>  27 #define __INIT_HELD(func)       .held = func,
                                                   >>  28 #else
                                                   >>  29 #define __INIT_HELD(func)
                                                   >>  30 #endif
                                                   >>  31 
                                                   >>  32 static const struct {
                                                   >>  33         void (*sync)(void);
                                                   >>  34         void (*call)(struct rcu_head *, void (*)(struct rcu_head *));
                                                   >>  35         void (*wait)(void);
                                                   >>  36 #ifdef CONFIG_PROVE_RCU
                                                   >>  37         int  (*held)(void);
                                                   >>  38 #endif
                                                   >>  39 } gp_ops[] = {
                                                   >>  40         [RCU_SYNC] = {
                                                   >>  41                 .sync = synchronize_rcu,
                                                   >>  42                 .call = call_rcu,
                                                   >>  43                 .wait = rcu_barrier,
                                                   >>  44                 __INIT_HELD(rcu_read_lock_held)
                                                   >>  45         },
                                                   >>  46         [RCU_SCHED_SYNC] = {
                                                   >>  47                 .sync = synchronize_sched,
                                                   >>  48                 .call = call_rcu_sched,
                                                   >>  49                 .wait = rcu_barrier_sched,
                                                   >>  50                 __INIT_HELD(rcu_read_lock_sched_held)
                                                   >>  51         },
                                                   >>  52         [RCU_BH_SYNC] = {
                                                   >>  53                 .sync = synchronize_rcu_bh,
                                                   >>  54                 .call = call_rcu_bh,
                                                   >>  55                 .wait = rcu_barrier_bh,
                                                   >>  56                 __INIT_HELD(rcu_read_lock_bh_held)
                                                   >>  57         },
                                                   >>  58 };
                                                   >>  59 
                                                   >>  60 enum { GP_IDLE = 0, GP_PENDING, GP_PASSED };
                                                   >>  61 enum { CB_IDLE = 0, CB_PENDING, CB_REPLAY };
 14                                                    62 
 15 #define rss_lock        gp_wait.lock               63 #define rss_lock        gp_wait.lock
 16                                                    64 
                                                   >>  65 #ifdef CONFIG_PROVE_RCU
                                                   >>  66 void rcu_sync_lockdep_assert(struct rcu_sync *rsp)
                                                   >>  67 {
                                                   >>  68         RCU_LOCKDEP_WARN(!gp_ops[rsp->gp_type].held(),
                                                   >>  69                          "suspicious rcu_sync_is_idle() usage");
                                                   >>  70 }
                                                   >>  71 
                                                   >>  72 EXPORT_SYMBOL_GPL(rcu_sync_lockdep_assert);
                                                   >>  73 #endif
                                                   >>  74 
 17 /**                                                75 /**
 18  * rcu_sync_init() - Initialize an rcu_sync st     76  * rcu_sync_init() - Initialize an rcu_sync structure
 19  * @rsp: Pointer to rcu_sync structure to be i     77  * @rsp: Pointer to rcu_sync structure to be initialized
                                                   >>  78  * @type: Flavor of RCU with which to synchronize rcu_sync structure
 20  */                                                79  */
 21 void rcu_sync_init(struct rcu_sync *rsp)       !!  80 void rcu_sync_init(struct rcu_sync *rsp, enum rcu_sync_type type)
 22 {                                                  81 {
 23         memset(rsp, 0, sizeof(*rsp));              82         memset(rsp, 0, sizeof(*rsp));
 24         init_waitqueue_head(&rsp->gp_wait);        83         init_waitqueue_head(&rsp->gp_wait);
                                                   >>  84         rsp->gp_type = type;
 25 }                                                  85 }
 26                                                    86 
 27 static void rcu_sync_func(struct rcu_head *rhp !!  87 /**
                                                   >>  88  * Must be called after rcu_sync_init() and before first use.
                                                   >>  89  *
                                                   >>  90  * Ensures rcu_sync_is_idle() returns false and rcu_sync_{enter,exit}()
                                                   >>  91  * pairs turn into NO-OPs.
                                                   >>  92  */
                                                   >>  93 void rcu_sync_enter_start(struct rcu_sync *rsp)
                                                   >>  94 {
                                                   >>  95         rsp->gp_count++;
                                                   >>  96         rsp->gp_state = GP_PASSED;
                                                   >>  97 }
 28                                                    98 
 29 static void rcu_sync_call(struct rcu_sync *rsp !!  99 /**
                                                   >> 100  * rcu_sync_enter() - Force readers onto slowpath
                                                   >> 101  * @rsp: Pointer to rcu_sync structure to use for synchronization
                                                   >> 102  *
                                                   >> 103  * This function is used by updaters who need readers to make use of
                                                   >> 104  * a slowpath during the update.  After this function returns, all
                                                   >> 105  * subsequent calls to rcu_sync_is_idle() will return false, which
                                                   >> 106  * tells readers to stay off their fastpaths.  A later call to
                                                   >> 107  * rcu_sync_exit() re-enables reader slowpaths.
                                                   >> 108  *
                                                   >> 109  * When called in isolation, rcu_sync_enter() must wait for a grace
                                                   >> 110  * period, however, closely spaced calls to rcu_sync_enter() can
                                                   >> 111  * optimize away the grace-period wait via a state machine implemented
                                                   >> 112  * by rcu_sync_enter(), rcu_sync_exit(), and rcu_sync_func().
                                                   >> 113  */
                                                   >> 114 void rcu_sync_enter(struct rcu_sync *rsp)
 30 {                                                 115 {
 31         call_rcu_hurry(&rsp->cb_head, rcu_sync !! 116         bool need_wait, need_sync;
                                                   >> 117 
                                                   >> 118         spin_lock_irq(&rsp->rss_lock);
                                                   >> 119         need_wait = rsp->gp_count++;
                                                   >> 120         need_sync = rsp->gp_state == GP_IDLE;
                                                   >> 121         if (need_sync)
                                                   >> 122                 rsp->gp_state = GP_PENDING;
                                                   >> 123         spin_unlock_irq(&rsp->rss_lock);
                                                   >> 124 
                                                   >> 125         BUG_ON(need_wait && need_sync);
                                                   >> 126 
                                                   >> 127         if (need_sync) {
                                                   >> 128                 gp_ops[rsp->gp_type].sync();
                                                   >> 129                 rsp->gp_state = GP_PASSED;
                                                   >> 130                 wake_up_all(&rsp->gp_wait);
                                                   >> 131         } else if (need_wait) {
                                                   >> 132                 wait_event(rsp->gp_wait, rsp->gp_state == GP_PASSED);
                                                   >> 133         } else {
                                                   >> 134                 /*
                                                   >> 135                  * Possible when there's a pending CB from a rcu_sync_exit().
                                                   >> 136                  * Nobody has yet been allowed the 'fast' path and thus we can
                                                   >> 137                  * avoid doing any sync(). The callback will get 'dropped'.
                                                   >> 138                  */
                                                   >> 139                 BUG_ON(rsp->gp_state != GP_PASSED);
                                                   >> 140         }
 32 }                                                 141 }
 33                                                   142 
 34 /**                                               143 /**
 35  * rcu_sync_func() - Callback function managin    144  * rcu_sync_func() - Callback function managing reader access to fastpath
 36  * @rhp: Pointer to rcu_head in rcu_sync struc !! 145  * @rsp: Pointer to rcu_sync structure to use for synchronization
 37  *                                                146  *
 38  * This function is passed to call_rcu() funct !! 147  * This function is passed to one of the call_rcu() functions by
 39  * rcu_sync_exit(), so that it is invoked afte    148  * rcu_sync_exit(), so that it is invoked after a grace period following the
 40  * that invocation of enter/exit.              !! 149  * that invocation of rcu_sync_exit().  It takes action based on events that
 41  *                                             << 
 42  * If it is called by rcu_sync_enter() it sign << 
 43  * switched onto slow path.                    << 
 44  *                                             << 
 45  * If it is called by rcu_sync_exit() it takes << 
 46  * have taken place in the meantime, so that c    150  * have taken place in the meantime, so that closely spaced rcu_sync_enter()
 47  * and rcu_sync_exit() pairs need not wait for    151  * and rcu_sync_exit() pairs need not wait for a grace period.
 48  *                                                152  *
 49  * If another rcu_sync_enter() is invoked befo    153  * If another rcu_sync_enter() is invoked before the grace period
 50  * ended, reset state to allow the next rcu_sy    154  * ended, reset state to allow the next rcu_sync_exit() to let the
 51  * readers back onto their fastpaths (after a     155  * readers back onto their fastpaths (after a grace period).  If both
 52  * another rcu_sync_enter() and its matching r    156  * another rcu_sync_enter() and its matching rcu_sync_exit() are invoked
 53  * before the grace period ended, re-invoke ca    157  * before the grace period ended, re-invoke call_rcu() on behalf of that
 54  * rcu_sync_exit().  Otherwise, set all state     158  * rcu_sync_exit().  Otherwise, set all state back to idle so that readers
 55  * can again use their fastpaths.                 159  * can again use their fastpaths.
 56  */                                               160  */
 57 static void rcu_sync_func(struct rcu_head *rhp !! 161 static void rcu_sync_func(struct rcu_head *rcu)
 58 {                                                 162 {
 59         struct rcu_sync *rsp = container_of(rh !! 163         struct rcu_sync *rsp = container_of(rcu, struct rcu_sync, cb_head);
 60         unsigned long flags;                      164         unsigned long flags;
 61                                                   165 
 62         WARN_ON_ONCE(READ_ONCE(rsp->gp_state)  !! 166         BUG_ON(rsp->gp_state != GP_PASSED);
 63         WARN_ON_ONCE(READ_ONCE(rsp->gp_state)  !! 167         BUG_ON(rsp->cb_state == CB_IDLE);
 64                                                   168 
 65         spin_lock_irqsave(&rsp->rss_lock, flag    169         spin_lock_irqsave(&rsp->rss_lock, flags);
 66         if (rsp->gp_count) {                      170         if (rsp->gp_count) {
 67                 /*                                171                 /*
 68                  * We're at least a GP after t !! 172                  * A new rcu_sync_begin() has happened; drop the callback.
 69                  */                               173                  */
 70                 WRITE_ONCE(rsp->gp_state, GP_P !! 174                 rsp->cb_state = CB_IDLE;
 71                 wake_up_locked(&rsp->gp_wait); !! 175         } else if (rsp->cb_state == CB_REPLAY) {
 72         } else if (rsp->gp_state == GP_REPLAY) << 
 73                 /*                                176                 /*
 74                  * A new rcu_sync_exit() has h !! 177                  * A new rcu_sync_exit() has happened; requeue the callback
 75                  * catch a later GP.           !! 178                  * to catch a later GP.
 76                  */                               179                  */
 77                 WRITE_ONCE(rsp->gp_state, GP_E !! 180                 rsp->cb_state = CB_PENDING;
 78                 rcu_sync_call(rsp);            !! 181                 gp_ops[rsp->gp_type].call(&rsp->cb_head, rcu_sync_func);
 79         } else {                                  182         } else {
 80                 /*                                183                 /*
 81                  * We're at least a GP after t !! 184                  * We're at least a GP after rcu_sync_exit(); eveybody will now
 82                  * will now have observed the  !! 185                  * have observed the write side critical section. Let 'em rip!.
 83                  * Let 'em rip!                << 
 84                  */                               186                  */
 85                 WRITE_ONCE(rsp->gp_state, GP_I !! 187                 rsp->cb_state = CB_IDLE;
                                                   >> 188                 rsp->gp_state = GP_IDLE;
 86         }                                         189         }
 87         spin_unlock_irqrestore(&rsp->rss_lock,    190         spin_unlock_irqrestore(&rsp->rss_lock, flags);
 88 }                                                 191 }
 89                                                   192 
 90 /**                                               193 /**
 91  * rcu_sync_enter() - Force readers onto slowp !! 194  * rcu_sync_exit() - Allow readers back onto fast patch after grace period
 92  * @rsp: Pointer to rcu_sync structure to use  << 
 93  *                                             << 
 94  * This function is used by updaters who need  << 
 95  * a slowpath during the update.  After this f << 
 96  * subsequent calls to rcu_sync_is_idle() will << 
 97  * tells readers to stay off their fastpaths.  << 
 98  * rcu_sync_exit() re-enables reader fastpaths << 
 99  *                                             << 
100  * When called in isolation, rcu_sync_enter()  << 
101  * period, however, closely spaced calls to rc << 
102  * optimize away the grace-period wait via a s << 
103  * by rcu_sync_enter(), rcu_sync_exit(), and r << 
104  */                                            << 
105 void rcu_sync_enter(struct rcu_sync *rsp)      << 
106 {                                              << 
107         int gp_state;                          << 
108                                                << 
109         spin_lock_irq(&rsp->rss_lock);         << 
110         gp_state = rsp->gp_state;              << 
111         if (gp_state == GP_IDLE) {             << 
112                 WRITE_ONCE(rsp->gp_state, GP_E << 
113                 WARN_ON_ONCE(rsp->gp_count);   << 
114                 /*                             << 
115                  * Note that we could simply d << 
116                  * avoid the "if (gp_state ==  << 
117                  *                             << 
118                  * However, synchronize_rcu()  << 
119                  * or rcu_blocking_is_gp() is  << 
120                  *                             << 
121                  * Another reason is that we c << 
122                  * we are called at early boot << 
123                  */                            << 
124         }                                      << 
125         rsp->gp_count++;                       << 
126         spin_unlock_irq(&rsp->rss_lock);       << 
127                                                << 
128         if (gp_state == GP_IDLE) {             << 
129                 /*                             << 
130                  * See the comment above, this << 
131                  * call_rcu(rcu_sync_func) whi << 
132                  */                            << 
133                 synchronize_rcu();             << 
134                 rcu_sync_func(&rsp->cb_head);  << 
135                 /* Not really needed, wait_eve << 
136                 return;                        << 
137         }                                      << 
138                                                << 
139         wait_event(rsp->gp_wait, READ_ONCE(rsp << 
140 }                                              << 
141                                                << 
142 /**                                            << 
143  * rcu_sync_exit() - Allow readers back onto f << 
144  * @rsp: Pointer to rcu_sync structure to use     195  * @rsp: Pointer to rcu_sync structure to use for synchronization
145  *                                                196  *
146  * This function is used by updaters who have     197  * This function is used by updaters who have completed, and can therefore
147  * now allow readers to make use of their fast    198  * now allow readers to make use of their fastpaths after a grace period
148  * has elapsed.  After this grace period has c    199  * has elapsed.  After this grace period has completed, all subsequent
149  * calls to rcu_sync_is_idle() will return tru    200  * calls to rcu_sync_is_idle() will return true, which tells readers that
150  * they can once again use their fastpaths.       201  * they can once again use their fastpaths.
151  */                                               202  */
152 void rcu_sync_exit(struct rcu_sync *rsp)          203 void rcu_sync_exit(struct rcu_sync *rsp)
153 {                                                 204 {
154         WARN_ON_ONCE(READ_ONCE(rsp->gp_state)  << 
155                                                << 
156         spin_lock_irq(&rsp->rss_lock);            205         spin_lock_irq(&rsp->rss_lock);
157         WARN_ON_ONCE(rsp->gp_count == 0);      << 
158         if (!--rsp->gp_count) {                   206         if (!--rsp->gp_count) {
159                 if (rsp->gp_state == GP_PASSED !! 207                 if (rsp->cb_state == CB_IDLE) {
160                         WRITE_ONCE(rsp->gp_sta !! 208                         rsp->cb_state = CB_PENDING;
161                         rcu_sync_call(rsp);    !! 209                         gp_ops[rsp->gp_type].call(&rsp->cb_head, rcu_sync_func);
162                 } else if (rsp->gp_state == GP !! 210                 } else if (rsp->cb_state == CB_PENDING) {
163                         WRITE_ONCE(rsp->gp_sta !! 211                         rsp->cb_state = CB_REPLAY;
164                 }                                 212                 }
165         }                                         213         }
166         spin_unlock_irq(&rsp->rss_lock);          214         spin_unlock_irq(&rsp->rss_lock);
167 }                                                 215 }
168                                                   216 
169 /**                                               217 /**
170  * rcu_sync_dtor() - Clean up an rcu_sync stru    218  * rcu_sync_dtor() - Clean up an rcu_sync structure
171  * @rsp: Pointer to rcu_sync structure to be c    219  * @rsp: Pointer to rcu_sync structure to be cleaned up
172  */                                               220  */
173 void rcu_sync_dtor(struct rcu_sync *rsp)          221 void rcu_sync_dtor(struct rcu_sync *rsp)
174 {                                                 222 {
175         int gp_state;                          !! 223         int cb_state;
176                                                   224 
177         WARN_ON_ONCE(READ_ONCE(rsp->gp_state)  !! 225         BUG_ON(rsp->gp_count);
178                                                   226 
179         spin_lock_irq(&rsp->rss_lock);            227         spin_lock_irq(&rsp->rss_lock);
180         WARN_ON_ONCE(rsp->gp_count);           !! 228         if (rsp->cb_state == CB_REPLAY)
181         if (rsp->gp_state == GP_REPLAY)        !! 229                 rsp->cb_state = CB_PENDING;
182                 WRITE_ONCE(rsp->gp_state, GP_E !! 230         cb_state = rsp->cb_state;
183         gp_state = rsp->gp_state;              << 
184         spin_unlock_irq(&rsp->rss_lock);          231         spin_unlock_irq(&rsp->rss_lock);
185                                                   232 
186         if (gp_state != GP_IDLE) {             !! 233         if (cb_state != CB_IDLE) {
187                 rcu_barrier();                 !! 234                 gp_ops[rsp->gp_type].wait();
188                 WARN_ON_ONCE(rsp->gp_state !=  !! 235                 BUG_ON(rsp->cb_state != CB_IDLE);
189         }                                         236         }
190 }                                                 237 }
191                                                   238 

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php