As variáveis ​​compartilhadas do thread são acessadas diretamente?

1
itarato 2020-05-08 19:35.

Ler sobre o modelo de memória C ++ e as diretivas de pedido me levantou uma questão - no mesmo processo, quando uma variável atômica compartilhada por thread (por exemplo, atômica) é definida em um thread - e a ordem da carga é após o armazenamento - é possível que a carga não está vendo o valor armazenado?

Reformulado - o pedido é uma garantia de que um valor atômico definido é carregado como está, ou há uma abstração de CPU / cache / etc que ainda pode fornecer um valor mais antigo?

O motivo das perguntas é que alguma literatura fala sobre sincronização (além de ordenação) e a linguagem que eles usam é "como visto por outro segmento" - o que me faz pensar se load não é um acesso direto ao local da memória (o que não precisaria qualquer outra sincronização diferente de pedido).

1 answers

0
mpoeter 2020-05-11 21:05.

Não tenho certeza se entendi sua pergunta corretamente, mas posso tentar fornecer alguns detalhes sobre o modelo de memória C ++.

A ordem de memória padrão de todas as operações em atômicas C ++ é consistente sequencial . Formalmente, isso significa que há uma única ordem total ( S ) de todas as operações sequencialmente consistentes (independentemente de qual thread são executadas). Portanto, se um encadeamento A realiza um armazenamento seq-cst em alguma variável X , e o encadeamento B realiza um carregamento seq-cst em X , e o armazenamento é ordenado antes do carregamento em S , então é garantido que B vê o valor armazenado por A (ou algum valor mais recente).

No entanto, quando você usa ordenações de memória mais relaxadas para suas operações, você perde essa garantia, porque essas operações atômicas mais relaxadas geralmente não são ordenadas . No entanto, você pode introduzir ordenações por meio de uma relação acontece antes entre certas operações. Por exemplo, uma aquisição-carga que vê o valor escrito por uma loja-lançamento sincroniza-se com aquela loja, estabelecendo assim uma relação acontece-antes.

O modelo de memória C ++ é certamente um dos aspectos mais complexos da linguagem e não pode ser totalmente explicado em uma resposta simples. Para obter mais detalhes, recomendo uma leitura adicional como este artigo, do qual fui coautor: Modelos de memória para programadores C / C ++
Ele não cobre apenas o modelo de memória C ++, mas também oferece uma breve visão geral dos modelos de memória x86 e ARM / Power, tentando explicar por que é mesmo necessário ter um modelo de memória em primeiro lugar.

MORE COOL STUFF

Cate Blanchett dormiu com o marido depois de 3 dias juntos e ainda está casada com ele 25 anos depois

Cate Blanchett dormiu com o marido depois de 3 dias juntos e ainda está casada com ele 25 anos depois

Cate Blanchett desafiou os conselhos típicos de namoro quando conheceu o marido.

Por que Michael Sheen é um ator sem fins lucrativos

Por que Michael Sheen é um ator sem fins lucrativos

Michael Sheen é um ator sem fins lucrativos, mas o que exatamente isso significa?

Hallmark Star Colin Egglesfield Pratos Emocionantes Encontros de Fãs no RomaDrama Live! [Exclusivo]

Hallmark Star Colin Egglesfield Pratos Emocionantes Encontros de Fãs no RomaDrama Live! [Exclusivo]

A estrela da Hallmark Colin Egglesfield falou sobre emocionantes encontros com fãs no RomaDrama Live! além de seu programa INSPIRE na convenção.

Por que você não pode transmitir 'Exposição do Norte' online

Por que você não pode transmitir 'Exposição do Norte' online

Você terá que tirar o pó de um Blu-ray ou DVD player para ver por que Northern Exposure se tornou um dos programas mais populares dos anos 90.

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

Como a matéria branca ajuda a função da matéria cinzenta do cérebro

Como a matéria branca ajuda a função da matéria cinzenta do cérebro

Todos nós já ouvimos falar da massa cinzenta do cérebro, mas e a massa branca? O que isso faz?

Doe seu cabelo para ajudar a manter nossa água limpa

Doe seu cabelo para ajudar a manter nossa água limpa

Aparas de cabelo de salões e doações pessoais podem ser reaproveitadas como tapetes que absorvem derramamentos de óleo e ajudam a proteger o meio ambiente.

Um olhar sobre os casamentos mais memoráveis ​​da Casa Branca

Um olhar sobre os casamentos mais memoráveis ​​da Casa Branca

Apenas algumas pessoas se casaram na Casa Branca nos últimos 200 anos. Quem eram eles e o que é necessário para marcar um casamento lá?

É claro que a nova advogada de Harvey Weinstein é uma mulher que critica MeToo

É claro que a nova advogada de Harvey Weinstein é uma mulher que critica MeToo

