iOS线程安全——锁(二)

简介: iOS线程安全——锁(二)

信号量


在iOS开发中,信号量就是通过GCD来实现的,而GCD是对C语言的一个封装,不同的开发语言中对于信号量semaphore都有自己的实现,所以本节不仅是代表了pthread,也是信号量的使用,更是跨线程访问的一个主要的知识点。

信号量的使用其实很简单,与其他开发语言中使用的信号量类似,通过对信号的等待和释放来使用,信号量属于生产者消费者模式,这种模式可以用在多个使用场景中,下面只是比较常见的一种。

- (void)semaphoneTest {
    dispatch_semaphore_t semaphore = dispatch_semaphore_create(1);
    __block Person *p = [Person new];
    NSLog(@"begin");
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i <totalCount; i++) {
            dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
            p.age++;
            dispatch_semaphore_signal(semaphore);
        }
        NSLog(@"% zd\n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER);
            p.age++;
            dispatch_semaphore_signal(semaphore);
        }
        NSLog(@"% zd \n",p.age);
    }];
}


每次在访问p.age之前,都会等待一个信号量,才能实现对age的访问,在创建方法中,需要传一个value的long类型的值,表示总共已经有了多少个信号可以使用。

举个简单的例子,办理银行业务时,银行可以设置多个窗口,这个窗口数就是信号量创建的这个value值。假设银行总共有5个窗口,相当于总共有5个资源,每有一个客户去窗口办理业务的时候,相当于消费了这个资源,当5个窗口都有客户办理业务的时候,也就是没有剩下的可用资源,那么这时候如果还有人要办理业务就得等某个窗口空出来,窗口空出来相当于释放了一个资源,这样才能接着被下一个客户使用。这就是生产者消费者理论,生产者消费者理论在多线程事件调度方面可以起到很强大的作用。如果分配的资源只有一个的时候,那么就是本节中的例子。还是刚刚举的例子,客户在同一个窗口无论如何存钱取钱都不会导致钱的数目出现差错。

所以说,当资源充足时,当代码执行到dispatch_semaphore_wait(semaphore,DISPATCH_TIME_FOREVER)时,不用等待,而直接消耗一个资源,只有在当前没有可用的资源时,才会等待dispatch_semaphore_signal(semaphore)来释放一个可用的资源。这其中的逻辑并不复杂,就是事务竞争资源。

后面还有一个时间参数,这个比较简单,在消费者等待一个可用的资源时是有时间限制的,超过该时间就不去等待资源而直接执行下面的代码。这在此处或许有些不合逻辑,因为假设时间很小,在没有获取到信号量资源的时候就去执行代码,可能会造成非线性安全的事故,但这是系统安全的,也就是并不会造成应用崩溃。在本节关于锁的内容中,将时间设置为DISPATCH_TIME_FOREVER,表示将一直会等下去,这就确保了线程的安全。


NSConditionLock与NSCondition


1.NSConditionLock


状态锁是一种比较常用的锁,在多线程操作中,用户可以指定某线程去执行操作,只需要设定对应的状态即可。

- (void)conditionLockTest {
    NSConditionLock *lock = [[NSConditionLock alloc] init];
    __block Person *p = [Person new];
    NSInteger thread1 = 1;
    NSInteger thread2 = 0;
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lockWhenCondition:thread1];
            p.age++;
            [lock unlockWithCondition:thread2];
        }
        NSLog(@"% zd \n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i ++) {
            [lock lockWhenCondition:thread2];
            p.age++;
            [lock unlockWithCondition:thread1];
        }
        NSLog(@"% zd \n",p.age);
    }];
}


