search

Ramki-Ravindran / thread-sanitizer

Automatically exported from code.google.com/p/thread-sanitizer
0 stars 0 forks source link

Add deadlock detector edges based on compiler annotations #50

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Compiler annotations such as acquired_before and acquired_after under 
-Wthread-safety in clang give information on expected lock order, but they 
aren't enforced in runtime.

We could enforce this in runtime by instrumenting code to add edges to the 
deadlock detector (a class constructor for instance would be instrumented to 
add edges to annotated member locks when created).

Original issue reported on code.google.com by pbos@google.com on 5 Mar 2014 at 3:23

GoogleCodeExporter commented 9 years ago 
We'll need a matching feature request for clang explaining how the static 
information from thread-safety annotations can be transmitted into the dynamic 
tool at run-time.
+Delesley, in case he has any thoughts already.

Original comment by konstant...@gmail.com on 11 Mar 2014 at 1:33

GoogleCodeExporter commented 9 years ago

Original comment by dvyu...@google.com on 25 Apr 2014 at 10:18