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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
// RUN: %target-swiftc_driver %s -parse-as-library %import-libdispatch -g -sanitize=thread -o %t
// RUN: %target-codesign %t
// RUN: env %env-TSAN_OPTIONS="abort_on_error=0" not %target-run %t 2>&1 | %swift-demangle --simplified | %FileCheck %s
// REQUIRES: executable_test
// REQUIRES: concurrency
// REQUIRES: libdispatch
// REQUIRES: tsan_runtime
// rdar://76038845
// UNSUPPORTED: use_os_stdlib
// REQUIRES: rdar76542113
var globalCounterValue = 0
@available(SwiftStdlib 5.1, *)
actor Counter {
func next() -> Int {
let current = globalCounterValue
globalCounterValue += 1
return current
}
}
@available(SwiftStdlib 5.1, *)
func worker(identity: Int, counters: [Counter], numIterations: Int) async {
for _ in 0..<numIterations {
let counterIndex = Int.random(in: 0 ..< counters.count)
let counter = counters[counterIndex]
let nextValue = await counter.next()
print("Worker \(identity) calling counter \(counterIndex) produced \(nextValue)")
}
}
@available(SwiftStdlib 5.1, *)
func runTest(numCounters: Int, numWorkers: Int, numIterations: Int) async {
// Create counter actors.
var counters: [Counter] = []
for _ in 0..<numCounters {
counters.append(Counter())
}
// Create a bunch of worker threads.
var workers: [Task.Handle<Void, Error>] = []
for i in 0..<numWorkers {
workers.append(
detach { [counters] in
await worker(identity: i, counters: counters, numIterations: numIterations)
}
)
}
// Wait until all of the workers have finished.
for worker in workers {
try! await worker.get()
}
print("DONE!")
}
@available(SwiftStdlib 5.1, *)
@main struct Main {
static func main() async {
// Useful for debugging: specify counter/worker/iteration counts
let args = CommandLine.arguments
let counters = args.count >= 2 ? Int(args[1])! : 10
let workers = args.count >= 3 ? Int(args[2])! : 10
let iterations = args.count >= 4 ? Int(args[3])! : 100
print("counters: \(counters), workers: \(workers), iterations: \(iterations)")
await runTest(numCounters: counters, numWorkers: workers, numIterations: iterations)
}
}
// CHECK: ThreadSanitizer: {{(Swift access|data)}} race
// CHECK: Location is global 'globalCounterValue'
|
