深入详解Objective-C中的@Synchronized关键字

 更新时间:2023年03月30日 09:32:35   作者:iOS学习社区  
这篇文章主要为大家介绍了深入详解Objective-C中的@Synchronized关键字,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

正文

在多线程编程中,线程之间共享资源时容易出现数据竞争的问题,导致程序出现不可预期的结果。为了避免这种情况,我们需要采用一些同步机制来保证线程之间的安全协作。 @synchronized指令是Objective-C中一种常用的同步机制。

@synchronized指令是Objective-C中一种非常简单方便的创建锁的方式。相比于其他锁,它的语法更加简单,只需要使用任意一个Objective-C对象作为锁标记即可。

- (void)myMethod:(id)anObj {
    @synchronized(anObj) {
        // Everything between the braces is protected by the @synchronized directive.
    }
}

@synchronized指令中传递的对象是用于区分受保护代码块的唯一标识符。如果在两个不同的线程中执行上述方法,分别为anObj参数传递不同的对象,那么每个线程都会获取自己的锁并继续处理,而不会被另一个线程阻塞。但是,如果在这两种情况下都传递相同的对象,则其中一个线程会首先获取锁,另一个线程则会被阻塞,直到第一个线程完成操作。

@Synchronized的底层实现

通过clang查看底层编译代码可知, @Synchronized是通过objc_sync_enter和objc_sync_exit函数来实现锁的获取和释放的,源码如下:

int objc_sync_enter(id obj)
{
    int result = OBJC_SYNC_SUCCESS;
    if (obj) {
        SyncData* data = id2data(obj, ACQUIRE);
        ASSERT(data);
        data->mutex.lock();
    } else {
        // @synchronized(nil) does nothing
        if (DebugNilSync) {
            _objc_inform("NIL SYNC DEBUG: @synchronized(nil); set a breakpoint on objc_sync_nil to debug");
        }
        objc_sync_nil();
    }
    return result;
}
int objc_sync_exit(id obj)
{
    int result = OBJC_SYNC_SUCCESS;
    if (obj) {
        SyncData* data = id2data(obj, RELEASE); 
        if (!data) {
            result = OBJC_SYNC_NOT_OWNING_THREAD_ERROR;
        } else {
            bool okay = data->mutex.tryUnlock();
            if (!okay) {
                result = OBJC_SYNC_NOT_OWNING_THREAD_ERROR;
            }
        }
    } else {
        // @synchronized(nil) does nothing
    }
    return result;
}
  • 如果传入的obj存在,则走加锁流程;如果obj为nil,则什么也不做。
  • objc_sync_exit和objc_sync_enter是对应的;objc_sync_exit方法就是解锁,如果obj= nil则什么也不做;

通过观察源码可知,objc_sync_exit和objc_sync_enter里的关键是从obj转换到SyncData,然后通过SyncData中的mutex来对临界区上锁。SyncData结构体的定义如下:

typedef struct alignas(CacheLineSize) SyncData {
    struct SyncData* nextData;
    DisguisedPtr<objc_object> object;
    int32_t threadCount;  // number of THREADS using this block
    recursive_mutex_t mutex;
} SyncData;
  • mutex是递归锁,这也是为什么可以在 @Synchronized里嵌套 @Synchronized的原因了。

从obj转换到SyncData的具体实现如下:

这段代码实现了一个锁的缓存机制,目的是为了提高多线程访问同一对象时的效率。当多个线程同时访问同一对象时,每个线程需要获取一个锁,这会造成性能瓶颈。为了避免这个问题,缓存机制会将已经获取的锁缓存起来,以供下次使用。其大致流程如下:

1、首先检查是否启用了快速缓存,如果启用则在快速缓存中查找是否有与obj对应的SyncData对象。

2、如果在快速缓存中找到了匹配的SyncData对象,则将syncLockCount加1,并返回结果。

3、如果没有在快速缓存中找到匹配的SyncData对象,则继续在线程缓存中查找是否有与obj对应的锁。

4、如果在线程缓存中找到了匹配的锁,则将对应锁的计数加1,并将其返回结果。

5、如果没有在线程缓存中找到匹配的锁,则在全局的哈希表中查找是否有与obj对应的SyncData对象。

