C++(12): std::mutex及其高级变种的使用

2024-04-03 23:52
文章标签 c++ 使用 高级 std 变种 mutex

本文主要是介绍C++(12): std::mutex及其高级变种的使用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 简述

在多线程或其他许多场景下,同时对一个变量或一段资源进行读写操作是一个比较常见的过程,保证数据的一致性和防止竞态条件至关重要。

C++的标准库中为我们提供了使用的互斥及锁对象,帮助我们实现资源的互斥操作。

2. std::mutex及其衍生互斥手段

(1)互斥类

std::mutex,最基本的 mutex 类。

std::recursive_mutex,递归 mutex 类。

std::time_mutex,定时 mutex 类。

std::recursive_timed_mutex,定时递归 mutex 类。

(2)RAII上锁

std::lock_guard,与 Mutex RAII 相关,方便线程对互斥量上锁。

std::unique_lock,与 Mutex RAII 相关,方便线程对互斥量上锁,但提供了更好的上锁和解锁控制。

(3)API

std::try_lock,尝试上锁。如果当前互斥量已经被其他线程占用,当前线程不会阻塞,而是立即返回false。如果当前互斥量没有被其他线程占用,当前线程会获得该互斥量,完成上锁。需要注意的是,如果当前线程已经获得了该互斥量,那么再次进行try_lock就会造成死锁。

std::lock,上锁。调用该API会将互斥两上锁,如果当前互斥量已经被其他线程占用,则会阻塞,知道当前线程获得该锁。

std::unlock:解锁。

std::call_once,如果多个线程需要同时调用某个函数,call_once 可以保证多个线程对该函数只调用一次。

3. std::mutex使用

        std::mutex是最简单的互斥量,可以单独使用为资源创建互斥环境,也可以与std::lock_guard合起来使用,实现一个RAII的应用。

        需要注意的是,std::mutex仅支持一次加锁和解锁。如下是一个简单地小程序。

/** 引用头文件. */#include <mutex>/** 创建互斥量. */std::mutex mtx;/** 需要共享的某个资源 */int sharedResource;/** 操作上述共享资源的函数 */void accessResource() {/** 尝试加锁 */mtx.lock();/** 临界区开始 - 访问共享资源 */sharedResource += 1;/** 临界区结束 - 释放锁 */mtx.unlock();}

        接下来是一个配合lock_guard使用的例程。

/** 引用头文件. */#include <mutex>/** 创建互斥量. */std::mutex mtx;/** 需要共享的某个资源 */int sharedResource;/** 操作上述共享资源的函数 */void accessResource() {/** 尝试加锁 */std::lock_guard<std::mutex> guard(mtx); // 自动加锁/** 临界区开始 - 访问共享资源 */sharedResource += 1;/** 退出函数,自动释放. */}

4. std::recursive_mutex递归锁

        从名字可以看出,递归所是可以多次上锁的,当然也需要配合多次解锁,通常情况下也仅用在递归环境下。

        如下是简单的使用std::recursive_mutex的示例。

#include <iostream>#include <thread>#include <mutex>std::recursive_mutex mtx;void func(int n) {mtx.lock();std::cout << "Thread " << n << " locked the mutex" << std::endl;if (n > 1) {func(n - 1);}std::cout << "Thread " << n << " unlocked the mutex" << std::endl;mtx.unlock();}int main() {std::thread t1(func, 3);std::thread t2(func, 2);t1.join();t2.join();return 0;}

        如下是配合lock_guard使用的示例。

#include <iostream>#include <thread>#include <mutex>std::recursive_mutex mtx;void func(int n) {std::lock_guard<std::recursive_mutex> guard(mtx);std::cout << "Thread " << n << " locked the mutex" << std::endl;if (n > 1) {func(n - 1);}std::cout << "Thread " << n << " unlocked the mutex" << std::endl;}int main() {std::thread t1(func, 3);std::thread t2(func, 2);t1.join();t2.join();return 0;}

5. std::timed_mutex

        std::timed_mutex 类似于 std::mutex,也是一个较为简单的锁。但是它额外提供了两个接口分别是 try_lock_for() 和 try_lock_until() 成员函数。前者允许线程尝试在一段时间内获取锁,如果在指定的时间内未能获得锁,线程将返回失败,并且可以根据返回值来判断是否继续等待或者执行其他逻辑。后者是一个确定的时间点,当到达指定的时间点以后,互斥锁不能够使用,则返回。

        使用 std::timed_mutex 可以帮助避免线程因为获取锁时长时间阻塞而导致程序性能下降或死锁情况的发生。

6. std::lock_guard和std::unique_lock

        std::lock_guard 和 std::unique_lock 都是 C++ 标准库中用于管理互斥量(mutex)的 RAII(Resource Acquisition Is Initialization,资源获取即初始化)包装器。它们都可以确保在持有互斥量的作用域内,互斥量会被安全地锁定和解锁,从而避免死锁和其他并发问题。不过,std::unique_lock 比 std::lock_guard 提供了更多的灵活性和功能。下面是它们的一些主要区别以及使用示例。

        我们在前面第3节和第4节都列举了使用lock_guard的使用,lock_guard的优点是使用简单,缺点是过于简单了。

        unique_lock能够实现和lock_guard一样的动能,也提供了更灵活的上锁和解锁控制。

        unique_lock含有第二参数,如下所示:


