Operaciones atómicas
Operación que se completa como una unidad — entera o nada. Clave en sistemas concurrentes para evitar carreras de datos sin recurrir a cerrojos.
Soporte en la CPU: LOCK XADD (x86), LDXR/STXR (ARM), cmpxchg (comparar-e-intercambiar, CAS). En los lenguajes: std::atomic en C++, AtomicInteger en Java, AtomicUsize en Rust, sync/atomic en Go. Ordenación de memoria: consistencia secuencial (por defecto, la más cara), acquire/release y relaxed. Las estructuras sin cerrojos (colas, pilas) se construyen sobre bucles de CAS; wait-free es aún más estricto (cada hilo avanza en un número acotado de pasos). Tienen fama de ser endiabladas de escribir bien.