On Thu Aug 24 23:00:34 2023 +0000, Yuxuan Shui wrote:
i guess this also means the waiter must update the tail (the lock ptr, we should name it something clearer) before trying to update `tail->next`.
but if we do that, then there will be acquirer-acquirer contention, `tail->head` could be out of date even without TO.