Предоставляются ли какие-либо гарантии безопасности потоков C++ 11 для сторонних библиотек потоков, скомпилированных/связанных с C++ 11?

Question

C++ 11 предлагает такие функции, как thread-safe initialization of static variables, и со ссылкой на этот вопрос, мы будем говорить, например:

Logger& g_logger() { 
    static Logger lg; 
    return lg; 
} 

Так якобы это справедливо независимо от того, является ли модуль скомпилирован с C++ 11 компилятора (?) включал заголовки нитей или порождал любые потоки в своем теле. Вам предлагается гарантия, даже если она была связана с другим модулем, который использовал потоки C++ 11 и вызвал функцию.

Но что, если ваш «другой модуль», который вызывает этот код, не использует потоки C++ 11, но что-то вроде Qt's QThread. Является ли атомная инициализация статики тогда вне сферы возможностей C++ 11 сделать такую ​​гарантию? Или сам факт того, что модуль, скомпилированный с C++ 11, а затем связанный с другим кодом C++ 11, подразумевает, что вы получите гарантию независимо?

Кто-нибудь знает хорошую ссылку, где покрыты такие проблемы?

Answer 1

Ваш пример основан на модели памяти, а не на том, как реализованы потоки. Тот, кто выполнит этот код, выполнит те же инструкции. Если два или более ядра выполняют этот код, они будут подчиняться модели памяти.

Основная реализация эквивалентна следующему:

std::mutex mtx; 
Logger * lg = 0; 
Logger& g_logger() { 
    std::unique_lock<std::mutex> lck(mtx); 
    if (lg == 0) 
     lg = new Logger; 
    return *lg; 
} 

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

Answer 2

Кто-нибудь знает хорошую ссылку, где такие проблемы покрыты?

Несомненно. Стандарт C++. Он описывает поведение кода на C++. Если ваша библиотека - это код на C++, необходимо следовать этому поведению. Так что да, вы получаете те же гарантии, что и ваш собственный код.

Точно, как компилятор/время работы/ОС/все остальное снимает его - это не ваша проблема. Стандарт C++ гарантирует, что он позаботился.