Faster timeout but is it correct?

Bas van Dijk v.dijk.bas at
Thu Feb 17 00:58:09 CET 2011

On 17 February 2011 00:46, Felipe Almeida Lessa <felipe.lessa at> wrote:
> On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk <v.dijk.bas at> wrote:
>> I started working on a hopefully even more efficient timeout that uses
>> the new GHC event manager.
>> The idea is that instead of forking a thread which delays for the
>> timeout period after which it throws a Timeout exception, I register a
>> timeout with the event manager. When the timeout fires the event
>> manager will throw the Timeout exception.
> Doesn't this version need unsafeUnmask?

The unsafeUnmask was needed to ensure that throwing a ThreadKilled
exception to the timeout thread won't block.

Since this version doesn't have a timeout thread anymore we don't need
the unsafeUnmask.


More information about the Libraries mailing list