iOS中的锁——由属性atomic想到的线程安全

2024-05-08 15:08

本文主要是介绍iOS中的锁——由属性atomic想到的线程安全,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本文不介绍各种锁的高级用法,只是整理锁相关的知识点,帮助理解。

锁的作用

防止在多线程(多任务)的情况下对共享资源(临界资源)的脏读或者脏写。

自旋锁和互斥锁

共同点:都能保证同一时刻只能有一个线程操作锁住的代码。都能保证线程安全。
不同点

  • 互斥锁(mutex):当上一个线程的任务没有执行完毕的时候(被锁住),那么下一个线程会进入睡眠状态等待任务执行完毕(sleep-waiting),当上一个线程的任务执行完毕,下一个线程会自动唤醒然后执行任务。
  • 自旋锁(Spin lock):当上一个线程的任务没有执行完毕的时候(被锁住),那么下一个线程会一直等待(busy-waiting),当上一个线程的任务执行完毕,下一个线程会立即执行。
  • 由于自旋锁不会引起调用者睡眠,所以自旋锁的效率远高于互斥锁
  • 自旋锁会一直占用CPU,也可能会造成死锁

自旋锁有bug! ibireme大神的文章《不再安全的 OSSpinLock》
不同优先级线程调度算法会有优先级反转问题,比如低优先级获锁访问资源,高优先级尝试访问时会等待,这时低优先级又没法争过高优先级导致任务无法完成lock释放不了。

1. 原子操作

  • nonatomic:非原子属性,非线程安全,适合小内存移动设备
  • atomic:原子属性,default,线程安全(内部使用自旋锁),消耗大量资源
    • 单写多读,只为setter方法加锁,不影响getter

    • 相关代码如下:

      static inline void reallySetProperty(id self, SEL _cmd, id newValue, ptrdiff_t offset, bool atomic, bool copy, bool mutableCopy) 
      {if (offset == 0) {object_setClass(self, newValue);return;}id oldValue;id *slot = (id*) ((char*)self + offset);if (copy) {newValue = [newValue copyWithZone:nil];} else if (mutableCopy) {newValue = [newValue mutableCopyWithZone:nil];} else {if (*slot == newValue) return;newValue = objc_retain(newValue);}if (!atomic) {oldValue = *slot;*slot = newValue;} else {spinlock_t& slotlock = PropertyLocks[slot];slotlock.lock();oldValue = *slot;*slot = newValue;        slotlock.unlock();}objc_release(oldValue);
      }void objc_setProperty(id self, SEL _cmd, ptrdiff_t offset, id newValue, BOOL atomic, signed char shouldCopy) 
      {bool copy = (shouldCopy && shouldCopy != MUTABLE_COPY);bool mutableCopy = (shouldCopy == MUTABLE_COPY);reallySetProperty(self, _cmd, newValue, offset, atomic, copy, mutableCopy);
      }
      

很容易理解的代码,可变拷贝和不可变拷贝会开辟新的空间,两者皆不是则持有(引用计数+1),相比nonatomic只是多了一步锁操作。

2. synchronized 条件锁

使用最简单,性能也最差。

@synchronized(obj) {// 内部会添加异常处理,所以耗时NSLog(@"自动加锁,自动解锁,自动销毁");
}

obj为该锁的唯一标识,只有当标识相同时,才为满足互斥

3. dispatch_semaphore 信号量

用于线程同步,有序访问。不支持递归。

  • 创建信号:dispatch_semaphore_create(long value) 传入值必须 >=0, 若传入为 0 则阻塞线程并等待timeout,时间到后会执行其后的语句
  • 等待信号到达:dispatch_semaphore_wait(dispatch_semaphore_t dsema, dispatch_time_t timeout) 使得signal-1
  • 发送信号,解除等待状态:dispatch_semaphore_signal(dispatch_semaphore_t deem)使得signal+1

这里顺便写一下dispatch_barrier,一个dispatch_barrier允许在一个并发队列(如果是串行队列或全局队列相当于dispatch_(a)sync)中创建一个同步点。当在并发队列中遇到一个barrier,他会延迟执行barrier的block,等待所有在barrier之前提交的blocks执行结束。 这时,barrier block自己开始执行。 之后, 队列继续正常的执行操作。
dispatch_barrier_asyncdispatch_barrier_sync的区别在于是否会等待自己的block完成再执行后面的任务。

一个同步访问网络的例子
- (void)syncRequestWithUrl:(NSURL*)url {NSMutableURLRequest *req = [[NSMutableURLRequest alloc]initWithURL:url];dispatch_semaphore_t semaphore = dispatch_semaphore_create(0);__block NSURLSessionTask *dataTask = [[NSURLSession sharedSession] dataTaskWithRequest:req completionHandler:^(NSData * _Nullable data, NSURLResponse * _Nullable response, NSError * _Nullable error) {if (!error && data) {} else {NSLog(@"error: %@",[error description]);}dispatch_semaphore_signal(semaphore);}];[dataTask resume];dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
}

