ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

时间:2024-01-10 14:01:44

本篇博客我们来聊一下ReactiveSwift中的原子性操作,在此内容上我们简单的聊一下Posix互斥锁以及递归锁的概念以及使用场景。然后再聊一下Atomic的代码实现。Atomic主要负责多线程下的原子操作,负责共享资源的同步一致性。而在Atomic中就是使用到了Posix互斥锁和递归锁。在聊上述内容之前,我们先来回顾一下Swift语言中延迟执行defer的使用方式,在之前Swift编程的相关博客中也涉及到了defer的使用方式。defer因为Atomic使用到了延迟操作,所以下方我们再做一个defer的简单回顾。

一、Defer延迟执行

在本篇博客之所以聊defer延迟执行,是因为在Atomic的代码实现中,使用了defer{}来为操作加的锁。具体的说是在操作前进行加锁,然后紧接着使用defer{}进行解锁,稍后我们会进行介绍。Swift中的Defer延迟执行是比较常用的,其用法也是比较简单的。下方就是我们列举了一个示例,该示例比较简单。首先我们输出a,然后使用defer块执行输出b的语句,然后就是输出c,最后是使用defer块输出d,具体代码如下。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

在看上述代码输出结果时,我们可以先预测一下输出结果,是输出“abcd”还是“acbc”还是“acdb”呢?下方就是上述代码片段的输出结果。从下方代码片段中我们不难看出,其结果为“acdb”。从结果中我们不难看出defer{}块的执行顺序是在该作用域结束之前从后往前执行。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

根据上述代码片段以及输出结果,我们可以画出下方这个运行简图,如下所示。因为下方这个简图并不复杂,在此就不做过多赘述了。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

二、Posix互斥锁

互斥锁的概念就不做过多赘述了,简单的说就是防止多个线程同时修改一块共享区域,导致数据不同步的情况发生而添加的锁。互斥锁的互斥是线程的互斥,也就是说添加互斥锁的代码块在同一个时间点上只允许一个线程对这块共享区域进行操作,其他线程若想对该块区域进行操作的话,需要等待之前的互斥锁打开后方可进入。

下方这个PosixThreadMutex类是Atomic的代码实现中封装的Posix互斥锁。在该代码实现中主要调用了C语言中的线程互斥锁的相关函数。下方锁的使用方式,稍后再聊Atomic类的时候会使用到下方的这个互斥锁。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

三、递归锁

接下来我们来看一下递归锁,在Atomic的代码实现中也使用到了递归锁。“递归锁”顾名思义就是在递归中使用的锁,普通锁在一个线程中是不能被重用的,也就是说一个普通锁被上锁后,你就不能再次调用上锁的方法了,这样会出问题的。等普通锁被解锁后,你才可以对其进行上锁。针对普通锁的不可重用性,我们给出了下方示例,如下所示。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

上述代码片段比较简单,对普通锁连续执行了两次lock,然后执行我们的代码块,之后就是执行了两次unlock。该代码使用普通锁的步骤其实是与递归函数中使用普通锁的场景是一样的。当递归实现函数是,执行第一次递归时,添加了一个普通锁,在锁未打开时,第二次递归时又会执行一下上锁。这种场景与上述代码片段是一样的。因为普通锁在同一个线程中的不可重用性,所以上述代码会产生死锁DeadLock。下方截图就是上述代码片段所执行的结果:

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

我们将上述代码中的NSLock普通锁修改成NSRecursiveLock递归锁后,如下。下方的代码就可以正确执行。因为递归锁可以在同一个线程中重复的使用。具体如下所示:

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

既然是递归锁,那么接下来我们就在递归函数中来使用一下递归锁。在递归函数执行使用锁时,本质上是多次使用一个锁。也就是在一个锁未上锁时再次对其上锁。下方就是递归锁在递归函数中使用的简单示例。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

四、Atomic原子操作的具体代码实现

聊完互斥锁和递归锁后,接下来我们来看一下ReactiveSwift中的原子操作Atomic类的具体代码实现。Aotmic中使用了上述我们聊的Posix互斥锁来进行的原子操作。下方就是Atomic类的代码实现。

从下方代码片段中我们不难看出,在value读取和修改时都会进行加锁和解锁操作。当然,解锁的代码是放在defer{}的语句块中进行操作的。在Atomic.swift文件中还有一个RecursiveAtomic类,也就是负责递归原子操作的。RecursiveAtomic与Atomic类的不同之处在于前者使用的是递归锁,负责在递归操作时保持原子操作。而后者使用的是互斥锁。RecursiveAtomic的代码与Atomic类的代码类似,在此就不做过多赘述了。

  ReactiveSwift源码解析(十一) Atomic的代码实现以及其中的Defer延迟、Posix互斥锁、递归锁

今天的博客就先到这儿,下篇博客我们会继续解析ReactiveSwift框架中的其他内容。

上述代码github分享地址:https://github.com/lizelu/TipSwiftForRac

p.p1 { margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Menlo; color: #ffffff }
span.s1 { }
p.p1 { margin: 0.0px 0.0px 0.0px 0.0px; font: 13.0px Menlo; color: #ffffff }
span.s1 { }