Основной поток создает множество доп. потоков. Есть несколько флагов-переменных с типом boolean. Общение между потоками происходит через критические секции, но простое чтение флаг-переменной это же атомарная операция и для нее не нужна критическая секция?
-
Чтение и запись - да, в данном случае атомарны. Главное, чтобы запись не зависела от чтения. К примеру - читаем > вклинивается другой поток и записывает свое > записываем. Если такое развитие событий нежелательно - нужно экранировать. – kami 26 окт '17 в 10:54
-
а запись в boolean не атомарная операция? – Artem 26 окт '17 в 11:58
-
Атомарная. Но обратите внимание на последовательность: поток 1 читает и анализирует переменную со значением True -> в это время поток 2 проводит свои манипуляции и записывает в нее False -> управление возвращается в поток 1 и он решает, что переменная должна быть True. Всё, значение, записанное потоком 2 пропало. А может быть и другая последовательность: поток 1 читает True->поток 2 читает True->поток 1 записывает False->поток 2 записывает True. Если это важно - нужно экранировать. Если не важно - можно игнорить. – kami 26 окт '17 в 12:05
-
@kami тут вопрос чисто про чтение. так что КС не нужны, да. – teran 26 окт '17 в 15:17
-
1@Kromster опубликовал, но у меня есть смутное подозрение, что это уже было, причем - не раз. – kami 24 ноя '17 в 4:54
1 ответ
Чтение (именно чтение) из переменной типа Boolean
(Byte
, Word
, DWORD
, Integer
, Cardinal
, Native[U]Int
) - действительно атомарная операция и для нее не нужно использовать методы синхронизации потоков.
Однако, существует так называемая ABA-проблема, упомянутая в комментарии @Vasek . Если вкратце - пока один поток считал значение и работает в предположении, что оно "вот такое", другой поток может поменять его. А когда первый поток результат своей работы решит записать в эту переменную - значение, присвоенное вторым потоком пропадет.
В случае, если несколько потоков могут записывать в эту переменную и при этом последовательность действий зависит от содержимого переменной - то работу можно и нужно экранировать.
Одним из лучших вариантов (на мой взгляд) в этом плане будет применение TMultiReadExclusiveWriteSynchronizer , который позволяет учитывать "блокировку при работе на чтение" и "блокировку при работе на запись". Применение этого класса вместо TCriticalSection
, TMutex
или TEvent
во многих случаях позволит сократить непроизводительный простой потоков.
-
С точки зрения производительности, в данном случае, по-моему, будет лучше использовать Interlocked WinAPI. – zed 21 апр '18 в 8:35