iOS 开发中的锁(Lock)

背景:最近在项目中涉及到很多锁方面的知识,于是在项目完成后,决定把最近关于锁的知识记录下来,方便自己以后查询

  1. 锁的相关概念
  2. 锁的性能比较
  3. 锁的用法
  4. 各种锁的优缺点

概念

0.锁: 语言的并发程序设计,一直是一个比较困难且不可避免的话题。多数程序员都会尝试使用多线程编程,但是却很难保证自己所写的多线程程序的正确性。多线程程序,如果涉及到对共享资源的并发读写,就会产生资源争用。解决资源争用,最直接的想法是引入锁,对并发读写的数据进行保护。

1.死锁:死锁是指两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。当然,产生死锁有四个条件,有需要深入了解的我在后文给链接

2.互斥锁:最常使用于线程同步的锁;标记用来保证在任一时刻,只能有一个线程访问该对象,同一线程多次加锁操作会造成死锁;临界区和互斥量都可用来实现此锁,通常情况下锁操作失败会将该线程睡眠等待锁释放时被唤醒

3.自旋锁:同样用来标记只能有一个线程访问该对象,在同一线程多次加锁操作会造成死锁;同互斥锁不同的是在锁操作需要等待的时候并不是睡眠等待唤醒,而是循环检测保持者已经释放了锁,这样做的好处是节省了线程从睡眠状态到唤醒之间内核会产生的消耗,在加锁时间短暂的环境下这点会提高很大效率

4.递归锁:严格上讲递归锁只是互斥锁的一个特例,同样只能有一个线程访问该对象,但允许同一个线程在未释放其拥有的锁时反复对该锁进行加锁操作;

iOS常用锁的性能比较

这个问题我没有去测试,引用一张大神测试后的照片截图
各种锁的性能.png

这是参考式链接:
[libireme 不再安全的 OSSpinLock]:
https://blog.ibireme.com/2016/01/16/spinlock_is_unsafe_in_ios/

iOS 锁的用法

OSSpinLock
OSSpinLock 使用方法
  - (void)testOSSpinLock{
    
    __block OSSpinLock oslock = OS_SPINLOCK_INIT;
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"线程1  准备上锁");
        OSSpinLockLock(&oslock);
        NSLog(@"线程1   执行任务");
        OSSpinLockUnlock(&oslock);
        NSLog(@"线程1  解锁成功");
        
    });
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        
        NSLog(@"线程2  准备上锁");
        OSSpinLockLock(&oslock);
        NSLog(@"线程2  执行任务");
        OSSpinLockUnlock(&oslock);
        NSLog(@"线程2   解锁成功");
        
    });
}
OSSpinLock 存在问题

新版 iOS 中,系统维护了 5 个不同的线程优先级/QoS: background,utility,default,user-initiated,user-interactive。高优先级线程始终会在低优先级线程前执行,一个线程不会受到比它更低优先级线程的干扰。这种线程调度算法会产生潜在的优先级反转问题,从而破坏了 spin lock。
具体来说,如果一个低优先级的线程获得锁并访问共享资源,这时一个高优先级的线程也尝试获得这个锁,它会处于 spin lock 的忙等状态从而占用大量 CPU。此时低优先级线程无法与高优先级线程争夺 CPU 时间,从而导致任务迟迟完不成、无法释放 lock。这并不只是理论上的问题,libobjc 已经遇到了很多次这个问题了,于是苹果的工程师停用了 OSSpinLock。
苹果工程师 Greg Parker 提到,对于这个问题,一种解决方案是用 truly unbounded backoff 算法,这能避免 livelock 问题,但如果系统负载高时,它仍有可能将高优先级的线程阻塞数十秒之久;另一种方案是使用 handoff lock 算法,这也是 libobjc 目前正在使用的。锁的持有者会把线程 ID 保存到锁内部,锁的等待者会临时贡献出它的优先级来避免优先级反转的问题。理论上这种模式会在比较复杂的多锁条件下产生问题,但实践上目前还一切都好。
libobjc 里用的是 Mach 内核的 thread_switch() 然后传递了一个 mach thread port 来避免优先级反转,另外它还用了一个私有的参数选项,所以开发者无法自己实现这个锁。另一方面,由于二进制兼容问题,OSSpinLock 也不能有改动。
最终的结论就是,除非开发者能保证访问锁的线程全部都处于同一优先级,否则 iOS 系统中所有类型的自旋锁都不能再使用了。

