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

相关文章

Linux换行符的使用方法详解

《Linux换行符的使用方法详解》本文介绍了Linux中常用的换行符LF及其在文件中的表示,展示了如何使用sed命令替换换行符,并列举了与换行符处理相关的Linux命令,通过代码讲解的非常详细,需要的... 目录简介检测文件中的换行符使用 cat -A 查看换行符使用 od -c 检查字符换行符格式转换将

使用Jackson进行JSON生成与解析的新手指南

《使用Jackson进行JSON生成与解析的新手指南》这篇文章主要为大家详细介绍了如何使用Jackson进行JSON生成与解析处理,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 核心依赖2. 基础用法2.1 对象转 jsON(序列化)2.2 JSON 转对象(反序列化)3.

使用Python实现快速搭建本地HTTP服务器

《使用Python实现快速搭建本地HTTP服务器》:本文主要介绍如何使用Python快速搭建本地HTTP服务器,轻松实现一键HTTP文件共享,同时结合二维码技术,让访问更简单,感兴趣的小伙伴可以了... 目录1. 概述2. 快速搭建 HTTP 文件共享服务2.1 核心思路2.2 代码实现2.3 代码解读3.

Elasticsearch 在 Java 中的使用教程

《Elasticsearch在Java中的使用教程》Elasticsearch是一个分布式搜索和分析引擎,基于ApacheLucene构建,能够实现实时数据的存储、搜索、和分析,它广泛应用于全文... 目录1. Elasticsearch 简介2. 环境准备2.1 安装 Elasticsearch2.2 J

使用C#代码在PDF文档中添加、删除和替换图片

《使用C#代码在PDF文档中添加、删除和替换图片》在当今数字化文档处理场景中,动态操作PDF文档中的图像已成为企业级应用开发的核心需求之一,本文将介绍如何在.NET平台使用C#代码在PDF文档中添加、... 目录引言用C#添加图片到PDF文档用C#删除PDF文档中的图片用C#替换PDF文档中的图片引言在当

Java中List的contains()方法的使用小结

《Java中List的contains()方法的使用小结》List的contains()方法用于检查列表中是否包含指定的元素,借助equals()方法进行判断,下面就来介绍Java中List的c... 目录详细展开1. 方法签名2. 工作原理3. 使用示例4. 注意事项总结结论:List 的 contain

C#使用SQLite进行大数据量高效处理的代码示例

《C#使用SQLite进行大数据量高效处理的代码示例》在软件开发中,高效处理大数据量是一个常见且具有挑战性的任务,SQLite因其零配置、嵌入式、跨平台的特性,成为许多开发者的首选数据库,本文将深入探... 目录前言准备工作数据实体核心技术批量插入:从乌龟到猎豹的蜕变分页查询:加载百万数据异步处理:拒绝界面

Android中Dialog的使用详解

《Android中Dialog的使用详解》Dialog(对话框)是Android中常用的UI组件,用于临时显示重要信息或获取用户输入,本文给大家介绍Android中Dialog的使用,感兴趣的朋友一起... 目录android中Dialog的使用详解1. 基本Dialog类型1.1 AlertDialog(

Python使用自带的base64库进行base64编码和解码

《Python使用自带的base64库进行base64编码和解码》在Python中,处理数据的编码和解码是数据传输和存储中非常普遍的需求,其中,Base64是一种常用的编码方案,本文我将详细介绍如何使... 目录引言使用python的base64库进行编码和解码编码函数解码函数Base64编码的应用场景注意

使用Sentinel自定义返回和实现区分来源方式

《使用Sentinel自定义返回和实现区分来源方式》:本文主要介绍使用Sentinel自定义返回和实现区分来源方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Sentinel自定义返回和实现区分来源1. 自定义错误返回2. 实现区分来源总结Sentinel自定