Report question

Question: .NET memory model, volatile variables, and test-and-set: what is guaranteed?