[PATCH] D55959: [TSan] Enable detection of lock-order-inversions for Objective-C @synchronized

Julian Lettner via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 2 11:37:46 PST 2019


yln updated this revision to Diff 179905.
yln added a comment.

Create diff via arcanist

- Add failing test for deadlock detection for Objective-C @synchronize blocks
- Implement Obj-C @synchronized like full-fledged mutexes
- Activate test
- Refactor @synchronized interceptors
- Add test for @synchronized nesting with recursive locks
- #include <objc/objc-sync.h> directly
- Use CHECK_EQ instead of assert
- Pass MutexFlagWriteReentrant flag
- Add failing test for @synchronized with tagged pointer
- Fix broken test


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D55959/new/

https://reviews.llvm.org/D55959

Files:
  compiler-rt/lib/tsan/rtl/tsan_interceptors_mac.cc
  compiler-rt/test/tsan/Darwin/objc-synchronize-cycle-tagged.mm
  compiler-rt/test/tsan/Darwin/objc-synchronize-cycle.mm
  compiler-rt/test/tsan/Darwin/objc-synchronize-nested-recursive.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D55959.179905.patch
Type: text/x-patch
Size: 4988 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190102/d148f03a/attachment.bin>


More information about the llvm-commits mailing list