4. pthread_mutex 互斥锁

Facebook的 KVOController 有使用到。(先使用的是OSSpinLock,由于自旋锁的优先级反转问题后改用pthread_mutex)

使用需导入头文件:
#import <pthread.h>

  • 声明:pthread_mutex_t _mutex;
  • 初始化:pthread_mutex_init(&_mutex, NULL);
  • 加锁:pthread_mutex_lock(&_mutex);
  • 解锁:pthread_mutex_unlock(&_mutex);
  • 销毁:pthread_mutex_destroy(&_mutex);

5. pthread_mutex(recursive) 递归锁

递归锁允许同一个线程在未释放其拥有的锁时反复对该锁进行加锁操作。不会造成死锁。

static pthread_mutex_t pLock;
pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr); //初始化attr并且给它赋予默认
pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE); //设置锁类型,这边是设置为递归锁
pthread_mutex_init(&pLock, &attr); // 初始化的时候带入参数
pthread_mutexattr_destroy(&attr); //销毁一个属性对象,在重新进行初始化之前该结构不能重新使用

6. OSSpinLock 自旋锁

是性能最佳的锁,但由于线程调度算法(高优先级线程始终会在低优先级线程前执行,一个线程不会受到比它更低优先级线程的干扰)优先级反转的原因逐渐被其他锁取代。不支持递归。

使用需导入头文件
#import <libkern/OSAtomic.h>

  • OSSpinLock oslock = OS_SPINLOCK_INIT;:默认值为 0,在 locked 状态时就会大于 0,unlocked状态下为 0
  • OSSpinLockLock(&oslock);:上锁
  • OSSpinLockUnlock(&oslock);:解锁
  • OSSpinLockTry(&oslock):尝试加锁,可以加锁则立即加锁并返回YES,反之返回NO

提一下os_unfair_lock,苹果解决优先级反转的问题整出的。。
os_unfair_lock_t unfairLock;
unfairLock = &(OS_UNFAIR_LOCK_INIT);
os_unfair_lock_lock(unfairLock);
os_unfair_lock_unlock(unfairLock);

7. NSLock

Cocoa提供的最基本的锁对象,实际是在内部封装了pthread_mutex。对象锁均实现了NSLocking协议。

@protocol NSLocking- (void)lock;
- (void)unlock;@end
  • trylock:能加锁返回YES并执行加锁操作,相当于lock,反之返回NO
  • lockBeforeDate:表示会在传入的时间内尝试加锁,若能加锁则执行加锁操作并返回YES,反之返回NO

8. NSRecursiveLock 递归锁

NSLock的递归版本,解决在循环或递归时造成的死锁问题。使用同上。

9. NSCondition

最基本的条件锁,底层是通过条件变量(condition variable) pthread_cond_t 来实现,实际上封装了一个互斥锁和条件变量。手动控制线程waitsignal

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

10. NSConditionLock 条件锁

API名说明一切...

@interface NSConditionLock : NSObject <NSLocking> {
@privatevoid *_priv;
}- (instancetype)initWithCondition:(NSInteger)condition NS_DESIGNATED_INITIALIZER;@property (readonly) NSInteger condition;
- (void)lockWhenCondition:(NSInteger)condition;
- (BOOL)tryLock;
- (BOOL)tryLockWhenCondition:(NSInteger)condition;
- (void)unlockWithCondition:(NSInteger)condition;
- (BOOL)lockBeforeDate:(NSDate *)limit;
- (BOOL)lockWhenCondition:(NSInteger)condition beforeDate:(NSDate *)limit;@property (nullable, copy) NSString *name NS_AVAILABLE(10_5, 2_0);@end

性能相对较差,但使用NSConditionLock可以处理任务间的依赖关系。

Additional

11. pthread_rwlock 读写锁

读写锁是用来解决文件读写问题的,读操作可以共享,写操作是排他的,读可以有多个在读,写只有唯一个在写,同时写的时候不允许读。

  • 当读写锁被一个线程以读模式占用的时候,写操作的其他线程会被阻塞,读操作的其他线程还可以继续进行
  • 当读写锁被一个线程以写模式占用的时候,写操作的其他线程会被阻塞,读操作的其他线程也被阻塞
// 初始化
pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;
// 读模式
pthread_rwlock_wrlock(&lock);
// 写模式
pthread_rwlock_rdlock(&lock);
// 读模式或者写模式的解锁
pthread_rwlock_unlock(&lock);

对于读数据比修改数据频繁的应用,用读写锁代替互斥锁可以提高效率。因为使用互斥锁时,即使是读出数据(相当于操作临界区资源)都要上互斥锁,而采用读写锁,则可以在任一时刻允许多个读出者存在,提高了更高的并发度,同时在某个写入者修改数据期间保护该数据,以免任何其它读出者或写入者的干扰。

12. NSDistributedLock 分布式锁