std::adopt_lock :表示这个互斥量已经被lock了,你必须要把互斥量提前lock了,否则会报异常。std::adopt_lock标记的效果就是假设调用一方已经拥有了互斥量的所有权(也就是已经lock成功了),通知lock_guard和unique_lock不需要 再构造函数中lock这个互斥量了。

std::try_to_lock:我们会尝试用mutex的lock()去锁定这个mutex,但是如果没有锁定成功,也会立即返回,并不会阻塞在那里;使用这个try_to_lock的前提是你自己不能先lock。

std::defer_lock:不给mutex加锁,初始化了一个没有加锁的mutex。

前面讲到,unique_lock比lock_guard更为灵活,体现在哪里呢?事实上,unique_lock还拥有自己的成员函数,我们可以灵活的调用它的成员函数进行加解锁,而不是依赖于RAII。


        unique_lock的成员函数如下

lock:调用所管理的mutex对象的lock函数;

try_lock:调用所管理的mutex对象的try_lock函数;

try_lock_for:调用所管理的mutex对象的try_lock_for函数

try_lock_until:调用所管理的mutex对象的try_lock_until函数;

unlock:调用所管理的mutex对象的unlock函数;

release :返回所管理的mutex对象的指针,并释放所有权,但不改变mutex对象的状态;

owns_lock:返回当前std::unique_lock对象是否获得了锁;

mutex:返回当前std::unique_lock对象所管理的mutex对象的指针;

swap:交换两个unique_lock对象;

这篇关于C++(12): std::mutex及其高级变种的使用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/874306

相关文章

Spring Boot 整合 SSE的高级实践(Server-Sent Events)

《SpringBoot整合SSE的高级实践(Server-SentEvents)》SSE(Server-SentEvents)是一种基于HTTP协议的单向通信机制,允许服务器向浏览器持续发送实... 目录1、简述2、Spring Boot 中的SSE实现2.1 添加依赖2.2 实现后端接口2.3 配置超时时

解决Maven项目idea找不到本地仓库jar包问题以及使用mvn install:install-file

《解决Maven项目idea找不到本地仓库jar包问题以及使用mvninstall:install-file》:本文主要介绍解决Maven项目idea找不到本地仓库jar包问题以及使用mvnin... 目录Maven项目idea找不到本地仓库jar包以及使用mvn install:install-file基

Python使用getopt处理命令行参数示例解析(最佳实践)

《Python使用getopt处理命令行参数示例解析(最佳实践)》getopt模块是Python标准库中一个简单但强大的命令行参数处理工具,它特别适合那些需要快速实现基本命令行参数解析的场景,或者需要... 目录为什么需要处理命令行参数?getopt模块基础实际应用示例与其他参数处理方式的比较常见问http

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

mysql中的group by高级用法

《mysql中的groupby高级用法》MySQL中的GROUPBY是数据聚合分析的核心功能,主要用于将结果集按指定列分组,并结合聚合函数进行统计计算,下面给大家介绍mysql中的groupby用法... 目录一、基本语法与核心功能二、基础用法示例1. 单列分组统计2. 多列组合分组3. 与WHERE结合使

使用Python从PPT文档中提取图片和图片信息(如坐标、宽度和高度等)

《使用Python从PPT文档中提取图片和图片信息(如坐标、宽度和高度等)》PPT是一种高效的信息展示工具,广泛应用于教育、商务和设计等多个领域,PPT文档中常常包含丰富的图片内容,这些图片不仅提升了... 目录一、引言二、环境与工具三、python 提取PPT背景图片3.1 提取幻灯片背景图片3.2 提取

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

使用Python实现图像LBP特征提取的操作方法

《使用Python实现图像LBP特征提取的操作方法》LBP特征叫做局部二值模式,常用于纹理特征提取,并在纹理分类中具有较强的区分能力,本文给大家介绍了如何使用Python实现图像LBP特征提取的操作方... 目录一、LBP特征介绍二、LBP特征描述三、一些改进版本的LBP1.圆形LBP算子2.旋转不变的LB

Maven的使用和配置国内源的保姆级教程

《Maven的使用和配置国内源的保姆级教程》Maven是⼀个项目管理工具,基于POM(ProjectObjectModel,项目对象模型)的概念,Maven可以通过一小段描述信息来管理项目的构建,报告... 目录1. 什么是Maven?2.创建⼀个Maven项目3.Maven 核心功能4.使用Maven H

Python中__init__方法使用的深度解析

《Python中__init__方法使用的深度解析》在Python的面向对象编程(OOP)体系中,__init__方法如同建造房屋时的奠基仪式——它定义了对象诞生时的初始状态,下面我们就来深入了解下_... 目录一、__init__的基因图谱二、初始化过程的魔法时刻继承链中的初始化顺序self参数的奥秘默认