STL线程安全讨论

最近在回头看STL里面的实现，也在进一步研究高性能服务器编程方面的东西，就想到那STL在多线程情况下是否安全呢？

记录

STL是数据结构和算法的精妙实现，因此为了追求极致的效率，内部并没有给所有的操作加锁。对于STL的容器而言，只有下面这两种情况可以保证线程安全：

• 多个线程同时读取同一个容器的内容
• 多个线程同时写不同的容器

其他的情况，比方说：多个线程同时读、写同一个容器。这就不是线程安全的了，因为我们知道，当对容器进行写入操作时，容器之前返回的迭代器就有可能会失效，例如：

• 往vector中添加元素引发重新分配内存，那么vector之前的迭代器就都会失效
• 往vector中添加一个元素，之前end操作返回的迭代器就会失效
• 当删除容器中某个元素时，之前返回的指向被删除元素的迭代器就失效
• 往deque除头尾外的其他位置添加元素，就会导致deque之前返回的所有的迭代器失效
• 往map中添加一个新元素，就会导致之前map返回的所有迭代器失效
• …等等

所以，在多线程环境下使用STL时，就要求程序员自己小心操作，对相应的操作实现线程安全版本，一般有以下解决方案：

• .每次调用容器的成员函数的期间需要锁定。
• 每个容器容器返回迭代器的生存期需要锁定。
• 每个容器在调用算法的执行期需要锁定。

其中我们要注意：加锁虽然会保障线程安全，但是也会付出消费空间的代价，在高并发编程中，锁往往会是性能瓶颈，我们在实际编程中要根据实际情况而做出对应方案，比方说：

• 如果多个线程读，少量线程写，那么锁就可以采用读写锁，提高效率
• 尽量减小锁的粒度等等