14 Dec
2005
14 Dec
'05
3:35 p.m.
On Dec 14, 2005, at 3:22 PM, Simon Marlow wrote:
On 14 December 2005 14:26, Joel Reymont wrote:
How does killThread work with FFI calls? What happens at the low level when a thread is blocked on an FFI call and received a KillThread exception? Does it exit immediately via some GHC magic or is the exception caught when the FFI call returns?
The latter.
Does this change if I kill a thread that's blocked on I/O in a threaded runtime? Does it get cleaned up immediately? -- http://wagerlabs.com/