linux-BR.org

Notícias de software livre e tecnologias

A ordem da memória é definida como sequencialmente consistente, adquirir liberação, adquirir, liberar, consumir ou relaxar.Meus patrocinadores, colegas e outras empresas mencionados podem não os endossar.Ou seja, “existem operações atômicas relaxadas, que não são operações de sincronização”, “embora, como operações de sincronização, elas não possam contribuir para as corridas de dados”.Geramos mais de 9 milhões de testes de decisões que misturam atômica, não atômica, fluxo de controle, cercas e código de linha reta.Nosso teste, usando a ferramenta de teste do compilador Téléchat, mostra que as implementações atuais do compilador estão erradas, em comparação com os recentes modelos C/C ++ (como o de Lahav et.

Fonte: https://lukegeeson.com/blog/2023-10-17-A-Proposal-For-Relaxed-Atomics/