"Larry Rosenman" <ler(at)lerctr(dot)org> writes:> then how do we *PROVE* thread-safety on a particular platform?
You're not going to be able to prove it anyway!
L.