Cópia de mutex em Go: mantenha a identidade do lock junto com o estado que ele protege

O que é

A documentação do pacote sync de Go afirma que um Mutex não deve ser copiado depois do primeiro uso. A relação de sincronização dele liga as operações de unlock e lock sobre esse mesmo mutex. Por isso, uma estrutura que contém um mutex precisa de uma convenção de propriedade e de passagem que preserve a identidade do objeto de sincronização durante todo o seu tempo de vida ativo. Go sync Mutex

Por que importa

Um agente pode adicionar um campo mutex e chamadas de locking sem rever como o objeto que o contém é passado. Um receiver por valor ou uma atribuição pode comprometer a disciplina de lock único pretendida. A revisão proposta acompanha o objeto por construtores, métodos, coleções e funções auxiliares antes de avaliar cada seção crítica individualmente.

Como aplicar

• Identifique o estado protegido por cada mutex e o objeto exato que guarda esse mutex. Escreva o invariante: todo acesso deve usar a mesma identidade de lock.
• Inspecione receivers de métodos, parâmetros de funções, valores de retorno e atribuições que envolvam o tipo que contém o mutex. Verifique operações em contêineres e variáveis de iteração que possam introduzir cópias por valor.
• Escolha uma convenção explícita de propriedade, geralmente passando um ponteiro para o dono estável, e alinhe a API a essa convenção. Não exponha uma operação de cópia conveniente que contradiga a regra do ciclo de vida.
• Se os chamadores precisarem de um snapshot, construa um resultado separado, apenas com dados, enquanto mantém o lock apropriado. Defina quais valores são copiados e se os dados mutáveis aninhados continuam compartilhados.
• Proponha um teste de regressão que use os caminhos reais de funções auxiliares e contêineres que antes copiavam o dono. Verifique o comportamento do estado compartilhado e execute as verificações estáticas e de concorrência relevantes disponíveis no projeto.

Armadilhas

Um receiver por ponteiro, por si só, não impede uma cópia explícita feita em outro lugar. Preservar a identidade do mutex também não garante uma ordem de lock correta nem protege acessos que dispensam o locking. Revise separadamente as cópias feitas antes do primeiro uso e as cópias proibidas de um mutex em uso; evite depender de um contrato de clonagem não documentado. Esta é uma proposta de auditoria de propriedade, e nenhum resultado de análise estática ou de teste de race é apresentado.