| // SPDX-License-Identifier: GPL-2.0 |
| #include <config.h> |
| |
| #include <assert.h> |
| #include <errno.h> |
| #include <inttypes.h> |
| #include <pthread.h> |
| #include <stddef.h> |
| #include <string.h> |
| #include <sys/types.h> |
| |
| #include "int_typedefs.h" |
| |
| #include "barriers.h" |
| #include "bug_on.h" |
| #include "locks.h" |
| #include "misc.h" |
| #include "preempt.h" |
| #include "percpu.h" |
| #include "workqueues.h" |
| |
| #include <linux/srcu.h> |
| |
| /* Functions needed from modify_srcu.c */ |
| bool try_check_zero(struct srcu_struct *sp, int idx, int trycount); |
| void srcu_flip(struct srcu_struct *sp); |
| |
| /* Simpler implementation of synchronize_srcu that ignores batching. */ |
| void synchronize_srcu(struct srcu_struct *sp) |
| { |
| int idx; |
| /* |
| * This code assumes that try_check_zero will succeed anyway, |
| * so there is no point in multiple tries. |
| */ |
| const int trycount = 1; |
| |
| might_sleep(); |
| |
| /* Ignore the lock, as multiple writers aren't working yet anyway. */ |
| |
| idx = 1 ^ (sp->completed & 1); |
| |
| /* For comments see srcu_advance_batches. */ |
| |
| assume(try_check_zero(sp, idx, trycount)); |
| |
| srcu_flip(sp); |
| |
| assume(try_check_zero(sp, idx^1, trycount)); |
| } |