10 Sep
2002
10 Sep
'02
7:53 p.m.
In FFI code you have to be more careful [about killing threads], however.
It's clear there's a bunch of bad things could happen here - but not obvious what does happen. Does killing a thread that is calling a C function kill it immediately (i.e., before the call completes) or wait until the C function finishes? -- Alastair