STL下的deque，list是线程安全的吗？

kunp 2006-01-19 05:23:15

最近在linux下写了一个多线程的程序，用的gcc的库，
每个线程有一个消息deque或list，其他线程可往这个deque写数据，deque的宿主线程从这个deque中读数据，并进行删除，插入和删除我都没有加互斥，目前看来没有任何问题。
难道，deque和list是线程安全的德？访问和修改数据都是？

...全文

3627 12 打赏收藏转发到动态举报

写回复

用AI写文章

12 条回复

切换为时间正序

请发表友善的回复…

发表回复

nicknide 2006-01-24

打赏
举报

工程经验告诉我，使用STL（至少是MS的STL)必须自己设置保护。

wingfiring 2006-01-23

打赏
举报

要看怎么定义线程安全了。

从msdn中的说明来看，ms的stl一般而言也是线程安全的：
When /MT, /MTd, /MD, or /MDd is used, the following thread-safety rules are in effect:

Container Classes (vector, deque, list, queue, stack , priority_queue, valarray, map, multimap, set, multiset, basic_string, bitset) and complex
For reads to the same object, the object is thread safe for reading:

From one thread at a time when no writers on other threads.
From many threads at a time when no writers on other threads.
For writes to the same object, the object is thread safe for writing from one thread when no readers on other threads

For reads to different objects of the same class, the object is thread safe for reading:

From one thread at a time.
From one thread at a time when no writers on other threads.
From many threads at a time.
From many threads at a time when no writers on other threads.
For writes to different objects of the same class, the object is thread safe for writing:

From one thread when no readers on other threads.
From many threads.

关于iostream的部分，还有点特别说明，在msdn上有。
事实上，msdn上关于线程安全的定义和我们平常讨论的sgi stl的线程安全基本是一致的。因此，即使是sgi stl,在多个线程同时修改同一个对象时，仍然需要额外的互斥保证。

大概上面的线程安全定义给人毫无意义的概念：那么，什么样的代码不是线程安全的？通常－－只是通常，使用了全局变量、静态变量、线程局部存储的函数，都不是线程安全的。函数效应取决于内部状态的，也可能不是线程安全的。操作需要事务性保证的，往往也不是线程安全的。

Kid4you 2006-01-23

打赏
举报

线程安全和是否互斥是不=的.
多线程最好一定用上同步互斥

sinall 2006-01-21

打赏
举报

《Effective STL》
条款12：对STL容器线程安全性的期待现实一些
标准C++的世界是相当保守和陈旧的。在这个纯洁的世界，所有可执行文件都是静态链接的。不存在内存映射文件和共享内存。没有窗口系统，没有网络，没有数据库，没有其他进程。在这种情况下，当发现标准没有提到任何关于线程的东西时你不该感到惊讶。你对STL的线程安全有的第一个想法应该是它将因实现而不同。

当然，多线程程序是很普遍的，所以大部分STL厂商努力使他们的实现在线程环境中可以正常工作。但是，即使他们做得很好，大部分负担仍在你肩上，而理解为什么会这样是很重要的。STL厂商只能为你做一些可以减少你多线程的痛苦的事情，你需要知道他们做了什么。

在STL容器（和大多数厂商的愿望）里对多线程支持的黄金规则已经由SGI定义，并且在它们的STL网站[21]上发布。大体上说，你能从实现里确定的最多是下列内容：

多个读取者是安全的。多线程可能同时读取一个容器的内容，这将正确地执行。当然，在读取时不能有任何写入者操作这个容器。
对不同容器的多个写入者是安全的。多线程可以同时写不同的容器。
就这些了，那么让我解释你可以期望的是什么，而不是你可以确定的。有些实现提供这些保证，但是有些不。

写多线程的代码很难，很多程序员希望STL实现是完全线程安全的。如果是那样，程序员可以不再需要自己做并行控制。毫无疑问这将带来很多方便，但这也非常难实现。一个库可能试图以下列方式实现这样完全线程安全的容器：

在每次调用容器的成员函数期间都要锁定该容器。
在每个容器返回的迭代器（例如通过调用begin或end）的生存期之内都要锁定该容器。
在每个在容器上调用的算法执行期间锁定该容器。（这事实上没有意义，因为，正如条款32所解释的，算法没有办法识别出它们正在操作的容器。不过，我们将在这里检验这个选项，因为它的教育意义在于看看为什么即使是可能的它也不能工作。）

hsz8250 2006-01-21

打赏
举报

bruceteen(周星星) 所说的对,PJ STL（VC++）不过可以说STL的分配器是线程安全的~不过容器本身不是

bruceteen 2006-01-20

打赏
举报

STL标准是没有规定必须是线程安全的。
所以 PJ STL（VC++）的STL是非线程安全的，需要用户自己保证线程安全；
所以 SGI STL（G++）的STL是线程安全的，不需要用户自己保证线程安全。

to Atomictry：
“STL……要的是效率”是正确的，不过SGI STL的线程安全写得很优秀，对效率影响可以忽略不计。

Atomictry 2006-01-20

打赏
举报

你不能期望STL给你线程支持，它要的是效率。
1. 多个读是安全的。多线程可同时读取一个容器内容。当然，在读时不能有任何写入操作这个容器。
2. 对不同容器的多个写入是安全的。多线程可以同时写不同容器。注意，是不同容器。

你应该自己写一个针对容器的模板类来实现加锁(构造的时候加锁，析构的时候释放)，然后在访问容器的时候，定义一个该类的临时变量，临时变量可以保证如果抛出了异常，该临时对象也会被销毁，从而也释放掉锁。

wingfiring 2006-01-20