O demorado julgamento de agressão sexual de Harvey Weinstein deve começar a seleção do júri em setembro e, em antecipação, ele reorganizou sua equipe jurídica pela terceira vez. Talvez inevitavelmente, seus advogados agora incluem a advogada de defesa Donna Rotunno, que é mais conhecida por representar homens acusados ​​de agressão sexual, questiona o movimento MeToo como um todo e disse em entrevistas anteriores que seu gênero permite que ela saia com mais "veneno" ao interrogar acusadores.

Economize até $ 700 em um TreadClimber, além de um tapete grátis e frete grátis

Economize até $ 700 em um TreadClimber, além de um tapete grátis e frete grátis

Venda Bowflex TreadMaster | Bowflex | Código promocional HELLOWINTER Se você ainda não desistiu de suas resoluções de fitness de ano novo, você pode economizar até $ 700 na assinatura do Bowflex TreadClimber hoje com o código promocional HELLOWINTER, mais um tapete e frete grátis (que normalmente custa $ 200). Você pode escolher entre o TreadClimber TC200 de última geração ou o TC100 mais acessível para este negócio, e Bowflex fornece um gráfico de comparação útil aqui para ajudá-lo a decidir.

Ex-assistente de Harvey Weinstein diz que era um 'mestre manipulador'

Ex-assistente de Harvey Weinstein diz que era um 'mestre manipulador'

Em entrevista à BBC News, a ex-assistente de Harvey Weinstein, Zelda Perkins, deixa clara a realidade de enfrentar o magnata de Hollywood. Era, ela diz, basicamente impossível.

10 razões pelas quais Sean 'Diddy' Combs comprar o Carolina Panthers precisa ser uma coisa

10 razões pelas quais Sean 'Diddy' Combs comprar o Carolina Panthers precisa ser uma coisa

Frank Micelotta / Getty Images Acontece que a franquia Carolina Panthers da NFL está prestes a ser colocada à venda. O atual proprietário, Jerry Richardson, vai colocar o clube à venda depois que vários relatórios de pagamentos feitos a vítimas de má conduta sexual foram divulgados pela Sports Illustrated.

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Rothschild's luggage got lost, but luckily she has an incredible closet to shop: Sister Paris Hilton's!

Carne de porco Mapo de Dawn Burrell e homus de Edamame

Carne de porco Mapo de Dawn Burrell e homus de Edamame

"Esta é uma indústria dominada por homens, e estou feliz por ser uma das pessoas que quebrou o molde para ajudar as mulheres de cor", diz Top Chef: finalista de Portland e chef-parceiro do final de agosto em Houston. "Muitas vezes somos ignorados e às vezes não ensinados, mas isso vai mudar."

Kate Middleton passa um dia à beira da água em Londres, além de Jennifer Lopez, Julianne Hough e mais

Kate Middleton passa um dia à beira da água em Londres, além de Jennifer Lopez, Julianne Hough e mais

Kate Middleton passa um dia na água em Londres, além de Jennifer Lopez, Julianne Hough e muito mais. De Hollywood a Nova York e em todos os lugares, veja o que suas estrelas favoritas estão fazendo!

Jovem de 17 anos esfaqueado até a morte enquanto outros 4 ficaram feridos em um ataque de faca no rio Wisconsin

Jovem de 17 anos esfaqueado até a morte enquanto outros 4 ficaram feridos em um ataque de faca no rio Wisconsin

Investigadores estão investigando se o grupo e o suspeito se conheciam antes do ataque

Como eu escrevo

Como eu escrevo

Para mim, tudo é sobre aquela primeira linha e onde ela te leva. Alguns escritores são movidos pelo enredo, pelo delicado arranjo das peças de xadrez, enquanto outros são atraídos por um personagem e pela capacidade de viajar com um novo amigo fictício.

Aterrissagens na pista

Aterrissagens na pista

O final do verão e o outono são estações nostálgicas. Os postes de luz lançam sua luz sobre as ruas escorregadias pela chuva, e as folhas sob os pés – vermelho-alaranjado nas sombras do crepúsculo – são um lembrete de dias passados.

Imagine criar uma estratégia de conteúdo que realmente CONVERTE. É possível.

Imagine criar uma estratégia de conteúdo que realmente CONVERTE. É possível.

Em 2021, encorajo você a repensar tudo o que sabe sobre os clientes que atende e as histórias que conta a eles. Dê um passo para trás.

Uma perda gigantesca abriu meu coração para o amor

Uma perda gigantesca abriu meu coração para o amor

No dia do aniversário de 9 anos de Felix The Cat, lembro-me de uma das maiores perdas da minha vida adulta – minha Sophie em 2013. Escrevi este ensaio e o compartilhei brevemente nesta plataforma em 2013.

Language