[JIRA] Created: (CAROB-56) install our unexpected exception handler using set_unexpected()

install our unexpected exception handler using set_unexpected()
---------------------------------------------------------------

         Key: CAROB-56
         URL: https://forge.continuent.org/jira/browse/CAROB-56
     Project: Carob
        Type: Improvement
    Reporter: Marc Herbert
 Assigned to: Gilles Rayrat 
    Priority: Minor


Currently, when an exception thrown violates the signature of a Carob function, 
control is transfered
to an unknown handler (typically the default handler "abort()").

We should install our own exception handler, but:
1) we have to un-install it when we exit the library call
2) we have to check std::set_unexpected() is thread-safe (per-thread) on 
supported platforms.

1) can be quite easily achieved using the "resource acquisition is 
initialization" technique documented
in Stroustrup 14.6.3.1 "User mapping of exceptions".
2) requires to browse the documentation (or even the source code?) of targeted 
systems :-/


-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
   https://forge.continuent.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see:
   http://www.atlassian.com/software/jira