cpp多线程（二）——对线程的控制和锁的概念

这篇文章是笔者学习cpp多线程操作的第二篇笔记，没有阅读过第一篇的读者可以移步此处：

Cpp多线程（一）-CSDN博客

如果读者发现我的文章里有问题，欢迎交流哈！
 

一、如何控制线程呢？

c++11在std::this_thread名称空间（显然，这是一个嵌套在大名称空间里的小名称空间）内定义了一系列公共函数来管理线程。

1、get_id

获得当前线程id

2、yield

将当前线程时间片让渡给其他线程

3、sleep_until

当前线程休眠直到某个时间点

4、sleep_for

当前线程休眠一段时间

单纯看这些定义其实无法准确理解这些函数的意义。实践出真知，下面我们启动小实验来理解这些函数。

实验一：使用get_id
#include <iostream>
#include <thread>

void func1(void)
{
	std::thread::id thread1_id=std::this_thread::get_id();
	std::cout<<thread1_id<<std::endl;
}

int main(void)
{
	std::thread thread1(func1);
	thread1.join();
	std::thread::id mainthread_id=std::this_thread::get_id();
	std::cout<<mainthread_id<<std::endl;
}

输出结果： 

2

1

由此我们发现：

1、get_id函数必须包含在名称空间std::this_thread里

2、get_id函数一般是没有参数的

3、查阅资料发现，get_id函数的返回值的具体类型由编译器定义。但是，任何编译器都定义了std::thread::id这一结构（类）来储存线程id。std::cout函数可以直接打印这一类型

4、在子线程和主线程中均可以使用get_id()

实验二：使用yield

yield函数的使用方法和get_id类似。

调用std::this_thread::yield()时，当前线程会主动放弃执行权，使得操作系统的线程调度器可以重新安排其他可运行的线程来执行。这样做可以提高多线程程序的执行效率和公平性。

需要注意的是，std::this_thread::yield()只是一个建议，具体的线程调度行为取决于操作系统和调度器的实现。在某些情况下，调度器可能会忽略该建议，继续让当前线程执行。

#include <iostream>
#include <thread>
#include <windows.h>

void func1(void)
{
	std::this_thread::yield();
	while(true)
	{
		std::this_thread::yield();
		std::cout<<"thread1"<<std::endl;
		Sleep(1000);
	}
}

void func2(void)
{
	while(true)
	{
		std::cout<<"thread2"<<std::endl;
		Sleep(1000);
	}	
}



int main(void)
{
	std::thread thread1(func1);
	std::thread thread2(func2);
	thread1.join();
	thread2.join();	
}

输出结果：

thread1thread2

thread2
thread1
thread2thread1

......

可以看到，由于yield的作用，从第二次打印开始，thread2往往比thread1能够先进行打印。而如果注释掉std::this_thread::yield()，那么由于thread1比thread2先定义，thread1往往比thread2先打印。

实验三：使用sleep_for

下面的程序，主线程打印1 2 3，子线程打印4 5 6。为了让打印的数字是有顺序的，使用sleep_for函数让子线程暂停1秒，等待主线程的打印结束。（当然，现实中写程序肯定不会这么设计，我只是在呈现一种最简单的情况）

注意，这里使用了std::chorno::seconds，这是定义在chrono库中的一个类，用于表示时间。

#include <iostream>
#include <thread>
#include <chrono>

void func1(void)
{
	std::this_thread::sleep_for(std::chrono::seconds(1));
	for(int i=4;i<=6;i++)
		std::cout<<i<<std::endl;
}

int main(void)
{
	std::thread thread1(func1);
	for (int i=1;i<=3;i++)
		std::cout<<i<<std::endl;
	thread1.join();
}

输出结果：

1

2

3

4

5

6

由此我们发现：

1、sleep_for()函数的参数可以是std::chrono::seconds类型，也可以是chrono库中其他时间类型

2、sleep_for()函数没有返回参数

二、互斥锁mutex

1、为什么引入锁这个概念？

先看这段两线程轮流打印的代码：

