数据竞争发生在 Swift Actor

Question

我通过使用 Thread Sanitizer 在我的 Swift 应用程序中发现了数据竞争，因此我第一次尝试通过将有问题的class转换为actor来修复竞争条件。 竞争导致的崩溃似乎已经消失，但 Thread Sanitizer 仍然说代码中存在数据竞争，我认为这在actor中应该是不可能的。

我不能在这里发布整个actor ，但这是比赛发生的代码：

actor SampleActor {
    private var things = Set<Int>()
    
    func addThing(_ newThing: Int, seconds: Double) {
        things.insert(newThing)
        Task {
            try await Task.sleep(nanoseconds: UInt64(seconds * 1_000_000_000))
            self.things.remove(newThing)
        }
    }
}

// Code to cause the race
let sample = SampleActor()
for n in 0 ..< 1000 {
    Task {
        await sample.addThing(n, seconds: Double.random(in: 0...1.0))
    }
}

我可能以错误的方式解决这个问题，但我需要将 object 添加到SampleActor的对象集中，并让它在一段时间后自动删除。

有一个更好的方法吗？ 在这种情况下，使用actor来避免数据竞争我错过了什么？ SampleActor.things不应该在这里不受种族影响，因为它是actor的财产吗？

Answer 1

删除Task { actor中的部分

将async添加到 function

func addThing(_ newThing: Int, seconds: Double) async {

Answer 2

这里没有数据竞争。 这是 TSAN 中的错误。 据报道，他们一直在改进与演员的互动，但至少截至 Swift 5.7.2，仍然存在问题。 例如，参见https://github.com/apple/swift/issues/57902或https://github.com/apple/swift/issues/57749 。

正如 lorem ipsum 所说（+1），明智的做法是放弃在addThing中使用Task {…} ，以获得更简洁的代码，享受结构化并发的好处，但这不是这里的问题。 暂时，简单地避免使用 Swift 并发的 TSAN。