这是参考式链接:
[libireme 不再安全的 OSSpinLock]:
https://blog.ibireme.com/2016/01/16/spinlock_is_unsafe_in_ios/

dispatch_semaphore
dispatch_semaphore

信号量是一个整形值并且具有一个初始计数值,并且支持两个操作:信号通知和等待。当一个信号量被信号通知,其计数会被增加。当一个线程在一个信号量上等待时,线程会被阻塞(如果有必要的话),直至计数器大于零,然后线程会减少这个计数,在GCD中有三个函数是semaphore的操作

  • dispatch_semaphore_create(传入值): 传入值必须 >=0, 若传入为 0 则阻塞线程并等待timeout,时间到后会执行其后的语句

  • dispatch_semaphore_wait(signal, overTime):可以理解为 lock,会使得 signal 值 -1

  • dispatch_semaphore_signal(signal):可以理解为 unlock,会使得 signal 值 +1

- (void)dispatchSemaphore{
    
    dispatch_semaphore_t signal = dispatch_semaphore_create(1);
    
    //等待时间
    dispatch_time_t overTime = DISPATCH_TIME_FOREVER;
    
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        
        //等同加锁 -1
        dispatch_semaphore_wait(signal, overTime);
        
        NSLog(@"线程1  执行任务");

        sleep(10);
        //发通知  等同解锁  +1
        dispatch_semaphore_signal(signal);
        
        NSLog(@"线程1  解锁");
    });
    
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    
        //等同加锁 -1
        dispatch_semaphore_wait(signal, overTime);
        
        NSLog(@"线程2 执行任务");
        //发通知  等同解锁  +1
        dispatch_semaphore_signal(signal);
        
        NSLog(@"线程2  解锁");
    });
}
NSCondition

NSCondition 的对象实际上作为一个锁和一个线程检查器:锁主要为了当检测条件时保护数据源,执行条件引发的任务;线程检查器主要是根据条件决定是否继续运行线程,即线程是否被阻塞。

  • wait:进入等待状态
  • waitUntilDate::让一个线程等待一定的时间
  • signal:唤醒一个等待的线程
  • broadcast:唤醒所有等待的线程
NSCondition 使用方法

假定:有A、B......两个个任务,没有执行顺序,或者只能确定确定一个执行任务,看下面代码,以及执行结果

- (void)testConditionLock{
    
    NSCondition *condition = [[NSCondition alloc] init];
    
    //线程一
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        [condition lock];
        NSLog(@"线程一  加锁成功");
        [condition wait];
        NSLog(@"线程一   执行任务");
        [condition unlock];
        NSLog(@"线程一  解锁");
         [condition signal];
        
    });
    
    //线程二
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        
        [condition lock];
        NSLog(@"线程二  加锁成功");
        [condition wait];
        NSLog(@"线程二   执行任务");
        [condition unlock];
         NSLog(@"线程二  解锁");
         [condition signal];
       
    });
    //线程三
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{

        [condition lock];
        NSLog(@"线程三  加锁成功");
        //[condition wait];
        NSLog(@"线程三   执行任务");
        [condition unlock];
        NSLog(@"线程三  解锁");
        [condition signal];
        
        
    });
}

结果

2018-03-21 17:06:23.156804+0800 Lock-test[74191:6464691] 线程一  加锁成功
2018-03-21 17:06:23.157058+0800 Lock-test[74191:6464694] 线程二  加锁成功
2018-03-21 17:06:23.157413+0800 Lock-test[74191:6464693] 线程三  加锁成功
2018-03-21 17:06:23.158964+0800 Lock-test[74191:6464693] 线程三   执行任务
2018-03-21 17:06:23.159106+0800 Lock-test[74191:6464693] 线程三  解锁
2018-03-21 17:06:23.159695+0800 Lock-test[74191:6464691] 线程一   执行任务
2018-03-21 17:06:23.159942+0800 Lock-test[74191:6464691] 线程一  解锁
2018-03-21 17:06:23.160125+0800 Lock-test[74191:6464694] 线程二   执行任务
2018-03-21 17:06:23.160249+0800 Lock-test[74191:6464694] 线程二  解锁
NSCondition 缺点:

