17 Feb
2011
17 Feb
'11
7:58 a.m.
On 17 February 2011 00:46, Felipe Almeida Lessa <felipe.lessa@gmail.com> wrote:
On Wed, Feb 16, 2011 at 9:27 PM, Bas van Dijk <v.dijk.bas@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 the unsafeUnmask. Bas