Para que servem as cercas de memória em Java?

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, especialmente com relação ao conceito de barreiras / cercas de memória (eu as ouvi anteriormente, sim; mas nunca as usei, portanto, não estava familiarizado com sua semântica), acho que tenho um entendimento básico sobre o que elas servem. . No entanto, como minhas perguntas podem surgir de um equívoco, quero garantir que eu acertei em primeiro lugar:

1. Barreiras de memória são restrições de reordenação relacionadas às operações de leitura e gravação.

2. As barreiras de memória podem ser categorizadas em duas categorias principais: barreiras de memória unidirecionais e bidirecionais, dependendo se elas definem restrições nas leituras, gravações ou ambas.

3. O C ++ suporta uma variedade de barreiras de memória , no entanto, elas não coincidem com as fornecidas por VarHandle. No entanto, algumas das barreiras de memória disponíveis em VarHandleproporcionar efeitos de ordenação que são compatíveis com as suas barreiras de memória correspondentes C ++.

   • #fullFence é compatível com atomic_thread_fence(memory_order_seq_cst)
   • #acquireFence é compatível com atomic_thread_fence(memory_order_acquire)
   • #releaseFence é compatível com atomic_thread_fence(memory_order_release)
   • #loadLoadFencee #storeStoreFencenão possui contraparte C ++ compatível

A palavra compatível parece ser realmente importante aqui, pois a semântica difere claramente quando se trata de detalhes. Por exemplo, todas as barreiras de C ++ são bidirecionais, enquanto as barreiras de Java não são (necessariamente).

4. A maioria das barreiras de memória também tem efeitos de sincronização. Esses dependem especialmente do tipo de barreira usado e das instruções de barreira executadas anteriormente em outros segmentos. Como as implicações completas de uma instrução de barreira são específicas do hardware, continuarei com as barreiras de nível superior (C ++). Em C ++, por exemplo, as alterações feitas antes de uma instrução de barreira de liberação são visíveis para um thread que executa uma instrução de barreira de aquisição .

Minhas suposições estão corretas? Nesse caso, minhas perguntas resultantes são:

1. As barreiras de memória disponíveis VarHandlecausam algum tipo de sincronização de memória?

2. Independentemente de causar ou não sincronização de memória, para que podem ser úteis restrições de reordenamento em Java? O Java Memory Model já oferece algumas garantias muito fortes em relação à solicitação quando campos, bloqueios ou VarHandleoperações voláteis #compareAndSetestão envolvidos.

Caso você esteja procurando um exemplo: A mencionada acima BufferedSubscription, uma classe interna de SubmissionPublisher(fonte vinculada acima), estabeleceu uma barreira completa na linha 1079 (função growAndAdd; como o site vinculado não suporta identificadores de fragmentos, apenas CTRL + F para isso) ) No entanto, não está claro para mim o que existe.

Isso é principalmente uma não resposta, realmente (inicialmente queria fazer um comentário, mas como você pode ver, é muito tempo). Só que eu me questionei bastante, fiz muita leitura e pesquisa e, neste momento, posso dizer com segurança: isso é complicado. Até escrevi vários testes com o jcstress para descobrir como eles realmente funcionam (enquanto observamos o código de montagem gerado) e, embora alguns deles de alguma forma fizessem sentido, o assunto em geral não é nada fácil.

A primeira coisa que você precisa entender:

O Java Language Specification (JLS) não menciona barreiras em nenhum lugar. Isso, para java, seria um detalhe de implementação: ele realmente age em termos de acontece antes da semântica. Para poder especificá-los adequadamente de acordo com o JMM (Java Memory Model), o JMM precisaria mudar bastante .

Esse trabalho está em andamento.

Segundo, se você realmente deseja arranhar a superfície aqui, esta é a primeira coisa a se observar . A conversa é incrível. Minha parte favorita é quando Herb Sutter levanta os cinco dedos e diz: "É quantas pessoas podem realmente e corretamente trabalhar com elas". Isso deve lhe dar uma dica da complexidade envolvida. No entanto, existem alguns exemplos triviais fáceis de entender (como um contador atualizado por vários encadeamentos que não se preocupam com outras garantias de memória, mas apenas se preocupam com o fato de serem incrementados corretamente).

Outro exemplo é quando (em java) você deseja que um volatilesinalizador controle os threads para parar / iniciar. Você sabe, o clássico:

volatile boolean stop = false; // on thread writes, one thread reads this    

Se você trabalha com java, você saberia que sem volatile esse código está quebrado (você pode ler por que o bloqueio de verificação dupla está quebrado sem ele, por exemplo). Mas você também sabe que para algumas pessoas que escrevem código de alto desempenho isso é demais? volatilea leitura / gravação também garante consistência sequencial - que tem algumas garantias fortes e algumas pessoas desejam uma versão mais fraca disso.

Um sinalizador de segmento seguro, mas não volátil? Sim, exatamente: VarHandle::set/getOpaque.

E você pergunta por que alguém pode precisar disso, por exemplo? Nem todo mundo está interessado em todas as mudanças suportadas por um volatile.

Vamos ver como vamos conseguir isso em java. Primeiro de tudo, esses exóticos coisas já existia na API: AtomicInteger::lazySet. Isso não é especificado no Java Memory Model e não possui uma definição clara ; ainda as pessoas usavam (LMAX, afaik ou isso para mais leitura ). IMHO, AtomicInteger::lazySeté VarHandle::releaseFence(ou VarHandle::storeStoreFence).

Vamos tentar responder por que alguém precisa disso ?

O JMM tem basicamente duas maneiras de acessar um campo: simples e volátil (que garante consistência sequencial ). Todos esses métodos que você mencionou estão lá para trazer algo entre esses dois - liberar / adquirir semântica ; acho que há casos em que as pessoas realmente precisam disso.

Um relaxamento ainda maior da liberação / aquisição seria opaco , o que ainda estou tentando entender completamente .

Assim, o resultado final (seu entendimento é bastante correto, btw): se você planeja usar isso em java - eles não têm especificação no momento, faça-o por sua conta e risco. Se você deseja entendê-los, os modos equivalentes a C ++ são o ponto de partida.