Is this lock-free .NET queue thread safe?

Question

My question is, is the class included below for a single-reader single-writer queue class thread-safe? This kind of queue is called lock-free, even if it will block if the queue

Answer 1

Microsoft Research CHESS should prove to be a good tool for testing your implementation.