NSConditionLock主要有两个方法,一个是-lockWhenCondition:,一个是-unlockWithCondition:。用法很简单,表示只有在某种状态下才能上锁,操作完成后解锁并将状态更改,供下次符合条件的线程上锁。举个简单的例子,有一个男女公用的厕所,一次只能有一个人使用,厕所门上有一个标示牌,当牌子上是♂的时候,表示这个厕所现在只能男生使用,即使是女生排在第一位(CPU系统调度,但状态不符合),所以得一直找到男生,才能使用。当男生使用完,可以将厕所的标示牌随意更改为♂或者♀,接下来同上。这就是NSConditionLock的作用,在例子中,两个线程在操作完成后将状态值更改为其他值,所以两个线程能够轮流执行,通过打印结果也可以看出来,二者只相差1。


2.NSCondition


这里介绍一下与NSConditionLock类似的NSCondition,看起来两个差不多,虽然只相差一个Lock,但足以表示它们的主要用法不同。NSConditionLock在刚刚已经介绍过,NSCondition更类似于信号量的使用。虽然NSConditionLock与NSCondition在用法上略有不同,但为了达到与NSConditionLock相同的用法,这里展示与NSConditionLock做相同的事。

在展示NSCondition代码之前,我们先看一下Apple的官方文档中,对于NSCondition提供的一段伪代码。

lock the condition
while(!(boolean_predicate)) {
    wait on condition
}
do protected work
(optionally, signal or broadcast the condition again or change a predicate value)
unlock the condition


通过伪代码可以看出,在使用NSCondition时,先将其上锁,当其不满足条件时,使其处于wait状态,紧接着写上一些需要做线程安全的代码,然后释放信号量,或者广播一个状态,足以break刚才的while循环,最后将其解锁。都是根据条件来上锁解锁,为了达到和NSConditionLock相同的效果,下面是展示代码。

- (void)conditionTest {
    NSCondition *lock = [[NSCondition alloc]init];
    __block Person *p = [Person new];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lock];
            while (p.age % 2 == 0) {
                [lock wait];
            }
            p.age++;
            [lock signal];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lock];
            while (p.age % 2 == 1) {
                [lock wait];
            }
            p.age++;
            [lock signal];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
}


当p.age是单数时,线程1将处于wait状态,并且由线程2执行,反之当p.age是偶数时,线程2处于wait状态,由线程1执行,达到了与NSConditionLock例子中两个线程轮流执行的效果。通过打印,也是可以得出该结论的。


自旋锁


自旋锁在iOS系统中的实现是OSSpinLock。自旋锁通过一直处于while盲等状态,来实现只有一个线程访问数据。由于一直处于while循环,所以对CPU的占用也是比较高的,用CPU的消耗换来的好处就是自旋锁的性能很高。

然而现在不建议使用自旋锁,因为自旋锁在iOS中有bug,这个稍后将讲到,下面先介绍一下OSSpinLock的用法,虽然现在基本上不使用它。

#import <libkern/OSAtomic.h>
- (void)OSSpinLockTest {
    __block OSSpinLock spinLock = OS_SPINLOCK_INIT;
    __block Person *p = [Person new];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            OSSpinLockLock(&spinLock);
            p.age++;
            OSSpinLockUnLock(&spinLock);
        }
        NSLog(@"% zd \n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            OSSpinLockLock(&spinLock);
            p.age++;
            OSSpinLockUnLock(&spinLock);
        }
        NSLog(@"% zd \n",p.age);
    }];
}


可以看到自旋锁的使用也是很简便的,首先需要#import <libkern/OSAtomic.h>,因为关于自旋锁的API是在这个文件中声明的。创建自旋锁也是通过一个静态宏,在线程内通过OSSpinLockLock和OSSpinLockUnlock来上锁、解锁。如果不是因为现在的OSSpinLock出现了使用bug,在性能以及使用方面来说,都是很好的使用锁的选择。下面来详细说下自旋锁。

