| commit | 606aae0c5b8d58d0e7cb0fd883b7dd67bf984e6e | [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 18:14:38 2022 -0700 |
| tree | 4c9cc0f491fd53d424f142c237f108e2ccad4d81 | |
| parent | fb805dd005f7b4d6f8d369d08503c3976e20f4f7 [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>