diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/shared/barrier.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/shared/barrier.c b/src/shared/barrier.c index 4ac42d0239..4a5544de27 100644 --- a/src/shared/barrier.c +++ b/src/shared/barrier.c @@ -257,6 +257,8 @@ static bool barrier_read(Barrier *b, int64_t comp) { * guarantees that exit-abortions do not overwrite real * barriers. */ buf = BARRIER_ABORTION; + else + continue; /* lock if they aborted */ if (buf >= (uint64_t)BARRIER_ABORTION) { |