Нужно ли блокировать список STL с помощью мьютекса в сценарии push_back pop_front?

Question

У меня есть поток, возвращающийся в список STL, и другой поток, появляющийся из списка. Нужно ли блокировать список с помощью мьютекса в таком случае?

Answer 1

С STL SGI по безопасности потоков :

Если несколько потоков обращаются к одному контейнеру, и, по крайней мере, один поток может потенциально писать, то пользователь отвечает за обеспечение взаимного исключения между потоками во время доступа к контейнеру.

Поскольку обе ваши темы изменяют список, я думаю, вы должны заблокировать его.

Answer 2

Большинство реализаций STL поточно-ориентированы в том смысле, что вы можете получить доступ к нескольким экземплярам типа списка из нескольких потоков без блокировки. Но вы ДОЛЖНЫ заблокировать доступ к тому же экземпляру списка.

Посмотрите на это для получения дополнительной информации: Thread Safty в SGI STL

Answer 3

Нет никакой гарантии, что реализация STL является поточно-ориентированной, и, поскольку она стоит производительности, я думаю, что большинство из них - нет. Вы обязательно должны использовать мьютекс.

Answer 4

Поскольку операции stl pop / push не являются атомарными, вы должны использовать мьютекс.

Answer 5

Возможно. Эти операции недостаточно просты, чтобы быть атомарными, поэтому они будут поточно-ориентированными, только если реализация явно выполняет необходимую блокировку.

Однако в стандарте C ++ не указывается, должны ли эти операции быть поточно-ориентированными, поэтому решение об этом принимает индивидуальная реализация. Проверьте документы. (Или дайте нам знать, какую реализацию вы используете)