Синхронизация блоков if, C++

Question

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

{ 
CriticalSectionLock lock(m_criticalsection); 
...//Stuff inside the critical section 
} 

Когда CriticalSectionLock выходит из области видимости, критическая секция заканчивается.

Моя проблема заключается в том, что я хочу поставить операцию инкремента ниже внутри критической секции (я не могу использовать atomic_int):

if (0 == g_envCount++) 
     {... 

Я хотел бы сделать что-то вроде следующего:

{CriticalSectionLock lock(m_criticalsection); 
if (0 == g_envCount++) 
} 
     { 

Но я думаю, что даже если это работает, это очень запутанным для читателя. Может ли кто-нибудь предложить лучший/более чистый способ сделать это?

Answer 1

Так как вам нужно только приращение быть внутри CriticalSection, используйте Подъемно.

int priorEnvCount; 
{ 
    CriticalSectionLock lock(m_criticalsection); 
    priorEnvCount = g_envCount++; 
} 

if (0 == priorEnvCount) { 
    ... 
} 

Answer 2

Вместо критической секции используйте std::atomic<int>. код будет выглядеть следующим образом:

std::atomic<int> g_envCount; 
... 
// atomically post increment g_envCount and return its current value 
if (0 == g_envCount++) { 
    // do something 
} 

Использование оператора после инкремента, вы автоматически использовать последовательное упорядочение консистенция памяти. Если вы хотите уточнить ограничения порядка памяти, вы можете использовать для этого fetch_add(...).