Темы Windows: когда вы должны использовать InterlockedExchangeAdd()?

Question

Именование этой функции похоже на то, что это сложный процесс. Когда именно можно узнать, что это путь вместо того, чтобы делать что-то вроде этого:

Подготовка CRITICAL_SECTION CS; int * p = malloc (sizeof (int)); // Выделение сайта InitializeCriticalSection (& cs); // ПОДСКАЗКА для первой записи

Thread # 1 { * р = 1; // Первый Написать }

Thread # 2 { EnterCriticalSection (& CS); * p = 2; // Вторая запись LeaveCriticalSection (& cs); }

У меня есть запись, что может быть сделано в одном потоке:

Run() 
{ 
// some code 
m_bIsTerminated = TRUE; 
// some more code 
} 

Тогда у меня есть для чтения, что делается в другом потоке (потенциально в то же время):

Terminate() 
{ 
// some code 
if(m_bIsTerminated) 
{ 
m_dwThreadId = 0; 
m_hThread = NULL; 
m_evExit.SetEvent(); 
return; 
} 
// even more code 
} 

Какое лучшее решение для решения этой гонки? Являются ли критические разделы способ перехода или является использование InterlockedExchangeAdd() более полезным?

Answer 1

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

Для вашего сценария вы можете определенно использовать функцию блокировки ..., но я бы использовал событие (CreateEvent, SetEvent, WaitForSingleObject), вероятно, потому, что мне часто приходится ждать нескольких объектов (вы можете дождитесь нулевой секунды в вашем сценарии).

Обновление: использование volatile для переменной может работать, однако это не рекомендуется, например: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2016.html и http://www-949.ibm.com/software/rational/cafe/blogs/ccpp-parallel-multicore/tags/c%2B%2B0x.

Если вы хотите быть портативным, взгляните на boost::thread.

Answer 2

В вашем случае нет гонки. Переменная никогда не возвращается обратно в ЛОЖЬ, не так ли? Это просто «прошу умереть» за нить, верно? Тогда нет никакой необходимости в синхронизации.

Семейство функций InterlockedXXX использует атомарные 3-операндовые команды процессора Intel (XADD и CMPXCNG). Поэтому они намного дешевле, чем критический раздел. И тот, который вы хотите для потокобезопасного назначения, - InterlockedCompareExchange().

UPD: и отметьте переменную как изменчивую.

Answer 3

Убедитесь, что m_bIsTerminated отмечен как изменчивый, и все должно быть в порядке. Хотя мне кажется довольно странным, что вы // еще один код после установки «завершен» на true. Что именно указывает эта переменная?

Ваше «условие гонки» состоит в том, что ваши различные элементы // большего количества кода могут выполняться в разных порядках. Ваша переменная не помогает. Ваша цель - заставить их выполнять детерминированный порядок? Если да, вам понадобится переменная условия, чтобы ждать в одном потоке и установить в другом. Если вы просто не хотите, чтобы они выполнялись одновременно, критический раздел был бы прекрасен.