The article does mention in the end that a trivial translation of the queue code to x86 will work. It is broken on other architectures though (aside of the obv

The article does mention in the end that a trivial translation of the queue code to x86 will work. It is broken on other architectures though (aside of the obvious UB because of races).