[PATCH] D32358: [tsan] Publish the TSan external API in tsan_interface.h

Phabricator via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Apr 21 10:38:45 PDT 2017


This revision was automatically updated to reflect the committed changes.
Closed by commit rL301003: [tsan] Publish the TSan external API in tsan_interface.h (authored by kuba.brecka).

Changed prior to commit:
  https://reviews.llvm.org/D32358?vs=96168&id=96177#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D32358

Files:
  compiler-rt/trunk/include/sanitizer/tsan_interface.h


Index: compiler-rt/trunk/include/sanitizer/tsan_interface.h
===================================================================
--- compiler-rt/trunk/include/sanitizer/tsan_interface.h
+++ compiler-rt/trunk/include/sanitizer/tsan_interface.h
@@ -114,6 +114,21 @@
 void __tsan_mutex_pre_divert(void *addr, unsigned flags);
 void __tsan_mutex_post_divert(void *addr, unsigned flags);
 
+// External race detection API.
+// Can be used by non-instrumented libraries to detect when their objects are
+// being used in an unsafe manner.
+//   - __tsan_external_read/__tsan_external_write annotates the logical reads
+//       and writes of the object at the specified address. 'caller_pc' should
+//       be the PC of the library user, which the library can obtain with e.g.
+//       `__builtin_return_address(0)`.
+//   - __tsan_external_register_tag registers a 'tag' with the specified name,
+//       which is later used in read/write annotations to denote the object type
+//   - __tsan_external_assign_tag can optionally mark a heap object with a tag
+void *__tsan_external_register_tag(const char *object_type);
+void __tsan_external_assign_tag(void *addr, void *tag);
+void __tsan_external_read(void *addr, void *caller_pc, void *tag);
+void __tsan_external_write(void *addr, void *caller_pc, void *tag);
+
 #ifdef __cplusplus
 }  // extern "C"
 #endif


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32358.96177.patch
Type: text/x-patch
Size: 1358 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170421/c4d324df/attachment.bin>


More information about the llvm-commits mailing list