Alastair: > On a system where finalizers behave like preemptive threads > [nonsense deleted]
My outline of consequences/ implementation for GHC-like systems was completely wrong because I was still thinking about finalizers as special cases. What needs to happen on GHC-like systems is that runAtomically takes a global lock (just a plain lock, not a reader-writer lock) when it starts and releases that lock when it ends. Finalizers don't do anything special when they start or end and they don't get blocked in any special way. Finalizers just take and release the lock the same as anyone else. -- Alastair _______________________________________________ FFI mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/ffi