diff --git a/sync/ticketlock.cc b/sync/ticketlock.cc index 4453ea9..401bcb3 100644 --- a/sync/ticketlock.cc +++ b/sync/ticketlock.cc @@ -2,7 +2,7 @@ void Ticketlock::lock() { uint64_t ticket = __atomic_fetch_add(&ticket_count, 1, __ATOMIC_RELAXED); - while (ticket != __atomic_fetch_add(&ticket_current, 0, __ATOMIC_ACQUIRE))) { + while (ticket != __atomic_fetch_add(&ticket_current, 0, __ATOMIC_ACQUIRE)) { Core::pause(); } }