块操作 - 完成块返回随机结果

Question

我的块操作完成处理程序正在显示随机结果。不知道为什么。我读过这个，所有的课程都说它类似于 GCD 中的调度组

请在下面找到我的代码

import Foundation

let sentence = "I love my car"
let wordOperation = BlockOperation()
var wordArray = [String]()

for word in sentence.split(separator: " ") {
  wordOperation.addExecutionBlock {
  print(word)
wordArray.append(String(word))
 }
}

wordOperation.completionBlock = {
    print(wordArray)
    print("Completion Block")
}

wordOperation.start()

我希望我的输出是 ["I", "love", "my", "car"]（它应该显示所有这些单词 - 顺序或随机顺序）

但是当我运行时，我的输出是 ["my"] 或 ["love"] 或 ["I", "car"] - 它随机打印，没有所有预期值

不知道为什么会这样。请指教

Answer 1

问题是这些单独的执行块可能在单独的线程上相对于彼此同时运行。如果您 start 像您一样进行操作，或者即使您将此操作添加到 maxConcurrentOperationCount 为 1 的操作队列中，情况也是如此。正如 the documentation 所说，在处理 addExecutionBlock 时：

指定的块不应对其执行环境做出任何假设。

最重要的是，Swift 数组不是线程安全的。因此，在没有同步的情况下，与非线程安全对象的并发交互可能会导致意外行为，例如您与我们共享的内容。

如果您打开 TSAN，thread sanitizer，（可在“产品”»“方案”»“编辑方案...”中找到，或按 ⌘+，然后选择“Run”»“Diagnostics”»“Thread Sanitizer”）它会警告您有关数据争用。

---

所以，归根结底，问题本身不在于addExecutionBlock，而是试图同时从多个线程中改变数组。如果您将并发队列与调度组结合使用，您可能会遇到类似的问题（不过，像许多竞争条件一样，有时很难表现出来）。

理论上，可以将同步代码添加到您的代码 sn-p 中，这样可以解决问题。但是话又说回来，尝试启动一堆并发更新是愚蠢的，然后才在其中使用同步来防止并发更新。它会起作用，但效率低下。仅当后台线程上的工作与同步更新到某些共享资源所花费的时间量相比相当大时，才使用该模式。但这里不是这样。