#include <iostream>
#include <thread>
#include <windows.h>

void func1(void)
{
	while(true)
	{
		std::cout<<"thread1"<<std::endl;
		Sleep(1000);
	}
}

void func2(void)
{
	while(true)
	{
		std::cout<<"thread2"<<std::endl;
		Sleep(1000);
	}	
}

int main(void)
{
	std::thread thread1(func1);
	std::thread thread2(func2);
	thread1.join();
	thread2.join();	
}

正如我们之前所展示的那样，由于thread1和thread2轮流占用std::cout这一输出流对象，导致输出结果并不是我们想象的那样规整：

thread1

thread2

thread1

thread2

而是会出现这样的情况

thread1thread2

thread1

thread2

所以，我们引入mutex互斥锁这一概念。通过mutex锁的操作，使当thread1使用输出流对象时，把输出流对象锁住。这样，thread2将不被允许使用输出流对象。

#include <iostream>
#include <thread>
#include <windows.h>
#include <mutex>

std::mutex mtx;

void func1(void)
{
	while(true)
	{
		mtx.lock();
		std::cout<<"thread1"<<std::endl;
		Sleep(1000);
		mtx.unlock();
	}
}

void func2(void)
{
	while(true)
	{
		mtx.lock();
		std::cout<<"thread2"<<std::endl;
		Sleep(1000);
		mtx.unlock();
	}	
}

int main(void)
{
	std::thread thread1(func1);
	std::thread thread2(func2);
	thread1.join();
	thread2.join();	
}

读者可以自行验证上面这段代码，输出结果将非常规整，不会出现上面那种情况。这就使锁所产生的效果。

2、如何理解锁的概念？

如果把内存比作一个个小房间，那么各个线程就要在各个房间里存取数据。如果两个线程同时存取数据，可能会造成一些错误。所以，当线程1在这个房间里存储数据时，就需要把这个房间锁住。线程2若要使用这个房间的数据，就要在外面等待。（具体的方式有线程阻塞，停止执行，即互斥锁；也有循环等待直到锁被打开，即自旋锁）

3、C++如何定义锁？

c++11的mutex库中定义了std::mutex类，作为操作锁的句柄，用来管理锁的各种行为。mutex类的具体实现对用户封闭，下面只介绍一些对外的接口（API）。了解这些接口（包括mutex的构造函数和公有函数）即可实现锁的操作。

--实例化锁对象

通常把锁对象实例化为全局变量：

#include <mutex>
//mutex类被定义在mutex中

std::mutex mtx;

void func()
{}

int main()
{}

--最简单的上锁和解锁

对mtx使用lock()方法，可以实现上锁操作。使用unlock()方法，可以解锁

假若线程1运行的是func函数，value是定义在全局的变量。

int value=0;
std::mutex mtx;


void func()
{
    mtx.lock();
    value+=1;
    mtx.unlock();
}

那么，在func1访问改写value变量前，添加mtx.lock()语句可以对value变量上锁；此时只有线程1可以访问value，确保了数据安全。改写完毕，使用mtx.unlock()解锁。

可以形象地理解mtx.lock()——这句话就好像给线程1一大把锁和钥匙，线程1要访问哪些变量（特指别的线程也可以访问地公共变量），就在访问时加一把锁，直到访问完成，才把它解开。在此期间，如果线程2也要访问这个变量，就会被暂停.直到线程1处理完毕，线程2才能被唤醒继续执行。

所以，锁这个类写的非常智能，优先拿到锁的线程要访问哪些对象，就把哪些对象锁住。

mtx.lock();
//这中间出现的变量，资源全部被锁保护，别人不许碰！！！
mtx.unlock();
//这之后出现的变量，就不一定是当前线程优先访问了！！！

注意，解锁是非常重要的。试想，你使用一个房间后不解锁，直接翻窗走了（额，有点滑稽。但如果一个函数结束了，就是这样，直接消失），那么这个房间就一直锁住了，别人没有钥匙，不能用了。

--不同线程存在竞争关系
#include <iostream>
#include <thread>
#include <windows.h>
#include <mutex>

