linux--------线程的同步和互斥


前言


提示:以下是本篇文章正文内容,下面案例可供参考

一、线程互斥

(1)互斥:

任何时刻,互斥保证有且只有一个执行流进入临界区,访问临界资源,通常对临界资源起保护作用

要了解互斥需要了解以下的概念

1.临界资源:多线程执行流共享的资源就叫做临界资源,比如全局变量

2.临界区:每个线程内部,访问临界资源的代码,就叫做临界区

原子性:不会被任何调度机制打断的操作,该操作只有两态,要么完成,要么未完成

怎么理解呢,例如 i++,i--实际上是分两步,i++等于i=i+1

计算机从内存读取i在cpu寄存器计算之后在写回内存,这个过程被编译成汇编指令有很多条,不可以一步完成,这不是原子性的;要保证原子性,可以理解为完成这个过程,只有一条汇编指令。

(2) 多线程抢票

多个线程对全局变量ticket进行抢票,ticket是临界区资源,访问临界区资源的代码是临界区.

我们创建10个线程进行抢票,执行抢票代码.

void route(ThreadDate* td)
{//模拟抢票
while(true)
{   // LockGuard mutex(td->_mutex);if(td->_tickets>0){usleep(1000);cout<<"thread name:"<<td->_name<<"....."<<"ticket:"<<td->_tickets<<"....."<<"total:"<<td->_total<<endl;td->_tickets--;td->_total++;}else{break;}}
}
int ticket=1000;

我们发现票数被多抢了,ticket是-1,为什么会是这样的结果呢?

因为我们对临界资源没进行保护,线程调度时间片到了,就会切换其他在等待的 线程进行调度。如果这时内存中ticket已经为1,恰好2个线程判断ticket为1,进入抢票。线程1把票抢了,内存中ticket变为0,这时又调度了线程1,进行执行剩下代码,这从内存读取就是0,在执行ticket---。就变成了-1.

解决方法就是加一把锁,把访问临界资源的代码保护起来,只让拥有锁的线程执行这段涉及临界区资源的代码。持有锁的线程,就算调度了其他的线程,没有锁也没法访问资源,等到拥有锁的线程被调度访问资源就解锁,在让下一个线程持有锁,访问资源。。。

void route(ThreadDate* td)
{//模拟抢票
while(true)
{   LockGuard mutex(td->_mutex);//加锁,这里我们封装了锁,出了作用域,执行析构就解锁了。if(td->_tickets>0){usleep(1000);cout<<"thread name:"<<td->_name<<"....."<<"ticket:"<<td->_tickets<<"....."<<"total:"<<td->_total<<endl;td->_tickets--;td->_total++;}else{break;}}

 LockGuard.hpp

#include<iostream>class LockGuard{
public:
LockGuard(pthread_mutex_t* mutex)
:_mutex(mutex)
{pthread_mutex_lock(_mutex);//申请锁
}
~LockGuard()
{pthread_mutex_unlock(_mutex);//解锁
}
private:
pthread_mutex_t* _mutex;
};

二.加锁和解锁

1.全局锁和局部锁

(1)申请全局锁并且初始化锁:pthread_mutex_t  gmutex = PTHREAD_MUTEX_INITIALIZER;

(2)局部锁:

申请:ptread_mutex_t   gmutex;

初始化:pthread_mutex_init(&mutex, nullptr);

2.锁的原理

为了实现互斥锁操作,大多数体系结构都提供了swap或exchange指令,该指令的作用是把寄存器和内存单元的数据相交换,由于只有一条指令,保证了原子性。

交换的本质不是把内存中mutex值拷贝到寄存器,而是通过一条汇编指令,交换寄存器和mutex的值,这个过程只有一条指令,所有线程看到的mutex只有一个,举例:线程1申请了锁,汇编指令直接将寄存器值和内存中mutex交换,由于进程的切换时随机的,cpu寄存器的硬件只有一套,这时候将上下文数据保存了,线程带走了寄存器的数据,其他线程被调度发现寄存器不是1,就挂起等待。等到线程1再被调度,把它的上下文数据还原包括寄存器值,直到线程1访问完资源,把寄存器值和内存中变量mutex值通过一条指令交换,就完成解锁操作,这个过程是原子性。

锁可以解决线程安全问题,容易造成线程饥饿,比如有一个线程一申请到锁访问资源解锁之后,又申请到了锁,其他线程申请不到。 

三.条件变量

例子:放苹果和拿苹果

多线程中光有互斥会有饥饿问题,有了条件变量可以避免无效的申请锁的操作,同时保证了执行的一定顺序性。比如如果没有铃铛,那么拿苹果(访问资源)的线程就会一直申请,导致放苹果的线程一直饥饿,操作无效(cpu资源浪费),有资源了,就会敲响铃铛(条件就绪),唤醒队列前面的线程,访问资源。访问完就去队列排队,不会让这个线程一直拿苹果,导致其他线程饥饿问题。

所以,条件变量=铃铛+队列


条件变量的操作:

全局: 

局部: 

如果我们申请了局部的必须初始化它,最后不要了,也要释放它

1.初始化

int pthread_cond_init(pthread_cond_t *restrict cond,const pthread_condattr_t *restrict

attr);

参数: cond:要初始化的条件变量attr:NULL

2.等待

这个函数的作用是,如果线程处于等待,它会释放所拥有的锁,让其他线程竞争,当被唤醒时,这个线程会再去竞争锁,如果竞争锁成功,函数返回,继续执行。没有竞争锁成功就一直等待

int pthread_cond_wait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex);

参数: cond:要在这个条件变量上等待mutex:

3.唤醒等待:唤醒一个/唤醒一批

int pthread_cond_broadcast(pthread_cond_t *cond);//唤醒所有等待的线程

int pthread_cond_signal(pthread_cond_t *cond)//唤醒一个等待的线程

4.销毁

如果我们定义了局部的条件变量,最后要释放。

int pthread_cond_destroy(pthread_cond_t *cond)
 

(1)通过条件变量可以让一个线程可控制另一个线程

#include<iostream>
#include<pthread.h>
#include<vector>
#include<string>
#include<unistd.h>//全局的条件变量
pthread_cond_t gcond=PTHREAD_COND_INITIALIZER;
//全局锁
pthread_mutex_t gmutex=PTHREAD_MUTEX_INITIALIZER;void* MasterCore(void* argv)
{std::string name=static_cast<const char*>(argv);while(true){sleep(3);std::cout<<"Master working....."<<std::endl;pthread_cond_signal(&gcond);//std::cout<<name<<std::endl;// sleep(1);}}
void* SlaverCore(void* argv)
{std::string name=static_cast<const char*>(argv);while(true){//加锁pthread_mutex_lock(&gmutex);// std::cout<<name<<std::endl;//唤醒某个线程pthread_cond_wait(&gcond,&gmutex);//唤醒所有等待的线程//pthread_cond_broadcast(&gcond);sleep(1);std::cout<<"当前被唤醒的线程是:"<<name<<std::endl;pthread_mutex_unlock(&gmutex);}}
void StartMaster(std::vector<pthread_t>* td)
{pthread_t tid;int n=pthread_create(&tid,nullptr,MasterCore,(void*)"Master Thread");if(n==0){std::cout<<"Materthread create sucess"<<std::endl;}td->emplace_back(tid);
}void StartSlaver(std::vector<pthread_t>* td,int num=6)
{for(int i=0;i<num;i++){char* name=new char[64];snprintf(name,64,"thread_%d",i+1);pthread_t tid;int n=pthread_create(&tid,nullptr,SlaverCore,(void*)name);if(n==0){std::cout<<name<<":create sucess"<<std::endl;}td->emplace_back(tid);}
}void WaiteThread(std::vector<pthread_t>& td) 
{for(auto& e:td){pthread_join(e,nullptr);}}
int main()
{std::vector<pthread_t> tids;
StartMaster(&tids);
StartSlaver(&tids);
WaiteThread(tids);return 0;
}

 

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

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

相关文章

XStream反序列化

XStream反序列化 前言基础重要组件MarshallingStrategy编码策略两个重要类 MapperConverterDynamicProxyConverter XStream编组/解组具体过程测试代码fromXML解组toXML编组总结 XStream漏洞漏洞原理sorted-set触发环境和版本限制复现调试分析总结各种版本<1.3.11.4-1.4.41.4…

SD6210A 低噪声可调电荷泵DC/DC转换器芯片IC

一般描述 该SD6210A是一种低噪声&#xff0c;恒定频率(1.20MHz)开关电容电压倍增器。它产生一个调节输出电压从2.8V到5V的输入与高达250mA的输出电流。低外部零件数(一个飞行电容器和两个小旁路电容的VIN和VOUT)使SD6210A非常适合小型&#xff0c;电池供电的应用新的电荷…

Java面试题:解决Redis缓存击穿问题

缓存击穿 当一个key过期时,需要对这个key进行数据重建 在重建的时间内如果有大量的并发请求进入,就会绕过缓存进入数据库,会瞬间击垮DB 重建时间可能因为数据是多个表的混合结果需要分头统计而延长,从而更容易出现缓存击穿问题 缓存击穿的解决方案 添加互斥锁 先查询缓存…

Excel 每 N 行拼成一行

F列每四行对应一条记录&#xff1a; ABCDEF1NameAddressCityShort IDCompany 122222 al street3Blue cheese415Company 261111 arm rd7Ranch829Company 3103333 raindrop drive11Peanut123 需要把F列整理成规范表格&#xff0c;按行写入A-D&#xff1a; ABCDEF1NameAddressC…

Coolmuster iOS 数据擦除:隐私保护的终极方案

手机和平板电脑是我们不可或缺的伙伴&#xff0c;它们存储着我们的照片、联系人、私人消息以及工作文件。然而&#xff0c;当这些设备需要更换或者出售时&#xff0c;如何确保存储在其中的数据不被他人恢复和滥用&#xff0c;成为了一个严峻的问题。Coolmuster iOS 数据擦除&am…

Java(十)——内部类

文章目录 内部类静态内部类实例内部类匿名内部类局部内部类 内部类 Java内部类是一种特殊的类定义方式&#xff0c;它允许在一个类的内部定义另一个类。 内部类可以访问其所在外部类的成员变量和成员方法&#xff0c;这使得它非常适用于封装与外部类紧密相关的私有逻辑。 内…

地理加权回归GWR简介

地理加权回归GWR简介 一、定义&#xff1a; 地理加权回归&#xff08;Geographically Weighted Regression&#xff0c;简称GWR&#xff09;是一种空间数据分析方法&#xff0c;专门用于处理空间异质性&#xff08;spatial heterogeneity&#xff09;问题。以下是对GWR的详细简…

MOE原理解释及从零实现一个MOE(专家混合模型)

什么是混合模型&#xff08;MOE&#xff09; 一个MOE主要由两个关键点组成&#xff1a; 一是将传统Transformer中的FFN&#xff08;前馈网络层&#xff09;替换为多个稀疏的专家层&#xff08;Sparse MoE layers&#xff09;。每个专家本身是一个独立的神经网络&#xff0c;实…

[论文笔记]Mistral 7B

引言 今天带来大名鼎鼎的Mistral 7B的论文笔记。 作者推出了Mistral 7B&#xff0c;这是一个70亿参数的语言模型。Mistral 7B在所有评估基准中表现优于最佳的13B开源模型&#xff08;Llama 2&#xff09;&#xff0c;并且在推理、数学和代码生成方面胜过最佳发布的34B模型(Ll…

odoo qweb template小结

QWeb QWeb是一个基于XML的模板引擎,可用于生成HTML片段和页面。它使用XML格式来定义模板。QWeb通过在模板中添加特定的标记,来指示模板中的数据和逻辑部分。使用QWeb,你可以创建各种不同的模板,例如列表视图,表单视图和报告等。QWeb支持标准的HTML标记和控制结构,如if语…

D435相机结合Yolo V8识别出目标物体,并转点云出抓取位姿。

最近项目上需要完成整个识别、定位、到最后的抓取流程。 分享一下&#xff0c;通过使用D435相机并结合Yolo V8识别出目标物体后&#xff0c;抠取出目标物体部分的有效深度图&#xff0c;最后将前景物体部分的RGB D435相机结合Yolo V8识别出目标物体&#xff0c;并转点云出抓取位…

从高海拔到严寒季的测量作业更要「快准稳」,怎么实现?

西藏那曲海拔4500米公路勘测项目赶工期 “必须要保障在西藏那曲地区承接的公路勘测项目赶工期需求&#xff0c;海拔高达4500米、网络通讯不足、部分范围存在无网以及地基信号覆盖可能不足的情况&#xff0c;需要能满足环境和项目需求的专业RTK设备紧急送到。” 客户的一个电话…

做外贸是否需要代运营?

相信很多做外贸的小伙伴或者公司都有这样的一个困扰&#xff0c;尤其是做SEO以及平台的公司&#xff0c;会很纠结要不要将公司的运营承包出去。 而之所以有这样的困扰&#xff0c;一部分是公司的业务员可能并不擅长运营&#xff0c;或者是业务员抽不出时间去管理运营这块。 而…

映射网络驱动器自动断开的解决方法

如果将驱动器映射到网络共享&#xff0c;映射的驱动器可能会在定期处于非活动状态后断开连接&#xff0c;并且 Windows 资源管理器可能会在映射驱动器的图标上显示红色 X。&#xff0c;出现此行为的原因是&#xff0c;系统可以在指定的超时期限后断开空闲连接&#xff0c; (默认…

PWA缓存策略区别NetworkOnly/CacheFirst/CacheOnly/NetworkFirst/StaleWhileRevalidate

现在来看看 Workbox 提供的缓存策略&#xff0c;主要有这几种&#xff1a; cache-first, cache-only, network-first, network-only, stale-while-revalidate 在前面看到&#xff0c;实例化的时候会给 workbox 挂载一个 Strategies 的实例。提供上面一系列的缓存策略&…

半导体制造中的压缩气体及其高压扩散器如何选择 北京中邦兴业

了解高压扩散器 高压扩散器&#xff08;HPD&#xff09;对于保持压缩气体样品中颗粒计数的精度至关重要。它们充当颗粒计数器和压缩气体管线之间的纽带&#xff0c;在气体进入颗粒计数器的样品入口时使其扩散。这确保了压力得到控制&#xff0c;以防止对颗粒计数器样品室的敏感…

uniapp学习(001 前期介绍)

零基础入门uniapp Vue3组合式API版本到咸虾米壁纸项目实战&#xff0c;开发打包微信小程序、抖音小程序、H5、安卓APP客户端等 总时长 23:40:00 共116P 此文章包含第1p-第p10的内容 简介 目录结构 效果 打包成小程序 配置开发者工具 打开安全按钮 使用uniapp的内置组件…

3DMAX一键虚线图形插件DashedShape使用方法

3DMAX一键虚线图形插件使用方法 3dMax一键虚线图形插件&#xff0c;允许从场景中拾取的样条线创建虚线形状。该工具使你能够创建完全自定义的填充图案&#xff0c;为线段设置不同的材质ID&#xff0c;并在视口中进行方便的预览。 【版本要求】 3dMax 2012 – 2025&#xff08;…

数据结构与算法笔记:基础篇 - 数组:为什么数组都是从0开始编号

概述 提到数组&#xff0c;大家应该都不陌生。每一种编程语言基本都会有数组这种数据类型。不过&#xff0c;它不仅仅是一种编程语言中的数据类型&#xff0c;还是一种基础的数据结构。尽管数组看起来非常简单&#xff0c;但是我估计很多人并没有理解这个数据结构的精髓。 在…

AB测试实战

AB测试实战 1、AB测试介绍&#x1f43e; 很多网站/APP的首页都会挂一张头图(Banner)&#xff0c;用来展示重要信息&#xff0c;头图是否吸引人会对公司的营收带来重大影响&#xff0c;一家寿险公司Humana设计了如下三张头图&#xff0c;现在需要决定使用哪一张放到首页&#x…