Faster timeout but is it correct?

Felipe Almeida Lessa felipe.lessa at gmail.com
Thu Feb 17 00:46:28 CET 2011


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?

Cheers!

-- 
Felipe.



More information about the Libraries mailing list