The futex-based SemaphoreTicketHolder incurs the cost of a syscall on each attempts to notify queued waiters. By tracking the count of waiters, we can prevent needless syscalls to wake non-existent waiters.