iOS 锁 Lock 线程同步 多线程安全隐患

多线程的安全隐患

多条线程操作同一个资源,会造成资源的不同步,造成数据的不准确。
采用线程同步技术来规避资源的同步,常用的技术就是加锁

锁保证当前情况下只能有一个线程操作该资源,操作完解锁,后面线程进来继续加锁解锁。
iOS 中线程同步的方案有

  • OSSpinLock(自旋锁)

等待锁的线程会处于忙等(busy-wait)状态,一直占用着CPU资源,
目前已经不安全了,会出现线程优先级反转的问题。

优先级反转:
thread1优先级高,thread2低,当执行任务时,比如thread2加锁,执行thread1会在锁处忙等,等待thread2解锁,但是thread1的优先级比较高,CPU会分配给thread1的时间调度比较多,导致thread2一直无法放开锁,造成类似于死锁的现象

#import <libkern/OSAtomic.h>
/**
 自旋锁
 */
@property (nonatomic, assign) OSSpinLock lock;
- (void)use {
   //初始化
    self.lock = OS_SPINLOCK_INIT;
    //加锁
    OSSpinLockLock(&_lock); 
   //解锁
    OSSpinLockUnlock(&_lock);
}

  • os_unfair_lock

os_unfair_lock 用于取代不安全的OSSpinLock,从iOS10 开始支持,从底层来看,等待os_unfair_lock锁的线程会处于休眠状态,也不是忙等状态。

#import <os/lock.h>
@property (nonatomic, assign) os_unfair_lock lock;
- (void)use {
   //初始化
    self.lock = OS_UNFAIR_LOCK_INIT;
    //加锁
    os_unfair_lock_lock(&_lock); 
   //解锁
    os_unfair_lock_unlock(&_lock);
}
  • pthread_mutex

pthread是跨平台的锁 ,互斥锁,等待所得线程会处于休眠状态。
初始化的时候创建属性可以选择锁类型:
PTHREAD_MUTEX_NORMAL //普通锁
PTHREAD_MUTEX_RECURSIVE //递归锁,用于递归调用的时候避免产生死锁情况。

#import <pthread.h>
@property (nonatomic, assign) pthread_mutex_t lock;
- (void)use {
   //初始化
   [self __initLock:&_lock];
    //加锁
    pthread_mutex_lock(&_lock); 
   //解锁
    pthread_mutex_unlock(&_lock);
    //销毁
    pthread_mutex_destroy(&_lock);
}
- (void) __initLock:(pthread_mutex_t *)lock {
    //PTHREAD_MUTEX_INITIALIZER是个结构体,语法不允许这么创建
    //        self.ticketLock = PTHREAD_MUTEX_INITIALIZER;
    pthread_mutexattr_t att;
    pthread_mutexattr_init(&att);
    pthread_mutexattr_settype(&att, PTHREAD_MUTEX_NORMAL);
    pthread_mutex_init(lock, &att);
//    pthread_mutex_init(lock, NULL); //也可以穿NULL,采用默认
    //销毁属性
    pthread_mutexattr_destroy(&att);
}

还有一种(pthread_mutex-条件)用法,改方法可以实现线程之间相互以依赖的问题,比如线程1加锁之后,需要依赖线程2执行完之后才能够进行。此时使用pthread_cond_t 可以给pthread_mutex_lock添加条件,来进行多线程之间的控制。


互斥锁条件用法
  • NSLock

NSLock是对mutex普通锁的封装。

- (BOOL)tryLock;  //尝试加锁,未加锁-->加锁,加锁-->继续执行
- (BOOL)lockBeforeDate:(NSDate *)limit;
//时间段内加锁,limit时间之前阻塞线程,等到锁断开之后或者未加锁状态下加锁成功返回YES,否则加锁失败 返回NO。
  • NSRecursiveLock

递归锁,也是对mute递归锁的封装。
pthread_mutexattr_settype(&att, PTHREAD_MUTEX_RECURSIVE);

  • NSCondition

条件锁,也是对mute和pthread_cond_t的封装。可以调用wait 方法,等待条件成立再执行锁一下的内容。signle方法唤醒线程锁。

  • NSConditionLock

是对NSCondition进一步封装,可以设定具体的条件值,首先初始化一个条件值,
当执行[self.conditionLock lockWhenCondition:1];只有条件值对应上才能加锁成功,否则一直等待锁得状态。
[self.conditionLock unlockWithCondition:2];解锁并且将条件值赋值为2

  • dispatch_semaphore

dispatch_semaphore_wait(self.semaphore, DISPATCH_TIME_FOREVER);
信号量的值>0的时候执行,<=0等待
dispatch_semaphore_signal(self.semaphore);
信号量的值+1

  • dispatch_queue(DISPATCH_QUEUE_SERIAL)

GCD的串行队列,也可以实现锁的概念。

  • @synchronized

@synchronized是对mutex递归锁得封装
源码在objc4/sync.mm 内部.

@synchronized(self){
       //lock content
    }

@synchronized需要传入一个对象,这个对象(不一定就是self)就是这把锁,相同对象持有相同锁,不同对象持有不同锁,关键字在左大括号加锁,大括号结束解锁。底层就是对mutex递归锁的封装。

不同锁的优劣

锁大致分为2种

  • OSSpinLock(自旋锁),加锁状态的时候线程处于忙等状态,占用CPU资源。
  • pthread_mutex(互斥锁),跨平台,加锁状态的时候线程处于休眠状态,不会占用CPU资源。


    各个锁性能比较

面试题

  1. 什么情况使用自旋锁比较划算
  • 预计线程等待锁的时间很短
  • 加锁的代码(临界区)会经常调用,但竞争情况很少发生。
  • CPU资源不紧张
  • 多核处理器
  1. 什么情况使用互斥锁比较划算
  • 预计线程等待锁的时间比较长
  • 单核处理器,可以休眠
  • 临界区有IO(文件读取)操作
  • 临界区代码比较复杂,或者循环量大
  • 竞争非常激烈
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,968评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,601评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,220评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,416评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,425评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,144评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,432评论 3 401
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,088评论 0 261
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,586评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,028评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,137评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,783评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,343评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,333评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,559评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,595评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,901评论 2 345

推荐阅读更多精彩内容

  • 锁是一种同步机制,用于多线程环境中对资源访问的限制iOS中常见锁的性能对比图(摘自:ibireme): iOS锁的...
    LiLS阅读 1,507评论 0 6
  • 前言 一块资源可能会被多个线程共享,也就是多个线程可能会访问同一块资源,比如多个线程访问同一个对象、同一个变量、同...
    WQ_UESTC阅读 853评论 0 5
  • 一、前言 前段时间看了几个开源项目,发现他们保持线程同步的方式各不相同,有@synchronized、NSLock...
    稻春阅读 464评论 0 0
  • 转载自:https://www.jianshu.com/p/938d68ed832c# 一、前言 前段时间看了几个...
    cafei阅读 4,534评论 1 12
  • 线程安全是怎么产生的 常见比如线程内操作了一个线程外的非线程安全变量,这个时候一定要考虑线程安全和同步。 - (v...
    幽城88阅读 647评论 0 0