c++20中的jthread再谈

2024-03-29 23:28
文章标签 c++ 20 再谈 jthread

本文主要是介绍c++20中的jthread再谈,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、介绍

在前面的C++20新功能中,简单的介绍过相关的std::jthread的应用。当时觉得它虽然比std::thread方便一些,但也没有多大的优势。可在后面的不断的学习中,发现std::jthread的使用上确实有优秀之处,相对于传统的线程编程,等于是提前安全的封装了对线程安全管理和控制的相关模块和接口。

二、std::jthread应用

一般来说对线程的应用主要有以下几类:
1、线程管理
线程管理,就是对线程的按需启动和安全退出有一个最基础的要求,在std::thread中可以通过线程分离和Join来控制线程的安全退出,使用一些变量来处理线程中循环的退出。但这些在std::jthread中都有了安全的应用机制:
线程启动:直接启动即可。
线程退出处理:自动合并joining,这个没什么可说的。
线程停止控制:线程取消使用std::stop_token和std::stop_source。std::stop_source负责维护线程的共享停止状态,提供了一种发出停止线程的请求方法。它可以与std::stop_token与std::stop_callback共同工作。std::stop_token可以理解成一种对线程退出状态的查看(查看关联的std::stop_source),如果满足条件就退出。
其实线程的启动还相对好控制一些,特别是线程的退出,一般对初学者来说,都是比较难以驾驭的,经常是线程退出整个程序也崩溃了。所以std::jthread提供的这个退出控制还是不错的。

2、条件变量
在多线程编程中,Linux环境下使用条件变量的很多,但在C++20中配合std::condition_variable_any,则会更加方便。std::condition_variable_any比std::condition_variable应用更广泛,而不只是局限于对 std::unique_lockstd::mutex的控制,意味着能支持更多的锁机制。

#include <condition_variable>
#include <iostream>
#include <mutex>
#include <thread>void testConditionAny(std::stop_token sToken) {std::mutex mutex;std::unique_lock lock(mutex);// cv_any::wait内部含std::stop_token的重载,当sToken停止会调用cv_any的唤醒动作std::condition_variable_any().wait(lock, sToken, [] {//这个谓词类似于处理假唤醒的bool值return false;});std::cout << "jthread function testConditionAny quit!" << std::endl;
}
int main() {//jthread的RAII封装会调用request_stop()std::jthread testAny(testConditionAny);std::this_thread::sleep_for(std::chrono::seconds(1));return 0;
}

其实这个和普通的condition_variable的用法是一致的。

3、回调处理
如果说上面的“条件变量”和std::jthread没有必然联系,但在线程中的回调还是相当重要的。在C++20中针对std::jthread则提供了一个回调std::stop_callback类。这个有一个细节需要注意,如果是此回调执行了,则在关联的 std::stop_token 的std::stop_source 调用了 request_stop() 的同一线程中调用。否则在构造的线程中执行。

三、例程

先看一个stop_source的例程:

#include <chrono>
#include <iostream>
#include <stop_token>
#include <thread>using namespace std::chrono_literals;void worker_fun(int id, std::stop_source stop_source)
{std::stop_token stoken = stop_source.get_token();for (int i = 10; i; --i){std::this_thread::sleep_for(300ms);if (stoken.stop_requested()){std::printf("  工作线程%d 被请求停止\n", id);return;}std::printf("  工作线程%d 返回睡眠\n", id);}
}int main()
{std::jthread threads[4];std::cout << std::boolalpha;auto print = [](const std::stop_source& source){std::printf("stop_source stop_possible = %s, stop_requested = %s\n",source.stop_possible() ? "true" : "false",source.stop_requested() ? "true" : "false");};// 普通停止信号源std::stop_source stop_source;print(stop_source);// 创建工作线程for (int i = 0; i < 4; ++i)threads[i] = std::jthread(worker_fun, i + 1, stop_source);std::this_thread::sleep_for(500ms);std::puts("请求停止");stop_source.request_stop();print(stop_source);// 注意:jthreads 的析构函数会调用 join,因此无需显式调用
}

运行结果:

stop_source stop_possible = true, stop_requested = false工作线程2 返回睡眠工作线程3 返回睡眠工作线程1 返回睡眠工作线程4 返回睡眠
请求停止
stop_source stop_possible = true, stop_requested = true工作线程3 被请求停止工作线程1 被请求停止工作线程2 被请求停止工作线程4 被请求停止

再看一个回调函数的:

