线程同步（基于linux的使用）

最新推荐文章于 2024-06-13 20:44:24 发布

七号鹅毛

最新推荐文章于 2024-06-13 20:44:24 发布

阅读量63

点赞数

分类专栏： Linux 文章标签： linux c语言 Powered by 金山文档

本文链接：https://blog.csdn.net/siyi441/article/details/129150235

版权

Linux 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

死锁

概念：各个执行流互相向对方要资源，但双方资源都未释放，导致每个执行流都阻塞的现象就叫死锁锁。

死锁的四个必要条件：

互斥条件：一个资源只能被一个执行流使用

请求与保持条件：一个执行流因请求而阻塞时，对已经获得的资源不释放

不剥夺条件：一个执行流已经获得的资源在使用完之前，不能强行剥夺

循环等待条件：若干执行流之间形成一种头尾相接的循环等待资源

如何避免死锁：

破坏四个必要条件

加锁顺序一致

避免锁未释放的场景、资源一次性分配

线程同步

概念：按照一定的顺序，进行临界资源的访问，我们叫做线程同步，引入同步主要是为了解决访问临界资源合理性的问题

那么我们如何保证线程同步呢？

这里有两个方法：条件变量和信号量

条件变量

基本概念：引入条件变量是为了来检测一个资源是否准备就绪，当这个资源条件就绪时，就会通知对应的进程，让它来进行资源的访问和申请，可以通过对线程的控制，来让线程具有一定的顺序性。

条件变量在linux下使用的接口有：

pthread_cond_init(pthread_cond_t 类型,nullptr);//用于初始化非全局或非静态的条件变量
pthread_cond_broadcast(&cond); //广播资源准备完毕的信号给所有线程
pthread_cond_signal(&cond); //和广播的差不多，但这个是顺序唤醒，并不会一下把所有进程都唤醒
pthread_cond_wait(pcond,pmtx); //写在新线程中，对资源是否唤醒进行等待，此时线程会阻塞住
pthread_cond_destroy(&cond); //对创建的pthread_cond_t条件变量进行销毁

注意：在使用pthread_cond_wait时，一定要在加锁和解锁之间使用，因为这个函数也并不是原子的，并且线程如果在wait这里阻塞后，线程就会自动解锁，当等待完毕，线程又会自动的加上锁

通过条件变量实现的生产消费者模型：

生产消费者模型的三个原则：

3种关系：生产者和生产者、消费者和消费者、生产者消费者，分别对应：竞争（互斥）关系和竞争（互斥）关系和互斥、同步关系

2种角色：生产者、消费者

1个交易场所：；超市（缓冲区） | （目的是用于提高效率，进行解耦）

在程序中的体现：

消费者和生产者的角色由线程承担，两个或多个线程进行模拟，给线程进行了角色化，超市（也就是缓冲区）是由某种数据结构表示的，生产者和消费者之间进行沟通的“商品”在程序中我们叫做“数据”

通过条件变量实现的生产消费者模型源码：pthread/synchronization · fvh159/LinuxCode - 码云 - 开源中国 (gitee.com)

信号量（semaphore）

什么是信号量？信号量是用于控制多线程对于临界资源的访问的控制的一种方法（是一种线程同步），共享资源根据场景的不同可以分为很多个小块，当不同的执行流访问不同的小块就不用进行同步或互斥，当它们访问同一块时，需要进行同步或互斥，对这些共享资源块的管理就是信号量需要做的事。

其实信号量本质上就是个计数器

P操作：访问临界资源的时候，必须先申请信号量资源（sem--）（看电影订票，一种预定资源）

V操作：使用完毕信号量资源被返还（sem++）（释放资源）

信号量使用的接口如下：

sem_init(&_sem,0,value); //对信号量进行初始化，接口含义分别为sem_t信号量类型、是否为进程间共享（否为0），以及初始化信号量的值
sem_wait(&_sem); //对信号量进行p操作申请资源，被用来阻塞当前线程直到信号量sem的值大于0
sem_post(&_sem); //对信号量进行v操作，用来增加信号量的值
sem_destroy(&_sem); //用于删除该信号量