Preguntas etiquetadas con memory-model

C ++ 11 introdujo un modelo de memoria estandarizado, pero ¿qué significa eso exactamente? ¿Y cómo va a afectar la programación en C ++? Este artículo (de Gavin Clarke, quien cita a Herb Sutter ) dice que, El modelo de memoria significa que el código C ++ ahora tiene una …

1894 c++  multithreading  c++11  language-lawyer  memory-model 

Hace poco respondí una pregunta sobre el comportamiento indefinido de hacer p < qen C cuándo py qson punteros en diferentes objetos / matrices. Eso me hizo pensar: C ++ tiene el mismo comportamiento (indefinido) <en este caso, pero también ofrece la plantilla de biblioteca estándar std::lessque garantiza que devolverá …

26 c  pointers  undefined-behavior  memory-model  memory-segmentation 

Mientras intentaba entender cómo SubmissionPublisher( código fuente en Java SE 10, OpenJDK | docs ), una nueva clase agregada a Java SE en la versión 9, se implementó, me topé con algunas llamadas a la API VarHandleque no conocía anteriormente: fullFence` acquireFence` releaseFence, loadLoadFencey storeStoreFence. Después de investigar un poco, …

18 java  concurrency  memory-barriers  memory-model  java-memory-model 

Estoy luchando con la Sección 5.1.2.4 del Estándar C11, en particular la semántica de Release / Acquire. Observo que https://preshing.com/20120913/acquire-and-release-semantics/ (entre otros) establece que: ... La semántica de liberación evita el reordenamiento de memoria de la liberación de escritura con cualquier operación de lectura o escritura que la preceda en …

10 c  x86-64  memory-barriers  memory-model  stdatomic 

La frase "sucede antes" se usa varias veces en el borrador del estándar C ++. Por ejemplo: Terminación [basic.start.term] / 5 Si la finalización de la inicialización de un objeto con una duración de almacenamiento estático ocurre fuertemente antes de una llamada a std :: atexit (ver, [support.start.term]), la llamada …

9 c++  multithreading  language-lawyer  memory-model  happens-before