¿Alguna garantía de seguridad de subprocesos de C++ 11 se aplica a bibliotecas de subprocesos de terceros compiladas/vinculadas con C++ 11?

Question

C++ 11 ofrece características como thread-safe initialization of static variables, y citando a esa pregunta vamos a decir por ejemplo:

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

Así ostensiblemente esto es cierto independientemente de si un módulo compilado con un compilador de C++ 11 (?) incluía los encabezados de subprocesos o generaba subprocesos en su cuerpo. Se le ofrece la garantía incluso si se vinculó con otro módulo que usó hilos C++ 11 y llamó a la función.

Pero, ¿qué ocurre si su "otro módulo" que llama a este código no utiliza hilos C++ 11, sino algo así como Qt's QThread. ¿Está entonces la inicialización atómica de la estática fuera del alcance de la capacidad de C++ 11 para hacer tal garantía? ¿O el simple hecho de que un módulo haya sido compilado con C++ 11 y luego vinculado con otro código de C++ 11 implica que usted obtendrá la garantía independientemente?

¿Alguien sabe una buena referencia donde se cubren problemas como este?

Answer 1

Su ejemplo se basa en el modelo de memoria, no en cómo se implementan los hilos. Quien ejecuta este código ejecutará las mismas instrucciones. Si dos o más núcleos ejecutan este código, obedecerán al modelo de memoria.

La implementación básica es equivalente a esto:

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

Este código puede ser optimizado para utilizar el patrón de una doble comprobación de bloqueo (DCLP) que, en una arquitectura de procesador particular (por ejemplo, en la x 86) podría ser mucho más rápido. Además, como el compilador genera este código, sabrá que no debe hacer optimizaciones locas que rompan el ingenuo DCLP.

Answer 2

¿Alguien sabe una buena referencia donde se cubren problemas como este?

Sure. El estándar de C++. Describe el comportamiento del código C++. Si su biblioteca es código C++, se requiere seguir este comportamiento. Así que sí, obtienes las mismas garantías que si hubiera sido tu propio código.

Exactamente cómo el compilador/tiempo de ejecución/OS/todo lo demás lo quita es No es su problema. El estándar C++ garantiza que se cuide.