多线程操作Swift数组不同索引的安全性及最优方案问询

问题 #

常看到资料提及Swift数组因写时复制（Copy-on-Write，CoW）特性并非线程安全，但实际测试中，同时在不同线程更新数组的不同唯一索引的代码似乎能正常运行：

// pixels 是 [(UInt8, UInt8, UInt8)] 类型
let q = DispatchQueue(label: "processImage", attributes: .concurrent)
q.sync {
    DispatchQueue.concurrentPerform(iterations: n) { i in
        // ... 执行计算逻辑 ...
        pixels[i] = ... // 将结果存入对应索引位置
    }
}

问题核心：

• 若线程从不写入同一索引，写时复制机制是否仍会干扰操作？
• 由于数组长度和内存占用未改变，这种操作是否真的安全？
• 若不安全，并行处理像素数组这类场景的最佳实践是什么？是否必须为每个线程分配单独数组再合并？

回答 #

1. 即使操作不同索引，直接写Swift数组仍不安全 #

Swift数组的CoW机制在写入时的引用计数检查与缓冲区复制操作不是原子的，哪怕线程只操作不同索引，也可能引发问题：

• 当多个线程同时执行pixels[i] = ...时，都会先检查当前数组是否是底层缓冲区的唯一持有者。这个检查步骤本身没有线程同步，可能出现多个线程都判定自己是唯一持有者，进而同时修改同一个缓冲区，导致数据竞争；
• 若其中一个线程触发了缓冲区复制（比如此时刚好有其他引用存在），其他线程可能还在操作旧缓冲区，最终导致数据不一致，甚至崩溃。

你测试中代码能运行只是“碰巧”，不是真正的线程安全，在高并发或者不同环境下很容易出问题。

2. 像素并行计算场景的最佳实践 #

不需要为每个线程分配单独数组再合并（会带来额外内存开销和合并成本），更高效的方案是直接操作原始内存：

方案一：使用UnsafeMutableBufferPointer绕开CoW

通过直接获取数组的可变缓冲区指针，跳过Swift数组的CoW检查逻辑，只要保证每个线程只操作自己的索引范围，就是线程安全的：

var pixels = Array(repeating: (UInt8(0), UInt8(0), UInt8(0)), count: n)
pixels.withUnsafeMutableBufferPointer { buffer in
    DispatchQueue.concurrentPerform(iterations: n) { i in
        // ... 执行计算逻辑 ...
        buffer[i] = (r, g, b) // 直接操作内存，无CoW干扰
    }
}

方案二：提前确保数组为唯一引用

如果必须使用数组的下标操作，可以先确保数组是底层缓冲区的唯一持有者（比如通过赋值创建新的数组实例），再进行并行操作。不过这种方式还是不如直接操作缓冲区指针可靠：

// 提前赋值，确保数组是缓冲区的唯一引用
var pixels = originalPixels
DispatchQueue.concurrentPerform(iterations: n) { i in
    pixels[i] = ...
}

注意：这种方式只能降低CoW触发的概率，不能完全消除线程安全隐患，因为Swift没有公开CoW的具体实现细节，未来版本可能有变化。

内容的提问来源于stack exchange，提问作者johnbakers