Christian Jaeger wrote:
(All that can happen is that a C call frame will remain on the C stack if the termination happens to be during the callback, which is just a (rare) leak which is unavoidable anyway.)
Hm, after thinking (sleeping) over it, maybe this isn't true after all, and hence the whole silently-released mutexes idea futile (and actually dangerous); in any case this remains to be verified; I'll confirm the usefulness/futility when done.
Christian.