多线程：共享数据

最新推荐文章于 2024-09-24 00:21:48 发布

xholes

最新推荐文章于 2024-09-24 00:21:48 发布

阅读量1k

点赞数

分类专栏： C++ 文章标签：多线程共享数据 C++

本文链接：https://blog.csdn.net/xholes/article/details/78150741

版权

C++ 专栏收录该内容

34 篇文章 0 订阅

订阅专栏

共享数据

问题的引出

数据涉及到共享，就意味着有多个对象可以对其进行操作。如果操作时只读的，那么所有对象获得的数据是一样的，这样看起来是很安全的，因为哪个对象都改变不了数据。最麻烦是当对象可以对数据进行修改的时候，如何保证各个对象获取”正确“的值是一个很重要的问题。

在并发过程中，两个线程对同一个数据的进行操作，其操作的先后顺序不一样，可能导致程序运行的结果不一样；或者一个线程对数据的修改没有完成而另一个线程也在同时进行修改这，这种操作就有很大的导致程序崩溃的风险。对于这种恶性竞争使用共享资源的情况，有多种机制可以来避免其发生。

1）一种是对数据结构和不变量的设计进行修改，使其具有一些不可分割的特性，保证每个不变量处于稳定的状态，这就是无锁编程。

2）另一种是使用事务的方式去处理数据结构中的更新。对数据的操作都存储在事务日志中作为一步进行提交，一旦数据被其他线程修改，则无法提交运行，该过程称之为”软件事务内存“。

互斥量的使用

为了让共享数据在使用的过程中，不发生恶性竞争，可以共享的数据标记为互斥量，也就是同一时间只能有一个线程在对其进行操作。这就保证了只能在一个线程对共享数据操作完成之后才能让给另一个线程进行操作，避免了同时对数据进行操作的情况发生。这种占有共享数据的操作称之为上锁，意思就是这个线程锁定了该数据，其他线程不能访问操作；解锁是该线程释放该数据的占有权，可以让其他线程进行操作。

在C++中，通过使用std::mutex来创建互斥量，使用lock()成员函数来进行上锁，unlock()成员函数来进行解锁。但使用这种上锁解锁的方式，意味着在函数的入口和出口均需要调用相关的函数，甚至包括异常情况的发生也需要。因此，可以使用C++标准库提供的RAII语法的模板类：std::lock_guard，它会在自动管理上锁和解锁的操作，而无需使用者去关心何时执行相关操作。

#include <list>
#include <mutex>

std::list<int> some_list;    
std::mutex some_mutex;   

void add_to_list(int new_value)
{
  std::lock_guard<std::mutex> guard(some_mutex);  
  some_list.push_back(new_value);
}

具有访问能力的指针或引用可以访问(并可能修改)被保护的数据，而不会被互斥锁限制。切勿将受保护数据的指针或引用传递到互斥锁作用域之外，无论是函数返回值，还是存储在外部可见内存，亦或是以参数的形式传递到用户提供的函数中去。

即使在一个很简单的接口中，依旧可能遇到条件竞争。对于一个共享的类对象，每个成员函数都对其共享的数据具有操作权限，而因为其操作的顺序不一样会使的其他一些成员函数的所返回的值不再可靠。