1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
// RUN: %target-swiftc_driver %s -g -sanitize=thread %import-libdispatch -o %t_tsan-binary
// RUN: %target-codesign %t_tsan-binary
// RUN: env %env-TSAN_OPTIONS=abort_on_error=0 not %target-run %t_tsan-binary 2>&1 | %FileCheck %s
// REQUIRES: executable_test
// REQUIRES: tsan_runtime
// UNSUPPORTED: OS=tvos
// rdar://101876380
// UNSUPPORTED: OS=ios
// FIXME: This should be covered by "tsan_runtime"; older versions of Apple OSs
// don't support TSan.
// UNSUPPORTED: remote_run
// Test ThreadSanitizer execution end-to-end with libdispatch.
import Dispatch
let q = DispatchQueue(label: "q", attributes: .concurrent)
let sync1 = DispatchSemaphore(value: 0)
let sync2 = DispatchSemaphore(value: 0)
let finish = DispatchSemaphore(value: 0)
func wait1_signal2() { sync1.wait(); sync2.signal() }
func signal1_wait2() { sync1.signal(); sync2.wait() }
func race() {
var racy = 1
q.async {
wait1_signal2()
racy = 2
wait1_signal2()
finish.signal()
}
q.async {
signal1_wait2()
racy = 3
signal1_wait2()
finish.signal()
}
finish.wait()
finish.wait()
}
// TSan %deflake as part of the test.
for _ in 1...10 {
race()
}
print("Done!")
// CHECK-DAG: ThreadSanitizer: data race
// CHECK-DAG: Done!
|
