Quais métodos você usa para verificar a correção do código multithread?

Para verificar a correção do código multithread, uso várias abordagens:

• Testes unitários com simulação de multithreading — verifico a lógica durante a execução paralela.
• Uso de ferramentas para detectar condições de corrida e deadlocks, por exemplo, Visual Studio Concurrency Visualizer ou Thread Sanitizer.
• Registro e rastreamento de threads — análise da sequência de execução.
• Testes de estresse — executar o código sob alta carga para detectar comportamentos instáveis.

Exemplo de um teste simples usando Task e lock:

object _lock = new object();
int counter = 0;

Parallel.For(0, 1000, i => {
    lock(_lock) {
        counter++;
    }
});

Console.WriteLine(counter); // Esperado 1000