An article about a cool tool for validating memory barriers and atomic instructions on weakly ordered PPC and ARM systems: https://lwn.net/Articles/470681/ There's even an interactive online version of the tool you can play with if you like. It would be an interesting student project to apply this tool to the Nemesis lock-free queue algorithms and see if any problems pop out or if memory barriers could be removed. -Dave