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

 

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

fastjson 泛型转换问题(详解)

系列文章目录 附属文章一&#xff1a;fastjson TypeReference 泛型类型&#xff08;详解&#xff09; 文章目录 系列文章目录前言一、代码演示1. 不存在泛型转换2. 存在泛型转换3. 存在泛型集合转换 二、原因分析三、解决方案1. 方案1&#xff1a;重新执行泛型的 json 转换2. …

使用Python突破网站验证码限制

之前有小伙伴说&#xff0c;在web自动化的过程中&#xff0c;经常会被登录的验证码给卡住&#xff0c;不知道如何去通过验证码的验证&#xff0c;今天专门给大家来聊聊验证码的问题。 常见的验证码一般分为两类&#xff0c;一类是图文验证码&#xff0c;一类是滑块验证码&#…

c#基础()

学习目标 了解&#xff1a;嵌套类&#xff0c;匿名类&#xff0c;对象初始化器 重点&#xff1a;类的定义以及对象&#xff0c;构造方法&#xff0c;this和static关键字 掌握&#xff1a;面向对象的概念&#xff0c;访问修饰符&#xff0c;垃圾回收 面向对象 面向对象的概…

面试题:SpringBoot启动流程

具体步骤 新建一个Spring应用程序 (new springApplication())&#xff1a; 确认web应用的类型加载ApplicationContextInitializer加载ApplicationListener记录主启动类 运行应用程序&#xff08;.run&#xff09;&#xff1a; 准备环境对象Environment&#xff0c;用于加载…

Java学习【String类详解】

Java学习【String类详解】 String的介绍及定义方式String类型的比较String类型的查找charAt()访问字符indexOf()查找下标 转化和替换数值和字符串转化大小写的转换字符串转数组格式化替换 字符串的拆分和截取split()拆分substring()截取trim()去除两边空格 StringBuilder和Stri…

09Linux GDB学习笔记

Linux GDB使用 目录 文章目录 Linux GDB使用先编译文件1.检查安装1.1 安装GDB 2.启动GDB3.退出GDB4.设置断点4.1 在指定行号处设置断点4.2 在指定函数名处设置断点4.3 在指定源文件和行号处设置断点 4.4查看断点信息4.5删除断点5.运行5.1 <font color#ff0000>逐过程&am…

java web爬虫