std::mutex mtx;

void func1(void)
{
	while(true)
	{
		mtx.lock();
		std::cout<<"thread1"<<std::endl;
		Sleep(1000);
		mtx.unlock();
	}
}

void func2(void)
{
	while(true)
	{
		mtx.lock();
		std::cout<<"thread2"<<std::endl;
		Sleep(1000);
		mtx.unlock();
	}	
}

int main(void)
{
	std::thread thread2(func2);
	std::thread thread1(func1);
	thread1.join();
	thread2.join();	
}

还是刚刚这一段代码，我们交换线程1和2的注册顺序。发现输出结果就变成了

thread2

thread1

thread2

......

这是由于thread2先注册，可以先抢夺锁的资源，拿到锁后，过河拆桥。不让thread1访问输出流对象了！（当然，thread2访问完毕后，还是要按照规则去唤醒thread1，所以第二个执行的必须是thread1线程）

4、其他方式实现锁

这里介绍mutex库中一个模板类——std::lock_guard。顾名思义，这个类模板实例化后能像保安一样帮我锁门开门（太形象了！）

把mtx.lock()出现的位置使用下面的语句：

std::lock_guard<std::mutex> mylock_guard(mtr);

这是在使用类的构造函数，参数是之前定义的锁mtr。之后，在函数作用域中出现的全局变量和公共资源都会被锁住。

下面的示例代码就用两种方式实现了锁：

#include <iostream>
#include <thread>
#include <windows.h>
#include <mutex>

std::mutex mtx;

void func1(void)
{
	while(true)
	{
		std::lock_guard<std::mutex> my_guard(mtx);
		std::cout<<"thread1"<<std::endl;
		Sleep(1000);
	}
}

void func2(void)
{
	while(true)
	{
		mtx.lock();
		std::cout<<"thread2"<<std::endl;
		Sleep(1000);
		mtx.unlock();
	}	
}

int main(void)
{
	std::thread thread2(func2);
	std::thread thread1(func1);
	thread1.join();
	thread2.join();	
}

可以发现，guard的作用区域是while循环内部。

这就像你雇佣了一群保安大叔，当你进入某个房间（内存）时，帮你锁上门；等你出来，自动帮你把门解锁了（怎么和现实相反了？？？）。

参考资料：

『面试问答』：互斥锁、自旋锁和读写锁的区别是什么？_哔哩哔哩_bilibili

C++多线程详解（全网最全） - 知乎 (zhihu.com)

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

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

相关文章

PBR材质背光面太暗优化

PBR材质背光面太暗优化

图形学中漫反射光照遵循兰伯特光照模型&#xff0c;它的公式如下 其中&#xff1a; &#xff1a;漫反射光颜色 &#xff1a;入射光颜色 &#xff1a;材质的漫反射系数 &#xff1a;法线方向 &#xff1a;光源方向 由于背光面的法线方向和光源方向的点积为负数&#xff0c;因此…
阅读更多...
操作系统课程设计-Windows 线程的互斥和同步

操作系统课程设计-Windows 线程的互斥和同步

目录 前言 1 实验题目 2 实验目的 3 实验内容 3.1 步骤 3.2 关键代码 3.2.1 创建生产者和消费者进程 3.2.2 生产者和消费者进程 4 实验结果与分析 5 代码 前言 本实验为课设内容&#xff0c;博客内容为部分报告内容&#xff0c;仅为大家提供参考&#xff0c;请勿直接抄…
阅读更多...
python PyQt5的学习

python PyQt5的学习

一、安装与配置 1、环境&#xff1a; python3.7 2、相关模块 pip install pyqt5 pyqt5-tools pyqt5designer 可以加个镜像 -i https://pypi.tuna.tsinghua.edu.cn/simple3、配置设计器 python的pyqt5提供了一个设计器&#xff0c;便于ui的设计 界面是这样的&#xff1a…
阅读更多...
MySQL三大日志

MySQL三大日志

