2.2 并发程序中使用STL容器

---

现在假设有一个双链表，为了让线程可以安全地删除某个节点。最简单的办法是用互斥量在添加和删除节点时保护整个链表，而不应该是只保护要删除节点以及它前后相邻的节点，这样往往会带来coding上的麻烦。

---

STL 接口引发的条件竞争

例如，STL中一个常见的模板类 stack，提供了下面的方法：

• push()
• pop()
• top()
• empty()
• size()

在单线程的应用程序上，我们可以安全地使用它们。但在并发程序中，就存在问题了。

设想，在并发程序中，假如两个线程运行同样的函数，在函数中当我们调用 empty() 和 size() 时，返回的结果是不可靠的。因为在返回以后，其它线程可能在这个时候 push() 或 pop() 了一些元素。

这种场景，靠互斥量对栈内的数据进行保护，是很难阻止由于接口造成的条件竞争的。一种解决方法是用同一个互斥量来保护 top() 和 pop()。

下面我们讨论为什么要把 top 和 pop 分开。

现在有 stack<vector<int>>这样一个栈，我们知道 vector 在拷贝时会从堆上分配足够的内存然后拷贝原始空间的元素过去，但系统如果可用的空间比较小，那么 vector 的拷贝构造函数可能会抛出 bad_alloc 异常。

所以，如果 pop 返回弹出的 vector<int>时，在拷贝数据的过程中可能抛出了异常，这样，这一份“栈顶”数据的确是从栈中弹出了，但却没有完成拷贝。

因此，pop 被分成了两部分。在保证数据安全的情况下，才能够 pop。

却没料到，这样的分割却造成了并发程序中的条件竞争。

可以考虑设计一个线程安全的栈（代码见书上的3.2.3节）。