On 01/03/2010 17:06, Tyson Whitehead wrote:
If I have the following call sequence
C code -> Haskell code -> various C code bits
where the various C code bits on the right might do a longjmp (their version
of an exception) and jumping back to the C code on the left.
eek.
Is it possible to have C code on the left then somehow tell GHC to cleanup the
aborted Haskell code/resume executing it with an exception, or is the only
option to setjmp wrap all the various C code bits on the right?
We don't have a way to do this, no. It would require some hacking in
the RTS. The RTS has stashed away information about the call in
progress and is expecting the call to return, so when you longjmp() the
RTS will probably get very confused.
For now I suggest you use setjmp. If you want to suggest an API to tell
the RTS about a longjmp, then perhaps we could implement something, but
I'm not sure what the API would look like, because you don't have a
handle to the in-progress calls. In RTS-speak you need to tell the RTS
about which Tasks have been terminated. I've actually been tinkering
with this code a bit recently so there is now a structure called InCall
which replaces some of what Task was for, but the idea is similar.
Cheers,
Simon
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
