According to the paper for their queue:
http://www.cs.rochester.edu/u/scott/papers/1996_PODC_queues....
It uses either compare_and_swap or load_linked/store_conditional. I thought compare_and_swap had a horrible (i.e. very slow) implementation on x86. Any idea whether load_linked/store_conditional is any better?