iOS开发中的锁

作者: Mr大喵喵 | 来源:发表于2020-11-24 16:09 被阅读0次

    锁的分类

    根据资源申请者的表现形式,锁分为:自旋锁互斥锁

    自旋锁: 不引起调用者的休眠,如果自旋锁已经被别的执行单元保持,调用者就一直循环在那里看是否该自旋锁的保持者已经释放了锁,相当于进入了一个while循环。

    互斥锁: 如果资源已经被占用,资源申请者就进入休眠状态。

    锁🔐的分类.jpg
    • 优缺点比较

    自旋锁不会使线程状态发生切换,互斥锁在获取不到锁的时候会选择sleep。
    互斥锁获取锁分为两阶段,第一阶段在用户态采用spinlock锁总线的方式获取一次锁,如果成功立即返回;否则进入第二阶段,调用系统的futex锁去sleep,当锁可用后被唤醒,继续竞争锁。

    自旋锁优点:没有昂贵的系统调用,一直处于用户态,执行速度快。
    自旋锁缺点:一直占用cpu,而且在执行过程中还会锁bus总线,锁总线时其他处理器不能使用总线。

    互斥锁优点:不会忙等,得不到锁会sleep。
    互斥锁缺点:sleep时会陷入到内核态,需要昂贵的系统调用。

    • 使用准则

    自旋锁使用准则:临界区尽量简短,控制在100行代码以内,不要有显式或者隐式的系统调用,调用的函数也尽量简短。例如,不要在临界区中调用read,write,open等会产生系统调用的函数,也不要去sleep;strcpy,memcpy等函数慎用,依赖于数据的大小。

    自旋锁

    spinlock又称自旋锁,线程通过busy-wait-loop的方式来获取锁,任时刻只有一个线程能够获得锁,其他线程忙等待直到获得锁。spinlock在多处理器多线程环境的场景中有很广泛的使用,一般要求使用spinlock的临界区尽量简短,这样获取的锁可以尽快释放,以满足其他忙等的线程。Spinlockmutex不同,spinlock不会导致线程的状态切换(用户态->内核态),但是spinlock使用不当(如临界区执行时间过长)会导致cpu busy飙高。

    在iOS中,自旋锁我们用的是OSSpinLock
    我们结合一个具体的场景来使用一些。用存钱和取钱的问题。

    @interface OSSpinLockDemo()
    @property (assign, nonatomic) OSSpinLock moneyLock;
    @property (assign, nonatomic) int money;
    @end
    
    @implementation OSSpinLockDemo
    
    - (instancetype)init
    {
        if (self = [super init]) {
            self.money = 100;
            self.moneyLock = OS_SPINLOCK_INIT;
        }
        return self;
    }
    
    /**
     存钱、取钱演示
     */
    - (void)moneyTest
    {
        
        dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
        
        dispatch_async(queue, ^{
            for (int i = 0; i < 10; i++) {
                [self saveMoney];
            }
        });
        
        dispatch_async(queue, ^{
            for (int i = 0; i < 10; i++) {
                [self drawMoney];
            }
        });
    }
    
    - (void)drawMoney
    {
        OSSpinLockLock(&_moneyLock);
        
        [self __drawMoney];
        
        OSSpinLockUnlock(&_moneyLock);
    }
    
    - (void)saveMoney
    {
        OSSpinLockLock(&_moneyLock);
        
        [self __saveMoney];
        
        OSSpinLockUnlock(&_moneyLock);
    }
    
    //存钱
    - (void)__saveMoney
    {
        int oldMoney = self.money;
        sleep(.2);
        oldMoney += 50;
        self.money = oldMoney;
        
        NSLog(@"存50,还剩%d元 - %@", oldMoney, [NSThread currentThread]);
    }
    
    //取钱
    - (void)__drawMoney
    {
        int oldMoney = self.money;
        sleep(.2);
        oldMoney -= 20;
        self.money = oldMoney;
        
        NSLog(@"取20,还剩%d元 - %@", oldMoney, [NSThread currentThread]);
    }
    @end
    
    

    我们来看下使用OSSpinLock的情况,在加锁的地方打断点,然后点击任务栏Debug->Debug Worlflow->Always Show Disassembly。在xcode的lldb下使用si命令让汇编代码一步一步的执行,观察等待锁的线程状态:

    OSSpinLock.jpg
    _OSSpinLockLockSlow方法里,我们可以看到汇编指令会反复的在这两个地址之间执行,jmp 跳转到上面的执行过地址,类似一个while循环线程处在一个忙等状态

    不再安全的OSSpinLock

    iOS 10.0系统之后,系统维护了 5 个不同的线程优先级/QoS: background,utility,default,user-initiated,user-interactive高优先级线程始终会在低优先级线程前执行,一个线程不会受到比它更低优先级线程的干扰。这种线程调度算法会产生潜在的线程优先级反转问题,从而破坏了 spin lock。

    具体来说,如果一个低优先级的线程获得锁并访问共享资源,这时一个高优先级的线程也尝试获得这个锁,它会处于 spin lock 的忙等状态从而占用大量 CPU。此时低优先级线程无法与高优先级线程争夺 CPU 时间,从而导致任务迟迟完不成、无法释放 lock。这并不只是理论上的问题,libobjc 已经遇到了很多次这个问题了,于是苹果的工程师停用了 OSSpinLock。

    当然除非开发者能保证访问锁的线程全部都处于同一优先级,否则 iOS 系统中所有类型的自旋锁都不能再使用了。

    os_unfair_lock

    在iOS10之后apple废弃了OSSpinLock自旋锁,使用os_unfair_lock来替代。
    OSSpinLock的api注释中明确指出这是一个自旋锁,那么它的替代方案是一把什么类型的锁呢?

    @interface OSSpinLockDemo()
    @property (assign, nonatomic) os_unfair_lock moneyLock;
    @property (assign, nonatomic) int money;
    @end
    
    @implementation OSSpinLockDemo
    
    - (instancetype)init
    {
        if (self = [super init]) {
            self.money = 100;
            self.moneyLock = OS_UNFAIR_LOCK_INIT;
        }
        return self;
    }
    
    /**
     存钱、取钱演示
     */
    - (void)moneyTest
    {
        
        dispatch_queue_t queue = dispatch_get_global_queue(0, 0);
        
        dispatch_async(queue, ^{
            for (int i = 0; i < 10; i++) {
                [self saveMoney];
            }
        });
        
        dispatch_async(queue, ^{
            for (int i = 0; i < 10; i++) {
                [self drawMoney];
            }
        });
    }
    
    - (void)drawMoney
    {
        os_unfair_lock_lock(&_moneyLock);
        
        [self __drawMoney];
        
        os_unfair_lock_lock(&_moneyLock);
    }
    
    - (void)saveMoney
    {
        os_unfair_lock_lock(&_moneyLock);
        
        [self __saveMoney];
        
        os_unfair_lock_lock(&_moneyLock);
    }
    
    //存钱
    - (void)__saveMoney
    {
        int oldMoney = self.money;
        sleep(.2);
        oldMoney += 50;
        self.money = oldMoney;
        
        NSLog(@"存50,还剩%d元 - %@", oldMoney, [NSThread currentThread]);
    }
    
    //取钱
    - (void)__drawMoney
    {
        int oldMoney = self.money;
        sleep(.2);
        oldMoney -= 20;
        self.money = oldMoney;
        
        NSLog(@"取20,还剩%d元 - %@", oldMoney, [NSThread currentThread]);
    }
    @end
    

    下面我们来看使用os_unfair_lock的情况,在加锁的地方打断点,然后点击任务栏Debug->Debug Worlflow->Always Show Disassembly。在xcode的lldb下使用si命令让汇编代码一步一步的执行,观察等待锁的线程状态:。

    unfair_Loack.jpg

    可以在_os_unfair_lock_slow里看到这句__ulock_wait。syscall调用了系统内核的函数,使得线程进入休眠状态,不再占用CPU资源。所以根据上面描述分析的汇编,我们也能从汇编层的逻辑看到自旋锁和互斥锁的区别,同时也看出代替 OSSpinLock的os_unfair_lock属于互斥锁

    互斥锁

    从上面我们了解到os_unfair_lock是一种互斥锁。除了os_unfair_lock,我们iOS中常用到的互斥锁还有很多种。
    从业务的不同场景来分析,互斥锁可以大概分为四种:普通锁递归锁条件锁读写锁

    互斥锁

    对于这些锁的使用我这里就不阐述,针对一些经典的取钱存钱、取票问题,我分别用上述的各种锁演示了一遍。代码见最后

    锁的demo

    锁的作用主要就是对于一些访问资源的保护,在实际应用中,不仅只有锁的手段去进行保护,比如队列信号量这些手段也可以达到保护的效果。

    补充: 在属性中我们经常提到的atomic,其底层就是用的自旋锁OSSpinlock,在属性的setter、getter方法的运算逻辑进行加锁解锁。由于我们会经常的使用到属性,这样的话就会频繁占用到大量的cup,损耗性能。而且atomic也不能保证完全的数据安全,所以在开发中我们基本不去使用atomic进行修饰属性。

    iOS的锁🔐Demo

    相关文章

      网友评论

        本文标题:iOS开发中的锁

        本文链接:https://www.haomeiwen.com/subject/nkagvktx.html