不能保证任务有序执行,只能确保第一执行的任务

NSConditionLock

条件锁,一个线程获得了锁,其它线程等待

  • tryLockWhenCondition:表示如果没有其他线程获得该锁,但是该锁内部的condition不等于条件,它依然不能获得锁,仍然等待

  • unlockWithCondition:: 解锁成功,并指向下个一条件

NSConditionLock 使用方法

假定:有A、B、C三个任务,需要执行的顺序是B->A->C

- (void)testConditonLock{
    
    NSConditionLock *condition = [[NSConditionLock alloc] initWithCondition:2];
    
    //线程一
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        
        
        NSLog(@"线程一 加锁");
        [condition lockWhenCondition:1];
        NSLog(@"线程一 执行任务");
        [condition unlockWithCondition:3];
       
        
    });
    //线程二
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"线程二 加锁");
        if([condition tryLockWhenCondition:2]){
            NSLog(@"线程二 执行任务");
        }else{
            NSLog(@"执行任务失败");
        }
        
        [condition unlockWithCondition:1];
        
    });
    
    //线程三
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"线程三 加锁");
        [condition lockWhenCondition:3];
        NSLog(@"线程三 执行任务");
//        [condition unlockWithCondition:3];
    });
}
2018-03-21 17:23:45.333313+0800 Lock-test[74523:6479604] 线程二 加锁
2018-03-21 17:23:45.333313+0800 Lock-test[74523:6479607] 线程一 加锁
2018-03-21 17:23:45.333313+0800 Lock-test[74523:6479605] 线程三 加锁
2018-03-21 17:23:45.333687+0800 Lock-test[74523:6479604] 线程二 执行任务
2018-03-21 17:23:45.335576+0800 Lock-test[74523:6479607] 线程一 执行任务
2018-03-21 17:23:45.335783+0800 Lock-test[74523:6479605] 线程三 执行任务
NSConditionLock 优点:

可以在加锁的同时,保证任务有序进行。缺点可能就是所谓性能低了

synchronized

synchronized 递归锁,最常见,也是最常用的锁。

- (void)testSYnchronized{
    
    //线程一
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        @synchronized(self){
            
           
            NSLog(@"线程一");
            
            [self test:@"=="];
        }
    });
    
    //线程二
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        
        @synchronized(self){
            
            NSLog(@"线程二");
            [self test:@"================================="];
        }
    });
}

- (void)test:(NSString *)test{
    
    while (1) {
        NSLog(@"%@", test);
    }
}
参考资料

https://juejin.im/entry/5a00f59ff265da4314401967

http://blog.csdn.net/qq_30513483/article/details/52349968

https://blog.ibireme.com/2016/01/16/spinlock_is_unsafe_in_ios/

http://ios.jobbole.com/82826/

http://www.cnblogs.com/huangjianwu/p/4575763.html

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 158,847评论 4 362
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,208评论 1 292
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 108,587评论 0 243
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 43,942评论 0 205
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,332评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,587评论 1 218
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,853评论 2 312
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,568评论 0 198
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,273评论 1 242
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,542评论 2 246
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,033评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,373评论 2 253
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,031评论 3 236
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,073评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,830评论 0 195
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,628评论 2 274
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,537评论 2 269

推荐阅读更多精彩内容

  • 锁是一种同步机制,用于多线程环境中对资源访问的限制iOS中常见锁的性能对比图(摘自:ibireme): iOS锁的...
    LiLS阅读 1,458评论 0 6
  • 在平时的开发中经常使用到多线程,在使用多线程的过程中,难免会遇到资源竞争的问题,那我们怎么来避免出现这种问题那? ...
    IAMCJ阅读 3,033评论 2 25
  • 线程安全是怎么产生的 常见比如线程内操作了一个线程外的非线程安全变量,这个时候一定要考虑线程安全和同步。 - (v...
    幽城88阅读 615评论 0 0
  • demo下载 建议一边看文章,一边看代码。 声明:关于性能的分析是基于我的测试代码来的,我也看到和网上很多测试结果...
    炸街程序猿阅读 738评论 0 2
  • 锁是最常用的同步工具。一段代码段在同一个时间只能允许被有限个线程访问,比如一个线程 A 进入需要保护代码之前添加简...
    AidenRao阅读 21,372评论 28 160