线程同步详解

iccoke

已于 2023-01-10 17:13:45 修改

阅读量409

点赞数

分类专栏： linux 文章标签：开发语言

于 2023-01-05 20:47:24 首次发布

本文链接：https://blog.csdn.net/iccoke/article/details/128568013

版权

linux 专栏收录该内容

21 篇文章 0 订阅

订阅专栏

线程同步

同步就是协同步调，按预定的先后次序进行运行。如:你说完，我再说。

"同"字从字面上容易理解为一起动作

其实不是，"同"字应是指协同、协助、互相配合。

如进程、线程同步，可理解为进程或线程A和B一块配合，A执行到一定程度时要依靠B的某个结果，于是停下来，示意B运行;B依言执行，再将结果给A;A再继续操作。

所谓同步，就是在发出一个功能调用时，在没有得到结果之前，该调用就不返回，同时其它线程也不能调用这个方法。按照这个定义，其实绝大多数函数都是同步调用(例如sin, isdigit等)。但是一般而言，我们在说同步、异步的时候，特指那些需要其他部件协作或者需要一定时间完成的任务。例如Window API函数SendMessage。该函数发送一个消息给某个窗口，在对方处理完消息之前，这个函数不返回。当对方处理完毕以后，该函数才把消息处理函数所返回的LRESULT值返回给调用者。

在多线程编程里面，一些敏感数据不允许被多个线程同时访问，此时就使用同步访问技术，保证数据在任何时刻，最多有一个线程访问，以保证数据的完整性。

线程同步的方式和机制

临界区(Critical Section)、互斥量(Mutex)、信号量(Semaphore)、事件(Event)的区别

1、临界区:通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。在任意时刻只允许一个线程对共享资源进行访问，如果有多个线程试图访问公共资源，那么在有一个线程进入后，其他试图访问公共资源的线程将被挂起，并一直等到进入临界区的线程离开，临界区在被释放后，其他线程才可以抢占。

2、互斥量:采用互斥对象机制。只有拥有互斥对象的线程才有访问公共资源的权限，因为互斥对象只有一个，所以能保证公共资源不会同时被多个线程访问。互斥不仅能实现同一应用程序的公共资源安全共享，还能实现不同应用程序的公共资源安全共享

3、信号量:它允许多个线程在同一时刻访问同一资源，但是需要限制在同一时刻访问此资源的最大线程数目

4、事件: 通过通知操作的方式来保持线程的同步，还可以方便实现对多个线程的优先级比较的操作

线程的实现一般包括用户级和内核级以及组合的情况

但是组合的情况是比较理想化的

因此我们一般都是根据场景选择用户级线程创建或者内核级线程创建

他们的优缺点分别是

信号量处理线程同步

我们可以用信号量模拟一个线程的同步

例如我们要顺序输出五个abc

那么我们模拟这个线程是一个试衣间 0表示不能使用 1表示可以使用

然后 p v 操作时是对应的获取资源操作和释放资源操作

然后我们可以对abc三个试衣间进行循环的p v操作

这样就可以实现abc的顺序输出

那么三个试衣间在这个场景下我们就需要使用三个信号量来配合操作

对于信号量方法不熟悉的可以浏览我的往期博文

这是线程内部函数我们可以看到在循环中对信号量进行p v 操作即可实现有序化控制

我们可以看到对信号量初始化的时候我们对a的初始化为1

因我我们的要求是顺序输出ABC

那么就要从a开始我们就将a的初始化赋值为1

然后在循环中我们不停的进行p v操作

这样就可以实现一个有序化输出

条件变量处理线程同步

首先我们需要了解条件变量条件变量其实就是类似于信号量它的作用就是等待某一个条件发生

条件变量使我们可以睡眠等待某种条件出现。

条件变量是利用线程间共享的全局变量进行同步的一种机制，主要包括两个动作:一个线程等待"条件变量的条件成立"而挂起;另一个线程使"条件成立"(给出条件成立信号)。为了防止竞争，条件变量的使用总是和一个互斥锁结合在一起。

