You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TSan does not guarantee the detection of races [1]. This means that any
positive test, i.e., a test that asserts the detection of a race, comes
with inherent flakiness. In the LLVM TSan test suite this unfortunate
circumstance is mitigated via the deflake utility [2] (plus lit
substitution) which executes a test multiple times.
Since we currently only have 3 positive TSan tests in the Swift test
suite [3] (the remaining ones test the absence of false positives), we
decided against bringing over this utility for now. Instead this change
attempts to "deflake" as part of the test itself.
[1] https://groups.google.com/d/msg/thread-sanitizer/KIok3F_b1oI/RwrMNhyHafwJ
[2] llvm/llvm-project@233f401
[3] Positive TSan tests:
test/Sanitizers/tsan.swift
test/Sanitizers/tsan-libdispatch.swift
validation-test/Sanitizers/tsan-inout.swift
rdar://51730684
0 commit comments