1. redo log 1.1 特点 InnoDB存储引擎独有物理日志&#xff0c;记录在数据页上做的修改让MySQL拥有了崩溃恢复能力&#xff0c;保证事务的持久性 1.2 刷盘时机 事务提交时log buffer 空间使用大约一半时事务日志缓冲区满InnoDB 定期执行检查点Checkpoint后台刷新线程&#…
阅读更多...
网工内推 | 运维工程师，最高10K*15薪，思科认证优先

网工内推 | 运维工程师，最高10K*15薪，思科认证优先

01 乐歌股份 招聘岗位&#xff1a;服务器运维工程师 职责描述&#xff1a; 1、负责公司云上云下所有服务器的日常运维工作&#xff0c;包括应用部署、巡检、备份、日志、监控&#xff0c;故障处理&#xff0c;性能优化等&#xff0c;保障公司相关系统稳定运行。 2、为开发、测…
阅读更多...
SMART PLC 模拟量批量转换功能块“Multi_ITR“

SMART PLC 模拟量批量转换功能块“Multi_ITR“

模拟量输入转换功能块S_ITR详细公式和代码介绍请查看下面文章链接： https://rxxw-control.blog.csdn.net/article/details/121347697https://rxxw-control.blog.csdn.net/article/details/121347697Smart PLC指针和FOR循环组合应用 https://rxxw-control.blog.csdn.net/arti…
阅读更多...
go实现判断20000数据范围内哪些是素数（只能被1和它本身整除的数）,采用多协程和管道实现

go实现判断20000数据范围内哪些是素数（只能被1和它本身整除的数）,采用多协程和管道实现

实现一个并发程序&#xff0c;用于寻找 20000 以内的所有素数。使用了 Goroutines 和 Channels 来分发和处理任务&#xff0c;并通过 WaitGroup&#xff08;实现为 exitChan&#xff09;来同步 Goroutines 的退出。 一.GO代码 package mainimport ("fmt""time…
阅读更多...
捍卫中华数学产权系列6.Σ1/n的分级通式与对应的求和公式

捍卫中华数学产权系列6.Σ1/n的分级通式与对应的求和公式

调和级数Σ1/n在欧系数学是极为重要的概念&#xff0c;它是纯粹数学的七寸、关乎欧系数学的存废。然而欧洲人对Σ1/n从来没有发现任意一个求和公式。本人以简单而充分的逻辑给Σ1/n进行了多种多样的分级、并给出了各自对应的求和公式&#xff0c;所以&#xff0c;一切关于调和级…
阅读更多...
vue+elementui实现12个日历平铺，初始化工作日，并且可点击

vue+elementui实现12个日历平铺，初始化工作日，并且可点击

<template><div class"app-container"><el-form :model"queryParams" ref"queryForm" size"small" :inline"true"><el-form-item label"年份" prop"holidayYear"><el-date-…
阅读更多...
Verilog基础：强度建模（一）

Verilog基础：强度建模（一）

相关阅读 Verilog基础https://blog.csdn.net/weixin_45791458/category_12263729.html?spm1001.2014.3001.5482 一、强度建模基础 Verilog HDL提供了针对线网信号0、1、x、z的精准强度建模方式&#xff0c;这样可以允许将两个线网信号进行线与操作从而更加精确地描述出硬件行…
阅读更多...
string 模拟实现

string 模拟实现

string的数据结构 char* _str; size_t _size; size_t _capacity; _str 是用来存储字符串的数组&#xff0c;采用new在堆上开辟空间&#xff1b; _size 是用来表示字符串的长度&#xff0c;数组大小strlen(_str)&#xff1b; _capacity 是用来表示_str的空间大小, _capacity…
阅读更多...
使用 Postman 发送 get 请求的简易教程

使用 Postman 发送 get 请求的简易教程

在API开发与测试的场景中&#xff0c;Postman 是一种普遍应用的工具&#xff0c;它极大地简化了发送和接收HTTP请求的流程。要发出GET请求&#xff0c;用户只需设定正确的参数并点击发送即可。 如何使用 Postman 发送一个GET请求 创建一个新请求并将类型设为 GET 首先&#…
阅读更多...
余承东发声！预测：2024年，鸿蒙OS将取代苹果iOS…

