C++并发编程实战 #2 在线程间共享数据

2024-06-10 13:04

本文主要是介绍C++并发编程实战 #2 在线程间共享数据,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

用互斥保护数据

在C++中,通过构造mutex的实例来创建互斥,调用成员函数lock()对其进行加锁,调用unlock()进行解锁。

不推荐直接使用成员函数进行加锁和解锁,因为若按此处理,则在函数的每条代码路径上都要调用unlock(),包括由于异常导致退出的路径。

因此,使用lock_guard<>来进行加锁和解锁。其在构造时给互斥加锁,在析构时解锁,从而保证互斥总被正确解锁。

int a = 0;
mutex m;void func() {lock_guard<mutex> guard(m);for (int i = 0; i < 10000; i++)a++;
}void otherfunc() {lock_guard<mutex> guard(m);for (int i = 0; i < 10000; i++)a++;
}int main()
{cout << a << endl;thread t1(func);thread t2(otherfunc);t1.join();t2.join();cout << a << endl;return 0;
}

指针或引用会造成互斥保护失效

class some_data{int a;string b;
public:void do_sth();
};class data_wrapper{some_data data;mutex m;
public:template<typename Function>void process_data(Function func){lock_guard<mutex> l(m);func(data);}
};some_data* unprotected;void malicious_function(some_data& protected_data){unprotected = &protected_data;
}data_wrapper x;void foo(){x.process_data(malicious_function);unprotected->do_sth();
}

在上面的例子中,process_data()函数内用lock_guard保护了数据的共享。但是,其参数是使用者提供的函数。

在foo()中,传入malicious_function,绕过了保护,直接调用了do_sth。

对于这种问题,C++线程库没有处理的方法,只有靠开发者正确的锁定互斥。

不得向锁所在的作用域之外传递指针和引用,指向受保护的数据。无论是通过函数返回值将它们保存到对外可见的内存,还是将它们作为参数传递给使用者提供的函数。

接口固有的条件竞争

在涉及到接口的情况下,有可能遇到条件竞争。如果多线程对同一个栈数据结构使用互斥进行数据读写操作,在线程调用empty()或size()时,返回值可能是正确的,但是一旦函数返回,其他线程不再受限,那么就能自由的访问栈容器,可能会有其他数据出栈或入栈,令前面的线程得到的结果失效。

stack<int> s;
if(!s.empty()){int value = s.top();s.pop();do_sth(value);
}

在empty与top()中间,可能会有其他线程调用pop()。这是典型的条件竞争,根本原因在于函数接口,即使在内部使用互斥保护栈容器中的元素,也无法防范。

需要将接口函数定义为线程安全的,例如重写一个线程安全的threadsafe_stack类。

这篇关于C++并发编程实战 #2 在线程间共享数据的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

详解如何使用Python构建从数据到文档的自动化工作流

《详解如何使用Python构建从数据到文档的自动化工作流》这篇文章将通过真实工作场景拆解,为大家展示如何用Python构建自动化工作流,让工具代替人力完成这些数字苦力活,感兴趣的小伙伴可以跟随小编一起... 目录一、Excel处理:从数据搬运工到智能分析师二、PDF处理:文档工厂的智能生产线三、邮件自动化:

Python数据分析与可视化的全面指南(从数据清洗到图表呈现)

《Python数据分析与可视化的全面指南(从数据清洗到图表呈现)》Python是数据分析与可视化领域中最受欢迎的编程语言之一,凭借其丰富的库和工具,Python能够帮助我们快速处理、分析数据并生成高质... 目录一、数据采集与初步探索二、数据清洗的七种武器1. 缺失值处理策略2. 异常值检测与修正3. 数据

pandas实现数据concat拼接的示例代码

《pandas实现数据concat拼接的示例代码》pandas.concat用于合并DataFrame或Series,本文主要介绍了pandas实现数据concat拼接的示例代码,具有一定的参考价值,... 目录语法示例:使用pandas.concat合并数据默认的concat:参数axis=0,join=

C/C++ chrono简单使用场景示例详解

《C/C++chrono简单使用场景示例详解》:本文主要介绍C/C++chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录chrono使用场景举例1 输出格式化字符串chrono使用场景China编程举例1 输出格式化字符串示

C#代码实现解析WTGPS和BD数据

《C#代码实现解析WTGPS和BD数据》在现代的导航与定位应用中,准确解析GPS和北斗(BD)等卫星定位数据至关重要,本文将使用C#语言实现解析WTGPS和BD数据,需要的可以了解下... 目录一、代码结构概览1. 核心解析方法2. 位置信息解析3. 经纬度转换方法4. 日期和时间戳解析5. 辅助方法二、L

C++/类与对象/默认成员函数@构造函数的用法

《C++/类与对象/默认成员函数@构造函数的用法》:本文主要介绍C++/类与对象/默认成员函数@构造函数的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录名词概念默认成员函数构造函数概念函数特征显示构造函数隐式构造函数总结名词概念默认构造函数:不用传参就可以

C++类和对象之默认成员函数的使用解读

《C++类和对象之默认成员函数的使用解读》:本文主要介绍C++类和对象之默认成员函数的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、默认成员函数有哪些二、各默认成员函数详解默认构造函数析构函数拷贝构造函数拷贝赋值运算符三、默认成员函数的注意事项总结一

使用Python和Matplotlib实现可视化字体轮廓(从路径数据到矢量图形)

《使用Python和Matplotlib实现可视化字体轮廓(从路径数据到矢量图形)》字体设计和矢量图形处理是编程中一个有趣且实用的领域,通过Python的matplotlib库,我们可以轻松将字体轮廓... 目录背景知识字体轮廓的表示实现步骤1. 安装依赖库2. 准备数据3. 解析路径指令4. 绘制图形关键

Java Spring 中的监听器Listener详解与实战教程

《JavaSpring中的监听器Listener详解与实战教程》Spring提供了多种监听器机制,可以用于监听应用生命周期、会话生命周期和请求处理过程中的事件,:本文主要介绍JavaSprin... 目录一、监听器的作用1.1 应用生命周期管理1.2 会话管理1.3 请求处理监控二、创建监听器2.1 Ser

C/C++中OpenCV 矩阵运算的实现

《C/C++中OpenCV矩阵运算的实现》本文主要介绍了C/C++中OpenCV矩阵运算的实现,包括基本算术运算(标量与矩阵)、矩阵乘法、转置、逆矩阵、行列式、迹、范数等操作,感兴趣的可以了解一下... 目录矩阵的创建与初始化创建矩阵访问矩阵元素基本的算术运算 ➕➖✖️➗矩阵与标量运算矩阵与矩阵运算 (逐元