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?
More information about the Libraries