C++并发编程学习——3.在线程间共享数据

线程之间共享数据的问题

（1）竞争条件

竞争条件 指多个线程或者进程在读写一个共享数据时结果依赖于它们执行的相对 时间 的情形。

竞争条件发生在当多个进程或者线程在读写数据时，其最终的的结果依赖于多个进程的指令执行顺序。

用互斥元保护共享数据

（1）C++中的互斥元

C++中，通过构造 std::mutex 的实例创建互斥元，调用成员函数 lock() 锁定互斥元，调用成员函数 unlock() 来解锁。

然而直接调用mutex是不推荐的做法，因为必须记住在离开函数的每条路径上都要记得unlock。

所以，标准C++库提供了 std::lock_guard 类模板锁， 实现了RAII的管用语法（构造时锁定给定互斥元，析构时解锁） ，从而保护被锁定的互斥元始终被正确的解锁。

mutex与lock_guard声明都在<mutex>头文件中。

std::list<int> some_list;
std::mutex some_mutex;	//全局的锁some_mutex

void add_to_list(int new_value)
{
	std::lock_guard<std::mutex> guard(some_mutex);	//构造时加锁
	some_list.push_back(new_value);
	//析构guard时解锁
}
bool list_contains(int value_to_find)
{
	std::lock_guard<std::mutex> guard(some_mutex);	//访问时也加锁
	return std::find(some_list.begin(), some_l