iOS的多线程安全隐患与线程同步方案

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普通锁`的封装。  

![在这里插入图片描述](https://img-blog.csdnimg.cn/8b9c95b6d581414090ab1b707b68382f.png)2、NSRecursiveLock是对`mutex递归锁`的封装，API跟NSLock基本一致。



### []( )2.3.5、NSCondition、NSConditionLock



1、NSCondition是对条件锁（`mutex和cond`）的封装。  

![在这里插入图片描述](https://img-blog.csdnimg.cn/90fcf8f1e75e4ff7972b287d82958402.png)  

2、NSConditionLock是对`NSCondition的进一步封装`，可以设置具体的条件值  

![在这里插入图片描述](https://img-blog.csdnimg.cn/5024b7a1bdf840a2804b6a5b4b9c7e60.png)

@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

[]( )2.4、dispatch\_semaphore 信号量

----------------------------------------------------------------------------------------------



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);

[]( )2.4、dispatch\_queue

--------------------------------------------------------------------------------------



直接使用`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

[]( )2.5、@synchronized（不推荐）

-----------------------------------------------------------------------------------------



1、`@synchronized`是对`mutex递归锁`的封装。  

2、源码查看：objc4中的`objc-sync.mm`文件。  

3、`@synchronized(obj)`内部会生成`obj`对应的递归锁，然后进行加锁、解锁操作。  

![在这里插入图片描述](https://img-blog.csdnimg.cn/e9cf7b0364454f7e86c61c17270ea05b.png)



[]( )2.6、atomic 原子性（不推荐）

--------------------------------------------------------------------------------------



1、atomic用于保证属性setter、getter的原子性操作，相当于在getter和setter内部加了线程同步的锁。  

2、可以参考源码objc4的objc-accessors.mm。  

3、`不能保证使用属性的过程是线程安全的。`



[]( )2.7、读写安全

---------------------------------------------------------------------------



场景：



> 1、同一时间，只能有1个线程进行写的操作  

> 2、同一时间，允许有多个线程进行读的操作  

> 3、同一时间，不允许既有写的操作，又有读的操作



上面的场景就是典型的 **“多读单写”**，经常用于文件等数据的读写操作，iOS中的实现方案有：



> 1、**pthread\_rwlock**：读写锁  

> 2、**dispatch\_barrier\_async**：异步栅栏调用



### []( )2.7.1、pthread\_rwlock\_t - 读写锁



**读写锁**：是计算机程序并发控制的一种同步机制，用于解决读写问题。



读写锁允许并行读、串行写。与互斥锁的一次只有一个线程执行操作相比，性能更高。比如构建缓存系统，将网络资源写入缓存，后期从缓存读取资源。缓存系统必须线程安全，允许并行读取，串行写入（又称多读单写）。

// 初始化锁

pthread_rwlock_t lock;

pthread_rwlock_init(&lock, NULL);



// 读 - 加锁

pthread_rwlock_rdlock(&lock);

// 读 - 尝试加锁

pthread_rwlock_tryrdlock(&lock);





// 写 - 加锁

pthread_rwlock_wrlock(&lock);

// 写 - 尝试加锁

pthread_rwlock_trywrlock(&lock);



// 解锁

pthread_rwlock_unlock(&lock);

// 毁锁

pthread_rwlock_destroy(&lock);

### []( )2.7.2、dispatch barrier - 异步栅栏



在保护临界区域时，GCD 提供了 `dispatch barrier`。当执行 barrier 任务时，队列中所有其他任务都会等待。没有执行 barrier 任务时，其他任务并行执行。



![在这里插入图片描述](https://img-blog.csdnimg.cn/8c73d4bfb0b94fa580a6d1f42e572dba.png)  

**代码示例：**

#import “ViewController.h”

#import <pthread.h>

@interface ViewController ()

@property (strong, nonatomic) dispatch_queue_t queue;

@end

@implementation ViewController

• (void)viewDidLoad {

  [super viewDidLoad];

  /**

  • 1、必须是自己通过dispatch_queue_cretate创建的

  • 2、如果传入的是串行或全局的并发队列，那这个函数便等同于dispatch_async函数的效果

  */

  self.queue = dispatch_queue_create(“rw_queue”, DISPATCH_QUEUE_CONCURRENT);

  for (int i = 0; i < 10; i++) {

    dispatch_async(self.queue, ^{
  
        [self read];
  
    });
  
    
  
    dispatch_async(self.queue, ^{
  
        [self read];
  
    });
  
    
  
    dispatch_async(self.queue, ^{
  
        [self read];
  
    });
  
    
  
    dispatch_barrier_async(self.queue, ^{
  
        [self write];
  
    });
  

  }

}

• (void)read {

  sleep(1);

  NSLog(@“read”);

}

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化资料的朋友，可以点击这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！