为何自旋锁现在出现bug呢?在最近的iOS操作系统中,实现的自旋锁与自身维护线程的调度算法有冲突,是导致bug的原因。在iOS维护的线程中,有一套调度算法,会使高优先级的线程优先执行。所以当低优先级的线程获取到了自旋锁,高优先级的线程想要申请该锁,就会使高优先级线程处于while一直循环申请的状态,与低优先级的线程处理抢夺CPU处理时间,导致高优先级不能申请成功,造成死锁的状态,并且两者都不能释放。目前针对这种情况也是有处理方法的,但就会使自旋锁的使用稍显麻烦,这里不做阐述。

由于自旋锁出现了这个问题,导致在目前的开发中,很少有开发者会选择OSSpinLock来实现锁的功能,即使OSSpinLock的性能在各种所有锁的性能中是最好的,所以需要慎用。


递归锁


前面简单提及递归锁的概念,说到递归,在很多代码以及算法中某函数内部会调用自身,通过这种形式,将比较复杂的问题分解为稍容易一些的问题,再通过相同的方法来继续处理,同理一层一层分解,然后将每个返回值返回至上一层,层层返回达到最终结果。一些比较经典的关于递归的例子就是斐波那契函数、二叉树遍历等。

上面简单介绍了一下递归的概念,为下面介绍递归锁做个铺垫。其实递归锁跟递归并没有太大的关系,只是有相似的使用模型,在以上介绍锁的代码中,一个锁只是请求一份资源,而在一些开发实际中,往往需要在代码中嵌套锁的使用,也就是在同一个线程中,一个锁还没有解锁就再次加锁,这在代码编译器中不会报错以及警告,但是运行期会直接出现问题,并且不执行锁中代码。

// 这是错误代码!
- (void)wrongRecursiveTest {
    NSLock *lock = [[NSLock alloc] init];
    __block Person *p = [Person new];
    NSLock(@"begin");
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lock];
            [lock lock];
            p.age++;
            [lock unlock];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (i = 0; i < totalCount; i++) {
            [lock lock];
            [lock lock];
            p.age++;
            [lock unlock];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
}


这是最基本的锁NSLock,我们依次举例,来表示在同一线程中多次上锁,类似于递归中在一组加锁解锁中再次加锁解锁。从代码中可以看到,连续调用了两次加锁、解锁,这只是为了达到演示目的,实际开发中这两次加锁中间可能会有其他代码,是手误也好,是业务需求使然也罢,在运行之后可以看到,并没有打印p.age的两次结果,取而代之的是一段错误log:

*** -[NSLock lock]: deadlock (<NSLock: 0x6180000d1c60>'(null)')
*** Break on _NSLockError() to debug.


可以通过控制台打印得到信息,我们在同一线程重复上锁时,会造成死锁,系统在debug模式下会自动break这段代码。这并不是我们想要的,因为已经影响了正常的代码执行,如果在业务中出现就会造成不可知的后果。以下是正确的递归锁使用代码。

- (void)recursiveTest {
    NSRecursiveLock *lock = [[NSRecursiveLock alloc] init];
    __block Person *p = [Person new];
    NSLog(@"begin");
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lock];
            [lock lock];
            p.age++;
            [lock unlock];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
    [NSThread detachNewThreadWithBlock:^{
        for (int i = 0; i < totalCount; i++) {
            [lock lock];
            [lock lock];
            p.age++;
            [lock unlock];
            [lock unlock];
        }
        NSLog(@"% zd \n",p.age);
    }];
}


当我们将NSLock换成了NSRecursiveLock,在这种递归锁下运行,可以看到代码是如期正常执行的。虽然代码执行成功了,读者可能仍然会有些困惑,还是不能明白为何递归锁会这么写,感觉在实际开发中并没有什么可以借鉴的使用场景。下面对递归锁再次举个例子。

NSRecursiveLock *theLock = [[NSRecursiveLock alloc] init];
void MyRecursiveFunction(int value) {
    [theLock lock];
    if(value != 0) {
        --value;
        MyRecursiveFunction(value);
    }
    [theLock unlock];
}
MyRecursiveFunction(5);


