Linux——多线程(三)

在上一篇博客中我们讲到了在加锁过程中,线程竞争锁是自由竞争的,竞争能力强的线程会导致其他线程抢不到锁,访问不了临界资源导致其他线程一直阻塞,造成其它线程的饥饿问题,想要解决此问题又涉及一个新概念线程同步

一、线程同步

1.1线程同步

线程同步的概念:

在保证数据安全的前提下,让线程能够按照某种特定的顺序访问临界资源,从而有效避免饥饿问题,叫做同步

结合故事理解一下:

假设有一个房间,这个房间有且仅有对应的一把锁能够打开;这个房间在一段时间内有且只有一人能够进入里面,而想要进入里面的人很多。为了不让全部人都挤在门口,人们商量了一下,决定排队去进入这个房间,每当一个人用完此房间后就要回到这个房间的队尾,防止有人占着茅坑不拉屎

故事里的人就是线程,房间就是临界资源,钥匙就是锁

既然线程同步理解了,那么如何实现线程同步呢?需要用条件变量来实现。

1.2条件变量

条件变量的概念:用来描述某种临界资源是否就绪的一种数据化描述

结合故事理解条件变量是什么

假设有一个盘子,盘子一侧有一个哑巴,他的任务是不停地往盘子里面放水果;盘子另一侧是一队盲人,他们的任务是判断盘子里有没有水果。而这个盘子就是临界资源,盘子被锁住了,不论是谁只有抢到锁的人才能动这个盘子。

由于盲人的数量远多于哑巴,盲人又看不见,想要判断盘子里面有无水果就只能疯狂申请锁,---------->这就导致了放水果的哑巴饥饿了,抢不到锁去放水果

那么条件变量在哪呢?

别急故事还没讲完。这时候有了一个铃铛,如果盲人检测不到盘子里有水果,那么盲人就去铃铛哪里排队。当所有盲人排位队后,哑巴这时就能放水果了,放完水果后哑巴解除锁再敲一下铃铛让一个盲人(也可以叫全部盲人)去检测盘子。

条件变量 =  铃铛  +  队列

1.3条件变量的系统调用

条件变量同样是由原生线程库维护的,所以使用的是POSIX标准,和互斥锁的接口非常相似

创建条件变量

pthread_cond_t cond;

cond是英文condition的缩写

条件变量的初始化:man pthread_cond_init

 参数:

pthread_cond_t *cond: 要初始化的条件变量

*cont_attr : 设为nullptr就行了

返回值:成功返回0,失败返回错误码 

静态、全局的初始化 

int pthread_cond_t cond = PTHREAD_COND_INITIALIZER;

条件变量的销毁:man pthread_cond_destroy

参数:

*cond: 所要销毁的条件变量的地址

返回值:销毁成功返回0,失败返回错误码

 条件变量的等待:man pthread_cond_wait

参数:

*cond: 所要等待的条件变量的地址

*mutex:互斥锁的地址(后面解释为什么要传锁)

返回值: 把条件变量放入等待队列,放入成功返回0,失败返回错误码 

条件变量的唤醒:

man pthread_cond_signal(唤醒一个线程)

参数:

 *cond: 所要等待的条件变量的地址

返回值:唤醒成功返回0,失败返回错误码

作用:由另一个线程(通常是主线程)唤醒指定条件变量等待队列中的一个线程

man pthread_cond_broadcast

参数:

 *cond: 所要等待的条件变量的地址

返回值:唤醒成功返回0,失败返回错误码

作用:由另一个线程(通常是主线程)唤醒指定条件变量等待队列中的所有线程

1.4测试代码(cond系统调用的使用)

创建多个线程,用主线程控制其它线程阻塞,直到主线程唤醒才继续执行其它线程的线程函数 