6、如果在全局的哈希表中找到了匹配的SyncData对象,则会进行多线程操作,将对应锁的计数加1,并返回结果。

7、如果没有在全局的哈希表中找到匹配的SyncData对象,则创建新对象,并将新对象添加到上述的缓存中,以供下次使用。

badcase分析

#import "ViewController.h"
@interface ViewController ()
@property (nonatomic, strong) NSMutableArray *testArray;
@end
@implementation ViewController
- (void)viewDidLoad {
    [super viewDidLoad];
    // Do any additional setup after loading the view.
    self.testArray = @[].mutableCopy;
    for (NSUInteger i = 0; i < 5000; i++) {
        dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
            [self testThreadArray];
        });
    }
}
- (void)testThreadArray {
    @synchronized (self.testArray) {
        self.testArray = @[].mutableCopy;
    }
}
@end

运行这段代码,会出现如下crash:

考虑这个场景,有三个线程A、B、C同时访问一个非原子属性self.testArray,初始值为p0。线程A和线程B由于访问的self.testArray的值一致,产生了竞争,线程A获取了锁并将self.testArray的值重新设置为p1,然后释放了锁。此时线程C访问self.testArray,发现其值为p1,没有竞争,准备对其进行赋值操作。然而,此时线程B由于之前的锁已经被释放,进入代码块,也准备对self.testArray进行赋值操作,这会导致两个线程同时对非原子属性self.testArray进行赋值操作,从而产生crash。

以上就是深入详解Objective-C中的@Synchronized关键字的详细内容,更多关于Objective-C @Synchronized关键字的资料请关注脚本之家其它相关文章!

相关文章

  • iOS横屏弹键盘的高度错误异常解决

    iOS横屏弹键盘的高度错误异常解决

    这篇文章主要给大家介绍了关于iOS横屏弹键盘的高度错误异常解决的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-04-04
  • iOS自定义字体设置和系统自带的字体详解

    iOS自定义字体设置和系统自带的字体详解

    这篇文章主要给大家介绍了关于iOS自定义字体设置和系统自带的字体的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2019-01-01
  • iOS延迟执行方法详解

    iOS延迟执行方法详解

    这篇文章主要为大家详细介绍了iOS延迟执行方法,包括performSelector(NSObject)方法、NSTimer、GCD和sleep(NSThread)四种方法,需要的朋友可以参考下
    2016-11-11
  • iOS App中调用相册中图片及获取最近的一张图片的方法

    iOS App中调用相册中图片及获取最近的一张图片的方法

    这篇文章主要介绍了iOS App中调用相册中图片及获取最近的一张图片的方法,示例代码为传统的Objective-C语言,需要的朋友可以参考下
    2016-03-03
  • iOS 多线程总结之GCD的使用详解

    iOS 多线程总结之GCD的使用详解

    本篇文章主要介绍了iOS 多线程总结之GCD的使用详解,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-10-10
  • iOS内存管理引用计数示例分析

    iOS内存管理引用计数示例分析

    这篇文章主要为大家介绍了iOS内存管理引用计数示例分析详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-01-01
  • IOS 开发之 NSMutableArray与NSArray 的区别

    IOS 开发之 NSMutableArray与NSArray 的区别

    这篇文章主要介绍了IOS 开发之 NSMutableArray与NSArray 的区别的相关资料,希望通过本文能掌握这部分内容,需要的朋友可以参考下
    2017-09-09
  • iOS录屏和截屏监听的实现代码

    iOS录屏和截屏监听的实现代码

    本篇文章主要介绍了iOS录屏和截屏监听的实现代码,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2018-05-05
  • iOS应用中使用AsyncSocket库处理Socket通信的用法讲解

    iOS应用中使用AsyncSocket库处理Socket通信的用法讲解

    这篇文章主要介绍了iOS应用中使用AsyncSocket库处理Socket通信的用法讲解,AsyncSocket同时支持TCP和UDP,文中展示了其建立断开连接及发送接收消息的操作,very好用,需要的朋友可以参考下
    2016-05-05
  • iOS撸一个简单路由Router的实现代码

    iOS撸一个简单路由Router的实现代码

    这篇文章主要介绍了iOS撸一个简单路由Router的实现代码,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2018-09-09

最新评论