在这样的代码中或许读者能明白关于递归锁的实际使用场景,递归锁的使用在实际开发中也是常有的,所以需要谨慎。


小结


在本章介绍的这些锁中,可以应用于实际开发中的绝大部分使用场景,每种功能可以根据需求使用不同的锁来实现,而同一种锁根据其特性能发挥出不同的使用效果。这里重点提及一下pthread,pthread是一套跨平台的多线程API,其内部提供了丰富的API可以使用,而且NSLock以及NSConditionLock等都是基于pthread的实现,之所以将其并列出来讲解仅仅是为了阐述其锁的功能。关于pthread也只是介绍了其关于锁的一部分,可见其多么强大。而对于各个锁的优缺点在每小点中也有阐述,包括自旋锁的不安全性等,开发者应该对其有一定的了解。

在APP开发日益复杂庞大的今天,多线程的使用能有效提高应用的事务处理能力,开发者在享受多线程带来的便利的同时,也要注意多线程衍生出的线程安全问题。

目录
相关文章
|
24天前
|
Java 调度 Android开发
安卓与iOS开发中的线程管理差异解析
在移动应用开发的广阔天地中,安卓和iOS两大平台各自拥有独特的魅力。如同东西方文化的差异,它们在处理多线程任务时也展现出不同的哲学。本文将带你穿梭于这两个平台之间,比较它们在线程管理上的核心理念、实现方式及性能考量,助你成为跨平台的编程高手。
|
22小时前
|
Java 关系型数据库 MySQL
【JavaEE“多线程进阶”】——各种“锁”大总结
乐/悲观锁,轻/重量级锁,自旋锁,挂起等待锁,普通互斥锁,读写锁,公不公平锁,可不可重入锁,synchronized加锁三阶段过程,锁消除,锁粗化
|
29天前
|
供应链 安全 NoSQL
PHP 互斥锁:如何确保代码的线程安全?
在多线程和高并发环境中,确保代码段互斥执行至关重要。本文介绍了 PHP 互斥锁库 `wise-locksmith`,它提供多种锁机制(如文件锁、分布式锁等),有效解决线程安全问题,特别适用于电商平台库存管理等场景。通过 Composer 安装后,开发者可以利用该库确保在高并发下数据的一致性和安全性。
39 6
|
28天前
|
API Android开发 iOS开发
深入探索Android与iOS的多线程编程差异
在移动应用开发领域,多线程编程是提高应用性能和响应性的关键。本文将对比分析Android和iOS两大平台在多线程处理上的不同实现机制,探讨它们各自的优势与局限性,并通过实例展示如何在这两个平台上进行有效的多线程编程。通过深入了解这些差异,开发者可以更好地选择适合自己项目需求的技术和策略,从而优化应用的性能和用户体验。
|
2月前
|
运维 API 计算机视觉
深度解密协程锁、信号量以及线程锁的实现原理
深度解密协程锁、信号量以及线程锁的实现原理
49 2
|
2月前
|
Java 应用服务中间件 测试技术
Java21虚拟线程:我的锁去哪儿了?
【10月更文挑战第8天】
49 0
|
2月前
|
安全 调度 数据安全/隐私保护
iOS线程锁
iOS线程锁
31 0
|
2月前
|
Java API
【多线程】乐观/悲观锁、重量级/轻量级锁、挂起等待/自旋锁、公平/非公锁、可重入/不可重入锁、读写锁
【多线程】乐观/悲观锁、重量级/轻量级锁、挂起等待/自旋锁、公平/非公锁、可重入/不可重入锁、读写锁
43 0
|
2月前
|
安全 Java 程序员
【多线程-从零开始-肆】线程安全、加锁和死锁
【多线程-从零开始-肆】线程安全、加锁和死锁
56 0
|
2月前
|
安全 Linux
Linux线程(十一)线程互斥锁-条件变量详解
Linux线程(十一)线程互斥锁-条件变量详解