mach_task_self_非并发安全：@preconcurrency导入Darwin模块无效求助

问题原因 #

mach_task_self_是全局变量，Swift并发检查会判定直接访问它存在线程安全风险。直接使用@preconcurrency import Darwin.Mach.mach_init无效，因为该属性对Darwin子模块导入不生效，且Darwin模块本身未提供并发安全相关标注。

可行解决方法 #

方法一：用串行队列封装访问

通过串行队列同步获取mach_task_self_，确保同一时间只有一个线程访问该全局变量，彻底规避并发风险：

import Darwin.Mach

// 创建全局串行队列，专门处理mach_task_self_的访问逻辑
private let machTaskAccessQueue = DispatchQueue(label: "mach.task.access.queue")

// 封装安全获取方法
private func safeMachTaskSelf() -> task_t {
    return machTaskAccessQueue.sync {
        mach_task_self_
    }
}

// 使用示例
func getMemoryUsage() {
    var intPtr = UnsafeMutableRawPointer.allocate(byteCount: MemoryLayout<task_vm_info_data_t>.stride, alignment: MemoryLayout<task_vm_info_data_t>.alignment)
    defer { intPtr.deallocate() }
    var count = mach_msg_type_number_t(MemoryLayout<task_vm_info_data_t>.stride / MemoryLayout<natural_t>.stride)
    
    // 用封装后的方法替代直接调用mach_task_self_
    let result = task_info(safeMachTaskSelf(), task_flavor_t(TASK_VM_INFO), intPtr, &count)
    // 后续内存数据处理逻辑...
}

方法二：用@unchecked Sendable手动标记安全

由于mach_task_self_在整个进程生命周期内不会被修改，我们可以手动告知编译器该变量的并发访问是安全的（需确认你的场景中确实不存在修改操作）：

import Darwin.Mach

// 手动标记为@unchecked Sendable，告知编译器我们已确保该变量的并发访问安全
private let safeMachTaskSelf: @unchecked Sendable task_t = mach_task_self_

// 使用示例
func getMemoryUsage() {
    var intPtr = UnsafeMutableRawPointer.allocate(byteCount: MemoryLayout<task_vm_info_data_t>.stride, alignment: MemoryLayout<task_vm_info_data_t>.alignment)
    defer { intPtr.deallocate() }
    var count = mach_msg_type_number_t(MemoryLayout<task_vm_info_data_t>.stride / MemoryLayout<natural_t>.stride)
    
    let result = task_info(safeMachTaskSelf, task_flavor_t(TASK_VM_INFO), intPtr, &count)
    // 后续内存数据处理逻辑...
}

注意事项 #

• 方法二更简洁，但依赖对mach_task_self_行为的明确认知（进程内值不变），若后续系统行为变更可能存在风险；
• 方法一兼容性更强，适用于所有不确定全局变量是否会被修改的场景。

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