Como Múltiplas Threads Podem Modificar os Mesmos Dados Sem Usar Locks? A Ciência da Programação Lock-Free e o Problema ABA
