The Revenge of Finalizers
ger at tzi.de
Thu Oct 17 10:23:08 EDT 2002
Simon Marlow wrote:
> Don't you run into a problem even if the two threads use the same
> ordering? Suppose
> - thread 1 does the atomicModifyIORef, and gets preempted before
> doing the seq
> - thread 2 does its own atomicModifyIORef, and the seq. Thread 2
> gets an inconsistent view of the IORefs.
No. At the time of the seq in thread 2, the thunk (call it Thunk 2)
returned by the second atomicModifyIORef will refer to the thunk (Thunk 1)
put in there by the first atomicModifyIORef. The seq will cause the
unsafePerformIO from the second atomicModifyIORef to be evaluated. This
will come to the "if" statement which will demand the value of Thunk 1.
This will in turn provoke the evaluation of Thunk1. This will cause
the action of thread 1's simpleToggle2 to be evaluated to completion.
Sadly there does seem to be a problem (with GHC) if Thread 1 is
asynchronously interrupted while the unsafePerformIO is being done.
I'm afraid there isn't any way of avoiding this I can think of excepting
putting a blockAsynchronousExceptions or whatever it's called around
the seq. Still, at least that would work, because since
atomicModifyIORef does not block, there is no reason for it not to.
For the equivalent solution with MVars it does not work, and you
need a more complicated arrangement of blocks and unblocks.
More information about the FFI