[PATCH] D31630: [tsan] Detect races on modifying accesses in Swift code

[Kuba (Brecka) Mracek via Phabricator via llvm-commits]

kubamracek added a comment.

>> The memory/threading model of Swift defines races in terms of accesses:  Starting a new "modifying" access requires that there are no outstanding accesses.  And "access" here means the formal duration over which the variable is accessed, e.g. the whole function call for inout arguments.  This is all pretty new and still being worked on:  https://github.com/apple/swift/blob/master/docs/OwnershipManifesto.md.
> 
> Then let's register report header for external tags.

What do you mean by that?  Can you explain?


https://reviews.llvm.org/D31630