| commit | acebd55c715587be8ca6655a70090a9205fc1388 | [log] [tgz] |
|---|---|---|
| author | Paul E. McKenney <paulmck@kernel.org> | Tue Apr 26 17:05:39 2022 -0700 |
| committer | Paul E. McKenney <paulmck@kernel.org> | Wed Jun 15 16:48:35 2022 -0700 |
| tree | 4c9cc0f491fd53d424f142c237f108e2ccad4d81 | |
| parent | a9195e984ce5da8cb7f58a6b134e4ff05e8159b5 [diff] |
memory-model: Prohibit nested SRCU read-side critical sections This commit prohibits nested SRCU read-side critical sections of the same srcu_struct structure. The memory model does not currently handle these correctly because it ignores the required connection between srcu_read_lock() and srcu_read_unlock() provided by the value returned from the former and passed into the latter. Signed-off-by: Paul E. McKenney <paulmck@kernel.org>