We use atomic operations to update the pointers in a thread-safe manner
Are you sure about that? Atomics are not locks, and not all systems have strong memory ordering.
replies(3):
Are you sure about that? Atomics are not locks, and not all systems have strong memory ordering.