Поскольку C ++ 11 Инициализация функциональных статических переменных является безопасной. Переменная заблокирована (предположительно мутекс) и инициализируется первым потоком, который входит в функцию. То, как он работает, означает, что, очевидно, каждый раз, когда функция называется флагом, необходимо проверить, чтобы увидеть, были ли инициализированы статические объекты в этой функции. Это правильно? По крайней мере, проверка каждый раз, когда вызывается функция. < /Li>
< /ol>
и два, это проверяет атомную проверку? Или это может быть просто обычная переменная? Я подумал о том, как можно избежать атомной переменной в качестве флага, и я придумал: < /p>
std::mutex mutex;
bool bHasBeenInitialisedOuter = false; // ANY NUMBER OF THREADS COULD BE CHECKING THIS
bool bHasBeenInitialisedInner = false; // THIS IS A SECOND FLAG IN CASE THE RACE CONDITION ON THE FIRST FLAG MADE THE THREAD ENTER WHEN IT SHOULDN'T HAVE
void func()
{
if (!bHasBeenInitialisedOuter)
{
mutex.lock(); // ANY OTHER THREADS WAIT HERE
if (!bHasBeenInitialisedInner)
{
bHasBeenInitialisedInner = true;
// INITIALISE OBJECT
bHasBeenInitialisedOuter = true; // ANY NUMBER OF OTHER THREADS COULD BE CHECKING THIS AT THE TIME THIS THREAD WRITES TO IT
// HOWEVER IT SHOULDN'T MATTER BECAUSE THE INNER FLAG MEMORY IS FLUSHED BEFORE (OR WHEN) UNLOCKING THE MUTEX
}
mutex.unlock();
}
}
< /code>
Я добавил два флага, потому что, скажем, первый поток заблокировал мутекс, и он записывается на флаг, который говорит, что он был инициализирован, в это время другие потоки могут читать эту переменную, И так это условие гонки, это правильно? был установлен в True, промывается в глобальную память или станет видимым для других потоков. OverTflag не должен быть атомным.
это то, как C ++ инициатизирует статические переменные, чтобы предотвратить использование атомных переменных.
< /li>
Существует условие гонки на BhasbeeninitialisedOuter, автоматически делает программу UB или в порядке? < /p>
< /li >
< /ol>
Подробнее здесь: https://stackoverflow.com/questions/794 ... cs-every-t
В C ++ Do Функциональная статическая статическая переменная использует синхронизацию или используйте атомику каждый раз, ⇐ C++
-
- Похожие темы
- Ответы
- Просмотры
- Последнее сообщение
-
-
LibTooling — последняя унитаризованная функциональная переменная сопоставителя AST
Anonymous » » в форуме C++ - 0 Ответы
- 38 Просмотры
-
Последнее сообщение Anonymous
-