Compreendendo a instrução "Lock" no assembly x86

A instrução "lock" no assembly x86 é um prefixo que impõe propriedade exclusiva do barramento para a instrução subsequente. Isso garante que a CPU tenha controle completo sobre a linha de cache durante a duração daquela instrução.

Desativação do bloqueio de barramento

Ao contrário do entendimento comum, o prefixo "lock" não faz com que a CPU bloqueie o ônibus por tempo indeterminado. O bloqueio é liberado após a execução da instrução subsequente. Isso permite que a CPU mantenha o desempenho ideal, bloqueando o barramento apenas quando for absolutamente necessário.

Implementação de adição usando "Lock"

O trecho de código que você forneceu implementa um incremento atômico de uma palavra longa em um local de memória especificado pelo valor no registro ecx:

1. movl 4(%esp), �x: Copia o endereço da variável a ser incrementada no registro ecx.
2. incl (�x): Incrementa atomicamente a palavra longa no endereço armazenado no registro ecx.
3. mov $0,�x: Define o registro eax para 0.
4. setne %al: Define o valor do registrador al como 1 se o novo valor da variável não for igual a 0 (indicando que a operação de incremento foi bem-sucedida).

O resultado é que a variável é incrementada atomicamente por 1, e o registro eax é definido como 0 se o novo valor for 0, ou 1 caso contrário. Observe que esta operação é um incremento, não uma adição.