Perguntas com a marcação «memory-model»

O C ++ 11 introduziu um modelo de memória padronizado, mas o que exatamente isso significa? E como isso afetará a programação C ++? Este artigo (de Gavin Clarke, que cita Herb Sutter ) diz que, O modelo de memória significa que o código C ++ agora tem uma biblioteca …

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

Recentemente, eu estava respondendo uma pergunta sobre o comportamento indefinido de fazer p < qem C quando pe qsão ponteiros para diferentes objetos / matrizes. Isso me fez pensar: C ++ tem o mesmo comportamento (indefinido) <nesse caso, mas também oferece o modelo de biblioteca padrão std::lessque garante a mesma …

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

Enquanto tentava entender como SubmissionPublisher( código-fonte no Java SE 10, OpenJDK | docs ), uma nova classe adicionada ao Java SE na versão 9, foi implementada, deparei-me com algumas chamadas de API para as quais VarHandleeu não tinha conhecimento anteriormente: fullFence, acquireFence, releaseFence, loadLoadFenceE storeStoreFence. Depois de fazer algumas pesquisas, …

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

Estou lutando com a Seção 5.1.2.4 da Norma C11, em particular a semântica de Liberação / Aquisição. Observo que https://preshing.com/20120913/acquire-and-release-semantics/ (entre outros) afirma que: ... A semântica de liberação impede a reordenação de memória da liberação de gravação com qualquer operação de leitura ou gravação que a preceda na ordem …

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

A frase "fortemente acontece antes" é usada várias vezes no rascunho do padrão C ++. Por exemplo: Rescisão [basic.start.term] / 5 Se a conclusão da inicialização de um objeto com duração de armazenamento estático ocorrer fortemente antes de uma chamada para std :: atexit (consulte [support.start.term]), a chamada para a …

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