Estou preso ao definir o nível de isolamento da transação. Aqui está o meu cenário que acontece no aplicativo:
- Obter mensagens não processadas (usando o
IsProcessing
sinalizador) - Defina-os
IsProcessing
como verdadeiros (na RAM) e atualize seusIsProcessing
status - faça o negócio
- Defina-os
IsProcessing
como falsos (na RAM) e atualize seusIsProcessing
status
Isso funciona bem quando é executado sequencialmente. Mas quando executo várias instâncias do meu aplicativo (simultaneidade), vejo que algumas mensagens são processadas duas ou três vezes. Aqui está o que acontece:
- A instância A recebe algumas mensagens não processadas
- Enquanto a instância A está definindo
IsProcessing
como verdadeiro na RAM, a instância B recebe algumas mensagens e é provável que ela busque uma ou mais das mensagens que já foram buscadas pela instância A
E isso é o que eu fiz na esperança de evitá-lo:
- Iniciar transação (serializável)
- Obter mensagens não processadas (usando o
IsProcessing
sinalizador) - Defina-os
IsProcessing
como verdadeiros (na RAM) e atualize seusIsProcessing
status - Confirmar transação
- faça o negócio
- Defina-os
IsProcessing
como falsos (na RAM) - Iniciar transação (serializável)
- Atualize seu
IsProcessing
status - Confirmar transação
Não sei por que, mas durante as etapas 1 a 4 , outras instâncias ainda podem realizar consultas de leitura . Isso não é desejado. Quero impedir exclusivamente que qualquer coisa, até mesmo consultas de leitura, sejam executadas na tabela de mensagens durante as etapas 1 a 4.
Como eu posso fazer isso? O que estou perdendo no meu design? O objetivo é garantir que, enquanto uma mensagem estiver na fila para processamento, nenhuma outra instância a processará novamente.
Você será capaz de evitar muitas de suas condições de corrida executando muitas de suas etapas em uma única instrução. Ao usar um
TOP()
cluse, será possível definir o sinalizador em no máximo uma linha. Ao usar aOUTPUT
cluse você pode retornar isso para o aplicativo automaticamente.Eu defino uma tabela de teste simples e a preencho:
A cláusula de saída precisa de uma variável de tabela para receber os valores alterados:
Um pouco de código de depuração para tornar os estados "antes" e "depois" óbvios:
E a própria declaração:
E os resultados:
Esta é a saída da segunda execução acima.
A linha com
id=2
passou deIsProcessing=0
paraIsProcessing=1
e queid
é retornada na variável de tabela.Com esses dados triviais, as linhas são processadas na sequência em que foram criadas. Em um ambiente mais complexo, o otimizador pode escolher qualquer linha que corresponda à cláusula where. Se você tiver um requisito para processar linhas em, digamos, sequência de tempo, será necessária qualificação adicional.
Não pensei muito nisso, mas acredito que ele funcionará em qualquer nível de isolamento com ou sem transações explícitas.
É claro que é possível que não haja linhas
IsProcessing=0
no momento em que a instrução é executada. Nesse caso, a variável de tabela terá zero linhas.Para isolar totalmente cada transação da outra, você pode tentar
sp_getapplock
. Isso adicionará sobrecarga e reduzirá a simultaneidade. Você deve ter cuidado para liberar o bloqueio do aplicativo o mais rápido possível, tanto em cenários de sucesso quanto de falha.