I too would want a proof, but its wrong to think that you can't test this. It might be difficult, but you absolutely can. Tracking down the order of things th

I too would want a proof, but its wrong to think that you can't test this. It might be difficult, but you absolutely can. Tracking down the order of things that causes the problem is where the troubles comes -- reproducing that order is easy using semaphores or something similar. Of course, for any moderately complex set of interactions, you won't be able to write tests to cover every possibility, which is exactly the point of the main detractor in this article.