Faster timeout but is it correct?

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

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?



More information about the Libraries mailing list