Требуется ли блокировка отдельной очереди с отдельными потоками чтения и записи?

Question

У меня есть общая очередь (реализована с использованием обертки очереди singleton) и поток чтения и поток писем. У меня также есть механизм для информирования потока читателя, когда поток писателя добавляет элементы (enqueue) в очередь. Считывающий поток деактивирует только один элемент при его информировании. Есть ли необходимость в Read Write Lock в этом сценарии.

С тех пор, как писатель только выходит в очередь и читает читателя, я чувствую, что нет необходимости в блокировке, если читатель проверяет размер очереди при деоквинке.

Answer 1

Поскольку писатель только enqueing и читатель dequeing я чувствую, что нет никакой необходимости в замок, если читатель проверяет размер очереди при dequeing.

Среди других проблем, которые только одна операция уже небезопасна, когда очередь изменена другим потоком. В C++ любой несинхронизированный доступ к неатомной общей переменной (по крайней мере, один из них - это запись) представляет собой гонку данных и, следовательно, UB.

Answer 2

Я предполагаю, что вы имеете в виду stl :: queue и no большинство операций над контейнерами stl не являются нитями. Для обсуждения исключений см. C++11 STL containers and thread safety. STL предпочитает скорость над безопасностью (например, проверка диапазона для индексов массива и т. Д.), Предполагая, что разработчики будут выполнять свои собственные проверки.