Dos cajeros sacan dinero de la misma cuenta en el mismo instante. Los dos leen el saldo, los dos restan, los dos guardan. Y el banco acaba regalando dinero sin que nadie haya hecho nada mal ni haya ningún error en el código.
Qué mirar: con Sin protección, mira la línea de tiempo: los dos cajeros leen el mismo saldo antes de que ninguno haya guardado. Cuando el segundo escribe, borra el trabajo del primero, y ese dinero sale de la cuenta sin descontarse. Pulsa Con bloqueo y el segundo espera su turno: más lento, y correcto. Esa espera es el precio de que las cuentas cuadren.