余承东发声！预测：2024年，鸿蒙OS将取代苹果iOS…

半导体行业观察机构Techinsights&#xff0c;1月3日发布报告预测&#xff1b;从2024年起&#xff0c;鸿蒙Harmony OS将取代苹果iOS&#xff0c;成为中国市场上第二大智能手机操作系统。 TechInsights预测&#xff0c;2024年全球智能手机销量将同比反弹3%。华为手机在2024年将坚…
阅读更多...
基于Harris角点的多视角图像全景拼接算法matlab仿真

基于Harris角点的多视角图像全景拼接算法matlab仿真

目录 1.算法运行效果图预览 2.算法运行软件版本 3.部分核心程序 4.算法理论概述 4.1 Harris角点检测 4.2 图像配准 4.3 图像变换和拼接 4.4 全景图像优化 5.算法完整程序工程 1.算法运行效果图预览 2.算法运行软件版本 matlab2022a 3.部分核心程序 function [ImageB…
阅读更多...
k8s---ingress对外服务（ingress-controller）

k8s---ingress对外服务（ingress-controller）

ingress 概念 k8s的对外服务&#xff0c;ingress service作用现在两个方面&#xff1a; 1、集群内部&#xff1a;不断跟踪的变化&#xff0c;更新endpoint中的pod对象&#xff0c;基于pod的ip地址不断变化的一种服务发现机制。 2、集群外部&#xff1a;类似于负载均衡器&a…
阅读更多...
如何在Linux运行RStudio Server并实现Web浏览器远程访问

如何在Linux运行RStudio Server并实现Web浏览器远程访问

&#x1f308;个人主页: Aileen_0v0 &#x1f525;热门专栏: 华为鸿蒙系统学习|计算机网络|数据结构与算法 ​&#x1f4ab;个人格言:“没有罗马,那就自己创造罗马~” 文章目录 前言1. 安装RStudio Server2. 本地访问3. Linux 安装cpolar4. 配置RStudio server公网访问地址5. …
阅读更多...
Linux系统编程（二）文件IO/系统调用IO

Linux系统编程（二）文件IO/系统调用IO

一、IO 简介 I/O 是一切实现的基础&#xff1a; 标准 IO&#xff08;stdio&#xff09;&#xff1b;系统调用 IO&#xff08;sysio&#xff0c;文件IO&#xff09;&#xff1b; 不同系统上的系统调用 IO 的使用方式可能不一样&#xff0c;为了隐藏不同系统上的细节&#xff…
阅读更多...
mysql 为大表新增字段或索引

mysql 为大表新增字段或索引

1 问题 mysql 为大表增加或增加索引等操作时&#xff0c;直接操作原表可能会因为执行超时而导致失败。解决办法如下。 2 解决办法 &#xff08;1&#xff09;建新表-复制表A 的数据结构&#xff0c;不复制数据 create table B like A; &#xff08;2&#xff09;加字段或索…
阅读更多...
使用muduo库编写网络server端

使用muduo库编写网络server端

muduo库源码编译安装和环境搭建 C muduo网络库知识分享01 - Linux平台下muduo网络库源码编译安装-CSDN博客 #include<iostream> #include<muduo/net/TcpServer.h> #include<muduo/net/EventLoop.h> using namespace std; using namespace muduo; using name…
阅读更多...
两道有挑战的问题（算法村第九关黄金挑战）

两道有挑战的问题（算法村第九关黄金挑战）

将有序数组转换为二叉搜索树 108. 将有序数组转换为二叉搜索树 - 力扣&#xff08;LeetCode&#xff09; 给你一个整数数组 nums &#xff0c;其中元素已经按 升序 排列&#xff0c;请你将其转换为一棵 高度平衡 二叉搜索树。 高度平衡 二叉树是一棵满足「每个节点的左右两个…
阅读更多...
最新文章

Copyright @ 2022~2023