如何合理优化DispatchQueue.concurrentPerform性能并控制其并行度？

首先，你遇到的现象其实挺典型的：无意义的queue.sync循环之所以能提升性能，本质是它意外改变了系统的线程调度策略——当当前线程被sync阻塞时，系统会倾向于创建更多线程来处理concurrentPerform的任务，从而让更多核心被利用起来。但这绝对是个不可靠的hack，系统的线程池调度是动态的，依赖这种操作很可能在不同设备或负载下出现相反的效果。

下面是几种合理且可控的方法来控制concurrentPerform的并行度：

1. 用DispatchSemaphore手动限制并发数 #

这是最直接也最可靠的方式。通过信号量，你可以精确控制同时运行的任务数量，完全绕过concurrentPerform的自动调度逻辑。

示例代码：

// 定义你想要的并行度，通常参考CPU核心数
let desiredParallelism = ProcessInfo.processInfo.activeProcessorCount
let semaphore = DispatchSemaphore(value: desiredParallelism)

DispatchQueue.global(qos: .userInitiated).async {
    DispatchQueue.concurrentPerform(iterations: yourTotalTaskCount) { taskIndex in
        // 进入任务前等待信号量，达到并发上限时阻塞
        semaphore.wait()
        // 任务结束后释放信号量，让下一个任务可以执行
        defer { semaphore.signal() }
        
        // 这里写你的任务逻辑
        processTask(at: taskIndex)
    }
}

这种方法的好处是：你可以根据任务类型（CPU密集/IO密集）灵活调整并行度——CPU密集型任务一般设为核心数即可，IO密集型可以适当提高（比如核心数+2），避免线程等待IO时浪费核心资源。

2. 手动拆分任务并管理并发（替代concurrentPerform） #

如果concurrentPerform的自动调度不符合你的需求，完全可以放弃它，自己用自定义队列+DispatchGroup来管理任务，并行度控制会更直观：

let taskCount = yourTotalTaskCount
let parallelism = ProcessInfo.processInfo.activeProcessorCount
let queue = DispatchQueue(label: "com.yourdomain.parallelqueue", attributes: .concurrent)
let group = DispatchGroup()
let semaphore = DispatchSemaphore(value: parallelism)

for i in 0..<taskCount {
    queue.async(group: group) {
        semaphore.wait()
        defer { semaphore.signal() }
        processTask(at: i)
    }
}

// 等待所有任务完成
group.wait()

这种方式适合需要更精细控制任务生命周期的场景，比如中途取消任务、动态调整并行度等。

3. 理解concurrentPerform的调度逻辑（避免踩坑） #

苹果文档提到的“可用核心数、其他进程工作量”确实是影响concurrentPerform并行度的关键：

• 它会优先使用当前队列的线程池资源，如果你的任务在低优先级队列，系统可能不会分配足够的线程
• 如果任务本身是短耗时的，系统可能会减少并行数来避免上下文切换开销

你提到修改QoS为.userInitiated没用，可能是因为：

• 全局队列的QoS只是优先级提示，系统仍会根据整体负载调整线程数
• 你的任务可能不是纯CPU密集型，系统判断不需要满核心运行

关键注意事项 #

• 不要过度追求“满核心利用”：CPU密集型任务的最优并行度通常等于核心数，超过这个值会增加上下文切换的开销，反而降低性能
• 测试不同设备的表现：iPad Pro的A12X是8核心，但其他设备核心数不同，最好根据activeProcessorCount动态调整并行度
• 避免依赖任何“hack”操作：像你之前的sync循环这种行为，在iOS/macOS的后续版本中可能因为调度逻辑优化而失效

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