Re: Faster timeout but is it correct?

On 17 February 2011 00:46, Felipe Almeida Lessa wrote:

On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk 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