#include <chrono>
#include <condition_variable>
#include <iostream>
#include <mutex>
#include <sstream>
#include <thread>using namespace std::chrono_literals;// 使用一个辅助类进行原子 std::cout 流输出。
class Writer {std::ostringstream buffer;public:~Writer() { std::cout << buffer.str(); }Writer &operator<<(auto input) {buffer << input;return *this;}
};int main() {// 工作线程。// 它将等待直至被请求停止。std::jthread worker([](std::stop_token stoken) {Writer() << "工作线程 id: " << std::this_thread::get_id() << '\n';std::mutex mutex;std::unique_lock lock(mutex);std::condition_variable_any().wait(lock, stoken, [&stoken] { return stoken.stop_requested(); });});// 在工作线程上注册停止回调。std::stop_callback callback(worker.get_stop_token(),[] { Writer() << "执行了停止回调,线程: " << std::this_thread::get_id() << '\n'; });// 可以提前销毁 stop_callback 对象以阻止其执行。{std::stop_callback scoped_callback(worker.get_stop_token(), [] {// 这里不会执行。Writer() << "作用域内的停止回调被执行,线程: " << std::this_thread::get_id() << '\n';});}// 演示由哪个线程何时执行 stop_callback。// 定义停止函数。auto stopper_func = [&worker] {std::cout << std::this_thread::get_id() << '\n';if (worker.request_stop())Writer() << "执行了停止请求,线程: " << std::this_thread::get_id() << '\n';elseWriter() << "未执行停止请求,线程: " << std::this_thread::get_id() << '\n';};// 使多个线程竞争以停止工作线程。std::jthread stopper1(stopper_func);std::jthread stopper2(stopper_func);stopper1.join();stopper2.join();// 已经请求停止后,立即执行新的 stop_callback。Writer() << "主线程: " << std::this_thread::get_id() << '\n';std::stop_callback callback_after_stop(worker.get_stop_token(), [] { Writer() << "执行了停止回调,线程: " << std::this_thread::get_id() << '\n'; });
}

执行结果:

工作线程 id: 140149702784576
140149694391872
140149685999168
执行了停止回调,线程: 140149694391872
执行了停止请求,线程: 140149694391872
未执行停止请求,线程: 140149685999168
主线程: 140149709902784
执行了停止回调,线程: 140149709902784

需要知道的是,stop_token 的获取可以从stop_source得到也可以从std::jthread得到,都有相关的获取API接口。
注:代码来自cppreference

四、总结

目前很少听说在实际工程中有应用jthread的,可能大家觉得thread就比较好用,也可能是开发习惯和代码惯性的问题。std::jthread需要支持的版本也比较高得到c++20,估计这也是一个非常重要的原因。毕竟,现在C++11都没有真正普及开来,很多开发者仍然只是使用一些非常简单的新特性。
还是要追上来,与是俱进!

这篇关于c++20中的jthread再谈的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

利用c++判断水仙花数并输出示例代码

《利用c++判断水仙花数并输出示例代码》水仙花数是指一个三位数,其各位数字的立方和恰好等于该数本身,:本文主要介绍利用c++判断水仙花数并输出的相关资料,文中通过代码介绍的非常详细,需要的朋友可以... 以下是使用C++实现的相同逻辑代码:#include <IOStream>#include <vec

基于C++的UDP网络通信系统设计与实现详解

《基于C++的UDP网络通信系统设计与实现详解》在网络编程领域,UDP作为一种无连接的传输层协议,以其高效、低延迟的特性在实时性要求高的应用场景中占据重要地位,下面我们就来看看如何从零开始构建一个完整... 目录前言一、UDP服务器UdpServer.hpp1.1 基本框架设计1.2 初始化函数Init详解

C++ 右值引用(rvalue references)与移动语义(move semantics)深度解析

《C++右值引用(rvaluereferences)与移动语义(movesemantics)深度解析》文章主要介绍了C++右值引用和移动语义的设计动机、基本概念、实现方式以及在实际编程中的应用,... 目录一、右值引用(rvalue references)与移动语义(move semantics)设计动机1

C++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解

《C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解》:本文主要介绍C++,C#,Rust,Go,Java,Python,JavaScript性能对比全面... 目录编程语言性能对比、核心优势与最佳使用场景性能对比表格C++C#RustGoJavapythonjav

C++打印 vector的几种方法小结

《C++打印vector的几种方法小结》本文介绍了C++中遍历vector的几种方法,包括使用迭代器、auto关键字、typedef、计数器以及C++11引入的范围基础循环,具有一定的参考价值,感兴... 目录1. 使用迭代器2. 使用 auto (C++11) / typedef / type alias

C++ scoped_ptr 和 unique_ptr对比分析

《C++scoped_ptr和unique_ptr对比分析》本文介绍了C++中的`scoped_ptr`和`unique_ptr`,详细比较了它们的特性、使用场景以及现代C++推荐的使用`uni... 目录1. scoped_ptr基本特性主要特点2. unique_ptr基本用法3. 主要区别对比4. u

C++11中的包装器实战案例

《C++11中的包装器实战案例》本文给大家介绍C++11中的包装器实战案例,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录引言1.std::function1.1.什么是std::function1.2.核心用法1.2.1.包装普通函数1.2.