-
3、线程同步方案性能比较
-
4、问答拓展
-
-
4.1、GNUstep
-
4.2、线程安全的处理手段有哪些?
-
4.3、OC你了解的锁有哪些?
-
-
4.3.1、自旋和互斥对比?
-
4.3.2、使用以上锁需要注意哪些?
-
4.3.3、用C/OC/C++,任选其一,实现自旋或互斥?口述即可!
-
-
=============================================================================
隐患分析:
解决方案:
1、使用线程同步技术(同步,就是协同步调,按预定的先后次序进行)
2、常见的线程同步技术是:加锁
经典案例:买票、存钱取钱、生产消费关系。
==============================================================================
OSSpinLock
os_unfair_lock
pthread_mutex
dispatch_semaphore
dispatch_queue(DISPATCH_QUEUE_SERIAL)
NSLock
NSRecursiveLock
NSCondition
NSConditionLock
@synchronized
1、OSSpinLock叫做”自旋锁”,等待锁的线程会处于忙等(busy-wait)状态,一直占用着CPU资源。
2、目前已经不再安全,可能会出现优先级反转问题。
3、如果等待锁的线程优先级较高,它会一直占用着CPU资源,优先级低的线程就无法释放锁。
4、需要导入头文件#import <libkern/OSAtomic.h>
。
1、os_unfair_lock
用于取代不安全的OSSpinLock
,从iOS10开始才支持。
2、从底层调用看,等待os_unfair_lock锁的线程会处于休眠状态,并非忙等。
3、需要导入头文件#import <os/lock.h>
。
1、mutex
叫做”互斥锁”,等待锁的线程会处于休眠状态。
2、需要导入头文件#import <pthread.h>
。
2.3.1、pthread_mutex - 普通锁
// 初始化锁的属性
pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
/**
* @param attr:参数
* @param type:锁的类型,传NULL也是默认
*/
pthread_mutexattr_settype(&attr,PTHREAD_MUTEX_NORMAL);
//锁的类型
#define PTHREAD_MUTEX_NORMAL 0 // 普通锁
#define PTHREAD_MUTEX_ERRORCHECK 1 // 检测错误的锁
#define PTHREAD_MUTEX_RECURSIVE 2 // 递归锁
#define PTHREAD_MUTEX_DEFAULT PTHREAD_MUTEX_NORMAL
// 初始化锁
pthread_mutex_t mutex;
pthread_mutex_init(&mutex,&attr);
// 尝试加锁
pthread_mutex_trylock(&mutex);
// 加锁
pthread_mutex_lock(&mutex);
// 解锁
pthread_mutex_unlock(&mutex);
// 销毁相关资源
pthread_mutexattr_destroy(&attr);
pthread_mutex_destroy(&mutex);
2.3.2、pthread_mutex – 条件锁
// 初始化属性
pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
// NULL代表默认属性
pthread_mutexattr_settype(&attr, NULL);
// 初始化锁
pthread_mutex_t mutex;
pthread_mutex_init(&mutex, &attr);
// 销毁属性
pthread_mutexattr_destroy(&attr);
// 初始化条件
pthread_cond_t cond;
pthread_cond_init(&cond, NULL);
// 等待条件(进入休眠,放开mutex锁;被唤醒后,会再次对mutex加锁)
pthread_cond_wait(&cond, &mutex);
// 激活一个等待该条件的线程
pthread_cond_signal(&cond);
// 激活所有等待该条件的线程
pthread_cond_boradcast(&cond);
// 销毁相关资源
pthread_mutex_destroy(&mutex);
pthread_cond_destroy(&cond);
适用案例:生产-消费模式
2.3.3、pthread_mutex – 递归锁
如果线程1已经对这把锁进行加锁了,线程2也调用发现这把锁被别的线程加锁了,所以线程2就不能加锁,线程2就会在这里等待。
// 初始化这把锁带有的属性
pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
// 设置这把锁属性的类型:
// PTHREAD_MUTEX_RECURSIVE递归锁,允许同一个线程对同一把锁进行重复加锁
pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE);
// 初始化锁
pthread_mutex_t mutex;
pthread_mutex_init(mutex, &attr);
// 销毁属性
pthread_mutexattr_destroy(&attr);
// 销毁锁
pthread_mutex_destroy(&mutex);
2.3.4、NSLock、NSRecursiveLock
1、NSLock是对mutex普通锁
的封装。
2、NSRecursiveLock是对mutex递归锁
的封装,API跟NSLock基本一致。
2.3.5、NSCondition、NSConditionLock
1、NSCondition是对条件锁(mutex和cond
)的封装。
2、NSConditionLock是对NSCondition的进一步封装
,可以设置具体的条件值
@interface Demo()
@property (strong, nonatomic) NSConditionLock *conditionLock;
@end
@implementation Demo
- (instancetype)init {
if (self = [super init]) {
self.conditionLock = [[NSConditionLock alloc] initWithCondition:1];
}
return self;
}
- (void)test {
// 1、当首个加锁触发没有添加条件时,那么在初始化的时候,不管设置什么条件,都能正常执行
[self.conditionLock lock];
// 2、如果有加条件,那么必须跟设置的条件匹配
// [self.conditionLock lockWhenCondition:1];
NSLog(@"test");
sleep(1);
[self.conditionLock unlockWithCondition:2];
}
@end
1、semaphore
叫做”信号量”。
2、信号量的初始值,可以用来控制线程并发访问的最大数量。
3、信号量的初始值为1,代表同时只允许1条线程访问资源,保证线程同步。
// 信号量初始值
int value = 5;
// 初始化信号量
dispatch_semaphore_t semaphore = dispatch_semaphore_create(value);
/**
* 1、如果信号量的值 > 0,就让信号量的值减1,然后继续往下执行代码
* 2、如果信号量的值 <= 0,就会休眠等待,直到信号量的值变成 > 0,就让信号量的值减1,然后继续往下执行代码
*/
dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
// 让信号量的值加1
dispatch_semaphore_signal(semaphore);
直接使用GCD的串行队列
,也是可以实现线程同步。
@interface Demo()
@property (strong, nonatomic) dispatch_queue_t myQueue;
@end
@implementation Demo
- (instancetype)init {
if (self = [super init]) {
self.myQueue = dispatch_queue_create("myQueue", DISPATCH_QUEUE_SERIAL);
}
return self;
}
- (void)test1 {
dispatch_sync(self.myQueue, ^{
NSLog(@"%s",__func__);
});
}
- (void)test2 {
dispatch_sync(self.myQueue, ^{
NSLog(@"%s",__func__);
});
}
@end
1、@synchronized
是对mutex递归锁
的封装。
2、源码查看:objc4中的objc-sync.mm
文件。
3、@synchronized(obj)
内部会生成obj
对应的递归锁,然后进行加锁、解锁操作。
1、atomic用于保证属性setter、getter的原子性操作,相当于在getter和setter内部加了线程同步的锁。
2、可以参考源码objc4的objc-accessors.mm。
3、不能保证使用属性的过程是线程安全的。
场景:
1、同一时间,只能有1个线程进行写的操作
2、同一时间,允许有多个线程进行读的操作
3、同一时间,不允许既有写的操作,又有读的操作
上面的场景就是典型的 “多读单写”,经常用于文件等数据的读写操作,iOS中的实现方案有:
写在最后
在结束之际,我想重申的是,学习并非如攀登险峻高峰,而是如滴水穿石般的持久累积。尤其当我们步入工作岗位之后,持之以恒的学习变得愈发不易,如同在茫茫大海中独自划舟,稍有松懈便可能被巨浪吞噬。然而,对于我们程序员而言,学习是生存之本,是我们在激烈市场竞争中立于不败之地的关键。一旦停止学习,我们便如同逆水行舟,不进则退,终将被时代的洪流所淘汰。因此,不断汲取新知识,不仅是对自己的提升,更是对自己的一份珍贵投资。让我们不断磨砺自己,与时代共同进步,书写属于我们的辉煌篇章。
需要完整版PDF学习资源私我
网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。
一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!