Objections to runAtomically

[George Russell]

Alastair Reid wrote:
[snip]
> It assumes that side effects can be linearized.  Every theory of
> concurrency I know of makes the same assumption.
[snip]
I don't know if the Java Language Specification counts as a "theory of
concurrency" but you will find if you check that side effects are *not*
linearised in that language.  This is also true of the Java Virtual
Machine.  Thus it would be a problem if, say, someone were to compile
Haskell to JVM.