目录 读取本地文件 从网站读取文件 java爬虫 总结 读取本地文件 import java.io.File; import java.io.PrintWriter; import java.util.Scanner;public class ReplaceText {public static void main() throws Exception{File file new File("basic\\test.txt"…

Sui与Atoma合作为开发者提供AI支持

AI初创公司Atoma宣布其即将推出的推理网络将与Sui集成&#xff0c;该网络将使开发者能够在他们的应用程序中使用AI工具。Atoma选择Sui作为其第一个区块链集成对象是由于Sui的可扩展性和性能。 尽管生成式AI在过去几年中引起了轰动&#xff0c;但它尚未进入许多消费者应用程序。…

openfiler安装部署-1

openfiler安装部署 简介1 下载openfiler2 openfiler 安装2.1 vmware 典型配置2.2 稍后安装操作系统2.3 新建虚拟机向导2.4 命名虚拟机2.5 指定磁盘容量2.6 添加系统镜像&#xff0c;准备安装系统2.7 启动安装系统2.8 初始化磁盘&#xff0c;选择"Yes"2.9 创建分区&am…

软链接和硬链接

1.软链接 > 也称为符号链接 1.1软链接的创建 注&#xff1a;不管是源文件还是链接文件&#xff0c;最好都用上绝对路径 ln -s 链接源 链接名 //创建链接文件 ln -sf 链接源 链接名 //修改链接的源 s 如果目标链接名称已经存在&#xff0…

C语言数据结构排序、插入排序、希尔排序等的介绍

文章目录 前言打印数组函数一、插入排序二、希尔排序总结 前言 C语言数据结构排序、插入排序、希尔排序等的介绍 打印数组函数 打印数组函数定义 // 打印数组 void PrintArray(int* a, int n) {int i 0;for (i 0; i < n; i){printf("%d ", a[i]);}printf(&qu…

Vivado 比特流编译时间获取以及FPGA电压温度获取(实用)

Vivado 比特流编译时间获取以及FPGA电压温度获取 语言 &#xff1a;Verilg HDL 、VHDL EDA工具&#xff1a;ISE、Vivado Vivado 比特流编译时间获取以及FPGA电压温度获取一、引言二、 获取FPGA 当前程序的编译时间verilog中直接调用下面源语2. FPGA电压温度获取&#xff08;1&a…

大厂Java面试题:MyBatis的映射器(Mapper.xml)中有哪些常见的元素?

大家好&#xff0c;我是王有志。今天给大家带来的是一道来自京东的 MyBatis 面试题&#xff1a;MyBatis的映射器&#xff08;Mapper.xml&#xff09;中有哪些常见的元素&#xff1f;MyBatis 的映射器中提供了 9 个顶级元素&#xff0c;按照功能可以分为 3 类&#xff1a; SQL …

常用电机测试方法的介绍与功能实现(M测试方法)

目录 概述 1 常用电机测速方法简介 1.1 方法概览 1.2 编码器测速方法 2 M法测速 2.1 理论描述 2.2 实现原理 2.3 速度计算方法 3 功能实现 3.1 功能介绍 3.2 代码实现 3.2.1 使用STM32Cube配置参数 3.2.2 脉冲计数功能 3.2.3 测速函数 4 测试 概述 本文主要介绍…

MySQL:CRUD进阶(七千五百字)

文章目录 前置文章&#xff1a;&#x1f4d1;1. 数据库约束&#x1f324;️1.1 约束类型&#x1f324;️1.2 NULL约束&#x1f324;️1.3 Unique&#xff1a;唯一约束&#x1f324;️1.4 Default&#xff1a;默认值约束&#x1f324;️1.5 Primary key&#xff1a;主键约束&…

一个不错的讲解做竞品分析的方法

比如选了竞品1&#xff0c;竞品2&#xff0c;然后每个功能项&#xff0c;选定1个做标准被比较的锚点&#xff0c;比如外观&#xff0c;用竞品2&#xff0c;设置为1分&#xff0c;然后看竞品1&#xff0c;在外观的评分上&#xff0c;相比竞品2&#xff0c;是分数低点还是高点&am…

java期末细节知识整理(一)

1.java程序的执行过程&#xff1a;先编译后解释。也就是我们在idea写的文件叫做java源文件&#xff08;.java结尾的文件&#xff09;&#xff0c;经过编译器会生成字节码文件&#xff08;.class结尾的文件&#xff09;&#xff0c;再通过解释器进行实现 2.栈用来存储引用类型的…

免费实现网站HTTPS访问

HTTPS&#xff08;Hypertext Transfer Protocol Secure&#xff09;是一种基于SSL协议的HTTP安全协议&#xff0c;旨在为客户端&#xff08;浏览器&#xff09;与服务器之间的通信提供加密通道&#xff0c;确保数据在传输过程中的保密性、完整性和身份验证。与传统的HTTP相比&a…

C语言-单精度和双精度浮点型

文章目录 一、遇到的问题二、解决方案三、问题根因float和double的区别&#xff1a; 总结-浮点数 一、遇到的问题 将NXP项目的代码移植到RH850F1K的项目上时&#xff0c;程序运行异常&#xff1a; u16Volt (uint16)((double)u16ADVal * (double)6.3) 执行到这一行程序就跑飞了…

HMI-Board上手指南

介绍 HMI-Board为 RT-Thread 联合瑞萨推出的高性价比图形评估套件&#xff0c;取代传统的 HMI主控板硬件&#xff0c;一套硬件即可实现 HMIIoT控制的全套能力。依托于瑞萨高性能芯片 RA6M3 及 RT-Thread 软件生态&#xff0c;HMI-Board 不仅硬件性能强劲&#xff0c;同时软件生…