Operaciones atómicas en C++ para estructuras sin cerradura

Question

Estoy implementando un mecanismo sin cerradura que utiliza instrucciones atómicas (dobles) de comparación e intercambio, p. cmpxchg16b

Actualmente estoy escribiendo esto en ensamblador y luego vinculándolo. Sin embargo, me preguntaba si había alguna manera de que el compilador hiciera esto automáticamente por mí. p.ej. rodear el bloque de código con 'atómicamente' y hacer que descubra cómo implementar el código como una instrucción atómica en la arquitectura del procesador subyacente (o generar un error en tiempo de compilación si el arco subyacente no lo admite)?

P.S. Yo sé que gcc tiene algunos muebles empotrados (al menos para CAS)

http://gcc.gnu.org/onlinedocs/gcc-4.4.0/gcc/Atomic-Builtins.html#Atomic-Builtins

Answer 1

Ya kindof respondió here.

El estándar C++ 0x proporcionará algunos atomic datatypes, principalmente tipos enteros y vacíos usando std :: atomic <> template. Ese artículo menciona Boehm's atomic_ops project que puede descargar y usar hoy.

Si no es así, ¿no puede implementar su ensamblador en línea en el compilador? Sé que MSVC tiene la palabra clave __asm para las rutinas de ensamblador en línea. Google dice yes, gcc can do it too.

Answer 2

El futuro "C++ 0x" estándar para C++ apoyará operaciones atómicas & c - véase, por ejemplo http://www.open-std.org/JTC1/sc22/wg21/docs/papers/2007/n2427.html para una discusión razonablemente detallada. Hasta que se apruebe y se implemente ampliamente el próximo estándar, por supuesto, no hay forma de que dicha funcionalidad sea "portable" entre los compiladores; si está interesado en compiladores específicos más allá de gcc, quizás pueda abrir otra pregunta específicamente sobre ellos.