条件变量是用来等待线程而不是上锁的，条件变量通常和互斥锁一起使用。条件变量之所以要和互斥锁一起使用，主要是因为互斥锁的一个明显的特点就是它只有两种状态：锁定和非锁定，而条件变量可以通过允许线程阻塞和等待另一个线程发送信号来弥补互斥锁的不足，所以互斥锁和条件变量通常一起使用

当条件满足的时候，线程通常解锁并等待该条件发生变化，一旦另一个线程修改了环境变量，就会通知相应的环境变量唤醒一个或者多个被这个条件变量阻塞的线程。这些被唤醒的线程将重新上锁，并测试条件是否满足。一般来说条件变量被用于线程间的同步；当条件不满足的时候，允许其中的一个执行流挂起和等待

条件变量类型为 pthread_cond_t。

当条件满足时便会通知条件变量操控相对应线程进入等待队列

其实条件变量起到的作用和信号量类似

就是传输给系统一个信号然后系统操作线程

首先我们给出条件变量的接口

条件变量的接口函数相对于其它的接口函数的参数会多

而且比较难以理解

但是实现的功能可以结合信号量操作线程同步进行理解

pthread_cond_init()函数功能：初始化一个条件变量

pthread_cond_wait()函数功能：阻塞等待一个条件变量

pthread_cond_timedwait()函数功能：限时等待一个条件变量

pthread_cond_signal()函数功能：唤醒至少一个阻塞在条件变量上的线程

pthread_cond_broadcast()函数功能：唤醒全部阻塞在条件变量上的线程

pthread_cond_destroy()函数功能：销毁一个条件变量

可以看到在条件变量的接口函数中还需要使用互斥锁

互斥锁处理线程同步

在编程中，引入了对象互斥锁的概念，来保证共享数据操作的完整性。每个对象都对应于一个可称为" 互斥锁" 的标记，这个标记用来保证在任一时刻，只能有一个线程访问该对象。

那么为什么要使用互斥锁这个概念呢

我们就要再次提到我们上一节中提到的

如果有五个线程每一个线程都对一个val进行加加操作

那么我们预计输出的结果是五千

但是其实是有几率出现不是五千的情况这是因为我们又可能会出现两个线程对一个val同时加加

那么就会出现少加的情况这样得到的数就会小于5000

这个和处理器的数量有关系

如果是单核处理器那么同一时间就只允许一个线程访问

那么就会按照规则完成5000次加加最后得到的数据一定是5000

但是如果处理器数大于1 就有几率出现两个线程抢占然后导致最后得到的结果不是5000

可以看到我使用的本地unbantu的配置的处理器数量为四

那么我们出现小于5000的概率就会大大提升

可以看到仅一次运行就出现我们描述的问题

那么我们可以通过互斥锁来解决

锁操作主要包括加锁pthread_mutex_lock()、解锁pthread_mutex_unlock()和测试加锁 pthread_mutex_trylock()三个，不论哪种类型的锁，都不可能被两个不同的线程同时得到，而必须等待解锁。对于普通锁和适应锁类型，解锁者可以是同进程内任何线程;而检错锁则必须由加锁者解锁才有效，否则返回EPERM;对于嵌套锁，文档和实现要求必须由加锁者解锁，但实验结果表明并没有这种限制，这个不同还没有得到解释。在同一进程中的线程，如果加锁后没有解锁，则任何其他线程都无法再获得锁。

int pthread_mutex_lock(pthread_mutex_t *mutex)

int pthread_mutex_unlock(pthread_mutex_t *mutex)

int pthread_mutex_trylock(pthread_mutex_t *mutex)

pthread_mutex_trylock()语义与pthread_mutex_lock()类似，不同的是在锁已经被占据时返回EBUSY而不是挂起等待。