A chave aqui é que, para
campos mutáveis, examinamos apenas o tipo de tipo de campo,
Não é o modo em qualquer expressão que usamos para inicializar o campo.Emprestando o valor, colocando o valor emprestado no fechamento e
Em seguida, re-emprestando o valor sempre que é usado no corpo do
função.extrato leva uma função de sincronização que retorna um valor de sincronização e um
Capsule.t apontando para alguns dados e executa a função nos dados e
Retorna o resultado.canais, requer que os dados transferidos sejam sincronizados:
Observe que qualquer tipo profundamente imutável é sempre do tipo (sincronização), permitindo
Qualquer valor desses tipos a serem passados entre os threads.Por exemplo,
Como um valor emprestado é compartilhado, pode haver vários empréstimos
na mesma região (implícita).
Fonte: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/doc/proposals/data-race-freedom.md
