[Haskell-cafe] Faster timeout but is it correct?

[Bas van Dijk]

On 17 February 2011 00:46, Felipe Almeida Lessa <felipe.lessa at gmail.com> wrote:
> On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk <v.dijk.bas at gmail.com> 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.

Bas