Add deadlock detector edges based on compiler annotations

[ramosian-glider]

Originally reported on Google Code with ID 50

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).

Reported by pbos@google.com on 2014-03-05 15:23:32

• Blocked on: Doesn't compile on OSX Lion (10.7) #32

[ramosian-glider]

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. 

Reported by konstantin.s.serebryany on 2014-03-11 13:33:46

[ramosian-glider]

Reported by dvyukov@google.com on 2014-04-25 10:18:27

• Labels added: DeadlockDetector

[ramosian-glider]

Adding Project:ThreadSanitizer as part of GitHub migration.

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

• Labels added: ProjectThreadSanitizer

[morehouse]

@kcc: Do we still want to do this eventually?

[kcc]

nope