iOS - Objective-C 底层中的内存屏障

1. 基本实现

objectivec 复制代码
// objc-os.h 中的内存屏障实现
#define OSMemoryBarrier()  __sync_synchronize()

// ARM 架构特殊处理
static ALWAYS_INLINE void
OSMemoryBarrierBeforeUnlock() {
#if defined(__arm__) || defined(__arm64__)
    OSMemoryBarrier();
#endif
}

2. 解锁前的内存屏障

objectivec 复制代码
// 自旋锁解锁时使用内存屏障
static ALWAYS_INLINE void
OSSpinLockUnlock(volatile OSSpinLock *lock) {
    // 确保之前的内存操作都完成
    OSMemoryBarrierBeforeUnlock();
    // 解锁操作
    OSAtomicAnd32Barrier(0, &lock->value);
}

3. 原子操作中的内存屏障

objectivec 复制代码
// 带内存屏障的原子操作
static ALWAYS_INLINE int32_t 
OSAtomicIncrement32Barrier(volatile int32_t *value) {
    // 使用带内存屏障的原子加操作
    return __sync_fetch_and_add(value, 1) + 1;
}

static ALWAYS_INLINE int32_t 
OSAtomicDecrement32Barrier(volatile int32_t *value) {
    // 使用带内存屏障的原子减操作
    return __sync_fetch_and_sub(value, 1) - 1;
}

4. 不同架构的处理

objectivec 复制代码
// 针对不同架构的内存屏障实现
#if __has_feature(c_atomic)
    // 使用 C11 原子操作
    #define OSAtomicIncrement32Barrier(p) \
        __c11_atomic_add((_Atomic(int32_t) *)(p), 1, __ATOMIC_SEQ_CST)
#else
    // 使用平台特定的实现
    static ALWAYS_INLINE int32_t 
    OSAtomicIncrement32Barrier(volatile int32_t *value) {
        return __sync_fetch_and_add(value, 1) + 1;
    }
#endif

5. 使用场景

5.1 引用计数操作

objectivec 复制代码
bool objc_object::rootTryRetain() {
    // 使用带内存屏障的原子操作
    if (OSAtomicCompareAndSwapInt32Barrier(0, 1, &refcount)) {
        return true;
    }
    return false;
}

5.2 属性原子访问

objectivec 复制代码
// 原子属性的 setter
static inline void reallySetProperty(id self, SEL _cmd, id newValue, 
                                   ptrdiff_t offset, bool atomic) 
{
    if (atomic) {
        spinlock_t& slotlock = PropertyLocks[GOODHASH(offset)];
        slotlock.lock();
        // 写入值
        *((id *)((char *)self + offset)) = newValue;
        // 确保内存操作完成
        OSMemoryBarrier();
        slotlock.unlock();
    }
}

6. 内存序保证

objectivec 复制代码
// 1. Acquire 语义
#define ACQUIRE_BARRIER() \
    __asm__ __volatile__("dmb ish" : : : "memory")

// 2. Release 语义
#define RELEASE_BARRIER() \
    __asm__ __volatile__("dmb ish" : : : "memory")

// 3. 完全内存屏障
#define FULL_BARRIER() \
    __asm__ __volatile__("dmb ish" : : : "memory")

7. 性能考虑

objectivec 复制代码
// 1. 避免不必要的内存屏障
void performOperation() {
    if (!needsBarrier) {
        // 使用非屏障版本的操作
        OSAtomicIncrement32(value);
    } else {
        // 使用带屏障版本
        OSAtomicIncrement32Barrier(value);
    }
}

// 2. 合并内存屏障
void batchOperations() {
    // 一次内存屏障保护多个操作
    OSMemoryBarrier();
    // 执行多个操作
    operation1();
    operation2();
    operation3();
    OSMemoryBarrier();
}

总结要点:

  1. 内存屏障类型:
  • 完全内存屏障
  • 获取屏障(Acquire)
  • 释放屏障(Release)
  1. 使用场景:
  • 锁操作
  • 原子操作
  • 属性访问
  • 引用计数
  1. 架构相关:
  • ARM 特殊处理
  • x86 内存序列
  • 不同平台实现
  1. 性能影响:
  • 内存屏障开销
  • 合理使用
  • 优化策略
  1. 注意事项:
  • 正确使用类型
  • 避免过度使用
  • 考虑性能影响
  • 平台兼容性
相关推荐
QuantumLeap丶1 小时前
《Flutter全栈开发实战指南:从零到高级》- 05 - 基础组件实战:构建登录界面
flutter·ios
黄毛火烧雪下1 小时前
(四)Flutter插件之IOS插件开发
flutter·ios
2501_915106321 小时前
iOS 混淆与 IPA 加固全流程,多工具组合实现无源码混淆、源码防护与可审计流水线(iOS 混淆|IPA 加固|无源码加固|App 防反编译)
android·ios·小程序·https·uni-app·iphone·webview
游戏开发爱好者81 小时前
用多工具组合把 iOS 混淆做成可复用的工程能力(iOS混淆 IPA加固 无源码混淆 Ipa Guard)
android·ios·小程序·https·uni-app·iphone·webview
2501_915921434 小时前
掌握 iOS 26 App 性能监控,从监测到优化的多工具组合流程
android·macos·ios·小程序·uni-app·cocoa·iphone
2501_916008895 小时前
手机 iOS 系统全解析,生态优势、开发机制与跨平台应用上架实践指南
android·ios·智能手机·小程序·uni-app·iphone·webview
I烟雨云渊T5 小时前
iOS原生与Flutter的交互编程
flutter·ios·交互
马拉萨的春天6 小时前
iOS的动态库和静态库的差异区别以及静态库的好处
macos·ios·cocoa
肖老师xy6 小时前
苹果(IOS)制作开发和发布证书
ios
马拉萨的春天7 小时前
探索Objective-C中的对象复制:深入理解copy和mutableCopy
开发语言·ios·objective-c