TSAN does not support C++ exceptions?

[ramosian-glider]

Originally reported on Google Code with ID 78

According to the wiki documentation, C++ exceptions are not supported: https://code.google.com/p/thread-sanitizer/wiki/CppManual#FAQ

While I understand that exception support is not something that Google would be particularly
interested in given the style guide, exceptions are widely used in other C++ codebases
that could benefit from ThreadSanitizer.

If the restriction in the documentation is no longer correct, please update the docs.
If the restriction is still in place, please add support for C++ exceptions. I'd also
be interested in some details on what would be required to implement support or what
the obstacles doing so currently are.

Thanks,
Andrew

Reported by andrew.c.morrow on 2014-09-30 15:26:55

[ramosian-glider]

Tsan would need to intercept control flow associated with exceptions. Namely, when an
exception is thrown and to what frame is transfers control.

Reported by dvyukov@google.com on 2014-09-30 15:31:37

• Status changed: Accepted
• Labels added: Type-Enhancement, Priority-Later
• Labels removed: Type-Defect, Priority-Medium

[ramosian-glider]

We'll need a kind of RAII for tsan entry/exit hooks. 
When we are adding tsan instrumentation, we need to create a fake class object with
a ctor and dtor. dtor will be called whenever we leave the function, even if there
was an exception.
It is already too late to do that during the current tsan phase, we'll need a special
pass in the frontend (clang). 
I'd love this to happen but this is nowhere near our top priorities for now. 
Help is always welcome :) 

Reported by konstantin.s.serebryany on 2014-09-30 16:09:29

[ramosian-glider]

> We'll need a kind of RAII for tsan entry/exit hooks. 

If that would be simpler to implement, tsan can simply "rewind" state to a given frame.
So at the throw site we just need to know destination frame; or, alternatively, intercept
catch and rewind state to the current frame. I use this machinery in longjmp support,
no compiler changes were needed.

Reported by dvyukov@google.com on 2014-10-01 04:55:21

[ramosian-glider]

FTR, there is patch for exceptions support in gcc in flight:
https://www.mail-archive.com/gcc-patches@gcc.gnu.org/msg99353.html

Reported by dvyukov@google.com on 2014-12-16 09:27:08

[ramosian-glider]

Just checking in on this feature request as it has been about 6 months. I still think
that this would be a very valuable addition to TSAN. Many C++ projects make use of
exceptions, and they currently cannot use TSAN.

Reported by andrew.c.morrow on 2015-06-23 21:52:52

[ramosian-glider]

Hi Andrew,

No progress so far.
I've pinged the gcc patch thread (it does not seem to be landed).
I am also trying to sketch exception support in llvm, but it is not completely trivial:
http://reviews.llvm.org/D10740

Reported by dvyukov@google.com on 2015-06-27 14:54:45

[ramosian-glider]

Adding Project:ThreadSanitizer as part of GitHub migration.

Reported by glider@google.com on 2015-07-30 09:21:32

• Labels added: ProjectThreadSanitizer