#include<iostream>
#include<string>
#include<vector>
#include<pthread.h>
#include<unistd.h>
using namespace std;pthread_mutex_t gmutex = PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t gcond = PTHREAD_COND_INITIALIZER;
void* MasterCode(void *args)//线程函数
{sleep(1);cout<<"主线程开始工作..."<<endl;string name = static_cast<const char*>(args);while(true){int n = pthread_cond_signal(&gcond);if(n == 0){sleep(1);cout<<"主线程唤醒一个线程..."<<endl;}}
}
void* SlaverCode(void *args)
{string name = static_cast<const char*>(args);while(true){//1.加锁pthread_mutex_lock(&gmutex);//2.条件变量是在加锁和解锁之间使用的 pthread_cond_wait(&gcond,&gmutex);//阻塞等待主线程来唤醒//走到这说明此线程已经被主线程唤醒了 cout<<"被唤醒的线程是:"<<name<<endl;//解锁pthread_mutex_unlock(&gmutex);}
}void StartMaster(std::vector<pthread_t> *tidsptr)
{pthread_t tid;int n = pthread_create(&tid,nullptr,MasterCode,(void*)"Master Thread");if(n == 0){std::cout<<"主线程创建成功"<<std::endl;tidsptr->emplace_back(tid);}
}
void StartSlaver(std::vector<pthread_t> *tidsptr,int thraednum)
{for(int i=0;i<thraednum;i++){char *name = new char[64];snprintf(name,64,"Slaver-%d",i+1);pthread_t tid;int n = pthread_create(&tid,nullptr,SlaverCode,(void*)name);if(n == 0){std::cout<<"新线程创建成功:"<<name<<std::endl;tidsptr->emplace_back(tid);}}
}void WaitThread(std::vector<pthread_t> &tids)//等待线程
{for(auto &tid:tids){pthread_join(tid,nullptr);}
}int main()
{std::vector<pthread_t> tids;//vector中放tidStartMaster(&tids);//主线程开启(创建)StartSlaver(&tids,4);//被控制线程(创建)WaitThread(tids);return 0;
}

二、生产者、消费者模型

 2.1生产消费模型的概念

生产、消费模型:

讨论问题的本质,如何并发的执行数据传递的问题(从一个模块传到另一个模块)

结合生活场景理解:

消费者线程:读取数据的线程

生产者线程:产生数据的线程 

商品:数据

超市:能临时保存数据的"内存空间"(某种数据结构对象),本质是对商品的缓冲

在超市、厂商和顾客构成的生产者、消费者模型中:生产者是产品供应商,消费者是超市的顾客,而超市是一个交易产所。 

超市:共享资源(要保护) ------> 临界资源

厂商、用户:多个执行流(线程) 

以上结合就需要考虑线程的同步与互斥的问题

并发问题:

生产者与消费者的关系:同步&&互斥关系,厂商生产时不影响用户消费,但是厂商供货时用户不能消费。

生产者与生产者的关系:竞争关系,超市的供应商不止一家,就算是同一种商品还有不同品牌的供应商,他们彼此相互竞争,其表现就是互斥

消费者与消费者的关系:也是竞争关系,假设超市只有一种商品且这种商品只剩一份了,那么大量的消费者都要涌入这家超市,而这家超市一次只能进入一个人,所以消费者之间也是互斥

为什么说超市的本质是对商品的缓冲呢?

生产消费模型可以提供比较好的并发度(厂商生产时不影响用户消费,能做到生产和消费进行解耦,支持忙闲不均)

2.2模型实现(阻塞队列实现)

生产消费模型+条件变量

阻塞队列实现生产消费模型

2.2.1框架

Makefile
 

p_c_bq:Main.ccg++ -o $@ $^ -std=c++11 -lpthread
.PHONY:clean
clean:rm -f p_c_bq

Main.cc

#include<iostream>
#include<vector>
#include<unistd.h>
#include "Thread.hpp"
#include<functional>
#include<pthread.h>
#include "BlockQueue.hpp"using namespace Thread_Module;void* productor(BlockQueue<int> &bq)
{   int a = 1;while(true)//获取任务{//...}return nullptr;
}void* consumer(BlockQueue<int> &bq)
{while(true)//制作任务{//... }return nullptr
}void Comm(std::vector<Thread<BlockQueue<int>>> *threads,int num,BlockQueue<int> &bq,func_t<BlockQueue<int>> func)
{for(int i=0;i<num;i++){std::string name = "thread-"+std::to_string(i+1);threads->emplace_back(func,bq,name);threads->back().Start();}
}void ProductorStart(std::vector<Thread<BlockQueue<int>>> *threads,int num,BlockQueue<int> &bq)
{Comm(threads,num,bq,productor);
}void ConsumerStart(std::vector<Thread<BlockQueue<int>>> *threads,int num,BlockQueue<int> &bq)
{Comm(threads,num,bq,consumer);
}void WaitAllThread(std::vector<Thread<BlockQueue<int>>> &threads)
{for(auto &thread:threads){thread.Join();}
}
int main()
{BlockQueue<int> *bq = new BlockQueue<int>(5);std::vector<Thread<BlockQueue<int>>> threads;ProductorStart(&threads,1,*bq);ConsumerStart(&threads,1,*bq);WaitAllThread(threads);return 0;
}

BlockQueue.hpp

#include<iostream>
#include<string>
#include<queue>
#include<pthread.h>template <class T>
class BlockQueue
{
public:BlockQueue(int cap)//构造:_cap(cap){pthread_mutex_init(&_mutex,nullptr);//锁的初始化//条件变量的初始化pthread_cond_init(&_product_cond,nullptr);pthread_cond_init(&_consumer_cond,nullptr);}//生产者用的接口(入阻塞队列)void Enqueue(T &in){pthread_mutex_lock(&_mutex);//...pthread_mutex_unlock(&_mutex);}//消费者用的接口(出队列)void Pop(T *out){pthread_mutex_lock(&_mutex);//...pthread_mutex_unlock(&_mutex);}//析构~BlockQueue(){pthread_mutex_destroy(&_mutex);pthread_cond_destroy(&_product_cond);pthread_cond_destroy(&_consumer_cond);}
private:std::queue<T> _bq;//阻塞队列int _cap;//队列上限pthread_mutex_t _mutex;//锁pthread_cond_t _product_cond;//生产者的条件变量pthread_cond_t _consumer_cond;//消费者的条件变量};

之前的封装的线程注意 T _data数据需要引用 T &_data 

#include<iostream>
#include<signal.h>
#include<unistd.h>
#include<functional>
#include<pthread.h>namespace Thread_Module
{template <typename T>using func_t = std::function<void(T&)>;// typedef std::function<void(const T&)> func_t;template <typename T>class Thread{public:void Excute(){_func(_data);}public:Thread(func_t<T> func,T &data,const std::string &threadname = "none"):_threadname(threadname),_func(func),_data(data){}static void* threadrun(void *args)//线程函数{Thread<T> *self = static_cast <Thread<T>*>(args);self->Excute();return nullptr;}bool Start()//线程启动!{int n = pthread_create(&_tid,nullptr,threadrun,this);if(!n)//返回0说明创建成功{_stop = false;//说明线程正常运行return true;}else{return false;}}void Stop(){_stop = true;}void Detach()//线程分离{if(!_stop){pthread_detach(_tid);}}void Join()//线程等待{if(!_stop){pthread_join(_tid,nullptr);}}std::string threadname()//返回线程名字{return _threadname;}~Thread(){}private:pthread_t _tid;//线程tidstd::string  _threadname;//线程名T &_data;//数据func_t<T> _func;//线程函数bool _stop; //判断线程是否停止 为true(1)停止,为false(0)正常运行};
}

2.2.2代码完善

生产者调用接口和消费者调用接口进行实现 

    void Enqueue(const T &in) // 生产者用的接口{pthread_mutex_lock(&_mutex);while(IsFull())//判断队列是否已经满了{pthread_cond_wait(&_product_cond, &_mutex); //满的时候就在此情况下等待// 1. pthread_cond_wait调用是: a. 让调用进程等待 b. 自动释放曾经持有的_mutex锁}// 进行生产_bq.push(in);// 通知消费者来消费pthread_cond_signal(&_consumer_cond);pthread_mutex_unlock(&_mutex);}void Pop(T *out) // 消费者用的接口{pthread_mutex_lock(&_mutex);while(IsEmpty()){pthread_cond_wait(&_consumer_cond, &_mutex); }// 进行消费*out = _bq.front();_bq.pop();// 通知生产者来生产pthread_cond_signal(&_product_cond);pthread_mutex_unlock(&_mutex);}

1. pthread_cond_wait调用是: a. 让调用进程等待 b. 自动释放曾经持有的_mutex锁 

 再对生产者消费者接口进行完善

在Block_Queue类里面再添加两个成员变量,对生产者、消费者的阻塞(等待)数量进行计数,在唤醒生产者、消费者线程这一语句再加一个判断语句:判断阻塞计数>0才可唤醒

#include<iostream>
#include<string>
#include<queue>
#include<pthread.h>template <class T>
class BlockQueue
{
private://判断队列是否为满(满就入不了队列)bool IsFull(){return _bq.size() == _cap;}//判断队列是否为空(为空出不了队列)bool IsEmpty(){return _bq.size() == 0;}
public:BlockQueue(int cap)//构造:_cap(cap){pthread_mutex_init(&_mutex,nullptr);//锁的初始化//条件变量的初始化pthread_cond_init(&_product_cond,nullptr);pthread_cond_init(&_consumer_cond,nullptr);_product_wait_n = 0;_consumer_wait_n = 0;}//生产者用的接口(入阻塞队列)void Enqueue(T &in){pthread_mutex_lock(&_mutex);while(IsFull()){_product_wait_n++;pthread_cond_wait(&_product_cond,&_mutex);//生产者等待消费者唤醒_product_wait_n--;}//走到这已经被唤醒了//生产者开始生产_bq.push(in);// std::cout<<in<<std::endl;//pthread_cond_signal(&_consumer_cond);if(_consumer_wait_n > 0)//如果有等待的消费者唤醒消费者来消费{pthread_cond_signal(&_consumer_cond);}pthread_mutex_unlock(&_mutex);}//消费者用的接口(出队列)void Pop(T *out){pthread_mutex_lock(&_mutex);while(IsEmpty()){_consumer_wait_n++;pthread_cond_wait(&_consumer_cond,&_mutex);_consumer_wait_n--;}//走到这已经被唤醒了//开始消费*out = _bq.front();// std::cout<<out<<std::endl;_bq.pop();//唤醒生产者来生产pthread_cond_signal(&_product_cond);if(_product_wait_n>0){pthread_cond_signal(&_product_cond);}pthread_mutex_unlock(&_mutex);}// void Enqueue(const T &in) // 生产者用的接口// {//     pthread_mutex_lock(&_mutex);//     while(IsFull())//判断队列是否已经满了//     {//         pthread_cond_wait(&_product_cond, &_mutex); //满的时候就在此情况下等待//     }//     // 进行生产//     _bq.push(in);//     // 通知消费者来消费//     pthread_cond_signal(&_consumer_cond);//     pthread_mutex_unlock(&_mutex);// }// void Pop(T *out) // 消费者用的接口// {//     pthread_mutex_lock(&_mutex);//     while(IsEmpty())//     {//         pthread_cond_wait(&_consumer_cond, &_mutex); //     }//     // 进行消费//     *out = _bq.front();//     _bq.pop();//     // 通知生产者来生产//     pthread_cond_signal(&_product_cond);//     pthread_mutex_unlock(&_mutex);// }//析构~BlockQueue(){pthread_mutex_destroy(&_mutex);pthread_cond_destroy(&_product_cond);pthread_cond_destroy(&_consumer_cond);}
private:std::queue<T> _bq;int _cap;//队列上限pthread_mutex_t _mutex;pthread_cond_t _product_cond;//生产者的pthread_cond_t _consumer_cond;//消费者的int _product_wait_n;//生产者的阻塞数int _consumer_wait_n;//消费者的阻塞数
};

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/846435.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

18 EEPROM读写

EEPROM 简介 EEPROM (Electrically Erasable Progammable Read Only Memory&#xff0c;E2PROM)即电可擦除可编程只读存储器&#xff0c;是一种常用的非易失性存储器&#xff08;掉电数据不丢失&#xff09;&#xff0c;EEPROM 有多种类型的产品&#xff0c;此次实验使用的是A…

32位与64位程序下函数调用的异同——计科学习中缺失的内容

前言 今天&#xff0c;通过一个有趣的案例&#xff0c;从反编译的角度看一下C语言中函数参数是如何传递的。 创建main.c文件&#xff0c;将下面实验代码拷贝到main.c文件中。 # main.c #include <stdio.h>int test(int a, int b, int c, int d, int e, int f, int g, …

Docker最新超详细版教程通俗易懂

文章目录 一、Docker 概述1. Docker 为什么出现2. Docker 的历史3. Docker 能做什么 二、Docker 安装1. Docker 的基本组成2. 安装 Docker3. 阿里云镜像加速4. 回顾 hello-world 流程5. 底层原理 三、Docker 的常用命令1. 帮助命令2. 镜像命令dokcer imagesdocker searchdocker…

解锁数据宝藏:高效查找算法揭秘

代码下载链接&#xff1a;https://gitee.com/flying-wolf-loves-learning/data-structure.git 目录 一、查找的原理 1.1 查找概念 1.2 查找方法 1.3平均查找长度 1.4顺序表的查找 1.5 顺序表的查找算法及分析 1.6 折半查找算法及分析 1.7 分块查找算法及分析 1.8 总结…

pytorch学习笔记5

transform 本质上作用是将图片通过transform这个这个工具箱获取想要的结果 tensor就是一个包含神经网络需要的一些理论基础的参数 from torch.utils.tensorboard import SummaryWriter from torchvision import transforms from PIL import Image #tensor数据类型 #通过tra…

渗透测试之Web安全系列教程(一)

今天&#xff0c;我们来讲一下Web安全&#xff01; 本文章仅提供学习&#xff0c;切勿将其用于不法手段&#xff01; 目前&#xff0c;在渗透测试领域&#xff0c;主要分为了两个发展方向&#xff0c;分别为Web攻防领域和PWN&#xff08;二进制安全&#xff09;攻防领域。Web…

1985-2020 年阿拉斯加和育空地区按植物功能类型划分的模型表层覆盖率

ABoVE: Modeled Top Cover by Plant Functional Type over Alaska and Yukon, 1985-2020 1985-2020 年阿拉斯加和育空地区按植物功能类型划分的模型表层覆盖率 简介 文件修订日期&#xff1a;2022-05-31 数据集版本: 1.1 本数据集包含阿拉斯加和育空地区北极和北方地区按…

DPDK基础组件二(igb_uio、kni、rcu)

The Linux driver implementer’s API guide — The Linux Kernel documentation 一、igb_uid驱动 参考博客:https://zhuanlan.zhihu.com/p/543217445 UIO(Userspace I/O)是运行在用户空间的I/O技术 代码位置:dpdk----/kernel/linux/igb_uio目录 igb_uio 是 dpdk 内部实…

学习数据分析思维的共鸣

在这篇文章中&#xff0c;我将分享自己在成长过程中对数据分析思维的领悟&#xff0c;从《数据分析思维-产品经理的成长笔记》这本书引发的共鸣&#xff0c;到数据分析在不同岗位的广泛应用&#xff0c;再到如何将学习与快乐联系起来&#xff0c;以及沟通在数据分析中的重要性。…

cocos入门4:项目目录结构

Cocos Creator 项目结构教程 Cocos Creator 是一个功能强大的游戏开发工具&#xff0c;它为开发者提供了直观易用的界面和强大的功能来快速创建游戏。在使用 Cocos Creator 开发游戏时&#xff0c;合理地组织项目结构对于项目的可维护性和扩展性至关重要。以下是一个关于如何设…

设计模式(十)结构型模式---享元模式(flyweight)

文章目录 享元模式简介结构UML图具体实现UML图代码实现 享元模式简介 享元模式&#xff08;fly weight pattern&#xff09;主要是通过共享对象来减少系统中对象的数量&#xff0c;其本质就是缓存共享对象&#xff0c;降低内存消耗。享元模式将需要重复使用的对象分为两个状态…

7-14 字节序(Endianness)---PTA实验C++

一、题目描述 “内存寻址的最小单位是字节”——明白。 “每个字节有唯一的编号&#xff0c;称为地址”——明白。 “C中int通常为四个字节”——了解。 “int x 1;最低字节是1还是0&#xff1f;——纳尼&#xff1f; 事实上&#xff0c;这里有点小小分歧&#xff1a; 多字…

JavaScript移除事件的方法

JavaScript移除事件的方法有两种&#xff0c;分别是removeEventListener和οnclicknull。 使用removeEventListener方法&#xff1a; removeEventListener方法用于从元素中移除之前添加的事件监听器。它需要传入三个参数&#xff1a;事件类型、事件处理函数和一个可选的布尔值…

IDEA 学习之 命令行太长问题

现象 Error running App Command line is too long. In order to reduce its length classpath file can be used. Would you like to enable classpath file mode for all run configurations of your project?解决办法 办法一 .idea\workspace.xml ——> <compone…

软件开发整体介绍

黑马程序员瑞吉外卖 文章目录 一、软件开发流程二、角色分工三、软件环境 一、软件开发流程 二、角色分工 三、软件环境

【探索微软 Edge:现代化的网页浏览体验】

探索微软 Edge&#xff1a;现代化的网页浏览体验 微软 Edge 是一款现代化的网页浏览器&#xff0c;它由微软开发并推出&#xff0c;旨在提供更快速、更安全、更现代化的网页浏览体验。Edge 浏览器基于 Chromium 开源项目&#xff0c;这使得它拥有与 Google Chrome 类似的性能和…

13.FreeRTOS使用事件标记组

FreeRTOS 事件标记组 什么是事件标记组&#xff1f; 事件标记组是一个24&#xff08;在 FreeRTOS 中&#xff0c;默认情况下&#xff0c;事件标记组的位数是 24 位&#xff09;位的变量&#xff0c;每一位&#xff08;bit&#xff09;可以独立地被设置或清除。任务可以等待一…

锁是实现原子性的一种方案,但是原子性的实现不一定需要通过锁机制保证

前言&#xff1a;在实际开发过程中&#xff0c;我们可能会通过事务来保证原子性&#xff0c;但是很多人存在误解&#xff0c;他们会以为Transactional 注解原子性就是代表java中的CAS或者锁那种也能保证并发情况下的原子性。其实不是这样的&#xff0c;MySQL的原子性是通过redo…

GraphQL(2):使用express和GraphQL编写helloworld

1 安装express、graphql以及express-graphql 在项目的目录下运行一下命令。 npm init -y npm install express graphql express-graphql -S 2 新建helloworld.js 代码如下&#xff1a; const express require(express); const {buildSchema} require(graphql); const grap…

vue3与ts的组合式API

vue3与ts的组合式API props 1.基本props <script setup lang"ts"> const props defineProps<{foo: stringbar?: number }>() </script>2.抽离props <script setup lang"ts"> interface Props {foo: stringbar?: number }co…