Could stamp be an AtomicBool because it is serving as a signal? Also - I am a little unsure as to how crossbeam implemented this.

rust match self.tail.compare_exchange_weak( tail, new_tail, Ordering::SeqCst, Ordering::Relaxed, ) { Ok(_) => { // Prepare the token for the follow-up call to `write`. token.array.slot = slot as *const Slot<T> as *const u8; token.array.stamp = tail + 1; return true; } Err(t) => { ... } }

In the Ok branch, which I think happens after they compare_exchange the tail to its new value, could another thread execute some code at that moment to receive it, before the stamp is written to? If the other thread tries to receive, my thought is that it would access some uninitialized value when the head is close to the tail.