Mac开发使用,mark

引用

更详细的资料参考:

iOS 开发中的八种锁
iOS中保证线程安全的几种方式与性能对比
深入理解iOS开发中的锁

这篇关于iOS中的锁——由属性atomic想到的线程安全的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/970665

相关文章

安卓链接正常显示,ios#符被转义%23导致链接访问404

原因分析: url中含有特殊字符 中文未编码 都有可能导致URL转换失败,所以需要对url编码处理  如下: guard let allowUrl = webUrl.addingPercentEncoding(withAllowedCharacters: .urlQueryAllowed) else {return} 后面发现当url中有#号时,会被误伤转义为%23,导致链接无法访问

客户案例:安全海外中继助力知名家电企业化解海外通邮困境

1、客户背景 广东格兰仕集团有限公司(以下简称“格兰仕”),成立于1978年,是中国家电行业的领军企业之一。作为全球最大的微波炉生产基地,格兰仕拥有多项国际领先的家电制造技术,连续多年位列中国家电出口前列。格兰仕不仅注重业务的全球拓展,更重视业务流程的高效与顺畅,以确保在国际舞台上的竞争力。 2、需求痛点 随着格兰仕全球化战略的深入实施,其海外业务快速增长,电子邮件成为了关键的沟通工具。

安全管理体系化的智慧油站开源了。

AI视频监控平台简介 AI视频监控平台是一款功能强大且简单易用的实时算法视频监控系统。它的愿景是最底层打通各大芯片厂商相互间的壁垒,省去繁琐重复的适配流程,实现芯片、算法、应用的全流程组合,从而大大减少企业级应用约95%的开发成本。用户只需在界面上进行简单的操作,就可以实现全视频的接入及布控。摄像头管理模块用于多种终端设备、智能设备的接入及管理。平台支持包括摄像头等终端感知设备接入,为整个平台提

滚雪球学Java(87):Java事务处理:JDBC的ACID属性与实战技巧!真有两下子!

咦咦咦,各位小可爱,我是你们的好伙伴——bug菌,今天又来给大家普及Java SE啦,别躲起来啊,听我讲干货还不快点赞,赞多了我就有动力讲得更嗨啦!所以呀,养成先点赞后阅读的好习惯,别被干货淹没了哦~ 🏆本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,助你一臂之力,带你早日登顶🚀,欢迎大家关注&&收藏!持续更新中,up!up!up!! 环境说明:Windows 10

2024网安周今日开幕,亚信安全亮相30城

2024年国家网络安全宣传周今天在广州拉开帷幕。今年网安周继续以“网络安全为人民,网络安全靠人民”为主题。2024年国家网络安全宣传周涵盖了1场开幕式、1场高峰论坛、5个重要活动、15场分论坛/座谈会/闭门会、6个主题日活动和网络安全“六进”活动。亚信安全出席2024年国家网络安全宣传周开幕式和主论坛,并将通过线下宣讲、创意科普、成果展示等多种形式,让广大民众看得懂、记得住安全知识,同时还

【iOS】MVC模式

MVC模式 MVC模式MVC模式demo MVC模式 MVC模式全称为model(模型)view(视图)controller(控制器),他分为三个不同的层分别负责不同的职责。 View:该层用于存放视图,该层中我们可以对页面及控件进行布局。Model:模型一般都拥有很好的可复用性,在该层中,我们可以统一管理一些数据。Controlller:该层充当一个CPU的功能,即该应用程序

【Kubernetes】K8s 的安全框架和用户认证

K8s 的安全框架和用户认证 1.Kubernetes 的安全框架1.1 认证:Authentication1.2 鉴权:Authorization1.3 准入控制:Admission Control 2.Kubernetes 的用户认证2.1 Kubernetes 的用户认证方式2.2 配置 Kubernetes 集群使用密码认证 Kubernetes 作为一个分布式的虚拟

线程的四种操作

所属专栏:Java学习        1. 线程的开启 start和run的区别: run:描述了线程要执行的任务,也可以称为线程的入口 start:调用系统函数,真正的在系统内核中创建线程(创建PCB,加入到链表中),此处的start会根据不同的系统,分别调用不同的api,创建好之后的线程,再单独去执行run(所以说,start的本质是调用系统api,系统的api

java线程深度解析(六)——线程池技术

http://blog.csdn.net/Daybreak1209/article/details/51382604 一种最为简单的线程创建和回收的方法: [html]  view plain copy new Thread(new Runnable(){                @Override               public voi

java线程深度解析(五)——并发模型(生产者-消费者)

http://blog.csdn.net/Daybreak1209/article/details/51378055 三、生产者-消费者模式     在经典的多线程模式中,生产者-消费者为多线程间协作提供了良好的解决方案。基本原理是两类线程,即若干个生产者和若干个消费者,生产者负责提交用户请求任务(到内存缓冲区),消费者线程负责处理任务(从内存缓冲区中取任务进行处理),两类线程之