Pode explicar o conceito de estado de bloqueio no contexto de programação multithread?

O estado de bloqueio na programação multithread é uma situação em que um thread mantém um bloqueio (lock) num recurso, e outros threads não podem aceder a esse recurso até que o bloqueio seja libertado. Isto é usado para evitar que múltiplos threads modifiquem dados simultaneamente, o que pode levar a erros e inconsistências.

Por exemplo, se dois threads tentarem modificar simultaneamente um contador partilhado, o bloqueio garante que apenas um thread altere o valor de cada vez, enquanto o outro espera. No entanto, o uso incorreto de bloqueios pode levar a deadlocks, onde os threads esperam indefinidamente pela libertação de recursos uns pelos outros.