#include "sync/ticketlock.h"

void Ticketlock::lock() {
    uint64_t ticket = __atomic_fetch_add(&ticket_count, 1, __ATOMIC_RELAXED);
    while (ticket != __atomic_fetch_add(&ticket_current, 0, __ATOMIC_ACQUIRE))) {
        Core::pause();
    }
}

void Ticketlock::unlock() {
    __atomic_fetch_add(&ticket_current, 1, __ATOMIC_RELEASE);
}