Para complementar, o lock
é uma espécie de semáforo. De fato, através dele é possível implantar uma estrutura de dados capaz de controlar o tráfego de processamento que é chamada de semáforo.
O lock
liga uma luz vermelha dizendo para qualquer código que tente acessar aquele trecho de memória que está proibido de fazer até que a luz se apague. Note que embora pareça um semáforo, não o é de fato. Por isto o lock
em si pode ser usado em um semáforo que é uma estrutura um pouco mais sofisticada.
Ele indica para toda a aplicação que naquele momento alguma coisa será feita com o objeto que não pode ser interrompida. Que nenhuma parte da aplicação pode considerar o estado do objeto enquanto ele não for liberado porque a operação naquele momento pode estar inconsistente ou incompleta.
Quando seu código for compilado o statement lock
se torna um código equivalente a este:
bool lockWasTaken = false;
var temp = thisLock;
try {
Monitor.Enter(temp, ref lockWasTaken);
if (amount > balance) {
throw new Exception("Insufficient funds");
}
balance -= amount;
} finally {
if (lockWasTaken) {
Monitor.Exit(temp);
}
}
Coloquei no GitHub para referência futura.
Note que é possível obter o mesmo resultado usando apenas a biblioteca mas não é recomendado.
Em códigos que você tem certeza que nunca terá threads você não precisa e não deve usar este tipo de sincronismo. Para algumas operações o custo de performance da execução dos métodos da classe Monitor
pode ser proibitivo.
Veja o Reference Source do .NET para entender o funcionamento interno da classe (não que ajude muito :D).