Faster timeout but is it correct?
Bas van Dijk
v.dijk.bas at gmail.com
Thu Feb 17 00:58:09 CET 2011
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
More information about the Libraries