Esperar por race conditions é uma estratégia de teste terrível
Por que o model checking supera dias de execução em produção para encontrar bugs de concorrência, e como aplicá-lo ao seu próprio código.
Esperar que race conditions surjam em produção não é testar. É esperança disfarçada de diligência. Você pode executar seu app por semanas, monitorar seus…