Objections to runAtomically

George Russell ger at tzi.de
Thu Oct 17 12:26:56 EDT 2002

Alastair Reid wrote:
> It assumes that side effects can be linearized.  Every theory of
> concurrency I know of makes the same assumption.
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.

More information about the FFI mailing list