The race condition hidden inside counter++

A practical walkthrough of the READ-MODIFY-WRITE race condition — from a two-thread C experiment to PostgreSQL FOR UPDATE locks in production system.