Swift帧更新中的并发安全问题：如何避免渲染线程崩溃

针对你的场景（render每帧同步调用、不能阻塞，只需保证访问数组不崩溃，无需数据实时性），以下几种方案都可行，按实现复杂度从低到高排序：

1. 直接原子赋值（最简单） #

Swift中，对值类型数组的直接赋值操作在64位系统（所有现代iOS设备均为64位）上是原子性的——本质是交换底层缓冲区的指针，这个操作不会被打断。只要你更新数组时始终创建新数组，而非修改原数组，就能避免竞态崩溃。

实现代码 #

class MyCustomLayer: NSObject, CustomLayerHost {
    private var locationData: [CLLocation] = []
    
    func render(...) {
        let viewport = ...
        if viewport.fitSomeCondition {
            // 异步请求数据，在回调中更新
            fetchLocationDataFromServer(viewport: viewport) { newData in
                // 直接赋值新数组，原子操作，不会导致render读崩溃
                self.locationData = newData
            }
        }
        
        // 直接读取locationData，要么拿到旧数组要么新数组，不会出现部分更新的状态
        let currentData = self.locationData
        // 使用currentData渲染
    }
}

注意事项 #

• 绝对不能对原数组执行修改操作（如append、remove、sort等），这些操作会直接修改数组的底层缓冲区，引发竞态崩溃。
• 此方案完全不需要额外锁或原子库，性能最优。

2. 使用Swift官方Atomics模块 #

如果你需要更明确的原子语义（或兼容更低版本系统），可以使用Swift官方的Atomics模块，它提供了类型安全的原子操作支持。

实现步骤 #

1. 在项目中导入Atomics模块（通过Swift Package Manager或Xcode添加依赖）。
2. 将数组包装为Atomic类型：

import Atomics

class MyCustomLayer: NSObject, CustomLayerHost {
    // 用Atomic包装数组，初始化为空数组
    private let locationData = Atomic<[CLLocation]>([])
    
    func render(...) {
        let viewport = ...
        if viewport.fitSomeCondition {
            fetchLocationDataFromServer(viewport: viewport) { newData in
                // 原子存储新数组
                self.locationData.store(newData, ordering: .relaxed)
            }
        }
        
        // 原子加载当前数组，.relaxed内存顺序性能最优，满足"不崩溃"的需求
        let currentData = self.locationData.load(ordering: .relaxed)
        // 使用currentData渲染
    }
}

说明 #

• .relaxed内存顺序表示不保证多线程间的可见性，但完全能保证读写操作的原子性，避免崩溃，同时性能开销最小。
• 此方案比直接赋值更显式，适合需要明确并发语义的场景。

3. GCD读写锁（兼容旧版Swift） #

如果你的项目无法使用Atomics模块，也可以用GCD的读写锁来保护数组访问。但注意：为了不阻塞render，读操作必须使用同步读取，写操作使用异步屏障，确保读操作不会等待写操作（但写操作会等待所有读操作完成后执行）。

实现代码 #

class MyCustomLayer: NSObject, CustomLayerHost {
    private var locationData: [CLLocation] = []
    private let dataQueue = DispatchQueue(label: "com.yourapp.locationDataQueue", attributes: .concurrent)
    
    func render(...) {
        let viewport = ...
        if viewport.fitSomeCondition {
            fetchLocationDataFromServer(viewport: viewport) { newData in
                // 异步屏障写，等待所有读操作完成后执行，不阻塞当前线程
                self.dataQueue.async(flags: .barrier) {
                    self.locationData = newData
                }
            }
        }
        
        // 同步读，并发执行，不会阻塞其他读操作，也不会被写操作打断（写操作会等读完成）
        let currentData = self.dataQueue.sync {
            self.locationData
        }
        // 使用currentData渲染
    }
}

注意事项 #

• 读操作使用sync是因为render需要同步拿到数据进行渲染，而.concurrent队列允许多个读操作同时执行，性能不会太差。
• 写操作使用.barrier确保同一时间只有一个写操作，且所有读操作完成后才执行写，避免竞态。

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